Atlas home || Conferences | Abstracts | about Atlas

CSL ´99 Annual Conference of the European Association for Computer Science Logic

September 20-25, 1999

Madrid, Spain

Mathematics

Host: Universidad Complutense de Madrid
Sponsor: European Association for Computer Science Logic (EACSL)
Homepage: http://mozart.sip.ucm.es:1580/csl99/index.html
Email: csl99org@eucmos.sim.ucm.es

Organizers: Marc Bezem (Utrecht, President) Ian Stewart (Leicester, Vice-President), Clemens Lautemann, (Mainz, Treasurer), Peter Hajek (Prague), Simone Martini (Udine), Christine Paulin (Paris), Moshe Vardi (Houston), Johann Makowsky (Haifa), Alexander Razborov (Moscow), Samson Abramsky (Edinburgh, UK), Marc Bezem (Utrecht, The Netherlands), Peter Clote, (Munich, Germany), Hubert Comon (Cachan, France), Jörg Flum (Freiburg i.Br., Germany), (co-chair), Harald Ganzinger (Saarbrücken, Germany), Neil Immerman (Amherst, USA), Neil, Jones (Copenhagen, Denmark), Jan Maluszynski (Linköping, Sweden), Michael Maher, (Brisbane, Australia), Catuscia Palamidessi (Pennsylvania, USA), Mario Rodríguez­Artalejo, (Madrid, Spain) (co-chair), Wolfgang Thomas (Aachen, Germany), Jerzy Tiuryn (Warsaw, Poland), Glynn Winskel (Aarhus, Denmark), Martin Wirsing (Munich, Germany), J. Carlos González-Moreno, Teresa Hortalá-González, Javier Leach-Albert (chair), Paco, López-Fraguas, Fernando Sáenz-Pérez, Eva Ullán-Hernández

Deadline for abstracts: March 19, 1999

Description:
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested, but not exclusive, topics of interest include: abstract datatypes, automated deduction, categorical and topological approaches, concurrency theory, constructive mathematics, database theory, domain theory, finite model theory, lambda and combinatory calculi, logical aspects of computational complexity, logical foundations of programming paradigms, linear logic, modal and temporal logics, model checking, program logics and semantics, program specification, transformation and verification, rewriting, symbolic computation.

Speakers: José Luis Balcazar (Barcelona, Spain), Javier Esparza (Munich, Germany), Martin Grohe (Freiburg, Germany), Peter D. Mosses (Aarhus, Denmark), V. Vianu (San Diego, USA), Douglas Howe (Bell Labs, USA), Aart Middeldorp (Tsukuba, Japan)

Date received: January 09, 1999

© 2008 Atlas Conferences Inc.