Logic List Mailing Archive

CSL'02

CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC (CSL'02)
   22--25 September 2002
   Edinburgh, UK
   http://www.dcs.ed.ac.uk/csl02/
 * Computer Science Logic (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.
 * The following will deliver invited lectures: Susumu HAYASHI (Kobe),
   Frank NEVEN (Limburg), Damian NIWINSKI (Warsaw)
 * Important Dates:
   Submission: 29 March 2002 for the title and abstract, and
		7 April 2002 for the full text
   Notification: 2 June 2002
   Final copy due: 21 June 2002
 * Programme Committee: Thorsten Altenkirch (U. Nottingham), Rajeev
   Alur (U. Pennsylvania), Michael Benedikt (Bell Labs), Julian
   Bradfield (U. Edinburgh (Chair)), Anuj Dawar (U. Cambridge), Yoram
   Hirshfeld (U. Tel Aviv), Ulrich Kohlenbach (U. Aarhus), Johann
   Makowsky (Technion Haifa), Dale Miller (Pennsylvania State U.), Luke
   Ong (U. Oxford), Frank Pfenning (Carnegie Mellon U.), Philippe
   Schnoebelen (ENS Cachan), Luc Segoufin (INRIA Rocquencourt), Alex
   Simpson (U. Edinburgh), Thomas Streicher (T.U. Darmstadt)