EACSL

European Association for Computer Science Logic


:: Home
:: What is EACSL
:: Organization
:: Membership
:: CSL Conferences
:: Ackermann Award
:: CSL Bibliography
:: Constitutions
:: Minutes
:: Contact
President: Damian Niwinski (Warsaw, Poland)
Vice-President: Anuj Dawar (Cambridge, UK)
Treasurer: Thomas Schwentick (Dortmund, Germany)
Executive members:
Burkhard Monien (Paderborn, Germany), EATCS representative
Marc Bezem (Bergen, Norway), publicity chair
Reinhard Kahle (Lisbon, Portugal)
Johann Makowsky (Haifa, Israel)
Simona Ronci Della Rocca (Torino, Italy)
Benedikt Loewe (Amsterdam, NL), CiE representative
Luke Ong (Oxford, UK)
Helmut Veith (Darmstadt, Germany)
Glynn Winskel (Cambridge, UK), LICS representative
Scientific council: S. Abramsky (GB), H. Barendregt (NL), J. Bergstra (NL), G. Gottlob (AU), P. Hajek (CZ), W. Hodges (GB), G. Huet (F), G. Jäger (CH), H. Jervell (N), N. Jones (DK), J. P. Jouannaud (F), H. Kleine Büning (D), D. Mundici (I), M. M. Richter (D), M. Rodriguez-Artalejo (E), D. Rosenzweig (CRO), J. Smith (S), J. Zlatuska (CZ).


Publicity: Marc Bezem (Bergen), contact information.