Interesting Conferences & Workshops (with submission deadline in 2004)

(see also Interesting Journals, Interesting Special Issues of Journals)

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 2003)
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
++ newly extended deadline
a deadline for submission of abstracts or posters
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)
e deadline for submission of emerging trends papers
p deadline for submission of (full) papers
r deadline for registration / application
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 / session
(1d) 1 day


Event               Submission  Notification  Date                Location
======================================================================================================================

TUG'04            p 01/01/04                  30/08-03/09/04      Xanthi (Greece)
IJCAR'04            05/01/04    22/03/04      04/07-09/07/04      Cork (County Cork, Ireland)
ETAPS'04 WS AVIS  p 05/01/04    16/01/04      28/03-28/03/04      Barcelona (Spain)
ACSD'04             19/12/03    28/02/04      16/06-18/06/04      Hamilton (Canada)
INAP'04             06/01/04    27/01/04      04/03-06/03/04      Berlin/Potsdam (Germany)
WLP'04              06/01/04    27/01/04      04/03-06/03/04      Berlin/Potsdam (Germany)
FQAS'04          +a 06/01/04    18/02/04      24/06-26/06/04      Lyon (France)
ISSAC'04            07/01/04    03/04/04      04/07-07/07/04      Santander (Spain)
CP-AI-OR'04         09/01/04    01/02/04      20/04-22/04/04      Nice (France)
MODELLIERUNG'04   a 10/01/04    14/01/04      24/03-26/03/04      Marburg (Germany)
CMCS'04           + 12/01/04    16/02/04      27/03-29/03/04      Barcelona (Spain)
FQAS'04          +p 12/01/04    18/02/04      24/06-26/06/04      Lyon (France)
ISDT'04           a 15/01/04                  10/05-14/05/04      Xi'an (China)
RTA'04            a 15/01/04    14/03/04      03/06-05/06/04      Aachen (Germany)
ICEIS'04 WS VVEIS + 15/01/04    15/02/04      13/04-13/04/04      Porto (Portugal)
ISSTA'04            16/01/04    29/03/04      11/07-17/07/04      Boston (Massachusetts, USA)
LOPSTR'04 WS     ws 18/01/04    01/02/04      14/08-28/08/04      Verona (Italy)
PEPM'04 WS       ws 18/01/04    01/02/04      14/08-28/08/04      Verona (Italy)
PPDP'04 WS       ws 18/01/04    01/02/04      14/08-28/08/04      Verona (Italy)
SAS'04 WS        ws 18/01/04    01/02/04      14/08-28/08/04      Verona (Italy)
AMAST'04            19/01/04    01/03/04      12/07-16/07/04      Stirling (UK)
AOSD'04 WS FOAL     19/01/04    09/02/03      23/03-23/03/03      Boston (Massachusetts, USA)
AAAI'04           p 20/01/04    12/03/04      25/07-29/07/04      San Jose (California, USA)
RTA'04            p 22/01/04    14/03/04      03/06-05/06/04      Aachen (Germany)
CAV'04              23/01/04    29/03/04      13/07-17/07/04      Boston (Massachusetts, USA)
CDB'04            a 23/01/04    15/03/04      12/06-13/06/04      Paris (France)
ETAPS'04 WS ECLIPSE 23/01/04    13/02/04      30/03-30/03/04      Barcelona (Spain)
ICALP'04            26/01/04    31/03/04      12/07-16/07/04      Turku (Finland)
LICS'04           a 26/01/04    27/03/04      14/07-17/07/04      Turku (Finland)
CSFW'04             27/01/04    12/03/04      28/06-30/06/04      Asilomar, Pacific Grove (CA, USA)
ETAPS'04 WS CP+CV + 28/01/04    25/02/04      28/03-28/03/04      Barcelona (Spain)
ICML'04           a 30/01/04    24/03/04      04/07-08/07/04      Banff (Alberta, Canada)
VISU-SWC'04         30/01/04                  19/07-30/07/04      Vienna (Austria)
EUROPAR'04          30/01/04    30/04/04      31/08-03/09/04      Pisa (Italy)
FLOPS'04 WS ALPS    31/01/04                  10/04-10/04/04      Kyoto (Japan)
ETAPS'05 SE      SE 31/01/04    16/02/05      02/04-10/04/05      Edinburgh (Scotland, UK)
----------------------------------------------------------------------------------------------------------------------
IJCAR'04 TUT        01/02/04    14/03/04      04/07-05/07/04      Cork (County Cork, Ireland)
IASSE'04            01/02/04    15/03/04      01/07-03/07/04      Nice (France)
LICS'04             02/02/04    27/03/04      14/07-17/07/04      Turku (Finland)
ICML'04           p 03/02/04    24/03/04      04/07-08/07/04      Banff (Alberta, Canada)
SAT'04            p 06/02/04    17/03/04      10/05-13/05/04      Vancouver (British Columbia, Canada)
LCTES'04            06/02/04    15/03/04      11/06-13/06/04      Washington, DC (USA)
MPC'04            + 06/02/04    05/03/04      12/07-14/07/04      Stirling (Scotland, UK)
SAFECOMP'04       a 08/02/04    30/04/04      21/09-24/09/04      Potsdam (Germany)
MATHINFO'04       + 08/02/04    31/03/04      13/09-17/09/04      Vienna (Austria)
SEC'04            a 09/02/04    31/03/04      23/08-26/08/04      Toulouse (France)
AIAI'04           a 09/02/04    31/03/04      23/08-26/08/04      Toulouse (France)
PASTE'04            09/02/04    22/03/04      07/06-08/06/04      Washington, DC (USA)
CPM'04              09/02/04    15/03/04      05/07-07/07/04      Istanbul (Turkey)
IWPC'04           a 09/02/04    18/03/04      24/06-26/06/04      Bari (Italy)
SAT'04           ta 10/02/04    19/03/04      10/05-13/05/04      Vancouver (British Columbia, Canada)
ASL'04              10/02/04                  19/05-23/05/04      Pittsburgh (PA, USA)
TIME'04           + 12/02/04    29/03/04      01/07-03/07/04      Tatihou (Basse Normandie, France)
MEMOCODE'04       + 12/02/04    15/03/04      22/06-25/06/04      San Diego (California, USA)
ECAI'04           a 13/02/04    01/05/04      22/08-27/08/04      Valencia (Spain)
PAIS'04           + 13/02/04    02/05/04      25/08-27/08/04      Valencia (Spain)
APPSEM'04         a 13/02/04    19/03/04      14/04-16/04/04      Tallinn (Estonia)
APPSEM'04        ea 13/02/04    19/03/04      14/04-16/04/04      Tallinn (Estonia)
WATA'04             15/02/04    15/03/04      01/06-05/06/04      Dresden (Germany)
COCOON'04           15/02/04    17/04/04      17/08-20/08/04      Jeju Island (Korea)
PADL'04           + 15/02/04    22/03/04      18/06-19/06/04      Dallas (Texas, USA)
ILCSS-04-TEL-AVIV   15/02/04                  10/03-19/03/04      Tel Aviv (Israel)
SEC'04            p 16/02/04    31/03/04      23/08-26/08/04      Toulouse (France)
AIAI'04           p 16/02/04    31/03/04      23/08-26/08/04      Toulouse (France)
KI'04 WS         WS 16/02/04    27/02/04      20/09-24/09/04      Ulm (Germany)
ASE'04           ws 16/02/04    15/03/04      20/09-25/09/04      Linz (Austria)
ECAI'04             18/02/04    01/05/04      22/08-27/08/04      Valencia (Spain)
IWPC'04           p 19/02/04    18/03/04      24/06-26/06/04      Bari (Italy)
TPHOLS'04           20/02/04    02/04/04      14/09-17/09/04      Park City, (Utah, USA)
SAT'04            p 20/02/04    19/03/04      10/05-13/05/04      Vancouver (British Columbia, Canada)
EUROPLOP'04         21/02/04    17/05/04      07/07-11/07/04      Irsee (Germany)
SAFECOMP'04       p 22/02/04    30/04/04      21/09-24/09/04      Potsdam (Germany)
ESSLLI'04 ST.SESS.  22/02/04    19/04/04      09/08-20/08/04      Vancouver (Canada)
JFPLC'04          a 22/02/04    05/04/04      21/06-23/06/04      Angers (France)
JNPC'04           a 22/02/04    05/04/04      21/06-23/06/04      Angers (France)
DNA'04              22/02/04    14/04/04      07/06-10/06/04      Milan (Italy)
ICLP'04           p 23/02/04    19/04/04      06/09-10/09/04      Saint-Malo (France)
ICSR'04           + 23/02/04    29/03/04      05/07-09/07/04      Madrid (Spain)
ARW'04            a 23/02/04                  31/03-01/04/04      Leeds (UK)
NET'04            + 26/02/04    31/03/04      31/05-02/06/04      Pilsen (Czech Republic)
NMR'04              27/02/04    31/03/04      06/06-08/06/04      Whistler (BC, Canada)
FUN'04              27/02/04    26/03/04      26/05-28/05/04      Isola d'Elba (Tuscany, Italy)
WG'04               28/02/04    24/04/04      21/06-23/06/04      Bad Honnef (German)
JFPLC'04          p 29/02/04    05/04/04      21/06-23/06/04      Angers (France)
JNPC'04           p 29/02/04    05/04/04      21/06-23/06/04      Angers (France)
ICLP'04          +p 29/02/04    19/04/04      06/09-10/09/04      Saint-Malo (France)
----------------------------------------------------------------------------------------------------------------------
SEFM'04      ws+tut 01/03/04    15/03/04      26/09-27/09/04      Beijing (China)
WOLLIC'04           01/03/04    01/04/04      19/07-22/07/04      Paris (France)
ATPN'04 WS PNC      01/03/04    31/03/04      21/06-21/06/04?     Bologna (Italy)
DL'04               01/03/04    29/03/04      06/06-08/06/04      Whistler (British Columbia, Canada)
CMSB'04           + 10/03/04    24/03/04      26/05-28/05/04      Paris (France)
GPCE'04           a 12/03/04    17/05/04      24/10-28/10/04      Vancouver (Canada)
SASYFT'04         + 12/03/04    15/04/04      21/06-22/06/04      Orléans (France)
HT'04               12/03/04                  09/08-13/08/04      Santa Cruz (California, USA)
MFCS'04             15/03/04    14/05/04      22/08-27/08/04      Prague (Czech Republic)
PRICAI'04           15/03/04    03/05/04      09/08-13/08/04      Auckland (New Zealand)
FSE'04              15/03/04    04/06/04      31/10-06/11/04      Newport Beach (California, USA)
MCU'04              15/03/04    30/06/04      21/09-26/09/04      Saint-Petersburg (Russia)
ESSLLI'04 WS LCMAS  15/03/04    19/04/04      16/08-20/08/04      Nancy (France)
WST'04              17/03/04    09/04/04      01/06-02/06/04      Aachen (Germany)
RULE'04             17/03/04    14/04/04      01/06-01/06/04      Aachen (Germany)
HOR'04              17/03/04    09/04/04      02/06-02/06/04      Aachen (Germany)
GPCE'04           p 19/03/04    17/05/04      24/10-28/10/04      Vancouver (Canada)
OOPSLA'04         p 19/03/04                  24/10-28/10/04      Vancouver (British Columbia, Canada)
ESSLLI'04 WS GL   + 19/03/04    19/04/04      09/08-13/08/04      Nancy (France)
GPCE'04 WS       ws 19/03/04    05/04/04      25/10-25/10/04      Vancouver (Canada)
UML'04            a 21/03/04    31/05/04      11/10-15/10/04?     Lisbon (Portugal)
WRS'04           +a 22/03/04    14/04/04      02/06-02/06/04      Aachen (Germany)
FORTE'04          + 22/03/04    20/05/04      27/09-30/09/04      Madrid (Spain)
FSE'04            a 24/03/04    04/06/04      31/10-06/11/04      Newport Beach (California, USA)
WRS'04           +p 25/03/04    14/04/04      02/06-02/06/04      Aachen (Germany)
ESORICS'04          26/03/04    30/06/04      13/09-15/09/04?     Sophia Antipolis (France)
WFLP'04           + 26/03/04    09/04/04      01/06-02/06/04      Aachen (Germany)
PPDP'04          ta 28/03/04    02/05/04      24/08-26/08/04      Verona (Italy)
FSE'04            p 29/03/04    04/06/04      31/10-06/11/04      Newport Beach (California, USA)
AMAST'04 WS ARTS    29/03/04    28/04/04      12/07-12/07/04      Stirling (Scotland, UK)
LOFT'04             31/03/04    15/05/04      16/07-18/07/04      Leipzig (Germany)
UML'04            p 31/03/04    31/05/04      11/10-15/10/04?     Lisbon (Portugal)
CP'04 WS         ws 31/03/04    16/04/04      27/09-27/09/04      Toronto (Canada)
TCS'04            + 31/03/04    21/04/04      23/08-26/08/04      Toulouse (France)
----------------------------------------------------------------------------------------------------------------------
AISC'04             01/04/04    20/06/04      22/09-24/09/04      Castle of Hagenberg (Austria)
ICFP'04             01/04/04    26/05/04      20/09-22/09/04      Snowbird (Utah, USA)
ICCC'04             01/04/04    01/06/04      30/08-01/09/04      Vienna (Austria)
FMCAD'04            01/04/04    01/06/04      14/11-17/11/04      Austin (Texas, USA)
MFPS'04             01/04/04                  23/05-26/05/04      Pittsburgh (PA, USA)
EMSOFT'04           01/04/04    01/06/04      27/09-29/09/04      Pisa (Italy)
LICS'04 WS WOLFASI  02/04/04    19/04/04      12/07-13/07/04      Turku (Finland)
ESA'04              02/04/04    29/05/04      14/09-17/09/04      Bergen (Norway)
ISSRE'04          a 02/04/04    15/07/04      02/11-05/11/04      St-Malo (Brittany (Bretagne), France)
CHR'04              02/04/04    07/04/04      10/05-14/05/04      Ulm (Germany)
CSL'04            a 03/04/04    08/06/04      20/09-24/09/04      Karpacz (Karkonosze National Park, Poland)
CIAA'04             04/04/04    10/05/04      22/07-24/07/04      Kingston (Ontario, Canada)
WI'04               04/04/04    10/06/04      21/09-24/09/04      Beijing (China)
PPDP'04           p 04/04/04    02/05/04      24/08-26/08/04      Verona (Italy)
IAT'04              04/04/04    10/06/04      20/09-24/09/04      Beijing (China)
SCAM'04             05/04/04    04/06/04      10/05-13/05/04      Vancouver (British Columbia, Canada)
ECOOP'04 WS FTFJP   05/04/04    26/04/04      15/06-15/06/04      Oslo (Norway)
BCTCS'04                                      05/04-08/04/04      Pitlochry (Scotland, UK)
AAMAS'04 WS DALT +a 06/04/04    01/05/04      19/07-19/07/04      New York (USA)
LICS'04 WS FCS   +a 07/04/04    19/05/04      12/07-13/07/04      Turku (Finland)
KI'04               08/04/04    28/05/04      20/09-24/09/04      Ulm (Germany)
SCOPES'04         a 08/04/04    24/05/04      02/09-03/09/04      Amsterdam (Netherlands)
AAMAS'04 WS DALT +p 08/04/04    01/05/04      19/07-19/07/04      New York (USA)
CONCUR'04           09/04/04    31/05/04      31/08-03/09/04      London (UK)
ASE'04              09/04/04    04/06/04      20/09-25/09/04      Linz (Austria)
WISP'04          +a 09/04/04    14/05/04      26/06-26/06/04      Bologna (Italy)
CSL'04            p 10/04/04    08/06/04      20/09-24/09/04      Karpacz (Karkonosze National Park, Poland)
ICLP'04 POSTERS     10/04/04    10/05/04      06/09-10/09/04      Saint-Malo (France)
IJCAR'04 WS ESFOR   11/04/04    10/05/04      04/07-05/07/04      Cork (Ireland)
LICS'04 SHORT       11/04/04    25/04/04      13/07-17/07/04      Turku (Finland)
SEFM'04          +a 12/04/04    18/06/04      26/09-30/09/04      Beijing (China)
LFM'04              12/04/04    10/05/04      04/07-05/07/04?     Cork (County Cork, Ireland)
FORTE'04 WS TBFMEMC 12/04/04    28/05/04      30/09-02/10/04      Toledo (Spain)
FORTE'04 WS ITM     12/04/04    28/05/04      27/09-28/09/04      Toledo (Spain)
LICS'04 WS FCS   +p 12/04/04    19/05/04      12/07-13/07/04      Turku (Finland)
ISCW'04          ta 13/04/04    14/06/04      01/11-11/11/04      Hiroshima (Japan)
SAS'04            + 13/04/04    09/05/04      25/08-27/08/04      Verona (Italy)
WISP'04          +p 14/04/04    14/05/04      26/06-26/06/04      Bologna (Italy)
AIML'04             15/04/04    15/06/04      09/09-11/09/04      Manchester (UK)
IJCAR'04 WS ARSPA   15/04/04    10/05/04      04/07-04/07/04      Cork (County Cork, Ireland)
SCOPES'04         p 15/04/04    24/05/04      02/09-03/09/04      Amsterdam (Netherlands)
FORMATS-FTRTFT'04 + 15/04/04    01/06/04      22/09-24/09/04      Grenoble (France)
IJCAR'04 WS PDPAR + 15/04/04    12/05/04      04/07-0?/07/04      Cork (County Cork, Ireland)
MKM'04            + 15/04/04    10/06/04      19/09-21/09/04      Bialowieza (Poland)
BP'04               15/04/04    15/05/04      23/09-24/09/04      Freiberg (Germany)
ISCW'04           p 16/04/04    14/06/04      01/11-11/11/04      Hiroshima (Japan)
ISSTA'04 WS TAV-WEB 16/04/04    14/05/04      11/07-11/07/04      Saint-Malo (France)
IJCAR'04 WS PTP   + 16/04/04    24/05/04      05/07-05/07/04      Cork (County Cork, Ireland)
CTCS'04           + 16/04/04    01/06/04      12/08-14/08/04      Copenhagen (Denmark)
CTCS'04           + 16/04/04    01/06/04      12/08-14/08/04      Copenhagen (Denmark)
ISSRE'04          p 18/04/04    15/07/04      02/11-05/11/04      St-Malo (Brittany (Bretagne), France)
SEFM'04          +p 19/04/04    18/06/04      26/09-30/09/04      Beijing (China)
STRATEGIES'04       19/04/04    21/05/04      04/07-04/07/04      Cork (County Cork, Ireland)
GSWEEK'04           19/04/04                  05/07-09/07/04      Budapest (Hungary)
ECOOP'04 WS LISP  + 19/04/04    26/04/04      13/06-13/06/04      Oslo (Norway)
CP'04             + 19/04/04    13/06/04      27/09-01/10/04      Toronto (Canada)
IJCAR'04 WS DISPR.  18/04/04    16/05/04      05/07-05/07/04      Cork (County Cork, Ireland)
LRPP'04           + 24/04/04    10/05/04      13/07-13/07/04      Turku (Finland)
MDAFA'04          + 24/04/04    17/05/04      21/06-22/06/04      Linköping (Sweden)
LC'04               25/04/04                  25/07-31/07/04      Torino (Italy)
LICS'04 WS QPL    a 25/04/04    20/05/04      12/07-13/07/04      Turku (Finland)
ICGT'04         +ta 26/04/04    15/06/04      28/09-02/10/04      Roma (Italy)
CAV'04 WS GDV       30/04/04    30/05/04      18/07-18/07/04      Boston (Massachusetts, USA)
----------------------------------------------------------------------------------------------------------------------
AS'04               01/05/04    07/06/04      28/08-28/08/04      Verona (Italy)
IJCAR'04 WS CSMTD   02/05/04    25/05/04      04/07-05/07/04      Cork (County Cork, Ireland)
CMPP'04             02/05/04    24/05/04      14/07-15/07/04?     Stirling (Scotland, UK)
ICGT'04          +p 03/05/04    15/06/04      28/09-02/10/04      Roma (Italy)
ECAI'04 WS MSPC     04/05/04    04/06/04      22/08-22/08/04      Valencia (Spain)
PEPM'04             05/05/04    26/05/04      25/08-27/08/04      Verona (Italy)
JELIA'04          a 06/05/04    21/06/04      27/09-30/09/04      Lisbon (Portugal)
ICLP'04 WS CICLOPS+ 07/05/04    07/06/04      06/09-10/09/04(1d)  Saint-Malo (France)
WLPE'04           + 07/05/04    13/05/04      06/09-10/09/04(1d)  Saint-Malo (France)
LOPSTR'04        +p 07/05/04    06/06/04      26/08-28/08/04      Verona (Italy)
JELIA'04          p 09/05/04    21/06/04      27/09-30/09/04      Lisbon (Portugal)
ICLP'04 WS M.CLP'04 09/05/04    23/05/04      06/09-10/09/04(1d)  Saint-Malo (France)
CSCLP'04            10/05/04    24/05/04      23/06-25/06/04      Lausanne (Switzerland)
CIA'04            + 10/05/04    14/06/04      27/09-29/09/03      Erfurt (Germany)
STFM'04             14/05/04    09/07/04      18/11-19/11/04      Ghent (Belgium)
IWPEC'04          + 14/05/04    05/06/04      14/09-17/09/04      Bergen (Norway)
WISIS'04          + 14/05/04                  21/05-21/05/04      Warsaw (Poland)                
DFCS'04             15/05/04    15/06/04      26/07-28/07/04      London (Ontario, Canada)
ICLP'04 WS PPSWR  + 15/05/04    12/06/04      06/09-10/09/04(1d)  Saint-Malo (France)                     
LICS'04 WS SYSBIO   16/05/04    17/06/04      18/07-18/07/04      Turku (Finland)
LOPSTR'04       +ea 17/05/04    06/06/04      26/08-28/08/04      Verona (Italy)
APLAS'04         ta 19/05/04    31/07/04      04/11-06/11/04      Taipei (Taiwan)
CP'04 TUT       tut 21/05/04    13/06/04      27/09-01/10/04      Toronto (Canada)
IBERAMIA'04      +a 21/05/04    05/07/04      22/11-26/22/04      Puebla (Mexico)
SONDA'04          + 21/05/04    11/06/04      24/08-28/08/04      Verona (Italy)
UNIF'04           + 21/05/04    24/05/04      05/07-05/07/04      Cork (Ireland)
ICGI'04             22/05/04    15/06/04      11/10-13/10/04      Athens (Greece)
ITRS'04          ++ 23/05/04    31/05/04      13/07-13/07/04      Turku (Finland)
NWPER'04          + 23/05/04    07/06/04      17/08-19/08/04      Turku (Finland)
ACRI'04           + 24/05/04    19/07/04      25/10-27/10/04      Amsterdam (Netherlands)
IBERAMIA'04      +p 25/05/04    05/07/04      22/11-26/22/04      Puebla (Mexico)
AUTOMATH'04                                   26/05-26/05/04      Eindhoven (Netherlands)
CONCUR'04 WS PDMC   29/05/04    05/07/04      04/09-04/09/04      London (UK)
RDP'04                                        31/05-05/06/04      Aachen (Germany)
TPHOLS'04 ET        31/05/04    18/06/04      14/09-17/09/04      Park City, (Utah, USA)
ATVA'04           + 31/05/04    10/07/04      31/10-03/11/04      Taipeh (Taiwan)
IFIP-WG-1-6'04                                31/05-31/05/04      Aachen (Germany)
----------------------------------------------------------------------------------------------------------------------
ICDM'04             01/06/04    05/08/04      02/11-04/11/04      Brighton (UK)
CONCUR'04 WS SEC. a 01/06/04    12/07/04      30/08-30/08/04      London (UK)
HASKELL'04          04/06/04    05/07/04      22/09-22/09/04      Snowbird (Utah, USA)
CONCUR'04 WS FGUC   04/06/04    05/07/04      03/09-04/09/04      London (UK)
HASKELL'04          04/06/04    05/07/04      22/09-22/09/04      Snowbird (Utah, USA)
APLAS'04          p 05/06/04    31/07/04      04/11-06/11/04      Taipei (Taiwan)
CONCUR'04 WS FOCLA. 05/06/04    15/07/04      30/08-30/08/04      London (UK)
CONCUR'04 WS SOS    06/06/04    30/06/04      30/08-30/08/04      London (UK)
EXPRESS'04          06/06/04    14/07/04      30/08-30/08/04      London (UK)
CONCUR'04 WS BIOC.  06/06/04    01/07/04      30/08-30/08/04      London (UK)
FMSE'04             06/06/04    06/08/04      29/10-29/10/04      Washington D.C. (USA)                
JELIA'04 SYSTEMS    06/06/04    25/06/04      27/09-30/09/04      Lisbon (Portugal)
CONCUR'04 WS SEC. p 06/06/04    12/07/04      30/08-30/08/04      London (UK)
SCN'04              07/06/04    23/07/04      08/09-10/09/04      Amalfi (Italy)
CONCUR'04 WS FOC. a 07/06/04    15/07/04      30/08-30/08/04      London (UK)
AVOCS'04            08/06/04    14/07/04      04/09-04/09/04      London (UK)
ICFP'04 WS SCHEME   09/06/04    23/07/04      22/09-22/09/04      Snowbird (Utah, USA
CONCUR'04 WS WOOD   10/06/04    15/07/04      30/08-30/08/04      London (UK)
ASE'04 WS SAPS    a 10/06/04    31/07/04      20/09-25/09/04(1d)  Linz (Austria)
CSP25'04          r 11/06/04                  07/07-08/07/04      London (UK)
UML'04          tut 11/06/04    11/07/04      11/10-15/10/04      Lisbon (Portugal)
ADG'04              11/06/04    12/07/04      16/09-18/09/04      Gainesville (Florida, USA)
CONCUR'04 WS FOC. p 13/06/04    15/07/04      30/08-30/08/04      London (UK)
CONCUR'04 WS SECCO+ 13/06/04    12/07/04      30/08-30/08/04      London (UK)
DLT'04              14/06/04    06/09/04      13/12-17/12/04      Auckland (New Zealand)
CONCUR-04-WS INF.   14/06/04    12/07/04      04/09-04/09/04      London (England)
SYNASC'04           15/06/04    01/08/04      26/09-30/09/04      Timisoara (Romania)
SYNASC'04           15/06/04    01/08/04      26/09-30/09/04      Timisoara (Romania)
LOGICA'04         a 15/06/04    15/07/04      28/09-01/10/04      Prague (Czech Republic)
NANCY-SB-LPP'04                               17/06-18/06/04      Nancy (France)
VLHCC'04 WS FOS     20/06/04    18/07/04      30/09-30/09/04      Rome (Italy)                
ICTAC'04            21/06/04    26/07/04      20/09-24/09/04      Guiyang (China)
ICTAC'04       tut  21/06/04    26/07/04      20/09-24/09/04      Guiyang (China)
FSTTCS'04           21/06/04    20/08/04      16/12-18/12/04      Chennai (India)
ASE'04 WS FATES     21/06/04    26/07/04      21/09-21/09/04      Linz (Austria)
ASE'04 WS SAPS    p 21/06/04    31/07/04      20/09-25/09/04(1d)  Linz (Austria)
FMICS'04        +ta 21/06/04    26/07/04      20/09-21/09/04      Linz (Austria)
ICDT'05             22/06/04    22/09/04      05/01-07/01/05      Edinburgh (Scotland, UK)
JELIA'04 WS CLIMA a 22/06/04    30/07/04      29/09-30/09/04      Lisbon (Portugal)
JELIA'04 WS CLIMA p 25/06/04    30/07/04      29/09-30/09/04      Lisbon (Portugal)
ICLP'04 WS COLOPS   27/06/04    18/07/04      05/09-11/09/04(1d)  Saint-Malo (France)
CP'04 WS SYMCON     27/06/04    19/07/04      27/09-27/09/04      Toronto (Canada)                
GETCO'04            28/06/04    02/08/04      04/10-04/10/04      Amsterdam (Netherlands)                
FMICS'04         +p 28/06/04    26/07/04      20/09-21/09/04      Linz (Austria)
DOMAINS             30/06/04    ??/07/04      10/01-10/01/05      Darmstadt (Germany)
VLFM'04           + 30/06/04    30/07/04      30/09-30/09/04      Rome (Italy)
MKM'04 WS MATHUI    30/06/04    20/08/04      18/09-18/09/04      Bialowezia (Poland)
WCC'04 WS FAST    + 30/06/04    20/07/04      26/08-27/08/04      Toulouse (France)
----------------------------------------------------------------------------------------------------------------------
CTCS'04 WS CMCIM  + 01/07/04                  11/08-11/08/04      Copenhagen (Denmark)
GPCE'04 WS STSW   a 01/07/04    31/08/04      25/10-25/10/04      Vancouver (Canada)
CGPCE'04 WS M.OCAML 01/07/04    31/08/04      25/10-25/01/04      Vancouver (Canada)
AI'04               01/07/04    15/08/04      06/12-10/12/04      Cairns (Queensland, Australia)
OOPSLA'04         a 02/07/04                  24/10-28/10/04      Vancouver (British Columbia, Canada)
CP'04 WS CPAI       02/07/04    23/07/04      27/09-01/10/04(1d)  Toronto (Canada)
VODCA'04          + 02/07/04    25/07/04      11/09-12/09/04      Bertinoro (Italy)
ISOLA'04          + 04/07/04    27/08/04      30/10-02/11/04      Paphos (Cyprus)
ICTAC'04            05/07/04    09/08/04      20/09-24/09/04      Guiyang (China)
EASSS'04                                      05/07-09/07/04      Liverpool (UK)                
ICGT'04 WS SETRA  + 07/07/04    10/08/04      01/10-02/10/04      Rome (Italy)
TERMGRAPH'04      + 07/07/04    23/08/04      02/10-02/10/04      Rome (Italy)
POPL'05           a 09/07/04    20/09/04      12/01-14/01/05      Long Beach (California, USA)
LBAV'04                                       09/07-09/07/04      Liverpool (UK)                
ICSW'04 POSTER      12/07/04    06/09/04      07/11-11/11/04      Hiroshima (Japan)
LCC'04                                        12/07-13/07/04      Turku (Finland)                     
WASL'04             15/07/04    15/08/04      11/12-13/12/04      Auckland (New Zealand)
ESSLLI'05        ws 15/07/04    15/09/04      08/08-19/08/05      Edinburgh (UK)
ICFEM'04            15/05/04    01/07/04      08/11-12/11/04      Seattle (Washington, USA)
UML'04 WS CSDUML    15/07/04    13/08/04      12/10-12/10/04      Lisbon (Portugal)
ATMCS'04                                      16/07-20/07/04      London (Ontario, Canada)
MOZ'04            + 16/07/04    13/08/04      07/10-08/10/04      Charleroi (Belgium)
PROLE'04          a 21/07/04    27/09/04      11/11-12/11/04      Málaga (Spain)
ACL2'04             26/07/04    23/08/04      18/11-19/11/04      Austin (Texas, USA)
CP'04 WS CSPIA      26/07/04    11/08/04      27/09-27/09/04      Toronto (Canada)
PROLE'04          p 26/07/04    27/09/04      11/11-12/11/04      Málaga (Spain)
----------------------------------------------------------------------------------------------------------------------
ASIAN'04            01/08/04    05/09/04      08/12-10/12/04      Chiangmai (Thailand)
CPN'04/MOCA'04                  01/08/04      08/10-13/10/04      Aarhus (Denmark)
INDOCRYPT'04        09/08/04    24/09/04      16/12-18/12/04      Chennai (Madras) (India)
MKM'04 WS MIZAR30   15/08/04    25/08/04      18/09-18/09/04      Bialowieza (Poland)
FSE'04 WS SAVCBS    15/08/04    15/09/04      31/10-01/11/04      Newport Beach (California, USA)
LOGIC'05            15/08/04    15/09/04      08/01-12/01/05      Bombay/Mumbai (India)
AUTOMATA'04                                   18/08-20/08/04      Karlsruhe (Germany)
IFL'04              20/08/04                  08/09-10/09/04      Luebeck (Germany)
WCC'04                                        22/08-27/08/04      Toulouse (France)
THEORIETAG'04    ar 27/08/04                  28/09-30/09/04      Caputh bei Potsdam, (Germany)
SBMF'04             29/08/04    13/10/04      29/11-01/12/04      Recife (Brazil)
SOFSEM'05        +a 30/08/04    08/10/04      22/01-28/01/05      Liptovsky Jan (Slovak Republic)
DEDU-LOGINF'04    r 31/08/04                  04/10-06/10/04      Saarbruecken (Germany)
SAC'05 CONSTRAINT   31/08/04    18/10/04      13/03-17/03/05      Santa Fe (New Mexico, USA)
----------------------------------------------------------------------------------------------------------------------
ICSE'05             01/09/04    10/11/04      15/05-21/05/05      St. Louis (Missouri, USA)
CATS'05             03/09/04    15/10/04      30/01-03/02/05      Newcastle (Australia)
SAC'05 TRACK PL     03/09/04    15/10/04      13/03-17/03/05      Santa Fe (New Mexico, USA)
SOFSEM'05        +a 30/08/04    08/10/04      22/01-28/01/05      Liptovsky Jan (Slovak Republic)
NWPT'04           a 06/09/04    20/09/04      06/10-08/10/04      Uppsala (Sweden)
BLC'04                                        06/09-08/09/04      Leeds (UK)
STACS'05            07/09/04    04/11/04      24/02-26/02/05      Stuttgart (Germany)
WTCA'04             13/09/04    08/10/04      12/12-12/12/04      Auckland (New Zealand)
PADL'05           + 17/09/04    17/10/04      10/01-11/01/05      Long Beach (California, USA)
IUI'05              20/09/04    01/11/04      09-01-12/01/05      San Diego (California, USA)
VMCAI'05         ++ 21/09/04    24/10/04      17/01-20/01/05      Paris (France)
AOSD'05           a 23/09/04    ??/??/??      14/03-18/03/05      Chicago (USA)
AOSD'05           p 23/09/04    ??/??/??      14/03-18/03/05      Chicago (USA)
FOOL'05             29/09/04    17/11/04      15/01-15/01/05      Long Beach (California, USA)
WITS'05             30/09/04    10/11/04      10/01-11/01/05      Long Beach (California, USA)
----------------------------------------------------------------------------------------------------------------------
HSCC'05             01/10/04    15/11/04      09/03-11/03/05      Zuerich (Switzerland)     
POPL'05 WS PLAN-X   04/10/04    19/11/04      11/01-11/01/05      Long Beach (California, USA)
CC'05             a 08/10/04    10/12/04      04/04-08/04/05      Edinburgh (Scotland, UK)
ESOP'05           a 08/10/04    10/12/04      02/04-10/04/05      Edinburgh (Scotland, UK)
FASE'05           a 08/10/04    10/12/04      02/04-10/04/05      Edinburgh (Scotland, UK)
TACAS'05          a 08/10/04    10/12/04      04/04-08/04/05      Edinburgh (Scotland, UK)
ICFEM'04 WS SVV     08/10/04    22/10/04      08/11-08/11/04      Seattle (Washington, USA)
ISMIS'05          a 10/10/04    15/12/04      25/05-28/05/05      Saratoga Springs (New York, USA)
CC'05             p 15/10/04    10/12/04      04/04-08/04/05      Edinburgh (Scotland, UK)
ESOP'05           p 15/10/04    10/12/04      02/04-10/04/05      Edinburgh (Scotland, UK)
FASE'05           p 15/10/04    10/12/04      02/04-10/04/05      Edinburgh (Scotland, UK)
IJCAI'05         ws 15/10/04    15/11/04      30/07-01/08/05      Edinburgh (Scotland, UK)
IMACS'05 ST FM    a 15/10/04    15/03/05      11/07-15/07/05      Paris (France)
ISMIS'05          p 15/10/04    15/12/04      25/05-28/05/05      Saratoga Springs (New York, USA)
FOSSACS'05        a 15/10/04    10/12/04      02/04-08/04/05      Edinburgh (Scotland, UK)
TACAS'05          p 15/10/04    10/12/04      04/04-08/04/05      Edinburgh (Scotland, UK)
SPC'05              15/10/04    15/12/04      06/04-08/04/05      Boppard (Germany)
FOSSACS'05        p 22/10/04    10/12/04      02/04-08/04/05      Edinburgh (Scotland, UK)
FLAIRS'05           22/10/04    07/01/05      16/05-18/05/05      Clearwater Beach, Florida (USA)
FLAIRS'05 ST CSP    22/10/04    07/01/05      16/05-18/05/05      Clearwater Beach (Florida, USA)
RELMICS'05      +ea 22/10/04    19/11/04      22/02-26/02/05      St. Catharines (Ontario, Canada)
TLCA'05           a 25/10/04    22/12/04      21/04-23/04/05      Nara (Japan)
IFL'04 LNCS         29/10/04    10/12/04      
RECOMB'05           29/10/04    28/12/04      14/05-18/05/05      Cambridge (MA, USA)
UNILOG'05           30/10/04    30/11/04      31/03-03/04/05      Montreux (Switzerland)
----------------------------------------------------------------------------------------------------------------------
ZB'05             p 01/11/04    13/12/04      13/04-15/04/05      Guildford (UK)
ICFP'05          ws 01/11/04    01/12/04      25/09-29/09/05      Tallinn (Estonia)
ISMVL'05            01/11/04    01/02/05      18/05-21/05/05      Calgary (Canada)
ICFP'05          ws 01/11/04    01/12/04      26/09-28/09/05      Tallinn (Estonia)
TLCA'05           p 02/11/04    22/12/04      21/04-23/04/05      Nara (Japan)
STOC'05             04/11/04    28/01/05      22/05-24/05/05      Baltimore (MD, USA)
ICCS'05 WS PAPP     07/11/04    ??/01/05      22/05-25/05/05      Atlanta (USA)
RTA'05            a 12/11/04    14/01/05      19/04-21/04/05      Nara (Japan)
ADA-EUROPE'05     + 14/11/04    17/01/05      20/06-24/06/05      York (UK)
TFP'04              15/11/04                  25/11-26/22/04      Munich (Germany)
LICS'05          ws 15/11/04    30/11/04      25/06-01/07/05      Chicago (Illinois, USA) [25/06/05 + 30/06-01/07/05]
ICAPS'05            15/11/04    10/01/05      05/06-10/06/05      Monterey (California, USA)
IMACS'05         ++ 15/11/04    15/03/05      11/07-15/07/05      Paris (France)
ATPN'05             15/11/04    01/03/05      20/06-25/06/05      Miami Florida (USA)
CCC'05              18/11/04    18/02/05      12/06-15/06/05      San Jose (California, USA)
RTA'05            p 19/11/04    14/01/05      19/04-21/04/05      Nara (Japan)
AIOOL'05            20/11/04    20/12/04      21/01-21/01/05      Paris,  (France)
ZB'05           tut 22/11/04    13/12/04      13/04-15/04/05      Guildford (UK)
LPAR'04           a 22/11/04    14/01/05      14/03-18/03/05      Montevideo (Uruguay)
LPAR'04           p 28/11/04    14/01/05      14/03-18/03/05      Montevideo (Uruguay)
ETAPS'05 WS SC      28/11/04    17/01/05      09/04-09/04/05      Edinburgh (Scotland, UK)
ICALP'05         ws 28/11/04    17/12/04      09/07-17/07/05      Lisboa (Portugal)
ETAPS'05 WS COCV +a 29/11/04    21/01/05      03/04-03/04/05      Edinburgh (UK)
VISSAS'05         + 30/11/04    25/12/04      17/03-22/03/05      Timisoara (Romania)
----------------------------------------------------------------------------------------------------------------------
PODS'05           a 01/12/04    23/02/05      13/06-15/06/05      Baltimore (Maryland, USA)
ETAPS'05 WS LDTA    01/12/04    17/01/05      03/04-03/04/05      Edinburgh (Scotland, UK)
CADE'05          ws 01/12/04    10/12/04      22/07-23/07/05      Tallinn (Estonia)
ETAPS'05 WS QAPL  p 05/12/04    13/01/05      02/04-03/04/05      Edinburgh (Scotland, UK)
WLP'05            + 05/12/04    15/12/04      21/02-25/02/05      Ulm (Germany)
CF'05               06/12/04    17/01/05      04/05-06/05/05      Ischia (Italy) 
ETAPS'05 WS COCV +p 06/12/04    21/01/05      03/04-03/04/05      Edinburgh (UK)
VMCAI'05 WS NSAD    10/12/04    17/12/04      21/01-21/01/05      Paris (France)
PVWP'05                                       13/12-14/12/04      Paris (France)
ETAPS'05 WS CLASE   14/12/04    10/01/05      03/04-03/04/05      Edinburgh (Scotland, UK)
ETAPS'05 WS FESCA   14/12/04    10/01/05      03/04-03/04/05      Edinburgh (Scotland)
COORDINATION'05     15/12/04    01/02/05      20/04-23/04/05      Namur (Belgium)
GHD'04                                        16/12-18/12/04      Vienna (Austria)
FSTTCS'04 WS                                  15/12-15/12/04      Chennai (India)
CIE'05              17/12/04    20/01/05      08/06-12/06/05      Amsterdam (Netherlands)
AVIS'05          +a 17/12/04    28/01/05      02/04-03/04/05      Edinburgh (Scotland)
ACSD'05           + 17/12/04    24/03/05      06/06-09/06/05      St Malo (France)
ETAPS'05 WS BYTECO. 19/12/04    16/01/05      09/04-09/04/05      Edinburgh (Scotland, UK)
ETAPS'05 WS QAPL  p 19/12/04    23/01/05      02/04-03/04/05      Edinburgh (Scotland)
ETAPS'05 WS FINCO   20/12/04    14/01/05      09/04-09/04/05      Edinburgh (Scotland, UK)
ECOOP'05         ws 20/12/04    28/02/05      25/07-29/07/05      Glasgow (Scotland)
ECOOP'05            20/12/04    28/02/05      25/07-29/07/05      Glasgow (Scotland)
ECOOP'05     ws/tut 20/12/04    28/02/05      25/07-29/07/05      Glasgow (Scotland)
ETAPS'05 WS SLAP    23/12/04    28/02/05      03/04-03/04/05      Edinburgh (Scotland) 

======================================================================================================================

Last modified: Thu Feb 19 11:01:09 CET 2009

Links: Homepage (B.G.) | AG 185/2 | Institut 185 | Server Homepage | Faculty of Informatics | TU Wien

Valid HTML 4.01! Viewable With Any Browser Bernhard Gramlich