Technical Committee 1: Foundations of Computer Science
Working Group 1.03 : Foundations of System Specification
Chair : Fabio Gadducci
Vice-chair : Corina Cirstea
Secretary : Holger Schlingloff
Past-Chair : Lutz Schröder
Home page: http://ifipwg13.cs.ovgu.de