Interesting Conferences & Workshops (with submission deadline in 2006)

(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 2005, 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
sp deadline for submission of short papers
ta deadline for submission of title + author(s)
e deadline for submission of emerging trends papers
p deadline for submission of (full) papers
rp deadline for submission of research papers
ep deadline for submission of emerging trends 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
SE satellite event
SY symposium
tool deadline for tool (or industrial) papers
WS workshop
TUT tutorial
ST special track / session
(1d) 1 day


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

TERMGRAPH'06        07/01/06    10/02/06      01/04-01/04/06      Vienna (Austria)
CMCS'06             08/01/06    06/02/06      25/04-27/04/06      Vienna (Austria)
CP-AI-OR'06         09/01/06    24/02/06      31/05-02/06/06      Cork (Ireland) 
COORDINATION'06   a 10/01/06    07/03/06      14/06-16/06/06      Bologna (Italy)
WWW'06 WS ROW       10/01/06    01/02/06      22/05-22/05/06      Edinburgh (UK)
TCS'06              15/01/06    15/03/06      22/08-24/08/06      Santiago de Chile (Chile) 
IFIP-AI'06          15/01/06    15/03/06      20/08-25/08/06      Santiago de Chile (Chile) 
CLIMA'06            15/01/06    19/02/06      08/05-09/05/06      Hakodate (Japan)
ETAPS'06 WS EAAI  + 15/01/06    31/01/06      26/03-26/03/06      Vienna (Austria)
FMOODS'06        +a 15/01/06    07/03/06      14/06-16/06/06      Bologna (Italy)
LAA'06                                        16/01-07/07/06      Cambridge (UK)
COORDINATION'06   p 17/01/06    07/03/06      14/06-16/06/06      Bologna (Italy)
ISSAC'06            18/01/06    10/03/06      09/07-12/07/06      Genova (Italy)
CAV'06              20/01/06    24/03/06      16/08-21/08/06      Seattle (Washington, USA)
AVIS'06             20/01/06    16/02/06      01/04-01/04/06      Vienna (Austria)
ETAPS'07         se 20/01/06    06/02/06      24/03-01/04/07      Braga (Portugal)
EWSCS'06          r 20/01/06    03/02/06      05/03-10/03/06      Palmse (Estonia)
FMOODS'06        +p 22/01/06    07/03/06      14/06-16/06/06      Bologna (Italy)
AOSD'06 WS FOAL     25/01/06    10/02/06      21/03-21/03/06      Bonn (Germany)
DEON'06             27/01/06    24/02/06      12/07-14/07/06      Utrecht (Netherlands)
ISSTA'06            27/01/06    10/04/06      17/07-20/07/06      Portland (Maine, USA)
CSFW'06           a 30/01/06    20/03/06      05/07-07/07/06      Venice (Italy)
TIME'06             30/01/06    30/03/06      15/06-17/06/06      Budapest (Hungary)
CAL'05         proc 31/01/06    15/03/06      20/06-21/06/05      Le Bourget du Lac (France)
EUROPAR'06          31/01/06    02/05/06      29/08-01/09/06      Dresden (Germany)
ZUM'06            + 31/01/06    15/02/06      24/04-28/04/06      Columbia (Maryland, USA)
----------------------------------------------------------------------------------------------------------------------
NMR'06              01/02/06    01/04/06      30/05-01/06/06      Lake District (UK)
ESSLLI'06       +ss 01/02/06    01/04/06      31/07-11/08/06      Malaga (Spain)
AAMAS'06 WS PROMAS  01/02/06    19/02/06      09/05-09/05/06      Hakodate (Japan)
AAMAS'06 WS DALT    01/02/06    01/03/06      08/05-08/05/06      Hakodate (Japan)
LICS'06             03/02/06    14/04/06      12/08-15/08/06      Seattle (Washington, USA)
SAFECOMP'06       a 03/02/06    12/05/06      26/09-29/09/06      Gdansk (Poland)
CSFW'06           p 03/02/06    20/03/06      05/07-07/07/06      Venice (Italy)
MPC'06           +a 03/02/06    17/03/06      02/07-08/07/06      Kuressaare (Estonia)
AMAST'06         +a 03/02/06    17/03/06      02/07-08/07/06      Kuressaare (Estonia)
LMCS'06             04/02/06    15/03/06      20/04-22/04/06      Camerino (Italy)
LCTES'06            04/02/06    02/04/06      14/06-16/06/06      Ottawa (Canada)
ETAPS'05 WS QAPL p. 05/02/06                  01/04-02/04/06      Vienna (Austria)
ISIM'06 WS WFM      05/02/06    04/03/06      25/04-27/04/06      Přerov (Czech Republic)
RE'06             a 06/02/06    24/04/06      11/09-15/09/06      Minneapolis/St. Paul (Minnesota, USA)
PSI'06           +p 07/02/06    07/04/06      27/06-30/06/06      Novosibirsk/Akademgorodok (Russia)
CIE'06            + 09/02/06    10/03/06      30/06-05/07/06      Swansea (UK)
ICALP'06            10/02/06    09/04/06      09/07-16/07/06      S. Servolo, Venice (Italy)
WWW'06 WS ROW       10/02/06    20/03/06      22/05-23/05/06(1d)  Edinburgh (UK)
SIROCCO'06          10/02/06    17/03/06      03/07-05/07/06      Chester (UK)
MPC'06           +p 10/02/06    17/03/06      02/07-08/07/06      Kuressaare (Estonia)
AMAST'06         +p 10/02/06    17/03/06      02/07-08/07/06      Kuressaare (Estonia)
PATAT'06          + 10/02/06    28/04/06      30/08-01/09/06      Brno (Czech Republic)
PATAT'06     +demos 10/02/06                  30/08-01/09/06      Brno (Czech Republic)
ARW'06            + 10/02/06    15/02/06      03/04-04/04/06      Bristol (England)
ECAI'06          +a 10/02/06    20/05/06      28/08-01/09/06      Trento / Riva del Garda (Italy)
PSI'06           ++ 12/02/06    07/04/06      27/06-30/06/06      Novosibirsk/Akademgorodok (Russia)
ECAI'06          +p 12/02/06    20/05/06      28/08-01/09/06      Trento / Riva del Garda (Italy)
RTA'06            a 15/02/06    01/05/06      12/08-15/08/06      Seattle (Washington, USA)
MFPS'06             15/02/06    25/03/06      24/05-27/05/06      Genova (Italy)
ASE'06           ws 15/02/06                  18/09-22/09/06      Tokyo (Japan)
CORDIE'06           16/02/06    15/03/06      04/07-05/07/06      York (UK)
TFP'06              17/02/06    27/02/06      19/04-21/04/06      Nottingham (UK)
DLT'06              17/02/06    20/03/06      26/06-29/06/06      Santa Barbara (California, USA)
BCTCS'06          r 20/02/06                  04/04-07/04/06      Swansea (Wales, UK)
ICLP'06           p 21/02/06    07/04/06      16/08-20/08/06      Seattle (Washington, USA)
AAAI'06             21/02/06    14/04/06      16/07-20/07/06      Boston (Massachusetts, USA)
ICLP'06          +a 21/02/06    07/04/06      16/-08-20/08/06     Seattle (Washington, USA)
RTA'06            p 22/02/06    01/05/06      12/08-15/08/06      Seattle (Washington, USA)
PRICAI'06           22/02/06    05/05/06      07/08-11/08/06      Guilin (China)
ISWC'06           + 22/05/06    26/07/06      05/11-09/11/06      Athens (Georgia, USA)
FM'06               24/02/06    28/04/06      21/08-27/08/06      Hamilton (Ontario, Canada)
FM'06        ws+tut 24/02/06    10/03/06      21/08-27/08/06      Hamilton (Ontario, Canada)
LAA'06 WS CAV     a 24/02/06                  09/01-13/01/06      Cambridge (UK)
ASE'06            a 24/02/06                  18/09-22/09/06      Tokyo (Japan)
GOEDEL'06 YSC       24/02/06    15/03/06      27/04-29/04/06      Vienna (Austria)
IJCAR'06          a 27/02/06    24/04/06      16/08-21/08/06      Seattle (Washington, USA)
ICALP'06         ws 27/02/06    09/04/06      09/07-16/07/06      S. Servolo, Venice (Italy)
RELMICS-AKA'06      27/02/06    02/05/06      29/08-02/09/06      Manchester (UK)
MKM'06           ws 27/02/06    24/04/06      10/08-12/08/06      Wokingham (UK)
FMCO'05 TUT       p 28/02/06    01/10/05      01/11-04/11/05      Amsterdam (Netherlands)
ETRICS'06        ++ 28/02/06    10/03/06      06/06-09/06/06      Freiburg (Germany)
SWSTE'07            15/04/07    15/07/07      30/10-31/10/07      Herzliya (Israel)
----------------------------------------------------------------------------------------------------------------------
SEKE'06             01/03/06    15/05/06      05/07-07/07/06      San Francisco Bay (California, USA)
PLDI'06 WS TRANSACT 01/03/06    15/04/06      11/06-11/06/06      Ottawa (Canada)
ICLP'06          +p 02/03/06    07/04/06      16/-08-20/08/06     Seattle (Washington, USA)
APLAS'06            02/06/06    05/08/06      08/11-10/11/06      Sydney (Australia)
ASE'06            p 03/03/06                  18/09-22/09/06      Tokyo (Japan)
DEXA'06 WS LAAIC    03/03/06    15/04/06      08/09-08/09/06      Krakow (Poland)
PLDI'06 WS PLAS     03/03/06    03/04/06      10/06-10/06/06      Ottawa (Canada)
ICFP'06 WS WGP      03/06/06    24/06/06      16/09-16/09/06      Portland (Oregon, USA)
SCE'06            a 05/03/06                  12/04-14/04/06      Beijing (China)
IJCAR'06          p 06/03/06    24/04/06      16/08-21/08/06      Seattle (Washington, USA)
CSR'06 WS LARARL    06/03/06    29/03/06      08/06-12/06/06      St Petersburg (Russia) [CANCELLED]
ESSLLI'06 WS FOCA   08/03/06    21/04/06      31/07-04/08/06      Malaga (Spain)
ESSLLI'06 WS RKW    08/03/06    21/04/06      07/08-11/08/06      Malaga (Spain)
WOLLIC'06           10/03/06    21/04/06      18/07-21/07/06      Stanford (California, USA)
SAFECOMP'06       p 10/03/06    12/05/06      26/09-29/09/06      Gdansk (Poland)
SAT'06           +a 10/03/06    28/04/06      12/08-15/08/06      Seattle (Washington, USA)
KI'06            ws 10/03/06    24/03/06      14/06-19/06/06      Bremen (Germany)
MKM'06              13/03/06    24/04/06      10/08-12/08/06      Workingham (UK)
TYPES'06          r 15/03/06                  18/04-21/04/06      Nottingham (UK)
ICFEM'06         ws 17/03/06    31/03/06      30/10-03/11/06      Macao SAR (China)
SAT'06           +p 17/03/06    28/04/06      12/08-15/08/06      Seattle (Washington, USA)
ICCL-WS-KS'06       18/03/06    24/04/06      24/06-08/07/06      Dresden (Germany)
OOPSLA'06           18/03/06    12/05/06      22/10-26/10/06      Portland (Oregon, USA)
JCKBSE'06           20/03/06    05/05/06      28/08-31/08/06      Tallinn (Estonia)
MODELS'06         a 20/03/06    12/06/06      01/10-06/10/06      Genova (Italy)
SEFM'06           a 20/03/06    30/05/06      11/09-15/09/06      Pune (India)
LLLL'06             22/03/06    10/04/06      05/06-06/06/06(1d)  Tokyo (Japan)
ESWC'06 WS PPSWR  a 22/03/06    20/04/06      10/06-11/06/06      Budva (Montenegro)
CONCUR'06         a 23/03/06    20/05/06      27/08-30/08/06      Bonn (Germany)
MEMOCODE'06       + 26/03/06    19/05/06      27/07-29/07/06      Napa Valley (California, USA)
AIML'06             27/03/06    26/05/06      25/09-28/09/06      Noosa (Queensland, Australia)
PPDP'06           + 27/03/06    22/04/06      10/07-12/07/06      Venice (Italy)
LAA'06 WS GAMES   r 31/03/06                  03/07-07/07/06      Cambridge (UK)
WCC'06 ST FTSAS     31/03/06    21/04/06      20/08-25/08/06      Santiago de Chile (Chile)
CP'06            ws 31/03/06    14/04/06      25/09-29/09/06      Nantes (France)
ESORICS'06          31/03/06    30/05/06      18/09-20/09/06      Hamburg (Germany)
KI'06             + 31/03/06    30/04/06      15/06-17/06/06      Bremen (Germany)
SAT-RACE'06       r 31/03/06                  12/08-15/08/06      Seattle (Washington, USA)
----------------------------------------------------------------------------------------------------------------------
SEFM'06           p 01/04/06    30/05/06      11/09-15/09/06      Pune (India)
MFCS'06             03/04/06    29/05/06      28/08-01/09/06      High Tatras (Slovakia)
MODELS'06         p 03/04/06    12/06/06      01/10-06/10/06      Genova (Italy)
CONCUR'06         p 03/04/06    20/05/06      27/08-30/08/06      Bonn (Germany)
AISC'06             07/04/06    02/06/06      20/09-22/09/06      Beijing (China)
ICFP'06             07/04/06    27/05/06      18/09-20/09/06      Portland (Oregon, USA)
ISSRE'06            07/04/06                  06/11-10/11/06      Raleigh (North Carolina, USA)
JMLC'06           + 07/04/06    19/05/06      13/09-15/09/06      Oxford (UK)
CIAA'06           + 07/04/06    10/05/06      21/08-23/08/06      Taipei (Taiwan)
IJCAI'07        tut 07/04/06    05/05/06      06/01-12/01/07      Hyderabad (India)
CALCULEMUS'06     a 08/04/06    15/05/06      07/07-08/07/06      Genova (Italy)
ECOOP'06 WS FTFJP + 08/04/06    08/05/06      04/07-04/07/06      Nantes (France)
ICGT'06           a 10/04/06    29/05/06      17/09-23/09/06      Natal (Rio Grande do Norte, Brazil)
ECAI'06 WS MOCHART  10/04/06    10/05/06      29/08-29/08/06      Trento / Riva del Garda (Italy)
CMPP'06           + 10/04/06    05/05/06      02/07-02/07/06      Kuressaare / Baltic Sea (Estonia)
FOCS'06             11/04/06    26/06/06      22/10-24/10/06      Berkeley (CA, USA)
ICGT'06           p 14/04/06    29/05/06      17/09-23/09/06      Natal (Rio Grande do Norte, Brazil)
ASE'06          tut 14/04/06                  18/09-22/09/06      Tokyo (Japan)
SAS'06              14/04/06    31/05/06      29/08-31/08/06      Seoul (Korea)
ECOOP'06 WS PASSW.  14/04/06    05/05/06      04/07-04/07/06      Nantes (France)
MTCOORD'06       +p 14/04/06    08/05/06      13/06-13/06/06      Bologna (Italy)
FLOC'06 WS ACL2  +a 14/04/06    09/06/06      15/08-16/08/06      Seattle (Washington, USA)
WADT'06           a 15/04/06    01/05/06      01/06-03/06/06      La Roche en Ardennes (Belgium)
LOFT'06             15/04/06    28/05/06      13/07-15/07/06      Liverpool (UK)
ECAI'06 WS MSPC     15/04/06    10/05/06      29/08-29/08/06      Trento / Riva del Garda (Italy)
ECOOP'06 WS LISP  + 15/04/06    12/05/06      03/07-04/07/06      Nantes (France)
ICALP'06 WS CLAC  + 15/04/06    15/05/06      15/07-15/07/06      S. Servolo, Venice (Italy)
FSE'06              15/04/06    26/06/06      05/11-11/11/06      Portland (Oregon, USA)
ICALP'06 WS FCC     16/04/06    08/05/06      09/07-09/07/06      S. Servolo, Venice (Italy)
LC'06             a 17/04/06                  27/07-02/08/06      Nijmegen (Netherlands)
AAAI'06 WS LS     + 17/04/06    03/05/06      16/07-20/07/06(1d)  Boston (Massachusetts, USA)
MPC'06 WS MSFP   +a 17/04/06    08/05/06      02/07-02/07/06      Kuressaare (Estonia)
FLOC'06 WS ACL2  +p 19/04/06    09/06/06      15/08-16/08/06      Seattle (Washington, USA)
MPC'06 WS MSFP   +p 21/04/06    08/05/06      02/07-02/07/06      Kuressaare (Estonia)
AIMSA'06         +a 21/04/06    10/06/06      13/09-15/09/06      Varna (Bulgaria)
CP'06             + 23/04/06    14/06/06      25/09-29/09/06      Nantes (France)
CSL'06            a 24/04/06    12/06/06      25/09-29/09/06      Szeged (Hungary)
FLoC'06 WS VANDD    24/04/06    22/05/06      16/08-21/08/06(1d)  Seattle (Washington, USA)
FMCAD'06         +a 24/04/06    23/06/06      12/11-16/11/06      San Jose (California, USA)
SCAM'06           a 24/04/06    10/06/06      27/09-29/09/06      Philadelphia (Pennsylvania, USA)
LOPSTR'06        +p 24/04/06    20/05/06      12/07-14/07/06      Venice (Italy)
FORTE'06          + 25/04/06    05/06/06      26/09-29/09/06      Paris (France)
GOEDEL'06                                     27/04-29/04/06      Vienna (Austria)
AIMSA'06         +p 28/04/06    10/06/06      13/09-15/09/06      Varna (Bulgaria)
ICALP'06 WS DCM     30/04/06    21/05/06      16/07-16/07/06      S. Servolo, Venice (Italy)
LOPSTR'06         a 30/04/06    20/05/06      12/07-14/07/06      Venice (Italy)
SLALM'06            30/04/06                  07/08-12/08/06      Oaxaca (Mexico)
ICALP'06 WS IETA    30/04/06    15/05/06      16/07-16/07/06      S. Servolo, Venice (Italy)
----------------------------------------------------------------------------------------------------------------------
CSL'06            p 01/05/06    12/06/06      25/09-29/09/06      Szeged (Hungary)
JELIA'06            01/05/06    08/06/05      13/09-15/09/06      Liverpool (UK) 
FLoC'06 WS BMC      01/05/06    29/05/06      15/08-15/08/06      Seattle (Washington, USA)
GC-WS'06            01/05/06                  18/06-23/06/06      Samos (Greece)
ICALP'06 WS MECBIC  01/05/06    01/06/06      09/07-09/07/06      S. Servolo, Venice (Italy)
FORMATS'06          01/05/06    19/06/06      25/09-27/09/06      Paris (France)
FMCAD'06         +p 01/05/06    23/06/06      12/11-16/11/06      San Jose (California, USA)
ISSTA'06 WS TAV.  + 01/05/06    20/05/06      17/07-17/07/06      Portland (Maine, USA)
IJCAI'07         ws 02/05/06    02/06/06      06/01-12/01/07      Hyderabad (India)
BPM'06 WS WS-FM   + 02/05/06    06/06/06      08/09-09/09/06      Vienna (Austria)
ICAP'06             ??/??/??                  03/05-05/05/06      Laval (France) 
CSCLP'06            05/05/06    16/05/06      26/06-28/06/06      Caparica (Portugal)
ICALP'06 WS CHR     07/05/06    09/06/06      09/07-09/07/06      S. Servolo, Venice (Italy)
LPAR'06          +a 07/05/06    10/07/06      13/11-17/11/06      Phnom Penh (Cambodia)
FLoC'06 WS WRS    a 08/05/06    12/06/06      11/08-11/08/06      Seattle (Washington, USA)
ICTAC'06          + 08/05/06    14/07/06      20/11-24/11/06      Gammarth/Tunis (Tunisia)
KI'06 WS QCC     +a 08/05/06    19/05/06      14/06-14/06/06      Bremen (Germany)
QPL'06              10/05/06    31/05/06      17/07-19/07/06      Oxford (UK)
MKM'06 WS MATHUI  p 12/06/06    27/06/06      10/08-10/08/06      Workingham (UK)
FLOC'06 WS SVV    + 12/05/06    16/06/06      21/08-21/08/06      Seattle (Washington, USA)
KI'06 WS QCC     +p 12/05/06    19/05/06      14/06-14/06/06      Bremen (Germany)
RULE'06             14/05/06    15/06/06      11/08-11/08/06      Seattle (Washington, USA)
GPCE'06           + 14/05/06    28/06/06      22/10-26/10/06      Portland (Oregon, USA)
LPAR'06          +p 14/05/06    10/07/06      13/11-17/11/06      Phnom Penh (Cambodia)
FLoC'06 WS FATES/RV 15/05/06    27/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLoC'06 WS WRS    p 15/05/06    12/06/06      11/08-11/08/06      Seattle (Washington, USA)
LASER-SS'06       r 15/05/06    31/05/06      17/09-23/09/06      Elba (Italy)
FLoC'06 WS PDPAR    15/05/06    09/06/06      21/08-21/08/06      Seattle (Washington, USA)
FLOC'06 WS LFMTP  a 15/05/06    21/06/06      16/08-16/08/06      Seattle (Washington, USA)
RULESML'06        a 15/05/06    15/07/06      09/11-10/11/06      Athens (Georgia, USA)
SICTTL'06           15/05/06    15/06/06      26/09-30/09/06      Salamanca (Spain)
ESORICS'06 WS STM   15/05/06    26/06/06      20/09-20/09/06      Hamburg (Germany)
TRENDS-IN-LOGIC'06  15/05/06    15/06/06      01/09-04/09/06      Prague (Czech Republic)
FLoC'06 WS TV     + 15/05/06    20/06/06      21/08-22/08/06      Seattle (Washington, USA)
PCC'06              15/05/06                  24/07-25/07/06      Ilmenau (Germany)
ICALP'06 WS SEC. +a 15/05/06    21/05/06      15/07-15/07/06      S. Servolo, Venice (Italy)
SYNASC'06           15/05/06    01/07/06      26/09-29/09/06      Timisoara (Romania)
ICCP'06 ST SRV      15/05/06    30/06/06      01/09-02/09/06      Cluj-Napoca (Romania)
FLOC'06 WS FCS-A. + 17/05/06    16/06/06      15/08-16/08/06      Seattle (Washington, USA)
FLOC'06 WS HOR    + 17/05/06    29/05/06      15/08-15/08/06      Seattle (Washington, USA)
WST'06              19/05/06    09/06/05      15/08-16/08/06      Seattle (Washington, USA)
FLoC'06 WS PAUL     19/05/06    30/06/06      11/08-11/08/06      Seattle (Washington, USA)
FLoC'06 WS PLPV     19/05/06    30/06/06      21/08-21/08/06      Seattle (Washington, USA)
FLoC'06 WS GALOP    19/05/06    09/06/06      10/08-11/08/06      Seattle (Washington, USA)
FLoC'06 WS VSTTE    19/05/06    09/06/06      22/08-22/08/06      Seattle (Washington, USA)
RISE'06           + 19/05/06    26/06/06      13/09-15/09/06      Geneva (Switzerland)
CP'06           tut 19/05/06    16/06/06      25/09-29/09/06      Nantes (France)
FLoC'06 WS ESCOR    22/05/06    16/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLoC'06 WS LASH     22/05/06    27/06/06      16/08-16/08/06      Seattle (Washington, USA)
RULESML'06        p 22/05/06    15/07/06      09/11-10/11/06      Athens (Georgia, USA)
FLOC'06 WS LFMTP  p 22/05/06    21/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLOC'06 WS PREFS  + 22/05/06    10/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLoC'06 WS ALPSWS + 22/05/06    19/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLOC'06 WS VERIFY + 23/05/06    19/06/06      15/08-16/08/06      Seattle (Washington, USA)
FLOC'06 WS UITP   + 24/05/06    20/06/06      21/08-21/08/06      Seattle (Washington, USA)
SOMET'06          + 24/05/06    20/06/06      25/10-27/10/06      Québec (Canada)
SEFM'06         tut 25/06/06    05/07/06      11/09-15/09/06      Pune (India)
NUMBERS&PROOFS'06 r 25/05/06                  12/06-13/06/06      Orsay (France)
ALT'06              25/05/06    29/06/06      07/10-10/10/06      Barcelona (Spain)
DS'06               26/05/06    30/06/06      07/10-10/10/06      Barcelona (Spain)
CONCUR'06 WS SOS  a 26/05/06    28/06/06      26/08-26/08/06      Bonn (Germany)
DISPROVING'06       26/05/06    21/06/06      16/08-16/08/06      Seattle (Washington, USA)
CONCUR'06 WS PDMC a 26/05/06    10/07/06      31/08-31/08/06      Bonn (Germany)
ICFEM'06          + 26/05/06    17/07/06      30/10-03/11/06      Macao SAR (China)
ATVA'06          +a 27/05/06    10/07/06      23/10-26/10/06      Beijing (China)
ESUG'06             28/05/06    15/07/06      04/09-08/09/06      Prague (Czech Republic)
FLoC'06 WS WLPE   + 28/05/06    15/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLOC'06 WS UNIF     29/05/06    19/06/06      11/08-11/08/06      Seattle (Washington, USA)
STRATEGIES'06     + 29/05/06    26/06/06      16/08-16/08/06      Seattle (Washington, USA)
FLOC'06 WS MVLPA  + 31/05/06    10/06/06      21/08-21/08/06      Seattle (Washington, USA)
CONCUR'06 WS SOS    31/05/06    30/06/06      31/08-31/08/06      Bonn (Germany)
----------------------------------------------------------------------------------------------------------------------
FLoC'06 WS CICLOPS  01/06/06    01/07/06      21/08-22/08/06(1d)  Seattle (Washington, USA)
BNAIC'06            01/06/06    07/07/06      05/10-06/10/06      Namur (Belgium)
ICTAC'06        tut 01/06/06    14/07/06      20/11-21/11/06      Gammarth/Tunis (Tunisia)
CONC.'06 WS EXPRESS 01/06/06    10/07/06      26/08-26/08/06      Bonn (Germany)
FLoC'06 WS HYLO   + 01/06/06    20/06/05      11/08-11/08/06      Seattle (Washington, USA)
ICFP'06 WS HASKELL  02/06/06    03/07/06      17/09-17/09/06      Portland (Oregon, USA)
MICAI'06            02/06/06    24/07/06      13/11-17/11/06      ??? (Mexico)
AVOCS'06            02/06/06    15/07/06      18/09-19/09/06      Nancy (France)
APLAS'06          a 02/06/06    05/08/06      08/11-10/11/06      Sydney (Australia)
ISOLA'06            02/06/06    15/07/06      15/11-19/11/06      Paphos (Cyprus)
CONCUR'06 WS PDMC p 02/06/06    10/07/06      31/08-31/08/06      Bonn (Germany)
CONCUR'06 WS GTVC + 02/06/06    30/06/06      31/08-31/08/06      Bonn (Germany)
ICFP'06 WS ML       03/06/06    08/07/06      16/09-16/09/06      Portland (Oregon, USA)
ICFP'06 WS MM       03/06/06    01/07/06      21/09-21/09/06      Portland (Oregon, USA)
ATVA'06          +p 03/06/06    10/07/06      23/10-26/10/06      Beijing (China)
CONCUR'06 WS SOS  p 04/06/06    28/06/06      26/08-26/08/06      Bonn (Germany)
FLOC'06 WS AFM      05/06/06    10/07/06      21/08-21/08/06      Seattle (Washington, USA)
ICGT'06 WS GCM      05/06/06    03/07/06      18/09-18/09/06      Natal (Rio Grande do Norte, Brazil)
MKM'06 WS MATHUI  a 05/06/06    27/06/06      10/08-10/08/06      Workingham (UK)
RULEML'06        ++ 05/06/06    22/07/06      09/11-10/11/06      Athens (Georgia, USA)
FLoC'06 WS CFV      05/06/06    05/07/06      22/08-22/08/06      Seattle (Washington, USA)
FMICS'06         +p 05/06/06    10/07/06      26/08-27/08/06      Bonn (Germany)
APLAS'06          p 06/06/06    05/08/06      08/11-10/11/06      Sydney (Australia)
UNCERTAINTY'06      06/06/06    30/06/06      05/09-08/09/06      Prague (Czech Republic)
SBMF'06             07/06/06    28/07/06      18/09-20/09/06      Natal (Brazil)
ICFP'06 WS SCHEME   09/06/06    30/06/06      17/09-17/09/06      Portland (Oregon, USA)
FM'06 WS FMED       09/06/06    01/07/06      26/08-26/08/06      Hamilton (Ontario, Canada)
ICFP'06 WS ERLANG   09/06/06    03/07/06      16/09-16/09/06      Portland (Oregon, USA)
FLOC'06 WS PCC    + 09/06/06    18/06/06      11/08-11/08/06      Seattle (Washington, USA)
FLOC'06 WS MVLPA ++ 10/06/06    20/06/06      21/08-21/08/06      Seattle (Washington, USA)
TERMGRAPH'06   proc 15/06/06    15/09/06      01/04-01/04/06      Vienna (Austria)
ESSLLI'07        ws 15/06/06    15/09/06      06/08-17/08/07      Dublin (Ireland)
FLOC'06 WS LCC    + 15/06/06    05/07/06      10/08-11/08/06      Seattle (Washington, USA)
HLDVT'06            16/06/06    17/08/06      08/11-10/11/06      Monterey (California, USA)
CCS'06 WS FMSE      16/06/06    28/07/06      03/11-03/11/06      Fairfax (Virginia, USA)
FM'06 WS CERTSOFT + 16/06/06    03/07/06      26/08-27/08/06      Hamilton (Ontario, Canada)
KI'06 50-YEARS-AI                             17/06-17/06/06      Bremen (Germany)
FSTTCS'06         a 18/06/06    20/08/06      13/12-15/12/06      Kolkata (India)
CONCUR'06 WS GETCO  18/06/06    07/07/06      26/08-26/08/06      Bonn (Germany)
FACS'06           + 21/06/06    23/07/06      20/09-22/09/06      Prague (Czech Republic)
FLOC'06 WS SAL      22/06/06    27/06/06      16/08-16/08/06      Seattle (Washington, USA)
IJCAI'07          a 23/06/06    18/09/06      06/01-12/01/07      Hyderabad (India)
FSTTCS'06         p 25/06/06    20/08/06      13/12-15/12/06      Kolkata (India)
GOGUEN65'06                                   27/06-29/06/06      San Diego (California, USA)
ICMLA'06          + 29/06/06    01/09/06      14/12-16/12/06      Orlando (Florida, USA)
IJCAI'07          p 30/06/06    18/09/06      06/01-12/01/07      Hyderabad (India)
ICFEM'06        tut 30/06/06    24/07/06      30/10-03/11/06      Macao SAR (China)
HVC'06              30/06/06    11/08/06      23/10-26/10/06      Haifa (Israel)
CP'06 WS WCB        30/06/06    22/07/06      25/09-25/09/06      Nantes (France)
----------------------------------------------------------------------------------------------------------------------
ISOLA'06 ST WWV   a 03/07/06    17/09/06      15/11-16/11/06      Paphos (Cyprus)
SBMF'06 WS LSFA  +a 03/07/06    24/07/06      15/11-19/11/06(1d)  Natal (Brazil)
FM'06 WS FAST     + 05/07/06    29/07/06      26/08-27/08/06      Hamilton (Ontario, Canada)
ICFEM'06 SE AWCV    10/07/06    07/08/06      29/10-31/10/06      Macao SAR (China)
LPAR'06          ws 10/07/06    17/07/06      12/11-12/11/06      Phnom Penh (Cambodia)
CP'06 WS INTCP    + 10/07/06    27/07/06      25/09-25/09/06      Nantes (France)
ICDT'07           a 10/07/06    03/10/06      10/01-12/01/07      Barcelona (Spain)
CP'06 WS CSTVA    + 11/07/06    11/08/06      25/09-29/09/06(1d)  Nantes (France)
WFLP'06           a 13/07/06    25/09/06      16/11-17/11/06      Madrid (Spain)
CP'06 WS CMR        14/07/06    31/07/06      25/09-25/09/06      Nantes (France)
CP'06 WS CPSEC   ++ 14/07/06    22/07/06      25/09-25/09/06      Nantes (France)
POPL'07             15/07/06    23/09/06      17/01-19/01/07      Nice (France)
GPCE'06 WS STS    a 15/07/06    31/08/06      22/01-22/10/06      Portland (Oregon, USA)
FM'06 WS OVERTURE   15/07/06    05/08/06      21/08-21/08/06      Hamilton (Ontario, Canada)
BCI'06            r 15/07/06                  11/09-15/09/06      Dobbiaco (Italy)
ISOLA'06 ST WWV   p 16/07/06    17/09/06      15/11-16/11/06      Paphos (Cyprus)
SBMF'06 WS LSFA  +p 16/07/06    17/09/06      15/11-19/11/06(1d)  Natal (Brazil)
B'07              + 16/07/06    25/09/06      17/01-19/01/07      Besançon (France)
CP'06 WS BEYONDFD + 17/07/06    26/07/06      25/09-29/09/06      Nantes (France)
ICDT'07           p 17/07/06    03/10/06      10/01-12/01/07      Barcelona (Spain)
CP'06 WS INTSATCP   18/07/06    30/07/06      25/09-25/09/06      Nantes (France)
WFLP'06           p 20/07/06    25/09/06      16/11-17/11/06      Madrid (Spain)
CSL'06 WS ATAL    a 20/07/06    30/07/06      30/09-01/10/06      Szeged (Hungary)
CATS'07           a 27/07/06    26/09/06      30/01-02/02/07      Ballarat (Australia)
TGC'06              31/07/06    16/09/06      07/11-09/11/06      Lucca (Italy)
----------------------------------------------------------------------------------------------------------------------
AWPN'06             01/08/06                  25/09-26/09/06      Hamburg (Germany)
IFL'06              04/08/06                  04/09-06/09/06      Budapest (Hungary)
CP'06 TOOLS         06/08/06    20/08/06      24/09-24/09/06      Nantes (France)
ICFEM'06 WS FMIS  + 06/08/06    10/09/06      31/10-31/10/06      Lucca (Italy)
OWLED'06          + 07/08/06    11/09/06      10/11-11/11/06      Athens (Georgia, USA)
FLoC'06 WS SSPV                               10/08-11/08/06      Seattle (Washington, USA)
CATS'07           p 11/08/06    26/09/06      30/01-02/02/07      Ballarat (Australia)
SOFSEM'07           14/08/06    20/09/06      20/01-26/01/07      Harrachov (Tcheque Republic)
SAVCBS'06           15/08/06    15/09/06      10/11-11/11/06      Portland (Oregon, USA)
FLoC'06 WS LSB                                15/08-15/08/06      Seattle (Washington, USA)
FLoC'06 SY 25MC                               16/08-16/08/06      Seattle (Washington, USA)
FLoC'06 WS GDV                                21/08-21/08/06      Seattle (Washington, USA)
ASIAN'06         +a 24/08/06    06/10/06      06/12-08/12/06      Tokyo (Japan)
PADL              a 30/08/06    02/10/06      14/01-15/01/07      Nice (France)
ASIAN'06         +p 31/08/06    06/10/06      06/12-08/12/06      Tokyo (Japan)
FDPC'06           r 31/08/06                  11/09-13/09/06      Udine (Italy)
----------------------------------------------------------------------------------------------------------------------
THEORIETAG'06     a 01/09/06                  27/09-29/09/06      Vienna (Austria)
TYPES'06    +a proc 02/09/06    27/10/06      18/04-21/04/06      Nottingham (UK)
FMCO'06       tut/a 05/09/06    01/10/06      07/11-10/11/06      Amsterdam (Netherlands)
PLOTKIN60'06                                  07/09-08/09/06      Edinburgh (UK)
VMCAI'07            08/09/06    27/10/06      14/01-16/01/07      Nice (France)
SAC'07              08/09/06    16/10/06      11/03-15/03/07      Seoul (Korea)
SAC'07 ST PL        08/09/06    16/10/06      11/03-15/03/07      Seoul (Korea)
SAC'07 ST SV        08/09/06    16/10/06      11/03-15/03/07      Seoul (Korea)
B'07           tool 08/09/06    01/12/06      17/01-19/01/07      Besançon (France)
ICSE'07             08/09/06    16/12/06      20/05-26/05/07      Minneapolis (MN, USA)
IFIP-WG-2.2'06                                11/09-13/09/06      Udine (Italy)
TYPES'06    +p proc 16/09/06    27/10/06      18/04-21/04/06      Nottingham (UK)
LPAR'06          sp 16/09/06    25/09/06      13/11-17/11/06      Phnom Penh (Cambodia)
STACS'07            17/09/06    22/11/06      22/02-24/02/07      Aachen (Germany)
NWPT'06           a 19/09/06    01/10/06      18/10-20/10/06      Reykjavík (Iceland)
GCII'06                                       19/09-20/09/06      Budapest (Hungary)
THEORIETAG'06     r 20/09/06                  27/09-29/09/06      Vienna (Austria)
AOSD'07           a 22/09/06    06/12/06      12/03-16/03/07      Vancouver (British Columbia, Canada)
CSL'06 WS LC                                  23/09-24/09/06      Szeged (Hungary)
LOGINF'06         a 25/09/06                  12/10-13/10/06      Dortmund (Germany)
LPAR'06 WS AS     a 25/09/06    06/10/06      12/11-12/11/06      Phnom Penh (Cambodia)
AOSD'07           p 29/09/06    06/12/06      12/03-16/03/07      Vancouver (British Columbia, Canada)
TAP'07              30/09/06    15/11/06      12/02-14/02/07      Zurich (Switzerland)
----------------------------------------------------------------------------------------------------------------------
LOGIC'07          a 01/10/06                  10/01-13/01/07      Buenos Aires (Argentina)
TLDI'07             01/10/06    10/11/06      16/01-16/01/07      Nice (France)
CC'07             a 06/10/06    08/12/06      26/03-30/03/07      Braga (Portugal)
FASE'07           a 06/10/06    08/12/06      24/03-01/04/07      Braga (Portugal)    
TACAS'07          a 06/10/06    08/12/06      24/03-01/04/07(?)   Braga (Portugal)
FOOL-WOOD'07        06/10/06    24/11/06      20/01-20/01/07      Nice (France)
ESOP'07           a 06/10/06    08/12/06      26/03-30/03/07      Braga (Portugal)
FOSSACS'07        a 06/10/06    08/12/06      24/03-01/04/07?     Braga (Portugal)
TACAS'07          a 06/10/06    08/12/06      24/03-01/04/07?     Braga (Portugal)
HSCC'07           p 09/10/06    24/11/06      03/04-05/04/07      Pisa (Italy)
POPL'07 WS PLAN-X + 10/10/06    25/11/06      20/01-20/01/07      Nice (France)
CC'07             p 13/10/06    08/12/06      26/03-30/03/07      Braga (Portugal)
ESOP'07           p 13/10/06    08/12/06      26/03-30/03/07      Braga (Portugal)
FASE'07           p 13/10/06    08/12/06      24/03-01/04/07      Braga (Portugal)    
FOSSACS'07        p 13/10/06    08/12/06      24/03-01/04/07?     Braga (Portugal)
TACAS'07          p 13/10/06    08/12/06      24/03-01/04/07?     Braga (Portugal)
CAV'07           ws 15/10/06    01/11/06      03/07-07/07/07      Berlin (Germany)
FLA-PHD'06-08     r 15/10/06    22/10/06      05/03-27/07/07      Tarragona (Spain)
FLA-PHD'06-08     r 15/10/06    22/10/06      03/09-21/12/07      Tarragona (Spain)
ISC'07              16/10/06    06/11/06      14/01-17/01/07      Edinburgh (UK)
PEPM'07           a 18/10/06    01/12/06      15/01-16/01/07      Nice (France)
IFL'06         proc 24/10/06    08/12/06      04/09-06/09/06      Budapest (Hungary)
PEPM'07          +p 27/10/06    01/12/06      15/01-16/01/07      Nice (France)
TFM'06            + 30/10/06    24/11/06      15/12-15/12/06      London (UK)
----------------------------------------------------------------------------------------------------------------------
SUD'06            r 01/11/06                  30/11-01/12/06      Delft (Netherlands)
SE'07               03/11/06    18/12/06      27/03-30/03/07      Hamburg (Germany)
POPL'07 WS DAMP     03/11/06    01/12/06      16/01-16/01/07      Nice (France)
FSEN'07          +a 03/11/06    15/12/06      17/04-19/04/07      Tehran (Iran)
CSCLP'06       proc 06/11/06    30/01/07      26/06-28/06/06      Caparica (Portugal)
FLAIRS'07           06/11/06    21/01/07      07/05-09/05/07      Key West (Florida, USA)
PLDI'07           a 07/11/06    31/01/07      10/06-13/06/07      San Diego (California, USA)
LPNMR'07          a 08/11/06    01/02/07      14/05-16/05/07      Tempe (Arizona, USA)
FSEN'07          +p 10/11/06    15/12/06      17/04-19/04/07      Tehran (Iran)
LPNMR'07          p 11/11/06    01/02/07      14/05-16/05/07      Tempe (Arizona, USA)
PLDI'07           p 14/11/06    31/01/07      10/06-13/06/07      San Diego (California, USA)
LICS'07          ws 15/11/06    30/11/06      10/07-14/07/07      Wroclaw (Poland)
ICFP'07          ws 17/11/06    15/12/06      01/10-02/10/07      Freiburg (Germany)
STOC'07             20/11/06    18/02/07      11/06-13/06/07      San Diego (CA, USA)
ETAPS'07 WS FESCA   24/11/06    13/01/07      24/03-01/04/07(1d)  Braga (Portugal)
CONCUR'07        ws 24/11/06    04/12/06      03/09-08/09/07      Lisbon (Portugal)
ADA-EUROPE'07     + 26/11/06    26/01/07      25/06-29/06/07      Geneva (Switzerland)
PODS'07           a 28/11/06    26/02/07      11/06-13/06/07      Beijing (China)
ICALP'07         ws 30/11/06    17/12/06      08/07-15/07/07      Wroclaw (Poland)
----------------------------------------------------------------------------------------------------------------------
TOOLS-EUROPE'07     01/02/07    15/04/07      24/06-28/06/07      Zurich (Switzerland)
CCC'07              03/12/06    04/02/07      08/06-16/06/07      San Diego (California, USA)
ETAPS'07 WS LDTA +a 04/12/06    16/01/07      25/03-25/03/07      Braga (Portugal)
PODS'07           p 05/12/06    26/02/07      11/06-13/06/07      Beijing (China)
TABLEAUX'07      ws 05/12/06    15/12/06      03/07-06/07/07      Aix en Provence (France)
LATA'07           + 07/12/06    31/01/07      29/03-04/04/07      Tarragona (Spain)
ETAPS'07 WS BYTEC.  08/12/06    19/01/07      31/03-31/03/07      Braga (Portugal)
ETAPS'07 WS MBT     08/12/06    19/01/07      31/03-01/04/07      Braga (Portugal)
ETAPS'07 WS OPENC.  08/12/06    25/01/07      31/03-31/03/07      Braga (Portugal)
ETAPS'07 WS COCV    08/12/06    13/01/07      25/03-25/03/07      Braga (Portugal)
EWSC'07           a 08/12/06    26/02/07      03/06-07/06/07      Innsbruck (Austria)
ETAPS'07 WS HFL  +a 08/12/06    10/01/07      24/03-25/03/07      Braga (Portugal)
ETAPS'07 WS ACCAT   10/12/06                  25/03-25/03/07      Braga (Portugal)
ETAPS'07 WS SLAP    11/12/06    05/02/07      24/03-01/04/07(1d)  Braga (Portugal)
ETAPS'07 WS LDTA +p 11/12/06    16/01/07      25/03-25/03/07      Braga (Portugal)
AB'07            +a 11/12/06    05/03/07      02/07-04/07/07      Hagenberg (Austria)
ETAPS'07 WS GTVMT a 12/12/06    24/01/07      31/03-01/04/07      Braga (Portugal)
ECOOP'07            13/12/06    28/02/07      30/07-03/08/07      Berlin (Germany)
ETAPS'07 WS QAPL  p 14/12/06    31/01/07      24/03-25/03/07      Braga (Portugal)
ETAPS'07 WS SC    + 14/12/06    26/01/07      24/03-25/03/07      Braga (Portugal)
MFPS'07           a 15/12/06    04/02/07      11/04-14/04/07      New Orleans (LA, USA)
ETAPS'07 WS WITS    15/12/06    01/02/07      24/03-25/03/07      Braga (Portugal)
ILC'07           +a 15/12/06    05/02/07      01/04-04/04/07      Cambridge (England)
CADE'07      ws/tut 15/12/06    22/12/06      15/07-20/07/07      Bremen (Germany)
LFCS'07             18/12/06    29/01/07      04/06-07/06/07      New York (USA)
AB'07            +p 18/12/06    05/03/07      02/07-04/07/07      Hagenberg (Austria)
ETAPS'07 WS MBT   + 20/12/06    19/01/07      31/03-01/04/07      Braga (Portugal)
ISBRA'07            20/12/06    31/01/07      07/05-10/05/07      Atlanta (Georgia, USA)
ICCS'07 WS PAPP   + 20/12/06    03/02/07      27/05-30/05/07      Beijing (China)
MFPS'07           p 22/12/06    04/02/07      11/04-14/04/07      New Orleans (LA, USA)
TLCA'07           a 22/12/06    25/03/07      26/06-28/06/07      Paris (France)
TERMGRAPH'07     ea 29/12/06    01/02/07      31/03-31/03/07      Braga (Portugal)
======================================================================================================================



Last modified: Thu Feb 19 10:59:54 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