| CoFI Tools | |
|
Aims and scope |
|
|
Members |
|
CASL Tool Set |
|
Heterogeneous Tool Set |
|
Related tools |
| Rewrite engines | |
| Provers | |
|
|
Papers |
|
|
How to join |
 |
COFI-TOOLS MEMBERS
-
Task Coordinators:Bernd Krieg-Brückner University of Bremen, Germany.Till Mossakowski University of Bremen, Germany.
-
Michel Bidoit LSV, ENS Cachan, France.
-
Didier Bert LSR-IMAG, Grenoble, France.
-
Christine Choppy LIPN, Université de Paris 13, France.
-
Dieter Hutter German Research Center for Artificial Intelligence, Saarbrücken, Germany.
- Hélène Kirchner LORIA, Nancy, France.
-
Kolyang University of Bremen, Germany.
-
Nicole Levy PRISM, Université de Versailles St-Quentin en Yvelines, France.
-
Peter Mosses BRICS, University of Aarhus, DK.
-
Peter Padawitz University of Dortmund, Germany.
-
Wolfgang Reif University of Ulm, Germany.
-
Don Sannella Laboratory for Foundations of Computer Science, University of Edinburgh, Scotland.
-
Giuseppe Scollo University of Twente, Fac. Informatica Enschede, The Netherlands.
-
Mark van den Brand Department of Software Engineering, CWI Amsterdam, The Netherlands.
-
Frederic Voisin
