Stephen L. Bloom, Stevens Institute of Technology, NJ, USA
Regular and Algebraic words and ordinals
Prof. Bloom works on algebraic specification theories
and was instrumental in developing iterative theories, an elaborate coalgebraic method - predating coalgebras.
Luís Caires, New University of Lisbon, Portugal
Types for Concurrency as Logical Predicates
Prof. Caires has made important contributions to the foundations of distributed
systems, and spatial logics for these.
Barbara König, University of Duisburg-Essen, Germany
Deriving Bisimulation Congruences with Borrowed Contexts
Prof. König works on graph transformation systems,
with applications to concurrent and mobile systems, software reliability
and security.
Glynn Winskel, University of Cambridge, United Kingdom
Symmetry and Concurrency
Prof. Winskel is well-known for his fundamental work in semantics
and theory of concurrency.