Provably Correct Systems
Working Group

The coordinator is:

• Jonathan Bowen, Formal Methods and Software Engineering Group, Department of Computer Science The University of Reading (UK)

1. Prof. Hans Langmaack, Institute of Computer Science and Applied Mathematics, Christian-Albrechts-Universität Kiel (D)
   See also the following associated site:
   • Markus Müller-Olm, Fachbereich Informatik (FBI), Universität Dortmund (D)

2. Prof. Ernst-Rüdiger Olderog, Semantics Unit, Fachbereich Informatik Oldenburg University (D)

3. Prof. C.A.R. Hoare, Oxford University Computing Laboratory (UK)

4. Anders P. Ravn, Department of Information Technology, Technical University of Denmark, Lyngby (DK)

The other partners associated with the working group are:

1. Flemming Nielson, Department of Computer Science (DAIMI), University of Aarhus (DK)

2. Kaisa Sere, Programming Methods Group, Department of Computer Science, Âbo Akademi University (SF)

3. Theoharis Theoharis Department of Informatics, University of Athens (GR)

4. Paolo Ciancarini, Department of Computer Science, Università di Bologna (I)

5. Prof. Jan Peleska, Fachbereichs Mathematik/Informatik, Universität Bremen (D)

6. Prof. Carlos Delgado Kloos Área de Ingeniería Telemática, Universidad Carlos III de Madrid (E)

7. Andreas Fett, Daimler-Benz AG, Berlin (D)

8. Prof. Hussein Zedan, Software Technology Research Laboratory, School of Computing Sciences, De Montfort University (UK)

9. Prof. Gerhard Goos, Forschungszentrum Informatik (FZI), Karlsruhe (D)

10. Prof. Dr.-Ing. Stefan Jähnichen, Institute for Computer Architecture and Software Technology (GMD FIRST), German National Research Center for Information Technology (D)
    See also the following associated GMD site:
    • Axel Poigné, Embedded Software Design Research Group, System Design Technology Institute (GMD SET), German National Research Center for Information Technology (D)

11. Prof. Peter Lucas, Institut für Informationsverarbeitung und Computergestützte neue Medien, Graz University of Technology (A)

12. Wayne Luk, Department of Computing, Imperial College of Science, Technolocy and Medicine, London (UK)
    

13. Francesca Saglietti, Institute for Safety Technology (ISTec), GRS (D)

14. Prof. Mike Hinchey, CSIS, University of Limerick (IRL)

15. Arne Borälv, Logikkonsult NP AB (S)

16. Paul Curzon, Machine-Assisted Proof and Formal Methods Research Group, Department of Computer Science, University of Middlesex, London (UK)

17. Prof. Henri Habrias, Faculté des Sciences et Techniques, Université de Nantes (F)

18. Prof. Ole-Johan Dahl, Institutt for Informatikk, University of Oslo (N)

19. Prof. Egon Börger, Dipartimento di Informatica, Università di Pisa (I)

20. Job Zwiers, Department of Computer Science, University of Twente (NL)

21. Steve King, Department of Computer Science, University of York (UK)

See also meetings organized by working group sites.