IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski


Dr.

Bartek Klin

Faculty of Mathematics, Informatics and Mechanics
Warsaw University
Poland
Research topics: Operational semantics of process algebras and programming languages, Coalgebraic and bialgebraic methods, Algebraic specifications (updated at 2010-01-01)
http://www.mimuw.edu.pl/~klin/