CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



Previous conferences

2008 in Bologna (Bertinoro)
2007 in Lausanne
2006 in Szeged
2005 in Oxford
2004 in Karpacz
2003 in Vienna
2002 in Edinburgh
2001 in Paris
2000 in Munich
1999 in Madrid
1998 in Brno
1997 in Aarhus
1996 in Utrecht
1995 in Paderborn
1994 in Kazimierz
1993 in Swansea
1992 in San Miniato, sixth Workshop and first Annual Conference of EACSL
1991 in Berne
1990 in Heidelberg
1989 in Kaiserslautern
1988 in Duisburg
1987 in Karlsruhe, first CSL Workshop