She published more than fifty papers on applications of logic and category theory. Nowadays extensive research is in progress on theoretical and foundational aspects of object-oriented programming. Unfortunately all this knowledge is scattered in many research papers that are often very technical and cover only certain aspects of object-orientation. Therefore, they may be hard to understand because they fail to explain some basic notions or the initial motivations of some constructions. This tutorial accounts for a range of concepts such as covariance and contravariance, self, subtyping, inheritance, parametric types, type system and typing algorithm.
Further information is available on the web .
He has been working on foundational aspects of object-oriented programming since 1989. This tutorial is about design and proof of design of reliable systems from unreliable components. The theory extends CCS, its bisimulation equivalence and modal logic. The driving principle is that fault-tolerance should be invariant under the removal of an arbitrary set of faults from the assumptions. This means that, after the tutorial, the participants will find it easier to follow basic literature and to consider applications of graph transformations, especially of the algebraic approach, in their areas of interest.