Interesting Conferences & Workshops (with submission deadline in 2003)
on foundational, theoretical, logical, and mathematical aspects of
computer science (including in particular: rewriting & equational
reasoning, automated & interactive deductive & inductive
reasoning, specification & verification, formal
methods, programming languages & software engineering,
logical frameworks, computational logic, automata & formal
languages, artificial intelligence)
(ordered by submission deadline, all data without guarantee,
incomplete list, never up-to-date but useful)
Interesting Conferences & Workshops (with submission deadline in 2002)
Interesting Conferences & Workshops (with submission deadline in 2001)
Interesting Conferences & Workshops (with submission deadline in 2000)
Interesting Conferences & Workshops (with submission deadline in or before 1999)
Interesting Summer Schools & Related Events
Dates are of the form dd/mm/yy.
Abbreviations used:
| + |
extended deadline |
| a |
deadline for submission of abstracts |
| ea |
deadline for submission of extended abstracts |
| fa |
deadline for submission of fast abstracts |
| sa |
deadline for submission of short abstracts |
| ta |
deadline for submission of title + author(s) |
| p |
deadline for submission of (full) papers |
| r |
deadline for registration |
| ws |
deadline for course or workshop proposal |
| tut |
deadline for tutorial proposal |
| se |
deadline for proposing satellite events |
| WS |
workshop |
| TUT |
tutorial |
| ST |
special track |
Event Submission Notification Date Location
======================================================================================================================
ETAPS'03 WS WOOD + 03/01/03 08/02/03 12/04-12/04/03 Warsaw (Poland)
AVIS'03 04/01/03 16/02/03 12/04-12/04/03 Warsaw (Poland)
CMCS'03 05/01/03 07/02/03 05/04-06/04/03 Warsaw (Poland)
LICS'03 06/01/03 20/03/03 22/06-25/06/03 Ottawa (Canada)
MEMOCODE'03 07/01/03 07/03/03 24/06-26/06/03 Mont Saint-Michel (France)
FORMS'03 10/01/03 14/02/03 15/05-16/05/03 Budapest (Hungary)
TGC'03 10/01-10/01/03 Paris (France)
ICALP'03 12/01/03 18/03/02 30/06-04/07/02 Eindhoven (Netherlands)
DMTCS'03 15/01/03 01/03/03 07/07-12/07/03 Dijon (France)
IJCAI'03 16/01/03 25/03/03 12/08-15/08/03 Acapulco ( Mexico)
ISSAC'03 19/01/03 25/03/03 03/08-06/08/03 Philadelphia (PA, USA)
RTA'03 22/01/03 15/03/03 09/06-11/06/03 Valencia (Spain)
CAV'03 22/01/03 28/03/03 08/07-12/07/03 Boulder (Colorado, USA)
AOSD'03 WS FOAL 27/01/03 10/02/03 17/03-17/03/03 Boston (Massachusetts, USA)
CSFW'03 28/01/03 14/03/03 30/06-02/07/03 Asilomar, Pacific Grove (CA, USA)
WEA'03 + 29/01/03 09/03/03 26/05-29/05/03 Monte Verita, Ascona (Switzerland)
CP-AI-OR'03 31/01/03 03/03/03 08/05-10/05/03 Montreal (Canada)
CADE'03 31/01/03 31/03/03 28/07-02/08/03 Miami Beach (Florida, USA)
----------------------------------------------------------------------------------------------------------------------
DLMPS'03 01/02/03 07/08-13/08/03 Oviedo (Spain)
SAS'03 07/02/03 18/03/03 11/06-13/06/03 San Diego (CA, USA)
RE'03 07/02/03 11/04/03 08/09-12/09/03 Monterey Bay (California, USA)
WI'03 07/02/03 11/04/03 08/09-12/09/03 Monterey Bay (California, USA)
COCOON'03 07/02/03 01/04/03 25/07-28/07/03 Big Sky (MT, USA)
SAT'03 08/02/03 10/03/03 05/05-08/05/03 S. Margherita Ligure (Italy)
JMLC'03 09/02/03 30/04/03 25/08-27/08/03 Klagenfurt (Austria)
WADS'03 10/02/03 14/04/03 30/07-01/08/03 Ottawa (Canada)
ICJAI'03 POSTERS 10/02/03 12/08-15/08/03 Acapulco (Mexico)
FICS'03 14/02/03 10/03/03 12/04-13/04/03 Warsaw (Poland)
FMS'03 15/02/03 31/03/03 26/05-30/05/03 Nanjing (Jiangsu Province, China)
PSSL'03 15/02-16/02/03 Strasbourg (France)
EUROPAR'03 + 16/02/03 01/05/03 26/08-29/08/03 Klagenfurt (Austria)
PSI'03 + 16/02/03 07/04/03 09/07-12/07/03 Novosibirsk, Akademgorodok (Russia)
ASL'03 17/02/03 01/06-04/06/03 Chicago (Illinois, USA)
ICML'03 + 21/02/03 25/04/03 21/08-24/08/03 Washington, DC (USA)
TPHOLS'03 21/02/03 02/04/03 08/09-12/09/03 Roma (Italy)
TIME-ICTL'03 21/02/03 04/04/03 08/07-10/07/03 Cairns (Queensland, Australia)
SAFECOMP'03 23/02/03 27/04/03 23/09-26/09/03 Edinburgh (Scotland, UK)
DLT'03 24/02/03 24/03/03 07/07-11/07/03 Szeged (Hungary)
SBLP'03 + 24/02/03 28/03/03 28/05-30/05/03 Ouro Preto (MG, Brazil)
AVOCS'03 25/02/03 10/03/03 02/04-03/04/03 Southampton (UK)
FMCS'03 28/02/03 30/05-01/06/03 Ottawa (Canada)
----------------------------------------------------------------------------------------------------------------------
WOLLIC'03 01/03/03 01/04/03 29/07-01/08/03 Ouro Preto, Minas Gerais (Brazil)
DNA'03 + 01/03/03 07/04/03 01/06-04/06/03 Madison (Wisconsin, USA)
ARW'03 03/03/03 15/04-16/04/03 Liverpool (UK)
FCT'03 + 03/03/03 11/04/03 12/08-15/08/03 Malmoe (Sweden)
WG'03 04/03/03 23/04/03 19/06-21/06/03 Elspeet (Netherlands)
SEKE'03 05/03/03 15/04/03 01/07-03/07/03 San Francisco (CA, USA)
PCK'03 05/03/03 25/03/03 08/06-08/06/03 San Diego (CA, USA)
FME'03 07/03/03 09/05/03 08/09-14/09/03 Pisa (Italy)
SVHSS'03 12/03/03 30/03/03 20/05-22/05/03 Tel Aviv (srael)
ESEC/FSE'03 14/03/03 ??/??/03 01/09-05/09/03? Helsinki (Finland)
ISMIS'03 10/03/03 15/05/03 28/10-31/10/03 Maebashi City (Japan)
ST-PETERSBURG'03 15/03/03 30/04/03 24/08-26/08/03 St.Petersburg (Russia)
AADEBUG'03 15/03/03 15/05/03 09/09-10/09/03 Ghent (Belgium)
FG'03 15/03/03 01/05/03 16/08-17/08/03 Vienna (Austria)
PEPM'03 16/03/03 18/04/03 13/10-15/10/03 Bertinoro (Italy)
IJCAI'03 WS MOCH. + 17/03/03 30/03/03 10/08-10/08/03 Acapulco (Mexico)
ICALP'03 WS MLC + 19/03/03 19/04/03 04/07-05/07/03 Eindhoven (Netherlands)
UAI'03 20/03/03 30/04/03 07/08-10/08/03 Acapulco ( Mexico)
ICATPN'03 WS WISP 20/03/03 30/04/03 23/06-23/06/03 Eindhoven (Netherlands)
ICFP'03 20/03/03 19/05/03 25/08-29/08/03 Uppsala (Sweden)
TYPES'03 20/03/03 30/04-04/05/03 Torino (Italy)
TABLEAUX'03 21/03/03 17/05/03 09/09-12/09/03 Rome (Italy)
ICALP'03 WS PITPAT 21/03/03 30/04/03 30/06-01/07/03? Eindhoven (Netherlands)
SIROCCO'03 21/03/03 22/04/03 18/06-20/06/03 Umea (Sweden)
LICS'03 SHORT 21/03/03 04/04/03 22/06-25/06/03 Ottawa (Canada)
LICS'03 WS FCS 22/03/03 02/05/03 26/06-27/06/03 Ottawa (Canada)
PTA'03 23/03-29/03/03 Edinburgh (Scotland, UK)
COLT'03 23/03/03 25/05/03 24/08-27/08/03 Washington, D.C. (USA)
WST'03 24/03/03 25/04/03 13/06-14/06/03 Valencia (Spain)
FORTE'03 + 24/03/03 22/05/03 29/09-02/10/03 Berlin (Germany)
FOP'03 24/03-25/03/03 Oxford (UK)
TABLEAUX'03 P.P. a+ 26/03/03 17/05/03 09/09-12/09/03 Rome (Italy)
MFCS'03 28/03/03 12/05/03 25/08-29/08/03 Bratislava (Slovak Republic)
PLS'03 28/03/03 09/05/03 07/07-10/07/03 Thessaloniki (Greece)
ICC'03 28/03/03 09/05/03 26/06-27/06/03 Ottawa (Canada)
VLFM'03' + 28/03/03 15/06/03 28/10-31/10/03 Auckland (New Zealand)
HCC'03 + 28/03/03 15/06/03 28/10-31/10/03 Auckland (New Zealand)
AMILP'03 + 28/03/03 14/04/03 25/08-27/08/03 Verona (Italy)
PPDP'03 29/03/03 12/05/03 27/08-29/08/03 Uppsala (Sweden)
WRS'03 a+ 30/03/03 30/04/03 08/06-08/06/03 Valencia (Spain)
IDA'03 31/03/03 12/05/03 26/08-29/08/03 Berlin (Germany)
CSL'03 31/03/03 02/06/03 25/08-30/08/03 Vienna (Austria)
FMICS'03 + 31/03/03 05/05/03 07/06-07/06/03 Trondheim (Norway)
LICS'03 WS LACL 31/03/03 15/04/03 26/06-26/06/03 Ottawa (Canada)
----------------------------------------------------------------------------------------------------------------------
CIAA'03 01/04/03 15/05/03 16/07-18/07/03 Santa Barbara (CA, USA)
IWFM'03 01/04/03 15/05/03 10/07-11/07/03 Dublin (Ireland)
ESA'03 01/04/03 29/05/03 15/09-20/09/03? Budapest (Hungary)
WFLP'03 + 02/04/03 25/04/03 12/06-13/06/03 Valencia (Spain)
CONCUR'03 04/04/03 26/05/03 02/09-06/09/03 Marseille (France)
IEEE-WIC-WI'03 + 04/04/03 ??/05/03 13/10-17/10/03 Beijing (China)
FTP'03 + 05/04/03 29/04/03 12/06-14/06/03 Valencia (Spain)
ETAPS'03 05/04-13/04/03 Warsaw (Poland)
GPCE'03 06/04/03 25/05/03 22/09-25/09/03 Erfurt (Germany)
CIA'03 07/04/03 01/06/03 27/08-29/08/03 Helsinki (Finland)
KI'03 07/04/03 02/06/03 15/09-18/09/03 Hamburg (Germany)
BCTCS'03 07/04-09/04/03 Leicester (UK)
DCFS'03 09/04/03 09/05/03 12/07-14/07/03 Budapest (Hungary)
AAMAS'03 WS DALT 11/04/03 06/05/03 15/07-15/07/03 Melbourne (Australia)
CP'03 + 11/04/03 08/06/03 29/09-03/10/03 Kinsale, County Cork (Ireland)
ALT'03 12/04/03 01/06/03 17/10-19/10/03 Sapporo (Japan)
SEFM'03 a 14/04/03 05/06/03 22/09-27/09/03 Brisbane (Australia)
CADE'03 WS MODELS 14/04/03 16/05/03 29/07-29/07/03 Miami (Florida, USA)
RULE'03 + 14/04/03 05/05/03 09/06-09/06/03 Valencia (Spain)
ISSRE'03 + 14/04/03 15/07/03 17/11-20/11/03 Denver (Colorado, USA)
UML'03 15/04/03 24/06/03 20/10-24/10/03 San Francisco (CA, USA)
UNIF'03 + 17/04/03 28/04/03 08/06-09/06/03 Valencia (Spain)
KI'03 WS AMR 18/04/03 02/06/03 15/09-18/09/03 Hamburg (Germany)
HLPP'03 + 18/04/03 16/05/03 16/06-17/06/03 Paris (France)
PSI'03 WS PROG.UND. 21/04/03 19/05/03 14/07-16/07/03 Altai Mountains (Russia)
CHARME'03 + 21/04/03 06/06/03 21/10-24/10/03 L'Aquila (Italy)
PCI'03 + 21/04/03 16/06/03 21/11-23/11/03 Thessaloniki (Greece)
BCI'03 + 21/04/03 16/06/03 21/11-23/11/03 Thessaloniki (Greece)
IJCAI'03 WS AAR + 22/04/03 02/05/03 11/08-11/08/03 Acapulco (Mexico)
ECOOP'03 WS CMC 25/04/03 17/05/03 22/07-22/07/03 Darmstadt (Germany)
CADE'03 WS QPQ 25/04/03 15/05/03 28/07-28/07/03 Miami (Florida, USA)
ICALP'03 WS FGC'03 27/04/03 02/06/03 28/06-29/06/03 Eindhoven (Netherlands)
ICTCS'03 ++ 27/04/03 13/06/03 13/10-15/10/03 Bertinoro (Italy)
CADE'03 WS PDPAR + 28/04/03 16/05/03 28/07-29/07/03? Miami (Florida, USA)
LICS'03 WS TCCPT 28/04/03 12/05/03 21/06-21/06/03 Ottawa (Canada)
WABI'03 28/04/03 02/06/03 15/09-20/09/03? Budapest (Hungary)
SEFM'03 p+ 29/04/03 05/06/03 22/09-27/09/03 Brisbane (Australia)
FOL75'03 + 30/04/03 15/06/03 18/09-21/09/03 Berlin (Germany)
----------------------------------------------------------------------------------------------------------------------
LC'03 01/05/03 14/08-20/08/03 Helsinki (Finland)
CADE'03 WS GC 01/05/03 16/05/03 28/07-29/07/03? Miami (Florida, USA)
IS-TCS'03 01/05/03 15/06/03 16/10-16/10/03 Ljubljana (Slovenia)
SCOPES'03 + 01/05/03 09/06/03 24/09-26/09/03 Vienna (Austria)
ATMNCL'03 01/05/03 15/05/03 07/07-11/07/03 Tbilisi (Georgia)
CADE'03 WS NADS + 02/05/03 16/05/03 29/07-29/07/03 Miami (Florida, USA)
ECOOP'03 WS FTFJP + 02/05/03 24/05/03 21/07-22/07/03? Darmstadt (Germany)
ACG'03 02/05/03 16/06/03 24/11-27/11/03 Graz (Austria)
WAIT'03 04/05/03 27/06/03 01/09-05/09/03 Buenos Aires (Argentina)
PLI'03 WS ERLANG 05/05/03 02/06/03 29/08-29/08/03 Uppsala (Sweden)
CADE'03 WS QPQ + 05/05/03 15/05/03 28/07-28/07/03 Miami (Florida, USA)
LPAR'03 + 05/05/03 16/06/03 22/09-26/09/03 Almaty (Kazakhstan)
ATMOS'03 06/05/03 20/06/03 15/09-20/09/03? Budapest (Hungary)
CAV'03 WS BMC + 07/05/03 09/06/03 13/07-13/07/03 Boulder (Colorado, USA)
CONCUR'03 WS FORM. 09/05/03 13/06/03 06/09-07/09/03 Marseille (France)
CCS'03 09/05/03 28/07/03 27/10-31/10/03 Washington DC (USA)
CAV'03 WS PDMC 10/05/03 15/06/03 14/07-14/07/03 Boulder (Colorado, USA)
SOFT-COMP'03 10/05/03 15/06/03 18/10-20/10/03 Brno (Czech Republic)
CAV'03 WS RV 12/05/03 12/06/03 13/07-13/07/03 Boulder (Colorado, USA)
CAV'03 WS SOFTMC 12/05/03 09/06/03 14/07-14/07/03 Boulder (Colorado, USA)
LICS'03 WS PAI 15/05/03 20/05/03 21/06-21/06/03 Ottawa (Canada)
SUD'03 r 15/05/03 05/06-05/06/03 Utrecht (Netherlands)
EUROCOMB'03 15/05/03 20/06/03 08/09-12/09/03 Prague (Tcheque Republic)
ICLP'03 + 19/05/03 12/07/03 09/12-13/12/03 Mumbai (India)
PLI'03 WS HASKELL + 22/05/03 23/06/03 ??/08/03/07/03? Uppsala (Sweden)
CALCULEMUS'03 a+ 23/05/03 16/06/03 10/09-12/09/03 Roma (Italy)
WCRE'03 a 23/05/03 14/07/03 13/11-16/11/03 Victoria (British Columbia, Canada)
ISAAC'03 24/05/03 19/07/03 15/12-17/12/03 Kyoto (Japan)
LOPSTR'03 25/05/03 22/06/03 25/08-27/08/03 Uppsala (Sweden)
WPT'03 25/05/03 23/06-04/07/03 Dresden (Germany)
ICFEM'03 + 26/05/03 14/07/03 05/11-07/11/03 Singapore (Singapore)
APLAS'03 27/05/03 17/07/03 27/10-29/10/03 Beijing (China)
TPHOLS'03 E. TRENDS 30/05/03 13/09-13/09/03 Pisa (Italy)
GD'03 31/05/03 15/07/03 21/09-24/09/03 Perugia (Italy)
----------------------------------------------------------------------------------------------------------------------
DL'03 + 01/06/03 30/06/03 05/09-07/09/03 Rome (Italy)
PSC'03 01/06/03 30/06/03 22/09-24/09/03 Prague (Czech Republic)
UITP'03 01/06/03 21/06/03 08/09-08/09/03 Rome (Italy
CONCUR'03 WS EXPR. 01/06/03 18/07/03 02/09-02/09/03 Marseille (France)
CONCUR'03 WS CMCIM 01/06/03 07/07/03 06/09-06/09/03 Marseille (France)
CONCUR'03 WS GETCO 01/06/03 07/07/03 06/09-06/09/03 Marseille (France)
CONCUR'03 WS SPV 01/06/03 01/07/03 06/09-06/09/03 Marseille (France)
CONCUR'03 WS INFIN. 01/06/03 07/07/03 02/09-02/09/03 Marseilles (France)
CCA'03 02/06/03 30/06/03 28/08-30/08/03 Cincinnati (Ohio, USA)
FMOODS'03 a 02/06/03 04/08/03 10/11-21/11/03 Paris (France)
FDL'03 04/06/03 06/06/03 23/09-26/09/03 Frankfurt (Germany)
CONCUR'03 WS FO.'03 06/06/03 15/07/03 02/09-02/09/03 Marseille (France)
FCRC'03 07/06-14/06/03 San Diego (California, USA)
RDP'03 08/06-14/06/03 Valencia (Spain)
CONCUR'03 WS BIOCO. 08/06/03 06/07/03 06/09-06/09/03 Marseille (France)
CONCUR'03 WS FOCL. 09/06/03 15/07/03 02/09-02/09/03 Marseille (France)
ESEC/FSE'03 WS SAV+ 09/06/03 30/06/03 01/09-02/09/03 Helsinki (Finland)
CCS'03 WS FMSE 10/06/03 01/08/03 30/10-30/10/03 Washington DC (USA)
IFIP-WG1.6'03 12/06-12/06/03 Valencia (Spain)
WORDS'03 15/06/03 15/07/03 10/09-13/09/03 Turku (Finland)
ESSLLI'03 15/06/03 18/08-29/08/03 Vienna (Austria)
PLI'03 WS MERLIN'03 16/06/03 14/07/03 26/08-26/08/03 Uppsala (Sweden)
APSEC'03 a 16/06/03 15/08/03 10/12-12/12/03 Chiang Mai (Thailand)
VIKINGPLOP-03 a 16/06/03 18/08/03 19/09-21/09/03 near Oslo (Norway)
TPHOL'03 WS STRATA+ 16/06/03 04/07/03 08/09-08/09/03 Rome (Italy)
SEEFM'03 20/06/03 05/09/03 20/11-20/11/03 Thessaloniki (Greece)
FME'03 WS FMGALS + 22/06/03 01/08/03 13/09-13/09/03 Pisa (Italy)
KRDB'03 23/06/03 18/07/03 01/09-02/09/03 Helsinki (Finland)
LICS'03 WS CCSP 26/06-26/06/03 Ottawa (Canada)
CASES'03 27/06/03 15/08/03 30/10-01/11/03 San Jose (California, USA)
CADE'03 CASC 27/06/03 31/07-31/07/03 Miami (Florida, USA)
FME'03 WS FACS 27/06/03 25/07/03 08/09-09/09/03 Pisa (Italy)
MANNA-64'03 29/06-04/07/03 Taormina (Sicily, Italy)
M4M'03 30/06/03 08/08/03 22/09-23/09/03 Nancy (France)
KALMAR'03 30/06/03 15/08/03 01/10-02/10/03 Szeged (Hungary)
FME'03 WS STEVE 30/06/03 31/07/03 13/09-13/09/03 Pisa (Italy)
ICLP'03 WS PPSWR 30/06/03 15/08/03 13/12-13/12/03 Mumbai (India)
----------------------------------------------------------------------------------------------------------------------
IICAI'03 01/07/03 01/08/03 18/12-20/12/03 Hyderabad (India)
FSTTCS'03 01/07/03 15/08/03 15/12-17/12/03 Mumbai (India)
PLI'03 WS DPCOOL 01/07/03 14/07/03 25/08-25/08/03 Uppsala (Sweden)
GPCE'03 WS REPLS + 07/07/03 31/07/03 22/09-22/09/03 Erfurt (Germany)
FME'03 WS FAST 07/07/03 07/08/03 08/09-08/09/03 Pisa (Italy)
WAOA'03 09/07/03 05/08/03 15/09-20/09/03? Budapest (Hungary)
FME'03 WS ITCLS + 14/07/03 31/07/03 09/09-09/09/03 Pisa (Italy)
ESSLLI'04 ws 16/07/03 17/09/03 09/09-21/08/04 Nancy (France)
CP'03 WS REFORM. 16/07/03 05/08/03 29/09-29/09/03 Kinsale (County Cork, Ireland)
WMF'03 18/07/03 02/09/03 12/10-14/10/03 Campina Grande (PB, Brazil)
POPL'04 18/07/03 22/09/03 14/01-16/01/04 Venice (Italy)
LPNMR'04 22/07/03 22/09/03 06/01-08/01/04 Fort Lauderdale (Florida, USA)
UML'03 WS CSD 26/07/03 01/09/03 21/10-21/10/03 San Francisco (California, USA)
IWIL'03 27/07/03 15/08/03 27/09-27/09/03 Almaty (Kazakhstan)
CP'03 WS MULTICPL 28/07/03 12/08/03 29/09-29/09/03 Kinsale (County Cork, Ireland)
----------------------------------------------------------------------------------------------------------------------
ASIAN'03 01/08/03 07/09/03 10/12-13/12/03 Mumbai (India)
TFP'03 02/08/03 08/09-10/09/03 Edinburgh (Scotland)
THEORIETAG'03 15/08/03 29/09-02/10/03 Herrsching near Munich (Germany)
ISSRE'03 fa 15/08/03 01/09/03 17/11-20/11/03 Denver (Colorado, USA)
SOFSEM'04 a 18/08/03 05/10/03 24/01-30/01/04 Slapy Dam (Czech Republic)
IFL'03 22/08/03 08/09-10/09/03 Edinburgh (Scotland)
ATVA'03 + 25/08/03 01/09/03 10/12-13/12/03 Taipei (Taiwan)
TCC'04 27/08/03 29/10/03 19/02-21/02/04 Cambridge (MA, USA)
MOTRES'04 30/08/03 15/09/03 12/01-15/01/04 Schloss Dagstuhl (Germany)
VMCAI'04 + 30/08/03 03/10/03 11/01-13/01/04 Venice (Italy)
COCOS'03 + 31/08/03 20/09/03 18/11-21/11/03 Lausanne (Switzerland)
DEDU-LOGINF'03 31/08/03 08/10-10/10/03 Augsburg (Germany)
----------------------------------------------------------------------------------------------------------------------
UML'03 WS SVERTS + 01/09/03 10/09/03 20/10-20/10/03 San Francisco (California, USA)
SAC'04 06/09/03 18/10/03 14/03-17/03/04 Nicosia (Cyprus)
SAC'04 TR.PROG-LANG 06/09/03 18/10/03 14/03-17/03/04 Nicosia (Cyprus)
CONCUR'03 WS FMM'03 07/09-07/09/03 Marseille (France)
ICLP'03 WS CICLOPS 08/09/03 08/10/03 09/12-13/12/03? Mumbai (India)
ATVA'03 + 10/09/03 06/10/03 10/12-13/12/03 Taipei (Taiwan)
WLPE'03 12/09/03 10/10/03 09/12-13/12/03 Mumbai (India)
DIAGRAMS'04 12/09/03 16/11/03 22/03-24/03/04 Cambridge (UK)
IFM'04 15/09/03 30/11/03 05/04-07/04/04 Canterbury (Kent, England)
LATIN'04 15/09/03 17/11/03 05/04-09/04/04 Buenos Aires (Argentina)
ASM'04 a 15/09/03 01/12/03 24/05-28/05/04 Halle-Wittenberg (Germany)
ICLP'03 WS SVV 15/09/03 15/10/03 09/12-13/12/03? Mumbai (India)
STACS'04 15/09/03 24/11/03 25/03-27/03/04 Montpellier (France)
ALGO'03 15/09-20/09/03 Budapest (Hungary)
CLIMA'04 19/09/03 17/10/03 06/01-07/01/04 Fort Lauderdale (Florida, USA)
ICSE'04 22/09/03 15/12/03 23/05-28/05/04 Edinburgh (Scotland, UK)
COORDINATION'04 a+ 25/09/03 14/11/03 24/02-27/02/04 Pisa(Italy)
ICLP'03 WS COLOPS 28/09/03 28/10/03 13/12-13/12/03 Mumbai (India)
COORDINATION'04 p 29/09/03 14/11/03 24/02-27/02/04 Pisa(Italy)
POPL-04-WS-PLANX 29/09/03 19/11/03 13/01-13/01/04 Venice (Italy)
----------------------------------------------------------------------------------------------------------------------
FOOL'04 + 01/10/03 17/11/03 17/01-17/01/04 Venice (Italy)
ETAPS'04 WS MBT 01/10/03 01/12/04 27/03-28/03/04 Barcelona (Spain)
HCE'04 01/10/03 01/11/03 22/08-27/08/04 Toulouse (France)
AIM'04 03/10/03 03/11/03 04/01-06/01/04 Fort Lauderdale (Florida, USA)
HSCC'04 10/10/03 01/12/03 25/03-27/03/04 Philadelphia (PA, USA)
ICLP'03 WS COLOPS + 12/10/03 28/10/03 13/12-13/12/03 Mumbai (India)
IIS'04 15/10/03 08/12/03 17/05-20/05/04 Zakopane (Poland)
CW'04 + 15/10/03 13/11/03 17/01-17/01/04 Venice (Italy)
ETAPS'04 17/10/03 12/12/03 27/03-04/04/04 Barcelona (Spain)
CC'04 17/10/03 12/12/03 29/03-02/04/04 Barcelona (Spain)
ESOP'04 17/10/03 12/12/03 29/03-02/04/04 Barcelona (Spain)
FASE'04 17/10/03 12/12/03 29/03-31/03/04 Barcelona (Spain)
FOSSACS'04 17/10/03 12/12/03 29/03-31/03/04 Barcelona (Spain)
TACAS'04 17/10/03 12/12/03 29/03-02/04/04 Barcelona (Spain)
CSMR'04 + 18/10/03 28/11/03 24/03-26/03/04 Tampere (Finland)
TYPES'03 LNCS + 21/10/03 05/12/03 -------------- -------------
EMCSR'04 24/10/03 12/12/03 13/04-16/04/04 Vienna (Austria)
FLAIRS'04 ST CSP 24/10/03 07/01/04 17/05-19/05/04 Miami Beach (Florida, USA)
FLAIRS'04 24/10/03 07/01/04 17/05-19/05/04 Miami Beach (Florida, USA)
FLOPS'04 a++ 25/10/03 20/12/03 07/04-09/04/03 Nara (Japan)
MKMS'03 + 26/10/03 10/11/03 25/11-30/11/03 Edinburgh (Scotland)
COLCOM'03 29/10/03 14/11-15/11/03 Magdeburg (Germany)
ADA-EUROPE'04 31/10/03 12/01/04 14/06-18/06/04 Palma de Mallorca (Spain)
----------------------------------------------------------------------------------------------------------------------
FLOPS'04 p++ 01/11/03 20/12/03 07/04-09/04/03 Nara (Japan)
ISMVL'04 01/11/03 01/02/04 19/05-22/05/04 Toronto (Canada)
ASM'04 p 03/11/03 10/01/04 24/05-28/05/04 Halle-Wittenberg (Germany)
FMCO'03 04/11-07/11/03 Leiden (Netherlands)
STOC'04 05/11/03 04/02/04 13/06-15/06/04 Chicago (IL, USA)
PLDI'04 15/11/03 02/02/04 09/06-11/06/04 Washington, DC (USA)
ETAPS'04 WS DCC 15/11/03 15/12/03 27/08-28/08/04 Barcelona (Spain)
LICS'04 WS ws 15/11/03 01/02/04 14/07-17/07/04 Turku (Finland)
ATPN'04 15/11/03 01/03/04 21/06-25/06/04 Bologna (Italy)
MODOCOP'03 r 15/11/03 04/12-04/12/03 Montbonnot (France)
IJCAR'04 ws 16/11/03 12/12/03 04/07-05/07/04 Cork (Ireland)
SPACE'04 20/11/03 02/12/03 12/01-12/01/04 Venice (Italy)
NA-MKM'04 21/11/03 06/01-06/01/04 Phoenix (Arizona, USA)
ETAPS'04 WS INT 25/11/03 12/01/04 28/03-28/03/04 Barcelona (Spain)
KR'04 26/11/03 03/03/04 02/06-05/06/04 Delta Whistler Resort (Canada)
FMIAEC'03 27/11-27/11/03 Ghent (Belgium)
ETAPS'04 WS SLAP + 28/11/03 16/01/04 28/03-28/03/04 Barcelona (Spain)
ETAPS'04 WS SLAP 14/11/03 16/01/04 28/03-28/03/04 Barcelona (Spain)
----------------------------------------------------------------------------------------------------------------------
WRLA'04 + 01/12/03 15/01/04 27/03-28/03/04 Barcelona (Spain)
ETAPS'04 WS CP+CV 01/12/03 15/01/04 27/03-04/04/04? Barcelona (Spain)
PODS'04 a 01/12/03 23/02/04 13/06-18/06/04 Paris (France)
LDTA'04 01/12/03 15/01/04 ??/04-??/04/04 Barcelona (Spain)
ECOOP'04 01/12/03 09/02/04 14/06-18/06/04 Oslo (Norway)
AAAI'04 r 01/12/03 12/03/04 25/07-29/07/04 San Jose (California, USA)
SPIN'04 a 06/12/03 18/01/04 01/04-03/04/04 Barcelona (Spain)
PODS'04 p 08/12/03 23/02/04 13/06-18/06/04 Paris (France)
ETAPS'04 WS COCV a+ 08/12/03 16/01/04 27/03-04/04/04? Barcelona (Spain)
TUG'04 a 10/12/03 30/08-03/09/04 Xanthi (Greece)
SPIN'04 p 14/12/03 18/01/04 01/04-03/04/04 Barcelona (Spain)
ETAPS'04 WS QAPL + 15/12/03 13/01/04 27/03-28/03/04 Barcelona (Spain)
ETAPS'04 WS COCV 24/11/03 16/01/04 27/03-04/04/04? Barcelona (Spain)
ETAPS'04 WS FESCA 14/12/03 19/01/04 03/04-03/04/04? Barcelona (Spain)
ASM'04 sa+ 15/12/03 10/01/04 24/05-28/05/04 Halle-Wittenberg (Germany)
ETAPS'04 WS COCV p+ 15/12/03 16/01/04 27/03-04/04/04? Barcelona (Spain)
WADT'04 15/12/03 15/01/04 27/03-30/03/04 Barcelona (Spain)
ETAPS'04 WS RV 15/12/03 15/01/04 03/04-04/04/04 Barcelona (Spain)
WITS'04 15/12/03 25/01/04 03/04-04/04/04 Barcelona (Spain)
WS-FM'04 15/12/03 26/01/04 23/02-23/02/04 Pisa (Italy)
ETAPS'04 WS SFEDL 15/12/03 23/01/04 03/04-03/04/04 Barcelona (Spain)
ETAPS'04 WS SC + 15/12/03 27/01/04 03/04-03/04/04 Barcelona (Spain)
ETAPS'04 WS GT-VMT 19/12/03 23/01/04 27/03-04/04/04? Barcelona (Spain)
ETAPS'04 WS AVIS a 19/12/03 16/01/04 28/03-28/03/04 Barcelona (Spain)
ETAPS'04 WS FUSE + 20/12/03 23/01/04 27/08-28/08/04 Barcelona (Spain)
FQAS'04 a 28/12/03 18/02/04 24/06-26/06/04 Lyon (France)
======================================================================================================================
Last modified: Thu Feb 19 11:01:40 CET 2009
Bernhard Gramlich