Interesting Conferences & Workshops (with submission deadline in 2009)

(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 2008, 2007, 2006, 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
(1d) 1 day
a deadline for submission of abstracts or posters
ap deadline for submission of application papers
c deadline for submission of cases / examples
ch changed/postponed deadline
CO competition
demo deadline for proposing demos
dp deadline for submission of doctoral program papers
DS doctoral symposium
ea deadline for submission of extended abstracts
et deadline for submission of emerging trends papers
er deadline for early registration / application
fa deadline for submission of fast abstracts
g deadline for application for grants
p deadline for submission of (full) papers
po deadline for submission of posters
pp deadline for submission of position papers
pr deadline for submission of proposals
proc deadline for submission of (full) papers for (post) proceedings
r deadline for registration / application
rp deadline for submission of research papers
s deadline for submission of solutions
sa deadline for submission of short abstracts
se deadline for proposing satellite events
SE satellite event
sp deadline for submission of short papers
ST special track / session / working session
SY symposium
t deadline for submission of talks
ta deadline for submission of title + author(s)
tool deadline for tool (or industrial) papers
tut deadline for tutorial proposal
TUT tutorial
wip deadline for work in progress papers
ws deadline for course or workshop proposal
WS workshop


Event                     Submission  Notification  Date                Location

======================================================== 2009 ========================================================

ETAPS'09 WS FINCO         04/01/09    04/02/09      29/03-29/03/09      York (UK)
ETAPS'09 WS TAASN       a 04/01/09    08/02/09      22/03-22/03/09      York (UK)
ETAPS'09 WS SAFECERT    + 05/01/09    19/02/09      29/03-29/03/09      York (UK)
PETRI-NETS'09             05/01/09    01/03/09      22/06-26/06/09      Paris (France)
ETAPS'09 WS RC          a 07/01/09    06/02/09      22/03-22/03/09      York (UK)
IJCAI'09                a 07/01/09    31/03/09      11/07-17/07/09      Pasadena (California, USA)
RSP'09                  a 09/01/09    02/03/09      23/06-26/06/09      Paris (France)
MFPS'09                 a 09/01/09    20/02/09      03/04-07/04/09      Oxford (UK)
TABLEAUX'09        ws/tut 09/01/09    23/01/09      06/07-10/07/09      Oslo (Norway)
CPAIOR'09               a 10/01/09    21/02/09      27/05-31/05/09      Pittsburgh (Pennsylvania, USA)
ETAPS'09 WS ARSPA-WITS +a 11/01/09    06/02/09      28/03-29/03/09      York (UK)
ETAPS'09 WS RC          p 11/01/09    06/02/09      22/03-22/03/09      York (UK)
ETAPS'09 WS TAASN      +a 11/01/09    08/02/09      22/03-22/03/09      York (UK)
ACL2'09                 a 12/01/09    23/02/09      11/05-12/05/09      Boston (Massachusetts, USA)
ETAPS'09 WS COCV       +a 12/01/09    22/01/09      22/03-22/03/09      Budapest (Hungary)
ETAPS'09 WS COCV       +p 12/01/09    22/01/09      22/03-22/03/09      Budapest (Hungary)
IJCAI'09                p 12/01/09    31/03/09      11/07-17/07/09      Pasadena (California, USA)
LICS'09                 a 12/01/09    19/03/09      11/08-14/08/09      Los Angeles (California, USA)
ETAPS'09 WS PLACES     +a 13/01/09    25/01/09      22/03-22/03/09      York (UK)
ETAPS'09 WS ARSPA-WiTS +p 15/01/09    06/02/09      28/03-29/03/09      York (UK)
ICSE'09 WS MOMPES         15/01/09    09/02/09      16/05-16/05/09      Vancouver (Canada)
TPHOLS'09              ws 15/01/09    31/01/09      17/08-20/08/09      Munich (Germany)
CPAIOR'09               p 16/01/09    21/02/09      27/05-31/05/09      Pittsburgh (Pennsylvania, USA)
MFPS'09                 p 16/01/09    20/02/09      03/04-07/04/09      Oxford (UK)
RSP'09                  p 17/01/09    02/03/09      23/06-26/06/09      Paris (France)
CAV'09                  a 18/01/09    23/03/09      26/06-02/07/09      Grenoble (France)
ETAPS'09 WS PLACES     +p 18/01/09    25/01/09      22/03-22/03/09      York (UK)
ACL2'09                 p 19/01/09    23/02/09      11/05-12/05/09      Boston (Massachusetts, USA)
LICS'09                 p 19/01/09    19/03/09      11/08-14/08/09      Los Angeles (California, USA)
TABLEAUX'09             a 19/01/09    24/03/09      06/07-10/07/09      Oslo (Norway)
TLCA'09                +a 19/01/09    20/03/09      01/07-03/07/09      Brasilia (Brazil)
ETAPS'09 WS WING        + 19/01/09    23/02/09      22/03-23/03/09      York (UK)
ETAPS'09 WS ACCAT      ea 20/01/09                  22/03-22/03/09      York (UK)
ETAPS'09 WS OPENCERT    + 20/01/09    18/02/09      28/03-28/03/09      York (UK)
HAIS'09                   23/01/09    27/02/09      10/06-12/06/09      Salamanca (Spain)
SC'09                   a 23/01/09    06/03/09      29/06-03/07/09(2d)  Zurich (Switzerland)
TOOLS-EUROPE'09 WS SC   a 23/01/09    06/03/09      02/07-03/07/09      Zurich (Switzerland)
ISSAC'09                  24/01/09    30/03/09      28/07-31/07/09      Seoul (Korea)
CAV'09                  p 25/01/09    23/03/09      26/06-02/07/09      Grenoble (France)
ICSE'09 WS AST          + 26/01/09    05/02/09      18/05-19/05/09      Vancouver (Canada)
TABLEAUX'09             p 26/01/09    24/03/09      06/07-10/07/09      Oslo (Norway)
TLCA'09                +p 26/01/09    20/03/09      01/07-03/07/09      Brasilia (Brazil)
ICPC'09                   30/01/09    06/03/09      17/05-19/05/09      Vancouver (Canada)
NFM'09                    30/01/09    27/02/09      06/04-08/04/09      Moffett Field (California, USA)
RTA'09                 +a 30/01/09    20/03/09      29/06-01/07/09      Brasilia (Brazil)
SC'09                   p 30/01/09    06/03/09      29/06-03/07/09(2d)  Zurich (Switzerland)
TOOLS-E.'09 WS SC       p 30/01/09    06/03/09      02/07-03/07/09      Zurich (Switzerland)
----------------------------------------------------------------------------------------------------------------------
AB'09                     01/02/09    15/03/09      21/06-23/06/09      Research Triangle Park (North Carolina, USA)
CIE'09                  + 01/02/09    16/03/09      19/07-24/07/09      Heidelberg (Germany)
TAMC'09                   01/02/09    01/03/09      18/05-22/05/09      ChangSha (China)
ETAPS'09 WS GALOP'09    + 02/02/09    09/02/09      28/03-29/03/09      York (UK)
ISSTA'09                + 02/02/09    05/04/09      19/07-23/07/09      Chicago (Illinois, USA)
CSF'09                    06/02/09    27/03/09      08/07-10/07/09      Port Jefferson (New York, USA)
RTA'09                 +p 06/02/09    20/03/09      29/06-01/07/09      Brasilia (Brazil)
CALCO'09               +a 08/02/09    22/04/09      06/09-10/09/09      Udine (Italy)
ICMT'09                 + 08/02/09    20/03/09      29/06-03/07/09      Zürich (Switzerland)
SIROCCO'09           +++a 08/02/09    24/03/09      25/05-27/05/09      Piran (Slovenia)
TOOLS-EUROPE'09        ++ 08/02/09    08/03/09      29/06-03/07/09      Zurich (Switzerland)
COCOON'09                 09/02/09    06/04/09      13/07-15/07/09      Niagara Falls (New York, USA)
DLT'09                    09/02/09    03/04/09      30/06-03/07/09      Stutgart (Germany)
ICLP'09                ws 09/02/09    23/02/09      14/07-17/07/09      Pasadena (California, USA)
WWV'09                 +a 09/02/09    20/04/09      17/07-17/07/09      Hagenberg (Austria)
COORDINATION'09        +a 10/02/09    20/03/09      09/06-12/06/09      Lisbon, Portugal
ETAPS'10               se 10/02/09    28/02/09      20/03-28/03/10      Paphos (Cyprus)
FMOODS-FORTE'09        +a 10/02/09    20/03/09      09/06-11/06/09      Lisbon, Portugal
ICALP'09                  10/02/09    06/04/09      05/07-12/07/09      Rhodes (Greece)
SAS'09                  a 10/02/09    17/04/09      09/08-11/08/09      Los Angeles (California, USA)
SIROCCO'09            ++p 11/02/09    24/03/09      25/05-27/05/09      Piran (Slovenia)
CALCULEMUS'09           a 13/02/02    10/04/09      06/07-07/07/09      Grand Bend (Ontario, Canada)
COORDINATION'09        +p 13/02/09    20/03/09      09/06-12/06/09      Lisbon, Portugal
FMOODS-FORTE'09        +p 13/02/09    20/03/09      09/06-11/06/09      Lisbon, Portugal
QPL'09                    13/02/09    27/02/09      08/04-09/04/09      Oxford (UK)
CALCO'09               +p 15/02/09    22/04/09      06/09-10/09/09      Udine (Italy)
SARA'09                   15/02/09    20/03/09      06/07-09/07/09      Lake Arrowhead (California, USA)
SSV'09                  + 15/02/09    06/04/09      22/06-24/06/09      Aachen (Germany)
CADE'09                 a 16/02/09    10/04/09      04/08-07/08/09      Montreal (Quebec, Canada)
LCTES'09                + 16/02/09    ??/??/09      19/06-20/06/09      Dublin (Ireland)
WWV'09                 +p 16/02/09    20/04/09      17/07-17/07/09      Hagenberg (Austria)
SAS'09                  p 17/02/09    17/04/09      09/08-11/08/09      Los Angeles (California, USA)
EWDC'09                   18/02/09    01/04/09      14/05-15/05/09      Toulouse (France)
CALCULEMUS'09           p 20/02/02    10/04/09      06/07-07/07/09      Grand Bend (Ontario, Canada)
MEMOCODE'09               20/02/09    08/05/09      13/07-15/07/09      Cambridge (Massachusetts, USA)
SAT'09                  a 20/02/09    29/03/09      30/06-03/07/09      Swansea (Wales, UK)
TASE'09                 a 20/02/09    20/04/09      29/07-31/07/09      Tianjin (China)
SSIRI'09                a 21/02/09    15/04/09      08/07-10/07/09      Shanghai (China)
VLHCC'09                a 22/02/09    18/05/09      20/09-24/09/09      Corvallis (Oregon, USA)
CADE'09                 p 23/02/09    10/04/09      04/08-07/08/09      Montreal (Quebec, Canada)
SYMB-COMP-TS'09         r 23/02/09    16/03/09      13/07-17/07/09      Hagenberg (Austria)
ICLP'09                 a 27/02/09    07/04/09      14/07-17/07/09      Pasadena (California, USA)
SAT'09                  p 27/02/09    29/03/09      30/06-03/07/09      Swansea (Wales, UK)
TASE'09                 p 27/02/09    20/04/09      29/07-31/07/09      Tianjin (China)
BCTCS'09                  28/02/09                  06/04-09/04/09      Warwick (UK)
PSI'09                ++a 28/02/09    02/04/09      15/06-19/06/09      Novosibirsk, Akademgorodok (Russia)
PSI'09                ++p 28/02/09    02/04/09      15/06-19/06/09      Novosibirsk, Akademgorodok (Russia)
SSIRI'09                p 28/02/09    15/04/09      08/07-10/07/09      Shanghai (China)
WOLLIC'09               a 28/02/09    19/04/09      21/06-24/06/09      Tokyo (Japan)
----------------------------------------------------------------------------------------------------------------------
PPLM'09                   01/03/09    01/04/09      31/08-02/09/09      Amsterdam (Netherlands)
DNA'09                    02/03/09    20/04/09      08/06-12/06/09      Fayetteville (Arkansas, USA)
ICFP'09                   02/03/09    05/05/09      31/08-02/09/09      Edinburgh (UK)
TARK'09                   02/03/09    27/04/09      06/07-08/07/09      Stanford (California, USA)
ICLP'09                 p 03/03/09    07/04/09      14/07-17/07/09      Pasadena (California, USA)
MKM'09                  a 03/03/09    31/03/09      10/07-12/07/09      Grand Bend (Ontario, Canada)
FM'09                 tut 06/03/09    18/03/09      30/10-07/11/09      Eindhoven (Netherlands)
IJCAI'09 WS GKR           06/03/09    17/04/09      11/07-13/07/09(1d)  Pasadena (California, USA)
ESSLLI'09 WS SD        ++ 08/03/09    15/04/09      20/07-24/07/09      Bordeaux (France)
TPHOLS'09               a 08/03/09    04/05/09      17/08-20/08/09      Munich (Germany)
VLHCC'09                p 08/03/09    18/05/09      20/09-24/09/09      Corvallis (Oregon, USA)
IJCAI'09 WS ARCOE         06/03/09    17/04/09      11/07-13/07/09      Pasadena (California, USA
WOLLIC'09               p 08/03/09    19/04/09      21/06-24/06/09      Tokyo (Japan)
MKM'09                  p 10/03/09    31/03/09      10/07-12/07/09      Grand Bend (Ontario, Canada)
PETRI-NETS'09 WS APNOC    13/03/09    01/05/09      22/06-22/06/09      Paris (France) 
TPHOLS'09              +p 13/03/09    04/05/09      17/08-20/08/09      Munich (Germany)
HYLO'09                 + 15/03/09    10/04/09      15/07-17/07/09      Nancy (France)
CMSB'09                 a 16/03/09    18/05/09      31/08-01/09/09      Bologna (Italy)
ESEC/FSE'09               16/03/09                  24/08-28/08/09      Amsterdam (The Netherlands)
ETAPS'09                                            21/03-29/03/09      York (UK)
CMSB'09                 a 16/03/09    18/05/09      31/08-01/09/09      Bologna (Italy)
OOPSLA'09               a 19/03/09    10/05/09      25/10-29/10/09      Orlando (Florida, USA)
ETAPS'10 WS ACCAT                                   20/03-28/03/10(1d?) Paphos (Cyprus)
TAP'09                  + 20/03/09    20/04/09      02/07-03/07/09      Zurich (Switzerland)
TACL'09                +a 22/03/09    22/04/09      07/07-09/07/09      Amsterdam (The Netherlands)
OOPSLA'09               p 23/03/09    10/05/09      25/10-29/10/09      Orlando (Florida, USA)
SPUC'09                                             23/03-25/03/09      Cambridge (UK)
SPIN'09                 + 24/03/09    20/04/09      26/06-28/06/09      Grenoble (France)
CAV'09 WS RV            + 25/03/09    10/05/09      26/06-28/06/09      Grenoble (France)
ECOOP'09 WS FTFJP       a 25/03/09    08/05/09      06/07-07/07/09(1d)  Genova (Italy)
GRABATS'09              c 27/03/09    22/05/09      29/06-30/06/09      Zurich (Switzerland)
CSL'09                  a 30/03/09    25/05/09      07/09-11/09/09      Coimbra (Portugal)
MTLC-BERLINE'09         r 30/03/09                  03/06-04/06/09      Paris (France)
QEST'09                +a 30/03/09    25/05/09      13/09-16/09/09      Budapest (Hungary)
TFM-B'09                + 30/03/09    24/04/09      08/06-08/06/09      Nantes (France)
ARW'09                  a 31/03/09    03/04/09      21/04-22/04/09      Liverpool (UK)
CSL'09                 ws 31/03/09                  07/09-11/09/09      Coimbra (Portugal)
JOUAL'09                  31/03/09    10/05/09      10/06-11/06/09      Pisa (Italy)
LM'09                   r 31/03/09                  03/08-07/08/09      York (UK)
----------------------------------------------------------------------------------------------------------------------
ECOOP'09 WS FTFJP       p 01/04/09    08/05/09      06/07-07/07/09(1d)  Genova (Italy)
FOCS'09                 a 02/04/09    25/06/09      24/10-27/10/09      Atlanta (Georgia, USA)
IJCAI'09 WS LSIR        + 03/04/09    17/04/09      12/07-12/07/09      Pasadena (California, USA)
PLDI'09 WS PLAS           03/04/09    01/05/09      15/06-15/06/09      Dublin (Ireland)
PFM'09                  r 05/04/09                  05/05-08/05/09      Uppsala (Sweden)
CAV'09 WS EC2           + 06/04/09    21/04/09      26/06-27/06/09      Grenoble (France)
CSL'09                  p 06/04/09    25/05/09      07/09-11/09/09      Coimbra (Portugal)
QEST'09                +p 06/04/09    25/05/09      13/09-16/09/09      Budapest (Hungary)
TIME'09                 a 06/04/09    11/05/09      23/07-25/07/09      Brixen (Italy)
CONCUR'09              +a 08/04/09    25/05/09      01/09-04/09/09      Bologna (Italy)
ECOOP'09 WS LISP          08/04/09    08/05/09      06/07-06/07/09      Genova (Italy)
FCT'09                    09/04/09    15/05/09      02/09-04/09/09      Wrocław (Poland)
FOCS'09                 p 09/04/09    25/06/09      24/10-27/10/09      Atlanta (Georgia, USA)
TIME'09                 p 09/04/09    11/05/09      23/07-25/07/09      Brixen (Italy)
CAV'09 GASICS             10/04/09    30/04/09      28/06-28/06/09      Grenoble (France)
FORMATS'09              a 10/04/09    17/04/09      13/09-16/09/09      Budapest (Hungary)
GRABATS'09              s 10/04/09    22/05/09      29/06-30/06/09      Zurich (Switzerland)
ICTAC'09                p 10/04/09    25/05/09      16/08-20/08/09      Kuala Lumpur (Malaysia)
MFCS'09                 a 10/04/09    27/05/09      24/08-28/08/09      Novy Smokovec, High Tatras (Slovakia)
PLS'09                 +a 10/04/09    15/05/09      15/07-19/07/09      Patras (Greece)
PSI'09 WS PU              10/04/09    15/05/09      20/06-22/06/09      Novosibirsk, Akademgorodok (Russia)
VECOS'09                + 10/04/09    15/05/09      02/07-03/07/09      Rabat (Morocco)
ICTAC'09               +a 12/04/09    25/05/09      16/08-20/08/09      Kuala Lumpur (Malaysia)
ICTAC'09               +p 12/04/09    25/05/09      16/08-20/08/09      Kuala Lumpur (Malaysia)
SBLP'09                +a 13/04/09    08/06/09      19/08-21/08/09      Gramado (Rio Grande do Sul, Brazil)
LICS'09 WS FCS          + 14/04/09    29/05/09      09/08-10/08/09      Los Angeles (California, USA)
CAV'09 WS CFV           a 15/04/09    10/05/09      25/06-25/06/09      Grenoble (France)
CONCUR'09              +p 15/04/09    25/05/09      01/09-04/09/09      Bologna (Italy)
FIPT'09                                             15/04-16/04/09      Paris (France)
ICALP'09 WS FOCLASA     p 15/04/09    15/05/09      11/07-11/07/09      Rhodes (Greece)
LPNMR'09                a 15/04/09    01/06/09      14/09-18/09/09      Potsdam (Germany)
MFCS'09                 p 15/04/09    27/05/09      24/08-28/08/09      Novy Smokovec, High Tatras (Slovakia)
RELICS-AKA'09             15/04/09    20/06/09      01/11-05/11/09      Doha (Qatar)
FMICS'09               +a 10/04/09    15/06/09      02/11-03/11/09      Eindhoven (The Netherlands)
FORMATS'09              p 17/04/09    17/04/09      13/09-16/09/09      Budapest (Hungary)
ICALP'09 WS FOCLASA    +a 17/04/09    15/05/09      11/07-11/07/09      Rhodes (Greece)
ICAPS'09                a 17/04/09    15/06/09      19/09-23/09/09      Thessaloniki (Greece)
ICLP'09 WS CHR          a 17/04/09    13/05/09      14/07-17/07/09(ld)  Pasadena (California, USA)
LICS'09 WS LAFT           17/04/09    22/05/09      15/08-15/08/09      Los Angeles (California, USA)
LSFA'09                 + 19/04/09    15/05/09      28/06-28/06/09      Brasilia (Brazil)
UC'09                   + 19/04/09    08/05/09      07/09-11/09/09      Ponta Delgada (Portugal)
DL'09                     20/04/09    01/06/09      27/07-30/07/09      Oxford (UK)
FMICS'09              ++p 20/04/09    15/06/09      02/11-03/11/09      Eindhoven (Netherlands)
LPNMR'09                p 20/04/09    01/06/09      14/09-18/09/09      Potsdam (Germany)
SBLP'09                +p 20/04/09    08/06/09      19/08-21/08/09      Gramado (Rio Grande do Sul, Brazil)
SSIRI'09 WS T4CIA         20/04/09    07/05/09      08/077-08/07/09(?)  Shanghai (China)
DLT'09 WS AAL             21/04/09    28/04/09      28/06-29/06/09      Stuttgart (Germany)
WST'09                  + 21/04/09    26/04/09      03/06-05/06/09      Leipzig (Germany)
CAV'09 WS CFV           p 22/04/09    10/05/09      25/06-25/06/09      Grenoble (France)
ICAPS'09                p 22/04/09    15/06/09      19/09-23/09/09      Thessaloniki (Greece)
ICLP'09 WS CHR          p 22/04/09    13/05/09      14/07-17/07/09(ld)  Pasadena (California, USA)
RP'09                     23/04/09    30/05/09      23/09-25/09/09      Paris (France)
ICALP'09 WS FOCLASA    +p 24/04/09    15/05/09      11/07-11/07/09      Rhodes (Greece)
ATPS'09                   26/04/09    25/05/09      28/09-02/10/09      Lübeck (Germany)
FroCoS'09               a 26/04/09    08/06/09      16/09-18/09/09      Trento (Italy)
INFROMATIK'09 WS AST      26/04/09    25/05/09      28/09-02/10/09      Lübeck (Germany)
MODELS'09               a 26/04/09    29/06/09      04/10-09/10/09      Denver (Colorado, USA)
CADE'09 WS MPLA         a 27/04/09    08/06/09      03/08/09 08/09      Montreal (Quebec, Canada)
CP'09                     27/04/09    15/06/09      21/09-24/09/09      Lisbon (Portugal)
SCAM'09                +a 27/04/06    01/06/09      20/09-21/09/09      Edmonton (Canada)
SECRET'09                 27/04/09    01/06/09      10/07-11/07/09      Port Jefferson (New York, USA)
WFLP'09                +a 27/04/09    25/05/09      28/06-28/06/09      Brasilia (Brazil)
CICM'09 WS DML          a 29/04/09    22/05/09      08/07-08/07/09      Grand Bend (Ontario, Canada)
CICM'09 WS OPENMATH     a 29/04/09    22/05/09      09/07-09/07/09      Grand Bend (Ontario, Canada)
EPIA'09 ST COLA         + 29/04/09    31/05/09      12/10-15/10/09      Aveiro (Portugal)
CSF'09 WS FCC             30/04/09    28/05/09      11/07-12/07/09      Port Jefferson (New York, USA)
ICALP'09 WS DCM           30/04/09    22/05/09      11/07-11/07/09      Rhodes (Greece)
LC'09                  +a 30/04/09    15/05/09      31/07-05/08/09      Sofia (Bulgaria)
OOPSLA'09 ONWARD          30/04/09    03/06/09      25/10-29/10/09      Orlando (Florida, USA)
WLPE'09                   30/04/09    26/05/09      14/07-17/07/09(1d)  Pasadena (California, USA)
WRS'09                 +a 30/04/09    26/05/09      28/06-28/06/09      Brasilia (Brazil)
WRS'09                 +p 30/04/09    26/05/09      28/06-28/06/09      Brasilia (Brazil)
----------------------------------------------------------------------------------------------------------------------
ATVA'09                   01/05/09    15/06/09      14/10-16/10/09      Macao (SAR, China)
SBMF'09                 + 01/05/09    05/06/09      19/08-21/08/09      Gramado (Rio Grande do Sul, Brazil)
TESTCOM/FATES'09          01/05/09    01/07/09      02/11-04/11/09      Eindhoven (Netherlands)    
ADT'09                  a 03/05/09    14/06/09      21/10-23/10/09      Venice (Italy)
DBPL'09                   03/05/09    07/06/09      23/08-24/08/09      Lyon (France)
FroCoS'09               p 03/05/09    08/06/09      16/09-18/09/09      Trento (Italy)
WFLP'09                +p 03/05/09    25/05/09      28/06-28/06/09      Brasilia (Brazil)
ASE'09                  a 04/05/09    26/07/09      16/11-20/11/09      Auckland (New Zealand)
CADE'09 WS MPLA         p 04/05/09    08/06/09      03/08/09 08/09      Montreal (Quebec, Canada)
CICM'09 WS DML          p 04/05/09    22/05/09      08/07-08/07/09      Grand Bend (Ontario, Canada)
CICM'09 WS OPENMATH     p 04/05/09    22/05/09      09/07-09/07/09      Grand Bend (Ontario, Canada)
FM'09                     04/05/09    06/07/09      30/10-07/11/09      Eindhoven (Netherlands)
FTP'09                  + 04/05/09    02/06/09      06/07-07/07/09      Oslo (Norway)
SCAM'09                +p 04/05/06    01/06/09      20/09-21/09/09      Edmonton (Canada)
TABLEAUX'09 WS TALDM      04/05/09    25/05/09      06/07-06/07/09      Oslo (Norway)
CSF'09 WS ASA          ea 06/05/09    27/05/09      10/07-11/07/09      Port Jefferson (New York, USA)
CADE'09 WS LFMTP       +a 07/05/09    15/06/09      02/08-02/08/09      Montreal (Quebec, Canada)
PPDP'09                +a 07/05/09    14/06/09      07/09-09/09/09      Coimbra (Portugal)
CADE'09 WS PSTT         p 08/05/09    15/06/09      03/08-03/08/09      Montreal (Quebec, Canada)
CALCO-JNR'09            a 08/05/09    22/05/09      06/09-06/09/09      Udine (Italy)
CAV'09 WS AFM          +p 08/05/09    22/05/09      27/06-27/06/09      Grenoble (France)
HAL4'09                 r 08/05/09                  12/06-12/06/09      Halle/Saale (Germany)
ICFP'09 WS ERLANG         08/05/09    30/05/09      03/09-03/09/09      Edinburgh (UK)
ICFP'09 SY HASKELL        08/05/09    01/06/09      03/09-03/09/09      Edinburgh (UK)
TBILISI'09             +a 08/05/09    15/06/09      21/09-25/09/09      Bakuriani (Georgia)
ADT'09                  p 10/05/09    14/06/09      21/10-23/10/09      Venice (Italy)
ICFP'09 WS WGP            10/05/09    01/06/09      30/08-30/08/09      Edinburgh (UK)
KI'09                   + 10/05/09    12/06/09      15/09-18/09/09      Paderborn (Germany)
MODELS'09               p 10/05/09    29/06/09      04/10-09/10/09      Denver (Colorado, USA)
TFP'09                ++p 10/05/09    12/05/09      02/06-04/06/09      Komarno (Slovakia)
ASE'09                  p 11/05/09    26/07/09      16/11-20/11/09      Auckland (New Zealand)
CCA'09                    11/05/09    15/06/09      18/08-22/08/09      Ljubljana (Slovenia)
ICFP'09 WS HIW          t 11/05/09    05/06/09      05/09-05/09/09      Edinburgh (Scotland, UK)
QLIQC'09                                            11/05-12/05/09      Bloomington (Indiana, USA)
GPCE'09                 a 11/05/09    30/06/09      04/10-05/10/09      Denver (Colorado, USA)
ICFP'09 WS AAIP           11/05/09    05/06/09      04/09-04/09/09      Edinburgh (UK)
PPDP'09                +p 11/05/09    14/06/09      07/09-09/09/09      Coimbra (Portugal)
RULE'09                +a 11/05/09    07/06/09      28/06-28/06/09      Brasilia, Brazil
CADE'09 WS LFMTP       +p 12/05/09    15/06/09      02/08-02/08/09      Montreal (Quebec, Canada)
TYPES'09                                            12/05-15/05/09      Aussois (France)
FRIEDMAN60'09                                       14/05-17/05/09      Columbus (Ohio, USA)
CADE'09 WS PSTT        +a 15/05/09    15/06/09      03/08-03/08/09      Montreal (Quebec, Canada)
CADE'09 WS PSTT        +p 15/05/09    15/06/09      03/08-03/08/09      Montreal (Quebec, Canada)
CALCO-TOOLS'09            15/05/09    28/05/09      06/09-06/09/09      Udine (Italy)
ETAPS'09 TERMGRAPH   post 15/05/09    01/07/09      22/03-22/03/09      York (UK)
GDI'09                    15/05/09    10/06/09      28/09-29/09/09      Paris (France)
SEFM'09                 a 15/05/09    17/07/09      23/11-27/11/09      Hanoi (Vietnam)
TABLEAUX'09 WS GSB        15/05/09                  06/07-06/07/09      Oslo (Norway)
TABLEAUX'09 PRNCL         15/05/09    02/06/09      06/07-06/07/09      Oslo (Norway)
TPHOLS'09 WS PLMMS     +a 15/05/09    22/06/09      21/08-21/08/09      Munich (Germany)
UC'09 WS NCS              15/05/09                  07/09-07/09/09      Ponta Delgada (Portugal)
UC'09 WS PC               15/05/09    07/07/09      07/09-11/09/09      Ponta Delgada (Portugal)
CADE'09 WS BEYOND-SAT     17/05/09    12/06/09      03/08-03/08/09      Montreal (Quebec, Canada)
ICFP'09 WS ML           + 17/05/09    29/05/09      30/08-30/08/09      Edinburgh (UK)
CADE'09 WS TPTPWOWO     a 18/05/09    15/06/09      02/08-03/08/09      Montreal (Quebec, Canada)
GPCE'09                 p 18/05/09    30/06/09      04/10-05/10/09      Denver (Colorado, USA)
RULE'09                +p 18/05/09    07/06/09      28/06-28/06/09      Brasilia, Brazil
ASIAN'09                a 20/05/09    08/07/09      08/10-10/10/09      Urumqi (China)
CSIT'09                   20/05/09    20/06/09      28/09-02/10/09      Yerevan (Armenia)
ICTCS'09                  20/05/09    20/06/09      28/09-30/09/09(1d)  Cremona (Italy)
LOPSTR'09               + 20/05/09    15/06/09      07/09-11/09/09      Coimbra (Portugal)
CADE'09 WS ADDCT       +a 22/05/09    15/06/09      02/08-02/08/09      Montreal (Quebec, Canada)
CADE'09 WS SMT            22/05/09    22/06/09      02/08-03/08/09      Montreal (Quebec, Canada)
TPHOLS'09             +et 22/05/09                  17/08-20/08/09      Munich (Germany)
TPHOLS'09 WS PLMMS     +p 22/05/09    22/06/09      21/08-21/08/09      Munich (Germany)
TPHOLS'09 WS COQ        + 23/05/09    23/06/09      21/08-21/08/09      Munich (Germany)
WAPL'09                 + 24/05/09    01/07/09      12/10-14/10/09      Mragowo (Poland)
CADE'09 WS ADDCT       +p 25/05/09    10/06/09      02/08-02/08/09      Montreal (Quebec, Canada)
CADE'09 WS TPTPWOWO     p 25/05/09    15/06/09      02/08-03/08/09      Montreal (Quebec, Canada)
CEFP'09                                             25/05-30/05/09      Komarno (Slovakia)
ESEC/FSE'09 WS SAVCBS   + 25/05/09    10/06/09      25/08-25/08/09      Amsterdam (The Netherlands)
ICFP'09 WS AAIP         + 25/05/09    05/06/09      04/09-04/09/09      Edinburgh (Scotland, UK)
LICS'09                sp 25/05/09    02/06/09      11/08-14/08/09      Los Angeles (California, USA)
SALOMAA75'09                                        25/05-25/05/09      Turku (Finland)
ASIAN'09                p 27/05/09    08/07/09      08/10-10/10/09      Urumqi (China)
CL'09                                               27/05-28/05/09      Vienna (Austria)
CONCUR'09 WS SOS       +a 29/05/09    08/07/09      31/08-31/08/09      Bologna (Italy)
FMCAD'09               +a 29/05/09    31/07/09      15/11-18/11/09      Austin (Texas, USA)
FCT'09 WS NCMA            29/05/09    03/07/09      31/08-01/09/09      Wrocław (Poland)
ICTAC'09 WS TTSS          29/05/09    10/06/09      14/08-15/08/09      Kuala Lumpur (Malaysia)
LICS'09 WS NBE            29/05/09    30/06/09      15/08-15/08/09      Los Angeles (California, USA)
LICS'09 WS PCC            29/05/09    22/06/09      15/08-15/08/09      Los Angeles (California, USA)
SCSS'09                 a 29/05/09    22/06/09      22/09-24/09/09      Gammarth (Tunisia)
SEFM'09                 p 29/05/09    17/07/09      23/11-27/11/09      Hanoi (Vietnam)
BLAST'09                a 30/05/09                  10/08-14/08/09      Las Cruces (New Mexico, USA
CAV'09 WS PADVES        a 30/05/09    10/06/09      27/06-27/06/09      Grenoble (France)
CMSB'09                po 30/05/09    16/06/09      31/08-01/09/09      Bologna (Italy)
UNIF'09                 + 30/05/09    15/06/09      02/08-02/08/09      Montreal (Quebec, Canada)
WS-FM'09                a 31/05/09    13/07/09      04/09-05/09/09      Bologna (Italy)
----------------------------------------------------------------------------------------------------------------------
CICM'09 WS CCA          a 01/06/09    05/07/09      10/07-11/07/09      Grand Bend (Ontario, Canada)
CICM'09 WS MATHUI       a 01/05/09    02/06/09      06/07-06/07/09      Grand Bend (Ontario, Canada)
CONCUR'09 WS MECBIC     a 01/06/09    20/07/09      05/09-05/09/09      Bologna (Italy)
CONCUR'09 WS SOS       +p 03/06/09    08/07/09      31/08-31/08/09      Bologna (Italy)
CONCUR'09 WS FMWS       a 05/06/09    03/07/09      31/08-31/08/09      Bologna (Italy)
CONCUR'09 WS ICE        p 05/06/09    13/07/09      31/08-31/08/09      Bologna (Italy)
FMCAD'09               +p 05/06/09    31/07/09      15/11-18/11/09      Austin (Texas, USA)
FMICS'09               po 05/06/09    20/06/09      02/11-03/11/09      Eindhoven (The Netherlands)
ICFP'09 WS DEFUN          05/06/09    19/06/09      03/09-05/09/09(2d)  Edinburgh (UK)
LICS'09 WS LCC          + 05/06/09    22/06/09      10/08-10/08/09      Los Angeles (California, USA)
SFP'09                    05/06/09    26/06/09      22/08-22/08/09      Cambridge (Massachusetts, USA)
CONCUR'09 WS INFINITY     06/06/09    04/07/09      31/08-31/08/09      Bologna (Italy)
CONCUR'09 WS EXPRESS   +a 07/06/09    20/07/09      05/09-05/09/09      Bologna (Italy)
CONCUR'09 WS EXPRESS    p 07/06/09    20/07/09      05/09-05/09/09      Bologna (Italy)
WS-FM'09                p 07/06/09    13/07/09      04/09-05/09/09      Bologna (Italy)
APLAS'09                a 08/06/09    17/08/09      14/12-16/12/09      Seoul (Korea)
CONCUR'09 WS SECCO      + 08/06/09    26/06/09      05/09-05/90/09      Bologna (Italy)
FLACOS'09                 08/06/09    15/06/09      24/09-25/09/09      Toledo (Spain)
TFM'09                  + 08/06/09    06/07/09      06/11-06/11/09      Eindhoven (Netherlands)
RULEML'09               a 09/06/09    18/07/09      05/11-07/11/09      Las Vegas (Nevada, USA)
CONCUR'09 WS ICE       +a 10/06/09    13/07/09      31/08-31/08/09      Bologna (Italy)
CONCUR'09 WS ICE       +p 10/06/09    13/07/09      31/08-31/08/09      Bologna (Italy)
PPC'09                    10/06/09    15/06/09      02/07-03/07/09      Nancy (France)
CONCUR'09 WS FMWS       p 12/06/09    03/07/09      31/08-31/08/09      Bologna (Italy)
FACS'09                 a 12/06/09    31/07/09      02/11-03/11/09      Eindhoven (Netherlands)    
CONCUR'09 WS EXPRESS   +p 14/06/09    20/07/09      05/09-05/09/09      Bologna (Italy)
APLAS'09                p 15/06/09    17/08/09      14/12-16/12/09      Seoul (Korea)
CICM'09 WS MATHUI       p 15/05/09    02/06/09      06/07-06/07/09      Grand Bend (Ontario, Canada)
RULEML'09               p 16/06/09    18/07/09      05/11-07/11/09      Las Vegas (Nevada, USA)
FACS'09                 p 19/06/09    31/07/09      02/11-03/11/09      Eindhoven (Netherlands)    
ICFP'09 WS WMM            19/06/09    24/07/09      04/09-04/09/09      Edinburgh (UK)
SYNASC'09              ++ 21/06/09    15/08/09      26/09-29/09/09      Timisoara (Romania)
VLHCC'09 WS VLL           22/06/09    20/07/09      20/09-20/09/09      Corvallis (Oregon, USA)
SOFSEM'10               a 23/06/09    15/09/09      23/01-29/01/10      Špindlerův Mlýn (Czech Republic)
AVOCS'09                  26/06/09    24/07/09      23/09-25/09/09      Swansea (Wales, UK)
CP'09 WS WCB              26/06/09    17/07/09      20/09-20/09/09      Lisbon (Portugal)
KI'09 WS RELKRL         + 26/06/09    23/07/09      15/09-15/09/09      Paderborn (Germany)
RDP'09                                              28/06-03/07/09      Brasilia (Brazil)
CAV'09 WS VETO                                      28/06-28/06/09      Grenoble (France)
RR'09                  +a 28/06/09    01/08/09      25/10-26/10/09      Chantilly (Virginia, USA)
CPA'09                    29/06/09    31/07/09      01/11-04/11/09      Eindhoven (The Netherlands)
FM'09 WS COMPMOD          29/06/09    10/09/09      02/11-02/11/09      Eindhoven (The Netherlands)
INAP'09                   29/06/09    17/08/09      05/11-07/11/09      Evora (Portugal)
CAMCAD'09               a 30/06/09                  16/10-17/10/09      Toulouse (France)
FICS'09                   30/06/09    21/07/09      12/09-13/09/09      Coimbra (Portugal)
RCA'09                    30/06/09    31/08/09      12/10-14/10/09      Nanjing (China)
SOFSEM'10               p 30/06/09    15/09/09      23/01-29/01/10      Špindlerův Mlýn (Czech Republic)
TFP'09               proc 30/06/09    07/09/09      02/06-04/06/09      Komarno (Slovakia)
----------------------------------------------------------------------------------------------------------------------
CONCUR'09 WS YR-CONCUR  a 03/07/09    20/07/09      05/09-05/09/09      Bologna (Italy)
LSPTC'09                                            03/07-16/07/09      Leeds (UK)
SLE'09                  a 03/07/09    21/08/09      05/10-06/10/09      Denver (Colorado, USA)
RR'09                  +p 04/07/09    01/08/09      25/10-26/10/09      Chantilly (Virginia, USA)
CSL'09 WS LINEARITY     a 05/07/09    24/07/09      12/09-12/09/09      Coimbra (Portugal)
ECSS'09                 a 05/07/09    20/07/09      08/10-09/10/09      Paris (Germany)
CICM'09                                             06/07-12/07/09      Grand Bend (Ontario, Canada)
CM'09                   a 07/07/09                  28/10-30/10/09      Boca Raton (Florida, USA)
FSTTCS'09                 07/07/09    14/09/09      15/12-17/12/09      Kanpur (India)
POPL'10                 a 08/07/09    01/10/09      20/01-22/01/10      Madrid (Spain)
CSL'09 WS LINEARITY     p 10/07/09    24/07/09      12/09-12/09/09      Coimbra (Portugal)
THEORIETAG'09           r 10/07/09                  28/09-30/09/09      Wittenberg (Germany)
FM'09 WS QFM              13/07/09    11/09/09      03/11-03/11/09      Eindhoven (The Netherlands)
FM'09 WS VDM-OVERTURE     13/07/09    10/08/09      02/11-02/11/09      Eindhoven (The Netherlands)
ICFEM'09                a 13/07/09    08/09/09      09/12-12/12/09      Rio de Janeiro (Brazil)
GAMES'09                a 15/07/09    01/08/09      14/09-17/09/09      Udine (Italy)
POPL'10                 p 15/07/09    01/10/09      20/01-22/01/10      Madrid (Spain)
THEORIETAG'09           a 15/07/09                  28/09-30/09/09      Wittenberg (Germany)
FM'09 WS FOPARA        +a 17/07/09    11/09/09      03/11-03/11/09      Eindhoven (The Netherlands)
ICFEM'09                p 20/07/09    08/09/09      09/12-12/12/09      Rio de Janeiro (Brazil)
FM'09 DS                  24/07/09    21/08/09      06/11-06/11/09      Eindhoven (The Netherlands)
FM'09 WS FOPARA        +p 24/07/09    11/09/09      03/11-03/11/09      Eindhoven (The Netherlands)
AVOCS'09               sp 27/07/09    31/07/09      23/09-25/09/09      Swansea (Wales, UK)
FM'09 WS FAVO             27/07/09    17/08/09      03/11-03/11/09      Eindhoven (The Netherlands)
FLOC'10 WS                31/07/09    15/09/09      09/07-21/07/09      Edinburgh (Scotland, UK)
----------------------------------------------------------------------------------------------------------------------
FM'09 WS REFINE           01/08/09    15/09/09      02/11-02/11/09      Eindhoven (The Netherlands)
FM'09 WS PDMC           a 01/08/09    15/10/09      04/11-04/11/09      Eindhoven (Netherlands)
WAND60'09               r 01/08/09                  23/08-24/08/09      Boston (Massachusetts, USA)
BLC'09                    03/08/09                  03/09-05/09/09      Swansea (UK)
LC'09 WS CT                                         06/08-07/08/09      Sofia (Bulgaria)
FM'09 WS PDMC           p 07/08/09    15/10/09      04/11-04/11/09      Eindhoven (Netherlands)
WLP'09                 ++ 09/08/09    21/08/09      15/09-16/09/09      Potsdam (Germany)
FM'09 WS FMIS           a 10/08/09    14/09/09      02/11-02/11/09      Eindhoven (The Netherlands)
IFL'09                  r 15/08/09                  23/09-25/09/09      South Orange (New Jersey, USA)
CATS'10                   17/08/09    15/10/09      18/01-21/01/10      Brisbane (Australia)
FM'09 WS FMIS           p 20/08/09    14/09/09      02/11-02/11/09      Eindhoven (The Netherlands)
VMCAI'10               +a 21/08/09    02/10/09      17/01-19/01/09      Madrid (Spain)
IFL'09                 +p 23/08/09                  23/09-25/09/09      South Orange (New Jersey, USA)
VMCAI'10               +p 28/08/09    02/10/09      17/01-19/01/09      Madrid (Spain)
OOPSLA'09 WS PEDAGOGY  pp 30/08/09    14/09/09      26/10-26/10/09      Orlando (Florida, USA)
ICDT'10                 a 31/08/09    ??/11/09      23/03-25/03/10      Lausanne (Switzerland)
----------------------------------------------------------------------------------------------------------------------
FM'09 WS FMA             +01/09/09    28/09/09      03/11-03/11/09      Eindhoven (The Netherlands)
M4M'09                   +01/09/09    05/10/09      12/11-14/11/09      Copenhagen (Denmark)
ICFP'09 WS CUFP                                     04/09-04/09/09      Edinburgh (Scotland, UK)
PADL'10                +a 04/09/09    05/10/09      16/01-18/01/10      Pasadena (California, USA)
WRS'09               proc 05/09/09    30/10/09      28/06-28/06/09      Brasilia (Brazil)
ICDT'10                 p 06/09/09    ??/11/09      23/03-25/03/10      Lausanne (Switzerland)
ICSE'10                   06/09/09    18/12/09      02/05-08/05/10      Cape Town (South Africa)
MEMICS'09               a 07/09/09    14/10/09      13/11-15/11/09      Brno (Czech Republic)
SAC'10 ST PL              09/09/09    19/10/09      22/03-26/03/10      Sierre (Switzerland)
KPS'09                 ar 11/09/09                  12/10-14/10/09      Maria Taferl (Austria)
PADL'10                +p 11/09/09    05/10/09      16/01-18/01/10      Pasadena (California, USA)
MEMICS'09               p 14/09/09    14/10/09      13/11-15/11/09      Brno (Czech Republic)
SAC'10 ST SVT           + 15/09/09    19/10/09      22/03-26/03/10      Sierre (Switzerland)
LLM'09                                              17/09-19/09/09      Budapest (Hungary)
LATIN'10                  21/09/09    20/11/09      19/04-23/04/10      Oaxaca (México)
STACS'10                  22/09/09    26/11/09      04/03-06/03/10      Nancy (France)
ICST'10                 a 25/09/09    18/12/09      06/04-09/04/10      Paris (France)
POPL'10 WS DAMP        +a 27/09/09    26/10/09      20/01-22/01/10(1d)  Madrid (Spain)
POPL'10 WS DAMP        +p 27/09/09    26/10/09      20/01-22/01/10(1d)  Madrid (Spain)
ABZ'10                  + 30/09/09    09/11/09      23/02-25/02/10      Oxford (Québec, Canada)
CAMCAD'09            ea/p 30/09/09                  16/10-17/10/09      Toulouse (France)
PETRI-NETS'09 WS TISTO    30/09/09    01/05/09      23/06-23/06/09      Paris (France)
----------------------------------------------------------------------------------------------------------------------
CC'10                   a 01/10/09    11/12/09      20/03-28/03/10(?)   Paphos (Cyprus)
ESOP'10                 a 01/10/09    11/12/09      22/03-26/03/10      Paphos (Cyprus)
FASE'10                 a 01/10/09    11/12/09      22/03-26/03/10      Paphos (Cyprus)
FOSSACS'10              a 01/10/09    11/12/09      20/03-28/03/10      Paphos (Cyprus)
ISAIM'10                  01/10/09    31/10/09      06/01-08/01/10      Fort Lauderdale (Florida, USA)
ICST'10                 p 02/10/09    18/12/09      06/04-09/04/10      Paris (France)
POPL'10 WS TLDI'10        05/10/09    06/11/09      23/01-23/01/10      Madrid (Spain)
PEPM'10                   06/10/09    29/10/09      18/01-19/01/10      Madrid (Spain)
CC'10                   p 08/10/09    11/12/09      20/03-28/03/10(?)   Paphos (Cyprus)
ESOP'10                 p 08/10/09    11/12/09      22/03-26/03/10      Paphos (Cyprus)
FASE'10                 p 08/10/09    11/12/09      22/03-26/03/10      Paphos (Cyprus)
FOSSACS'10              p 08/10/09    11/12/09      20/03-28/03/10      Paphos (Cyprus)
NFM'10                  a 08/10/10    26/02/10      13/04-15/04/10      Washington D.C. (USA)
ICFEM'09 WS UML&FM      + 12/10/09    30/10/09      08/12-08/12/09      Rio de Janeiro (Brazil)
LOGINF'09              +a 12/10/09                  06/11-07/11/09      Frankfurt am Main (Germany)
LOGINF'09              +r 12/10/09                  06/11-07/11/09      Frankfurt am Main (Germany)
NFM'10                  p 15/10/10    26/02/10      13/04-15/04/10      Washington D.C. (USA)
ETAPS'10 WS MBT         + 18/12/09    01/02/10      21/03-21/03/10      Paphos (Cyprus)
SE'10                  +a 18/10/09    27/11/09      22/02-26/02/10      Paderborn (Germany)
SE'10                  +p 18/10/09    27/11/09      22/02-26/02/10      Paderborn (Germany)
JFLA'10                 + 22/10/09    20/11/09      30/01-02/02/10      Vieux-Port La Ciotat, near Marseille (France)
FOIS'10                   23/10/09    18/12/09      11/05-14/05/10      (Ontario, Canada)
FLOPS'10               +a 27/10/09    21/12/09      19/04-21/04/10      Sendai (Japan)
ICALP'10               ws 31/10/09    30/11/09      05/07-12/07/10      Bordeaux (France)
----------------------------------------------------------------------------------------------------------------------
GDI'09                    01/11/09    01/02/10      26/05-28/05/10      Barcelona (Spain)
IFL'09               proc 01/11/09    22/12/09      23/09-25/09/09      South Orange (New Jersey, USA)
ISMVL'10                  01/11/09    01/02/10      26/05-28/05/10      Barcelona (Spain)
FLOPS'10               +p 03/11/09    21/12/09      19/04-21/04/10      Sendai (Japan)
FMCO'09                                             04/11-06/11/09      Eindhoven (The Netherlands)
RMFA'09                                             06/11-08/11/09      Chicago (Illinois, USA)
GREIFSWALD'10        ++ea 07/11/09    15/12/09      17/02-20/02/10      Greifswald (Germany)
QNET'09                 a 09/11/09    13/11/09      10/12-11/12/09      Oxford (UK)
WFLP'10                 a 09/11/09    15/12/09      17/01-17/01/10      Madrid (Spain)
PLDI'10                 a 13/11/09    02/02/10      05/06-10/06/10      Toronto (Ontario, Canada)
ABZ'10 WS TBFM            15/11/09    07/12/09      22/02-22/02/10      Oxford (Québec, Canada)
ETAPS'10 WS FBTC          15/11/09    17/01/10      10/11-11/11/09      Paphos (Cyprus)
UNILOG'10               + 15/11/09    15/12/09      18/04-25/04/10      Lisbon (Portugal)
WFLP'10                 p 15/11/09    15/12/09      17/01-17/01/10      Madrid (Spain)
GCS'09                  r 17/11/09                  24/11-24/11/09      St Andrews (Scotland), UK)
ETAPS'10 WS FESCA       a 20/11/09    11/01/10      27/03-28/03/10      Paphos (Cyprus)
ICFP'10                ws 20/11/09    18/12/09      27/09-29/09/10      Baltimore (Maryland, USA)
PLDI'10                 p 20/11/09    02/02/10      05/06-10/06/10      Toronto (Ontario, Canada)
FM'09 WS FOPARA      proc 22/11/09                  03/11-03/11/09      Eindhoven (The Netherlands)
ADA-EUROPE'10           + 23/11/09    01/02/10      14/06-18/06/10      Valencia (Spain)
ETAPS'10 WS WGT           23/11/09    04/01/10      27/03-27/03/10      Paphos (Cyprus)
FLAIRS'10                 23/11/09    22/01/10      19/05-21/05/10      Daytona Beach  (Florida, USA)
ETAPS'10 WS FESCA       p 27/11/09    11/01/10      27/03-28/03/10      Paphos (Cyprus)
LDTA'10                 a 27/11/09    04/12/09      20/03-28/03/10(2d)  Paphos (Cyprus)
SCT'09                                              27/11-27/11/09      Glasgow (Scotland, UK)
ETAPS'10 WS FBTC       +a 29/11/09    17/01/10      10/11-11/11/09      Paphos (Cyprus)
ETAPS'10 WS WGT   +p/tool 30/11/09    11/01/10      27/03-27/03/10      Paphos (Cyprus)
----------------------------------------------------------------------------------------------------------------------
LATA'10                   03/12/09    21/01/10      24/05-28/05/10      Trier (Germany)
PODS'10                 a 04/12/09    03/03/10      06/06-11/06/10      Indianapolis (Indiana, USA)
ETAPS'10 WS ARSPA-WITS  a 05/12/09    21/01/10      27/03-28/03/10      Paphos (Cyprus)
CSR'10                    07/12/09    31/01/10      16/06-20/06/10      Kazan (Russia)
ETAPS'10 WS COCV        a 07/12/09    22/01/10      27/03-27/03/10      Paphos (Cyprus)
ETAPS'10 WS DCC         a 07/12/09    21/12/09      20/03-21/03/10      Paphos (Cyprus)
MPC'10                  a 07/12/09    20/02/10      21/06-23/06/10      Québec City (Québec, Canada)
ETAPS'10 WS FBTC       +p 08/12/09    17/01/10      10/11-11/11/09      Paphos (Cyprus)
PODS'10                 p 11/12/09    03/03/10      06/06-11/06/10      Indianapolis (Indiana, USA)
ETAPS'10 WS ARSPA-WITS  p 13/12/09    21/01/10      27/03-28/03/10      Paphos (Cyprus)
ECOOP'10                  14/12/09    01/03/10      21/06-25/06/10      Maribor (Slovenia)
ETAPS'10 WS BYTECODE   +a 14/12/09    22/01/10      27/03-27/03/10      Paphos (Cyprus)
ETAPS'10 WS COCV        p 14/12/09    22/01/10      27/03-27/03/10      Paphos (Cyprus)
MPC'10                  p 14/12/09    20/02/10      21/06-23/06/10      Québec City (Québec, Canada)
CCC'10                    15/12/09    25/02/10      05/07-06/07/10      Cambridge (Massachusetts, USA)
SMULLYAN90'09                                       17/12-18/12/09      Boulder (Colorado, USA)
ACM-BCS-VISIONS'10        18/12/09    19/02/10      13/04-16/04/10      Edinburgh (UK)
CSR'10                  + 18/12/09    31/01/10      16/06-20/06/10      Kazan (Russia)
PHDs-IN-LOGIC-COLL'10   a 18/12/09                  18/02-19/02/10      Tilburg (the Netherlands)
WRLA'10                 + 18/12/09    18/01/10      20/03-21/03/10      Paphos (Cyprus)
SMPC'10                   20/12/09    26/01/10      29/03-30/03/10      Leicester (UK)
AOSD'10 WS FOAL           21/12/09    15/01/01      15/03-15/03/10      Rennes and St. Malo (France)
ETAPS'10 WS BYTECODE   +p 21/12/09    22/01/10      27/03-27/03/10      Paphos (Cyprus)
ETAPS'10 WS DICE        + 21/12/09    27/01/10      27/03-28/03/10      Paphos (Cyprus)
ETAPS'10 WS QAPL          21/12/09    25/01/10      27/03-28/03/10      Paphos (Cyprus)
ETAPS'10 WS GT-VMT     +a 23/12/09    15/01/10      20/03-21/03/10      Paphos (Cyprus)
ETAPS'10 WS GT-VMT     +p 27/12/09    15/01/10      20/03-21/03/10      Paphos (Cyprus)

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




Last modified: Tue Dec 15 10:15:15 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