EACSLEuropean Association for Computer Science Logic | |
|
:: Home :: What is EACSL :: Organization :: Membership :: CSL Conferences :: Ackermann Award :: CSL Bibliography :: Constitutions :: Minutes :: Contact |
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).
The conference series started in 1987 as a programme of International Workshops on Computer Science Logic, and then in its sixth meeting
(in 1992) became the Annual Conference of the EACSL.
2010 in Brno 2009 in Coimbra 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 |