Links to Conferences, Workshops and Schools on Computer Science

This page contains links to (some of the) past, present and future conferences on theoretical aspects of Computer Science. This list is only provided as a memorandum for accessing the web pages of events somewhat related to my research interests, without any ambition of "completeness." For more exhaustive event calendars, you may want to consult any of the organizations below.

Netlib - Conference Database List EAPLS - Calendar of Events TCS Hotlist EATCS - Calendar of Events
LICS - IEEE Symposium on Logic in Computer Science DBLP - Computer Science Conferences and Workshops
See conferences in year 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995

2005 (back to top)

CALCO 2005 (CMCS + WADT) (Swansea, UK, 3-6 September 2005)
CONCUR 2005 (San Francisco, California, USA, 23-26 August 2005)
ICALP 2005 (Lisboa, Portugal, 11-15 July 2005)
LICS 2005 (Chicago, USA, 26-29 June 2005)
Coordination 2005 (Namur, Belgium, 20-23 April 2005)
ETAPS 2005 (Edinburgh, Scotland, 2-10 April 2005)
POPL 2005 (Long Beach, California, USA, 12-14 January 2005)

2004 (back to top)

CONCUR 2004 (London, UK, 31 August - 3 September 2004)
CONCUR 2004: FGUC 2004 (London, UK, 3-4 September 2004)
CONCUR 2004: FoCLaSA 2004 (London, UK, 30 August 2004)
CONCUR 2004: SECCO 2004 (London, UK, 30 August 2004)
CONCUR 2004: SOS 2004 (London, UK, 30 August 2004)
IFIP TCS 2004 (Toulose, France, 23-26 August 2004)
CTCS 2004 (Copenhagen, Denmark, 12-14 August 2004)
ICALP 2004 (Turku, Finland, 12-16 July 2004)
ICATPN 2004 (Bologna, Italy, 21-26 June 2004)
ETAPS 2004 (Barcelona, Spain, 27 March - 4 April 2004)
Coordination 2004 (Pisa, Italy, 24-27 February 2004)
Coordination 2004: WS-FM 2004 (Pisa, Italy, 23-24 February 2004)
POPL 2004 (Venice, Italy, 14-16 January 2004)

2003 (back to top)

PSI 2003 (Novosibirsk, Akademgorodok, Russia, 9-12 July 2003)
ICALP 2003 (Eindhoven, The Netherlands, 30 June - 4 July, 2003)
ICATPN 2003 (Eindhoven, The Netherlands, 23-27 June, 2003)
LICS 2003 (Ottawa, Canada, 22-25 June, 2003)
ETAPS 2003 (Warsaw, Poland, 5-13 April 2003)
POPL 2003 (New Orleans, Louisiana, USA, 15-17 January 2003)

2002 (back to top)

FSTTCS 2002 (Kanpur, India, 12-14 December 2002)
WADT 2002 (Frauenchiemsee, Germany, 24-27 September 2002)
WRLA 2002 (Pisa, Italy, 19-21 September 2002)
AMAST 2002 (St. Gilles les Bains, Reunion Island, France, 9-13 September 2002)
TCS 2002 (Montreal, Canada, 25-30 August 2002)
MFCS 2002 (Warsaw-Otwock, Poland, 26-30 August 2002)
CONCUR 2002 (Brno, Czech Republic, 20-23 August 2002)
CONCUR 2002: CMCIM 2002 (Brno, Czech Republic, 24 August 2002)
CTCS 2002 (Ottawa, Canada, 15-17 August 2002)
FLoC'02 (Copenhagen, Denmark, 20 July - 1 August 2002)
FLoC'02: LICS 2002 (Copenhagen, Denmark, 22-25 July 2002)
FLoC'02: RTA 2002 (Copenhagen, Denmark, 22-24 July 2002)
ICALP 2002 (Malaga, Spain, 8-13 July 2002)
ICALP 2002: F-WAN (Malaga, Spain, 12-13 July 2002)
ICATPN 2002 (Adelaide, South Australia, 24-28 June 2002)
Coordination 2002 (York, UK, 8-11 April 2002)
ETAPS 2002 (Gregnoble, France, 6-14 April 2002)
ETAPS 2002: ESOP 2002 (Gregnoble, France, 8-12 April 2002)
ETAPS 2002: FASE 2002 (Gregnoble, France, 8-12 April 2002)
ETAPS 2002: FoSSaCS 2002 (Gregnoble, France, 8-12 April 2002)
ETAPS 2002: TACAS 2002 (Gregnoble, France, 8-12 April 2002)
ETAPS 2002: CMCS 2002 (Gregnoble, France, 6-7 April 2002)
STACS 2002 (Antibes Juan-les-Pins, France, 14--16 March 2002)
POPL 2002 (Portland, Oregon, USA, 16-18 January 2002)

2001 (back to top)

FST TCS 2001 (Bangalore, India, 13-15 December 2001)
CP 2001 (Paphos, Cyprus, 26 November - 1 December 2001)
TACS 2001 (Sendai, Japan, 29-31 October 2001)
ICTCS'01 (Torino, Italy, 4-6 October 2001)
CSL 2001 (Paris, France, 10-13 September 2001)
PLI 2001 (Firenze, Italy, 5-7 September 2001)
PLI 2001: PPDP 2001 (Firenze, Italy, 5-7 September 2001)
PLI 2001: RULE 2001 (Firenze, Italy, 4 September 2001)
MFCS 2001 (Mariánské Lázne, Czech Republic, 27-31 August 2001)
SFP'01 (Bridge of Allan, Scotland, 22-24 August 2001)
CONCUR 2001 (Aalborg, Denmark, 21-24 August 2001)
CONCUR 2001: EXPRESS'01 (Aalborg, Denmark, 20 August 2001)
CONCUR 2001: GETCO 2001 (Aalborg, Denmark, 25 August 2001)
ICALP'01 (Crete, Greece, 8-12 July 2001)
ICALP'01: BOTH 2001 (Crete, Greece, 13 July 2001)
ConCoord (Lipari Island, Italy, 6-8 July 2001)
ICATPN 2001 (Newcastle upon Tyne, U.K, 25-29 June 2001)
LICS 2001 (Boston, Massachusetts, 16-19 June 2001)
RTA 2001 (Utrecht, The Netherlands, 22-24 May 2001)
RTA 2001: WRS 2001 (Utrecht, The Netherlands, 26 May 2001)
RTA 2001: WESTAPP'01 (Utrecht, The Netherlands, 20 May 2001)
TLCA'01 (Kraków, Poland, 2-5 May 2001)
ETAPS 2001 (Genova, Italy, 2-6 April 2001)
ETAPS 2001: FoSSaCS 2001 (Genova, Italy, 2-6 April 2001)
ETAPS 2001: FASE 2001 (Genova, Italy, 2-6 April 2001)
ETAPS 2001: TACAS 2001 (Genova, Italy, 2-6 April 2001)
ETAPS 2001: RelMiS 2001 (Genova, Italy, 7-8 April 2001)
ETAPS 2001: WADT/CoFI 2001 (Genova, Italy, 1-3 April 2001)
ETAPS 2001: CMCS 2001 (Genova, Italy, 6-7 April 2001)
FME 2001 (Berlin, Germany, 12-16 March 2001)
STACS 2001 (Dresden, Germany, 15-17 February 2001)
FLOPS 2001 (Tokyo, Japan, 7-9 March 2001)
POPL'01 (London, U.K., January 17-19 2001)

2000 (back to top)

FST TCS 2000 (New Delhi, India, 13-15 December, 2000)
FORTE/PSTV 2000 (Pisa, Italy, 10-13 October, 2000)
WRLA 2000 (Kanazawa, Japan, 18-20 September, 2000)
PLI 2000 (Montreal, Canada, 17-22 September, 2000)
PLI 2000: RULE 2000 (Montreal, Canada, 19 September, 2000)
CONFER 2 workshop (Cambridge, U.K., 14-15 September 2000)
COORDINATION 2000 (Limassol, Cyprus, 11-13 September 2000)
MFCS 2000 (Bratislava, Slovak Republic, 28 August - 1 September, 2000)
CONCUR 2000 (State College, Pennsylvania, 22-25 August 2000)
CONCUR 2000: EXPRESS'00 (Pennsylvania State University, USA, 21 August 2000)
IFIP TCS 2000 (Tohoku University, Sendai, Japan, 17-19 August 2000)
RTA 2000 (Norwich, U.K., 10-12 July 2000)
ICALP 2000 (Geneva, Switzerland, 9-15 July 2000)
ICATPN 2000 (Aarhus, Denmark, 26-30 June 2000)
LICS 2000 (Santa Barbara, California, 26-29 June 2000)
ETAPS 2000 (Berlin, Germany, 25 March - 2 April 2000)
ETAPS 2000: FoSSaCS 2000 (Berlin, Germany, 25 March - 2 April 2000)
ETAPS 2000: FASE 2000 (Berlin, Germany, 25 March - 2 April 2000)
ETAPS 2000: TACAS 2000 (Berlin, Germany, 25 March - 2 April 2000)
ETAPS 2000: GRATRA 2000 (Berlin, Germany, 25-27 March 2000)
ETAPS 2000: CMCS 2000 (Berlin, Germany, 25-26 March 2000)
POPL 2000 (Boston, MA, USA, 19-21 January 2000)

1999 (back to top)

Colloquium on Petri Net Technologies for Modelling Communication Based Systems (Berlin, Germany, 21-22 October 1999)
Categorical Models of Concurrency (Dresden, Germany, 14-16 October 1999)
HOOTS'99 (Paris, France, 30 September - 1 October 1999)
FM'99 (Toulouse, France, 20-24 September 1999)
FM'99: OBJ/CafeOBJ/Maude Workshop (Toulouse, France, 20-24 September 1999)
WADT'99 (Bonas, France, 15-18 September 1999)
CTCS'99 (Edinburgh, Scotland, 10-12 September 1999)
CONTEXT'99 (Trento, Italy, 9-11 September 1999)
MFCS'99 (Szklarska Poreba, Poland, 6-10 September 1999)
FCT'99 (Iasi, Romania, 30 August - 3 September 1999)
CONCUR'99 (Eindhoven, the Netherlands, 24-27 August 1999
CONCUR'99: EXPRESS'99 (Eindhoven, The Netherlands, 23 August 1999)
ICALP'99 (Prague, Czech Republic, 11-15 July 1999)
FLoC'99 (Trento, Italy, 30 June - 12 July 1999)
FLoC'99: LICS'99 (Trento, Italy, 2-5 July 1999)
FLoC'99: RTA'99 (Trento, Italy, 2-4 July 1999)
FLoC'99: FMICS'99 (Trento, Italy, 11-12 July 1999)
School in Logic and Computation (Edinburgh, Scotland, 10-13 April 1999)
TLCA'99 (L'Aquila, Italy, 7-9 April 1999)
ETAPS'99 (Amsterdam, the Netherlands, 20-28 March 1999)
ETAPS'99: FoSSaCS'99 (Amsterdam, the Netherlands, 20-28 March 1999)
ETAPS'99: FASE'99 (Amsterdam, the Netherlands, 20-28 March 1999)
ETAPS'99: TACAS'99 (Amsterdam, the Netherlands, 20-28 March 1999)
ETAPS'99: CMCS'99 (Amsterdam, the Netherlands, 20-21 March 1999)
FMOODS'99 (Florence, Italy, 15-18 February 1999)
POPL'99 (San Antonio, Texas, USA, 20-22 January 1999)

1998 (back to top)

FST&TCS'98 (Chennai, India, 17-19 December 1998)
ASIAN'98 (Manila, The Philippines, 8-10 December 1998)
FTP'98 (Schloss Wilhelminenberg, Vienna, Austria, 23-25 November 1998)
ICTCS'98 (Prato, Italy, 9-11 November 1998)
SAS'98 and PLILP/ALP'98 (Pisa, Italy, 14-18 September 1998)
CONCUR'98 (Nice, France, 8-11 September 1998)
CONCUR'98: EXPRESS'98 (Nice, France, 7 September 1998)
ICALP'98 (Aalborg, Denmark, 13-17 July 1998)
LICS'98 (Indianapolis, Indiana, 21-24 June 1998)
ETAPS'98 (Lisbon, Portugal, 28 March - 4 April 1998)
ETAPS'98: FoSSaCS'98 (Lisbon, Portugal, 30-31 March 1998)
ETAPS'98: FASE'98 (Lisbon, Portugal, 30 March - 1 April 1998)
ETAPS'98: TACAS'98 (Lisbon, Portugal, 31 March - 3 April 1998)
ETAPS'98: WADT'98 (Lisbon, Portugal, 2-4 April 1998)
POPL'98 (San Diego, California, USA, 19-21 January 1998)

1997 (back to top)

EXPRESS'97 (Santa Margherita Ligure, Italy, 8-12 September 1997)
COORDINATION'97 (Berlin, Germany, 1-3 September 1997)
ICALP'97 (Bologna, Italy, 7-11 July 1997)
CONCUR'97 (Warsaw, Poland, 1-4 July 1997)
LICS'97 (Warsaw, Poland, 29 June - 2 July 1997)
WADT'97 (Tarquinia, Italy, 3-7 June 1997)
FUN'97 (Bologna, Italy, 26-27 March 1997)
POPL'97 (Paris, France, 15-17 January 1997)

1996 (back to top)

CONCUR'96 (Pisa, Italy, 26-29 August 1996)
FLoC'96 (New Jersey, USA, 27 July - 3 August 1996)
FLoC'96: LICS (New Jersey, USA, 27-30 July 1996)
FLoC'96: RTA (New Jersey, USA, 27-30 July 1996)
FLoC'96: CADE (New Jersey, USA, 30 July - 3 August 1996)
FLoC'96: CAV (New Jersey, USA, 31 July - 3 August 1996)
ICALP'96 (Paderborn, Germany, 8-12 July 1996)
POPL'96 (St. Petersburg Beach, Florida, 21-24 January 1996)

1995 (back to top)

CONCUR'95 (Philadelphia, Pennsylvania, USA, 21-24 August 1995)
email me
Valid HTML 4.01! last modified: December 23, 2004 Roberto Bruni's Home Page