Interesting Conferences & Workshops

(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 2004, 2003, 2002, 2001, 2000, 1999 or before

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
proc deadline for submission of (full) papers for (post) proceedings
r deadline for registration / application
ws deadline for course or workshop proposal
tut deadline for tutorial proposal
se deadline for proposing satellite events
demo deadline for proposing demos
WS workshop
TUT tutorial
ST special track / session
(1d) 1 day


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

LACL'05             03/01/05    14/02/05      28/04-30/04/05      Bordeaux (France)
WWV'05            a 04/01/05    19/02/05      14/03-15/03/05      Valencia (Spain) 
ETAPS'05 WS FVAC    04/01/05    ??/??/05      09/04-09/04/05      Edinburgh (UK)
LICS'05           a 05/01/05    18/03/05      26/06-29/06/05      Chicago (Illinois, USA)
ZB'05 WS REFINE     05/01/05    01/02/05      12/04-12/04/05      Guildford (UK)
BICCIB'05           07/01/05    18/02/05      10/05-12/05/05      Banff (Alberta, Canada)
AVIS'05          +a 07/01/05    07/02/05      02/04-03/04/05      Edinburgh (Scotland)
CP-AI-OR'05       a 10/01/05    21/02/05      30/05-01/06/05      Prague (Czech Republic)
LICS'05           p 10/01/05    18/03/05      26/06-29/06/05      Chicago (Illinois, USA)
ASM'05              10/01/05    01/02/05      08/03-11/03/05      Paris (France)
TGC'05              14/01/05    07/03/05      07/04-09/04/05      Edinburgh (Scotland) 
ETAPS'05 WS CMSB    14/01/05    14/02/05      03/04-05/04/05?     Edinburgh (Scotland)
ETAPS'05 WS UITP  + 14/01/05    14/02/05      09/04-09/04/05      Edinburgh (Scotland)
LPAR'04 WS APT    a 14/01/05    11/02/05      13/03-13/03/05?     Montevideo (Uruguay)
CP-AI-OR'05       p 16/01/05    21/02/05      30/05-01/06/05      Prague (Czech Republic)
ECSQARU'05        + 20/01/05    15/03/05      06/07-09/07/05      Barcelona (Spain)
CAV'05              21/01/05    25/03/05      06/07-10/07/05      Edinburgh (Scotland, UK)
CALCO'05          a 21/01/05    11/04/05      03/09-06/09/05      Swansea (Wales, UK)
IJCAI'05            21/01/05    18/03/05      30/07-05/08/05      Edinburgh (Scotland, UK)
INFORMATIK'05    ws 21/01/05    11/02/05      19/09-21/09/05      Bonn (Germany)
AOSD'05 WS FOAL   + 21/01/05    10/02/05      14/03-15/03/05(1d)  Chicago (USA)
LT'05             + 22/01/05    07/02/05      21/04-23/04/05      Poznan (Poland)
ETAPS'05 WS GALOP + 22/01/05    15/02/05      02/04-03/04/05      Edinburgh (Scotland)
FM'05               24/01/05    09/04/05      18/07-22/07/05      Newcastle upon Tyne (UK)
ICAP'05 WS CPPS     24/01/05    21/02/05      05/06-10/06/05?     Monterey (California, USA)
AVIS'05          +p 24/01/05    07/02/05      02/04-03/04/05      Edinburgh (Scotland)
FMOODS'05        +a 24/01/05    07/03/05      15/06-17/06/05      Athens (Greece)
AAAI'05             25/01/05    11/03/05      09/07-13/07/05      Pittsburgh (Pennsylvania, USA)
CSFW'05             28/01/05    11/03/05      20/06-22/06/05      Aix-en-Provence (France)
IWIL'05           + 28/01/05    18/02/05      13/03-13/03/05?     Mondevideo (Uruguay)
TIME'05           + 29/01/05    10/03/05      23/06-25/06/05      Burlington (Vermont, USA)
CALCO'05          p 31/01/05    11/04/05      03/09-06/09/05      Swansea (Wales, UK)
PARCO'05          a 31/01/05    15/05/05      13/09-16/09/05      Malaga (Spain)
RULE'05             31/01/05    08/03/05      23/04-23/04/05      Nara (Japan)
ETAPS'06     ws/tut 31/01/05    18/02/05      25/03-02/04/06      Vienna (Austria)
----------------------------------------------------------------------------------------------------------------------
FMOODS'05        +p 01/02/05    07/03/05      15/06-17/06/05      Athens (Greece)
UNIF'05           + 05/02/05    08/03/05      22/04-22/04/05      Nara (Japan)
BCTCS'05            07/02/05    ??/??/05      22/03-24/03/05      Nottingham (UK)
PODC'05             07/02/05    26/04/05      17/07-20/07/05      Las Vegas (Nevada, USA) 
RE'05             a 07/02/05    22/04/05      29/08-02/09/05      Paris (France)
EUROPAR'05        + 08/02/05    03/05/05      30/08-02/09/05      Lisboa (Portugal)
SAFECOMP'05       a 11/02/05    09/05/05      28/09-30/09/04      Fredrikstad (Norway)
ETAPS'05 WS CLASE + 11/02/05    21/02/05      03/04-03/04/05      Edinburgh (Scotland)
ICALP'05            13/02/05    08/04/05      11/07-15/07/05      Lisboa (Portugal)
SAT'05            a 13/02/05    08/04/05      19/06-23/06/05      St Andrews (Scotland, UK)
RE'05             p 14/02/05    22/04/05      29/08-02/09/05      Paris (France)
WRS'05            + 14/02/05    28/02/05      22/04-22/04/05      Nara (Japan)
IWINAC'05           15/02/05    01/04/05      15/06-18/06/04      Las Palmas de Gran Canaria (Canary Islands, Spain)
IJCAI'05          a 15/02/05    18/03/05      30/07-05/08/05      Edinburgh (Scotland, UK)
MFPS'05             15/02/05    25/03/05      18/05-21/05/05      Birmingham (UK)
ICEIS'05 WS VVEIS + 15/02/05    04/03/05      13/05-13/05/05      Miami (Florida, USA)
TAPSOFT'05                                    17/02-18/02/05      Berlin (Germany)
TPHOLS'05           18/02/05    15/04/05      22/10-25/10/05      Oxford (UK)
KI'05            ws 18/02/05    11/03/05      11/09-11/09/05      Koblenz (Germany)
KI'05 TUT       tut 18/02/05    04/03/05      11/09-11/09/05      Koblenz (Germany)
COCOON'05           18/02/05    ??/??/05      16/04-19/04/05      Kunming, (Yunnan, China)
SEFM'05      ws/tut 18/02/05    28/02/05      07/09-09/09/05      Koblenz (Germany)
SARA'05           a 20/02/05    10/04/05      26/07-29/07/05      Stirlingshire (Scotland, UK)
DLT'05              21/02/05    21/03/05      04/07-08/07/05      Mondello, Palermo (Italy)
WADS'05             21/02/05    25/04/05      15/08-17/08/04      Waterloo (Canada)
PPDP'05           + 22/02/05    01/04/05      11/07-13/07/05      Lisboa (Portugal)
CADE'05           a 25/02/05    29/04/05      22/07-27/07/05      Tallinn (Estonia)
SAFECOMP'05       p 25/02/05    09/05/05      28/09-30/09/04      Fredrikstad (Norway)
GPCE'05          ws 25/02/05    18/03/05      26/09-28/09/05      Tallinn (Estonia)
SARA'05           p 25/02/05    10/04/05      26/07-29/07/05      Stirlingshire (Scotland, UK)
ALS'05              28/02/05    31/03/05      16/08-19/08/05      Novosibirsk (Russia)
----------------------------------------------------------------------------------------------------------------------
WOLLIC'05           01/03/05    01/04/05      19/07-22/07/05      Florianópolis (Santa Catarina, Brazil)
MTCOORD'05        a 01/03/05    01/04/05      23/04-23/04/05      Namur (Belgium)
WG'05               02/03/05    28/05/05      23/06-25/06/05      Metz (France)
CADE'05           p 04/03/05    29/04/05      22/07-27/07/05      Tallinn (Estonia)
DEXA'05 WS LAAIC    04/03/05    15/04/05      26/08-26/08/05      Copenhagen (Denmark)
ESEC/FSE'05      ws 04/03/05    25/03/05      05/09-09/09/05      Lisbon (Portugal)
DSVIS'05          + 05/03/05    07/04/05      13/07-15/07/05      Newcastle-upon-Tyne (England)
SBLP'05           + 06/03/05    31/03/05      23/05-25/05/05      Recife (PE, Brazil)
FCT'05              07/03/05    09/05/05      17/08-20/08/05      Luebeck (Germany)
FM'05        ws/tut 07/03/05                  18/07-22/07/05      Newcastle upon Tyne (UK)
AFL'05              07/03/05    04/04/05      17/05-20/05/05      Dobogoko (Hungary)
AADEBUG'05          12/03/05    31/05/05      19/09-21/09/05      Monterey (California, USA)
ICALP'05 WS SOS   a 13/05/05    13/06/05      10/07-10/07/05      Lisbon (Portugal)
AAMAS'05 WS PROMAS  14/03/05    18/04/05      25/07-26/07/05(1d)  Utrecht (Netherlands)
HLPP'05             14/03/05    02/05/05      04/07-05/07/05      Warwick (Coventry, UK)
AAMAS'05 WS DALT    14/03/05    18/04/05      25/07-26/07/05(1d)  Utrecht (Netherlands)
MFCS'05             15/03/05    22/05/05      29/08-02/09/05      Gdansk (Poland)
SUD'05              15/03/05                  02/05-04/05/05      Utrecht (Netherlands)
ILC'05            a 15/03/05    31/03/05      19/06-22/06/05      Stanford (California, USA)
SEFM'05           a 18/03/05    26/05/05      07/09-09/09/05      Koblenz (Germany)
MODELS'05         a 21/03/05    04/04/05      02/10-07/10/05      Montego Bay (Jamaica)
LPNMR'05          a 22/03/05    16/05/05      05/09-08/09/05      Diamante, Cosenza (Italy) 
KAZAM'05            25/03/05    15/04/05      17/05-17/05/05      Birmingham (UK)
LICS'05          sa 25/03/05    01/04/05      26/06-29/06/05      Chicago (Illinois, USA)
LICS'05 WS FCS      25/03/05    02/05/05      30/06-01/07/05      Chicago (Illinois, USA)
UNILOG'05                                     26/03-30/03/05      Montreux (Switzerland)
CONCUR'05         a 28/03/05    18/05/05      23/08-26/08/05      San Francisco (California, USA)
QEST'05           a 28/03/05    30/05/05      19/09-22/09/05      Torino (Italy)
CALCULEMUS'05     + 28/03/05    29/04/05      18/07-19/07/05      Newcastle upon Tyne (UK)
CHARME'05        +a 29/03/05    23/05/04      03/10-06/10/05      Saarbruecken (Germany)
CHARME'05        +p 29/03/05    23/05/04      03/10-06/10/05      Saarbruecken (Germany)
CONCUR'05 WS GTVC a 29/03/05    03/07/05      21/08-22/08/05      San Francisco, (California, USA)
ATMNCL'05           30/03/05    30/04/05      15/06-18/06/05      Barcelona (Spain)
IJCAI'05 WS LCMAS   30/03/05    30/04/05      31/07-31/07/05?     Edinburgh (Scotland)
TABLEAUX'05     tut 31/03/05    10/04/05      14/09-17/09/05      Koblenz (Germany)
CP'05            ws 31/03/05    13/04/05      01/10-05/10/05      Sitges (Spain)
----------------------------------------------------------------------------------------------------------------------
SEFM'05           p 01/04/05    26/05/05      07/09-09/09/05      Koblenz (Germany)
SPIN'05           a 01/04/05    16/05/05      22/08-24/08/05      San Francisco (USA)
CIAA'05             01/04/05    13/05/05      27/06-29/06/05      Sophia Antipolis, near Nice (France)
ESORICS'05        + 01/04/05    30/05/05      12/09-14/09/05      Milan (Italy)
CSL'05            + 02/04/05    15/05/05      22/08-25/08/05      Oxford (UK)
CONCUR'05         p 02/04/05    18/05/05      23/08-26/08/05      San Francisco (California, USA)
ETAPS'05 WS GCSV                              03/04-03/04/05      Edinburgh (Scotland, UK)
ICSM'05           + 03/04/05    30/05/05      25/09-30/09/05      Szeged (Hungary)
QEST'05           p 04/04/05    30/05/05      19/09-22/09/05      Torino (Italy)
ESEC/FSE'05       p 04/04/05    25/05/05      05/09-09/09/05      Lisbon (Portugal)
LICS'05 WS QPL      04/04/05    25/04/05      30/06-01/07/05      Chicago (Illinois, USA)
SPIN'05           p 08/04/05    16/05/05      22/08-24/08/05      San Francisco (USA)
CAV'05 WS RV        09/04/05    14/05/05      12/07-12/07/05      Edinburgh (Scotland, UK)
GPCE'05           a 10/04/05    30/05/05      26/09-28/09/05      Tallinn (Estonia)
SAS'05              11/04/05    10/05/05      07/09-09/09/05      London (UK)
IJCAI'05 WS NRAC    11/04/05    09/05/05      01/08-01/08/05      Edinburgh (Scotland, UK)
SAS'05              11/04/05    17/05/05      07/09-09/09/05      London (UK)
ICFP'05             13/04/05    03/06/05      29/09-01/10/05      Tallinn (Estonia)
LC'05               15/04/05    ??/??/05      28/07-03/08/05      Athens (Greece)
KI'05               15/04/05    03/06/05      11/09-14/09/05      Koblenz (Germany)
GPCE'05           p 15/04/05    30/05/05      26/09-28/09/05      Tallinn (Estonia)
DL'05               15/04/05    30/05/05      26/07-28/07/05      Edinburgh (Scotland, UK)
AAA'05            a 15/04/05                  26/05-29/05/05      Vienna (Austria)
CLIMA'05          + 15/04/05    06/05/05      27/06-29/06/05      London (UK)
PLS'05              15/04/05    15/05/05      25/07-28/07/05      Athens (Greece)
CAV'05 WS RV      + 16/04/05    14/05/05      12/07-12/07/05      Edinburgh (Scotland, UK)
LCC'05              17/04/05    09/05/05      26/06-29/06/05?     Chicago (Illinois, USA)
ICALP'05 WS PDMC +a 17/04/05    16/05/05      10/07-10/07/05      Lisboa (Portugal)
LICS'05 WS IMLA   + 17/04/05?   09/05/05      30/06-30/06/05      Chicago (Illinois, USA)
CAV'05 WS PDPAR   + 18/04/05    18/05/05      12/07-12/07/05      Edinburgh (Scotland, UK)
RDP'05                                        18/04-24/04/05      Nara (Japan)
ICALP'05 WS SD    + 20/04/05    22/05/05      16/07-17/07/05      Lisbon (Portugal)
ICSM'05 WS SCAM     22/04/05    10/06/05      30/09-30/09/05      Budapest (Hungary)
IJCAI'05 WS MSPC    23/04/05    22/05/05      30/07-01/08/05      Edinburgh (UK)
ICALP'05 WS ARSPA + 24/04/05    18/05/05      16/07-16/07/05      Lisboa (Portugal)
ESEC/FSE'05     tut 25/04/05    25/05/05      05/09-09/09/05      Lisbon (Portugal)
ICTCS'05          + 25/04/05    07/06/05      12/10-14/10/05      Siena (Italy)
ICALP'05 WS PDMC +p 25/04/05    16/05/05      10/07-10/0705       Lisboa (Portugal)
FORTE'05         ++ 25/04/05    10/06/05      02/10-05/10/05      Taipei (Taiwan)
INFORMATIK'05       29/04/05    27/05/05      19/09-21/09/05      Bonn (Germany)
LCTTNL'05           29/04/05    17/06/05      12/09-12/09/05      London (UK)
CALCO-JNR'05      a 30/04/05    31/05/05      02/09-02/09/05      Swansea (UK) 
ISWC'05             30/04/05    08/07/05      06/11-10/11/05      Galway (Ireland)
CAV'05 WS GDV       30/04/05    31/05/05      18/07-18/07/05      Edinburgh (Scotland, UK)
ICALP'05 WS PCC     30/04/05                  16/07-17/07/05      Lisbon (Portugal)
----------------------------------------------------------------------------------------------------------------------
CAV'05 WS BMC       01/05/05                  11/07-11/07/05      Edinburgh (Scotland, UK)
BATUMI'05           01/05/05    15/06/05      12/09-16/09/05      Batumi (Georgia)
TABLEAUX'05       + 04/05/05    25/06/05      14/09-17/09/05      Koblenz (Germany)
CP'05               06/05/05    24/06/05      01/10-05/10/05      Sitges (Spain)
CSCLP'05            06/05/05    24/05/05      20/06-22/06/05      Uppsala (Sweden)
WS-FM'05          + 06/05/05    10/06/05      01/09-03/09/05      Versailles (France)
RHO'05              07/05/05    12/05/05      30/05-31/05/05      Palaiseau near Paris (France)
ICLP'05          +a 08/05/05    24/06/05      02/10-05/10/05      Barcelona (Spain)
ICALP'05 WS DCM   a 09/05/05    30/05/05      10/07-10/07/05      Lisbon (Portugal)
CADE'05 WS ESCAR  + 09/05/05    30/05/05      22/07-23/07/05      Tallinn (Estonia)
DISPROVING'05     + 09/05/05    01/06/05      22/07-22/07/05      Tallinn (Estonia)
FM'05 WS FAST     + 09/05/05    10/06/05      18/07-19/07/05      Newcastle (UK)
ECOOP'05 WS FTFJP   10/05/05    10/06/05      25/07-26/07/95(1d)  Glasgow (Scotland)
FM'05 WS WLFM     + 10/05/05    10/06/05      19/07-19/07/05      Newcastle upon Tyne (UK)
ICLP'05          +p 11/05/05    24/06/05      02/10-05/10/05      Barcelona (Spain)
MKM'05            + 15/05/05    15/06/05      15/07-16/07/05      Bremen (Germany)
NETCA'05 WS VTPCS   16/05/05                  26/08-26/08/05      Oxford (UK)
IFM'05              18/05/05    13/07/05      29/11-02/12/05      Eindhoven (Netherlands)
CAV'05 WS SOFTMC    19/05/05    08/06/05      11/07-11/07/05      Edinburgh (Scotland)
INFINITY'05         20/05/05    17/06/05      27/08-27/08/05      San Francisco (California, USA)
ICFEM'05            20/05/05    19/08/05      01/11-04/11/05      Manchester (UK)
DBLP'05           + 20/05/05    05/07/05      28/08-29/08/05      Trondheim (Norway)
ASP'05            + 20/05/05    06/06/05      27/07-29/07/05      Bath (UK)
FROCOS'05         + 22/05/05    27/06/05      19/09-21/09/05      Vienna (Austria)
ICFP'05 WS MERLIN a 23/05/05    01/07/05      30/09-30/09/05      Tallinn (Estonia)
ICALP'05 WS COSM. + 23/05/05    17/06/05      10/07-10/07/05      Lisboa (PortugalESORI
ESEC.'05 WS SAVCBS  23/05/05    24/06/05      05/09-06/09/05      Lisbon (Portugal)
WMC'05              23/05/05    13/06/05      18/07-21/07/05      Vienna (Austria)
TPHOLS'05         e 27/05/05    13/06/05      22/10-25/10/05      Oxford (UK)
FTP'05              27/05/05    29/07/05      14/09-17/09/05      Koblenz (Germany)
ATVA'05           + 27/05/05    01/07/05      04/10-07/10/05      Taipei (Taiwan)
FMICS'05          + 27/05/05    28/06/05      05/09-06/09/05      Lisbon (Portugal)
LOPSTR'05        +p 27/05/05    27/06/05      07/09-09/09/05      London (UK)
APLAS'05          a 28/05/05    05/08/05      03/11-05/11/05      Tsukuba (Japan)
FORMATS'05        + 30/05/05    08/07/05      26/09-28/09/05      Uppsala (Sweden)
ICFP'05 WS MERLIN p 30/05/05    01/07/05      30/09-30/09/05      Tallinn (Estonia)
ICTAC'05          + 30/05/05    08/07/05      17/10-21/10/05      Hanoi, (Vietnam)
GPCE'05 WS GRAMOT a 30/05/05    11/07/05      28/09-28/09/05      Tallinn (Estonia)
SEEFM'05          a 31/05/05    05/09/05      18/11-19/11/05      Ohrid (Macedonia)
CONCUR'05 WS FOCL.  31/05/05    30/06/05      27/08-27/08/05      San Francisco (Californa, USA)
ASE'05            a 31/05/05                  09/11-11/11/05      Long Beach (California, USA)
----------------------------------------------------------------------------------------------------------------------
EXPRESS'05          01/06/05    11/07/05      27/08-27/08/05      San Francisco (California, USA)
CONCUR'05 WS GETCO  01/06/05    07/07/05      27/08-27/08/05      San Francisco (California, USA)      
PASTE'05            01/06/05    27/06/05      05/09-06/09/05      Lisbon (Portugal)
WPLHG'05                                      03/06-04/06/05      Saarbruecken (Germany)
ICFP'05 WS FDPE     04/06/05    15/07/05      25/09-25/09/05      Tallin (Estonia)
WCFLP'05            05/06/05    30/06/05      29/09-29/09/05      Tallinn (Estonia)
ICFP'05 WS FDPE     05/06/05    20/06/05      25/09-25/09/05      Tallin (Estonia)
CONCUR'05 WS FIT  + 06/06/05    03/07/05      21/08-21/08/05      San Francisco (California, USA)
ASE'05            p 06/06/05    01/08/05      09/11-11/11/05      Long Beach (California, USA)
MOCHART'05        + 07/06/05    05/07/05      27/08-28/08/05      San Francisco (California, USA)
LOPSTR'05       +ea 08/06/05    27/06/05      07/09-09/09/05      London (UK)
APLAS'05          p 10/06/05    05/08/05      03/11-05/11/05      Tsukuba (Japan)
ECMDA-FA'05       a 10/06/05    22/07/05      07/11-10/11/05      Nuernberg (Germany)
ICFP'05 WS ML       10/06/05    15/07/05      29/09-29/09/05      Tallinn (Estonia)
KI'05 WS FONT       10/06/05    15/07/05      11/09-11/09/05      Koblenz (Germany)
ICFP'05 WS HASKELL  10/06/05    05/07/05      30/09-30/09/05      Tallinn (Estonia)
GPCE'05 WS M.OCAML  13/06/05    11/07/05      28/09-28/09/05      Tallinn (Estonia)
AVOCS'05            13/06/05    18/07/05      12/09-13/09/05      Warwick (UK)
STM'05              13/06/05    18/07/05      15/09-15/09/05      Milan (Italy)
GPCE'05 WS GRAMOT p 13/06/05    11/07/05      28/09-28/09/05      Tallinn (Estonia)
ICFP'05 WS SCHEME   13/06/05    29/07/05      24/09-24/09/05      Tallinn (Estonia)
SEEFM'05          p 14/06/05    05/09/05      18/11-19/11/05      Ohrid (Macedonia)
ICDM'05             15/06/05    20/08/05      28/11-30/11/05      New Orleans (Louisiana, USA)
TRENDS-IN-LOGIC'05  15/06/05    15/07/05      23/09-25/09/05      Warsaw + Ruciane-Nida (Poland)
CADE'05 WS CFV    + 15/06/05    01/07/05      23/07-23/07/05      Tallinn (Estonia)
CONCUR'05 WS BIOC.  15/06/05    15/07/05      27/08-27/08/05      San Francisco (California, USA)
ECMDA-FA'05       p 17/06/05    22/07/05      07/11-10/11/05      Nuernberg (Germany)
FSTTCS'05         a 17/06/05    19/08/05      15/12-18/12/05      Hyderabad (India)
ESSLLI'06    tut/ws 17/06/05    23/09/05      31/07-11/08/06      Malaga (Spain)
ESSLLI'06        ws 17/06/05    23/09/05      31/07-11/08/06      Malaga (Spain)
ISOLA'05            17/06/05    20/07/05      23/09-24/09/05      Baltimore (Maryland, USA)
SYNASC'05           20/06/05    01/08/05      25/09-29/09/05      Timisoara (Romania)
SYNASC'05 WS CAVIS  20/06/05    01/08/05      25/09-29/09/05      Timisoara (Romania)
ICLP'05 POSTERS     20/06/05    05/07/05      02/10-05/10/05      Barcelona (Spain)
ESEC.'05 WS SAVCBS  20/06/05    24/06/05      05/09-06/09/05      Lisbon (Portugal)
CAL'05                                        20/06-21/06/05      Le Bourget du Lac (France)
FSTTCS'05         p 24/06/05    19/08/05      15/12-18/12/05      Hyderabad (India)
FSEN'05           + 24/06/05    08/08/05      01/10-03/10/05      Tehran (Iran)
ICFP'05 PR. CONTEST 24/06/05                                      Tallinn (Estonia)
CP'05 WS CPSEC    a 26/06/05    24/07/05      01/10-01/10/05      Sitges (Spain)
CP'05 WS SOFT       27/06/05    29/07/05      01/10-01/10/05      Sitges (Spain)
ICLP'05 WS WCB      30/06/05    15/07/05      05/10-05/10/05      Sitges (Spain)
CP'05 WS BEYONDFD   30/06/05    22/07/05      01/10-01/10/05      Sitges (Spain)
TERESE'05                                     30/06-30/06/05      Eindhoven (Netherlands)
----------------------------------------------------------------------------------------------------------------------
CP'05 WS LSCS       01/07/05    27/07/05      01/10-01/10/05      Sitges (Spain)
CP'05 WS CPSEC   +p 01/07/05    24/07/05      01/10-01/10/05      Sitges (Spain)
APPSEM-II-SS'05   r 01/07/05                  08/09-12/09/05      Frauenchiemsee (Germany)
CL'05                                         04/07-06/07/05      Vienna (Austria)
PLID'05             04/07/05    30/07/05      06/09-06/09/05      London (UK)
ICLP'05 WS CHR      05/07/05    21/07/05      05/10-05/10/05      Sitges/Barcelona (Spain)
WLPE'05           + 05/07/05    25/07/05      05/10-05/10/05      Sitges/Barcelona (Spain)
ASIAN'05            06/07/05    19/08/05      07/12-09/12/05      Kunming (China)
APPSEM'05         a 08/07/05    12/08/05      12/09-15/09/05      Frauenchiemsee (Germany)
APPSEM'05         p 08/07/05    12/08/05      12/09-15/09/05      Frauenchiemsee (Germany)
TFP'05            a 08/07/05    22/07/05      23/09-24/09/05      Tallinn (Estonia)
ICLP'05 WS CICL.  + 08/0705     22/07/05      05/10-05/10/05      Barcelona (Spain)
ICLP'05 WS MOVEL. + 10/07/05    28/07/05      05/10-05/10/05      Sitges (Spain)
ICTAC'05        tut 11/07/05    25/07/05      17/10-21/10/05      Hanoi (Vietnam)
ICTAC'05         ws 11/07/05    25/07/05      17/10-18/10/05      Hanoi (Vietnam)
LPAR'05           a 11/07/05    12/09/05      02/12-06/12/05      Montego Bay (Jamaica)
SYNASC'05 WS TAPS   11/07/05    20/08/05      26/09-27/09/05      Timisoara (Romania)
LPAR'05           p 18/07/05    12/09/05      02/12-06/12/05      Montego Bay (Jamaica)
POPL'06             18/07/05    26/09/05      11/01-13/01/06      Charleston (South Carolina, USA) 
RISE'05           + 20/07/05    01/08/05      08/09-09/09/05      Heraklion (Crete, Greece)
LPAR'05           p 25/07/05    12/09/05      02/12-06/12/05      Montego Bay (Jamaica)
FACS'05           + 29/07/05    15/09/05      24/10-25/10/05      Macao (China)
PARCO'05          p 31/07/05    ??/??/05      13/09-16/09/05      Malaga (Spain)
IJCAI'05                                      31/07-05/08/05      Edinburgh (Scotland, UK)
DEDU'05           r 31/07/05                  11/09-11/09/05      Koblenz (Germany)
LICS'06 WS      ws  31/07/05    31/08/05      10/08-22/08/05      Seattle (Washington, USA)
ICLP'06 WS     a ws 31/07/05    11/09/05      15/08-22/08/06      Seattle (Washington, USA)
----------------------------------------------------------------------------------------------------------------------
SEFM'05 WS TRAIN    01/08/05                  05/09-06/09/05      Koblenz (Germany)
INAP'05             01/08/05    24/08/05      22/10-24/10/05      Fukuoka (Japan)
DEDU'05           a 01/08/05                  11/09-11/09/05      Koblenz (Germany)
PA'05                                         01/08-05/08/05      Bertinoro (Forli) (Italy)
CATS'06           a 03/08/05    03/10/05      16/01-19/01/06      Hobart (Australia)
CONCUR'05 WS DISCO. 04/08/05                  26/08-26/08/05      San Francisco (California, USA)
FOIKS'06          a 05/08/05    14/10/05      14/02-17/02/06      Budapest (Hungary)
AWARD'05                                      11/08-13/08/05      Argonne (Illinois, USA)
FOIKS'06          p 12/08/05    14/10/05      14/02-17/02/06      Budapest (Hungary)
SOFSEM'06         a 15/08/05    03/10/05      21/01-27/01/06      Merin (Czech Republic)
THEORIETAG'05       15/08/05                  27/09-29/09/05      Lauterbad (Germany)
CATS'06           p 19/08/05    03/10/05      16/01-19/01/06      Hobart (Australia)
CATS'06           p 19/08/05    03/10/05      16/01-19/01/06      Hobart (Australia)
ASE'05 WS SATTM     19/08/05    19/09/05      07/11-08/11/05      Long Beach (California, USA)
ICLP'06 WS     p ws 21/08/05    11/09/05      15/08-22/08/06      Seattle (Washington, USA)
SOFSEM'06         p 22/08/05    03/10/05      21/01-27/01/06      Merin (Czech Republic)
IFL'05              26/08/05                  19/09-21/09/05      Dublin (Ireland)
OOPSLA'05 WS MPOOL  26/08/05    02/09/05      17/10-17/10/05      San Diego (California, USA)
PADL'06           + 27/08/05    30/09/05      09/01-10/01/06      Charleston (South Carolina, USA)
----------------------------------------------------------------------------------------------------------------------
M4M'05              01/09/05    17/10/05      01/12-02/12/05      Berlin-Adlershof (Germany)
TYPESREAL'05      r 01/09/05                  03/10-04/10/05      Nijmegen (Netherlands)
TFP'05            p 02/09/05                  23/09-24/09/05      Tallinn (Estonia)
SAC'06 ST MT        03/09/05    15/10/05      23/04-27/04/06      Dijon (France)
FMCO'05             05/09/05    01/10/05      01/11-04/11/05      Amsterdam (Netherlands)
FMCO'05 TUT       a 05/09/05    01/10/05      01/11-04/11/05      Amsterdam (Netherlands)
UTP'06              05/09/05    12/10/05      05/02-07/02/06      Darlington/Walworth Castle (County Durham, UK)
ASE'05 WS SAPS      05/09/05    23/09/05      07/11-08/11/05      Long Beach (California, USA)
MEMICS'05           09/09/05    23/09/05      14/10-17/10/05      Znojmo (Czech Republic)
SAC'06 ST CSP     + 10/09/05    15/10/05      23/04-27/04/05      Dijon (France)
ASE'05 WS SCM     + 12/09/05    05/10/05      08/11-08/11/05      Long Beach, California, USA)
SAC'06 ST SV      + 15/09/05    15/10/05      23/04-27/04/06      Dijon (France)
LPAR'05 WS ESHOL    15/09/05    15/10/05      02/12-02/12/05      Montego Bay (Jamaica)
LAA'06 WS NDPT    a 15/09/05                  09/01-13/01/06      Cambridge (UK)
STACS'06            16/09/05    23/11/05      23/02-25/02/06      Marseille (France)
VERIFICATION'06   + 16/09/05    02/10/05      13/11-16/11/05      Haifa (Israel)
NWPT'05             19/09/05    05/10/05      19/10-21/10/05      Copenhagen (Denmark)
WIT'05              20/09/05    30/09/05      28/10-29/10/05      Toulouse  (France)
LATIN'06            21/09/05    21/11/05      20/03-24/03/06      Valdivia (Chile)
AOSD'06           a 23/09/05    28/11/05      20/03-24/03/06      Bonn (Germany)
ICFP'05 WS CUFP                               24/09-24/09/05      Tallinn (Estonia)
VMCAI'06          + 25/09/05    28/10/05      08/01-10/01/06      Charleston (South Carolinea, USA
LPAR'05 WS ESHOL  + 28/09/05    01/11/05      02/12-02/12/05      Montego Bay (Jamaica)
AOSD'06           p 30/09/05    28/11/05      20/03-24/03/06      Bonn (Germany)
CALCO-JNR'05      p 30/09/05    15/11/05       
ICFEM'05 WS SVV     30/09/05    14/10/05      31/10-31/10/05      Manchester (UK)
----------------------------------------------------------------------------------------------------------------------
ICSE'06             01/10/05    16/12/05      20/05-28/05/06      Shanghai (China)
ETAPS'06 WS MBT     01/10/05    01/12/05      25/03-26/03/06      Vienna (Austria)
AIM'06              02/10/05    31/10/05      04/01-06/01/06      Fort Lauderdale (Florida, USA)
HSCC'06             03/10/05    18/11/05      29/03-31/03/06      Santa Barbara (California, USA)
FOOL/WOOD'06        03/10/05    21/11/05      14/01-14/01/06      Charleston (South Carolina, USA)
POPL'06 WS PLANX'06 03/10/05    24/11/05      14/01-14/01/06      Charleston (South Carolina, USA)
ICFEM'05 WS SVV   + 04/10/05    14/10/05      31/10-31/10/05      Manchester (UK)
AAMAS'06          a 06/10/05    20/12/05      08/05-12/05/06      Hakodate (Japan)
PEPM'06             07/10/05    18/11/05      09/01-10/01/06      Charleston (South Carolinea, USA)
CC'06             a 07/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
ESOP'06           a 07/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
FASE'06           a 07/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
FOSSACS'06        a 07/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
TACAS'06          a 07/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
ICFEM'05 WS REFINE  07/10/05    14/10/05      31/10-31/10/05      Manchester (UK)
AAMAS'06          p 09/10/05    20/12/05      08/05-12/05/06      Hakodate (Japan)
PLAN-X'06         + 10/10/05    24/11/05      14/01-14/01/06      Charleston (South Carolina, USA)
CC'06             p 14/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
ESOP'06           p 14/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
FASE'06           p 14/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
FOSSACS'06        p 14/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
TACAS'06          p 14/10/05    09/12/05      25/03-02/04/06      Vienna (Austria)
ICALP'05 DCM/MSCS   15/10/05    15/01/06      
GEOCAL'06         r 30/10/05                  30/01-03/03/06      Luminy/Marseille (France) 
GEOCAL'06 WS ICC  a 30/10/05                  13/02-17/02/06      Luminy/Marseille (France) 
GEOCAL'06 WS LPC  a 30/10/05                  13/02-17/02/06      Luminy/Marseille (France) 
PLAN-X'06 DEMO demo 31/10/05    24/11/05      14/01-14/01/06      Charleston (South Carolina, USA)
ITW'06              31/10/05    23/12/05      13/03-17/03/06      Punta del Este (Uruguay)
LAA'06 WS MATHCSP r 31/10/05                  20/03-24/03/06      Cambridge (UK)
----------------------------------------------------------------------------------------------------------------------
STOC'06             03/11/05    31/01/06      21/05-23/05/06      Seattle (Washington, USA)
ADA-EUROPE'06     + 06/11/05    20/01/06      05/06-09/06/06      Porto (Portugal)
IFL'05         proc 07/11/05    16/12/05      19/09-21/09/05      Dublin (Ireland)
KR'06               07/11/05    14/01/06      02/06-05/06/06      Lake District (UK)
POPL'06 WS SPACE    10/11/05    02/12/05      14/01-14/01/06      Charleston (South Carolina, USA)
PLDI'06             11/11/05    16/01/06      11/06-16/06/06      Ottawa (Canada)
EMCSR'06            11/11/05    16/12/05      18/04-21/04/06      Vienna (Austria)
ICFP'06          ws 11/11/05    15/12/05      18/09-20/09/06      Portland (Oregon, USA)
ETAPS'06 WS DCC     12/11/05    17/12/05      25/03-26/03/06      Vienna (Austria)
CSCLP'05 proc       15/11/05    20/01/06      20/06-22/06/05      Uppsala (Sweden)
TC'06               15/11/05    15/01/06      24/04-26/04/06      Granada (Spain)
CSL'06           ws 15/11/05    01/12/05      25/09-29/09/05      Szeged (Hungary)
ATPN'06             15/11/05    01/03/06      28/06-30/06/05      Turku (Finland)
SIGMOD'06         a 17/11/05    24/02/06      27/06-29/06/06      Chicago (Illinois, USA)
WPV'05                                        17/11-18/11/05      Cachan (France)
SIGMOD'06         a 17/11/05    24/02/06      27/06-29/06/06      Chicago (Illinois, USA)
FLOPS'06          + 18/11/05    06/01/06      24/04-26/04/06      Fuji Susono (Japan)
MOD'06              21/11/05    16/01/06      21/03-24/03/06      Innsbruck (Austria)
WLP'06            + 21/11/05    19/12/05      22/02-24/02/06      Vienna (Austria)
FLAIRS'06           21/11/05    20/01/06      11/02-13/02/06      Melbourne Beach (Florida, USA)
ICALP'06         ws 27/11/05    16/12/05      09/07-16/07/06      S. Servolo, Venice (Italy)
ESWC'06             28/11/05    ??/??/??      11/06-14/06/06      Budva (Montenegro)
ESWC'06      ws+tut 28/11/05    19/12/05      11/06-14/06/06      Budva (Montenegro)
ETAPS'06 WS ALGSTO. 30/11/05    10/01/06      25/03-25/03/06      Vienna (Austria)
LAA'06 WS LADB    a 30/11/05                  27/02-03/03/06      Cambridge (UK)
----------------------------------------------------------------------------------------------------------------------
SIGMOD'06         p 01/12/05    24/02/06      27/06-29/06/06      Chicago (Illinois, USA)
TYPESREAL'05   proc 01/12/05    01/04/06      03/10-04/10/05      Nijmegen (Netherlands)
LDTA'06             01/12/05    16/01/06      01/04-01/04/06      Vienna (Austria)
ETAPS'06 WS SC      02/12/05    13/01/06      25/03-02/04/06(1d)  Vienna (Austria)
ECOOP'06          a 02/12/05    20/02/06      03/07-07/07/06      Nantes (France)
PODS'06           a 04/12/05    28/02/06      26/06-28/06/06      Chicago (Illinois, USA)
CCC'06              04/12/05    24/02/06      16/07-20/07/06      Prague (Czech Republic)
ETAPS'06 WS COCV  a 05/12/05    22/01/06      02/04-02/04/06      Vienna (Austria)
PODS'06           p 11/12/05    28/02/06      26/06-28/06/06      Chicago (Illinois, USA)
ETAPS'06 WS SLAP    11/12/05    20/01/06      25/03-25/03/06      Vienna (Austria)
GTVMT'06            12/12/05    16/01/06      01/04-02/04/06      Vienna (Austria)
ETAPS'06 WS COCV  p 12/12/05    22/01/06      02/04-02/04/06      Vienna (Austria)
ETAPS'06 WS FESCA   14/12/05    16/01/06      26/03-26/03/06      Vienna (Austria)
DIPT'05                                       14/12-15/12/05      Dresden (Germany)
WRLA'06           + 14/12/05    20/01/06      01/04-02/04/06      Vienna (Austria)
ETAPS'06 WS QAPL    15/12/05    20/01/06      01/04-02/04/06      Vienna (Austria)
RWCA'06             15/12/05    15/01/06      16/03-17/03/06      Basel (Switzerland)
TFP'05         proc 16/12/05    10/02/06      23/09-24/09/05      Tallinn (Estonia)
ECOOP'06          p 16/12/05    20/02/06      03/07-07/07/06      Nantes (France)
TAMC'06             17/12/05    20/01/06      15/05-20/05/06      Beijing (China)
WATA'06           a 18/12/05    10/01/06      27/03-31/03/06      Leipzig (Germany)
CSR'06            + 18/12/05    31/01/06      08/06-12/06/06      St. Petersburg (Russia)
KLOP-60'05                                    19/12-19/12/05      Amsterdam (Netherlands)
ETAPS'06 WS QAPL +p 22/12/05    20/01/06      01/04-02/04/06      Vienna (Austria)
WITS'06             23/12/05    10/02/06      25/03-26/03/06      Vienna (Austria)
LAA'06 NDPT       a 31/12/05                  10/04-13/04/06      Cambridge (UK)
======================================================================================================================



Last modified: Thu Feb 19 11:00:27 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