Interesting Conferences & Workshops (with submission deadline in 2008)

(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 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 changed/postponed deadline
CO competition
demo deadline for proposing demos
dp deadline for submission of doctoral program papers
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
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
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
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

======================================================== 2008 ========================================================

FICS'08          +a 04/01/08    22/02/08      03/06-06/06/08      Shanghai (China)
FORTE'08          a 04/01/08    29/02/08      10/06-13/06/08      Tokyo (Japan)
TESTCOM/FATES'08  a 04/01/08    29/02/08      10/06-13/06/08      Tokyo (Japan)
IFIP-AI'08          07/01/08    10/03/08      07/09-10/09/08      Milano (Italy)
FMOODS'08         a 08/01/08    07/03/08      04/06-06/06/08      Oslo (Norway)
AOSD'08 WS FOAL  +a 11/01/08    08/02/08      01/04-01/04/08      Brussels (Belgium)
DEON'08             11/01/08    22/02/08      15/07-18/07/08      Luxembourg (Luxembourg)
FORTE'08          p 11/01/08    29/02/08      10/06-13/06/08      Tokyo (Japan)
SAT'08            a 11/01/08    18/02/08      12/05-15/05/08      Guangzhou (P. R. China)
TESTCOM/FATES'08  p 11/01/08    29/02/08      10/06-13/06/08      Tokyo (Japan)
TIME'08             11/01/08    26/02/08      16/06-18/06/08      Montreal (Quebec, Canada)
CIE'08            + 14/01/08    22/02/08      15/06-20/06/08      Athens (Greece)
LICS'08          +a 14/01/08    10/03/08      24/06-27/06/08      Pittsburgh (Pennsylvania, USA), cf. also here
MPC'08            a 14/01/08    10/03/08      15/07-18/07/08      Marseille/Luminy (France)
COORDINATION'08  +a 15/01/08    07/03/08      04/06-06/06/08      Oslo (Norway)
FMOODS'08        +a 15/01/08    07/03/08      04/06-06/06/08      Oslo (Norway)
ROGICS'08           15/01/08    01/03/08      12/05-15/05/08      Mahdia (Tunisia)
AOSD'08 WS FOAL  +p 18/01/08    08/02/08      01/04-01/04/08      Brussels (Belgium)
ETAPS'08 WS BYTEC.  18/01/08    15/02/08      29/03-06/04/08(1d)  Budapest (Hungary)
FICS'08          +p 18/01/07    22/02/08      03/06-06/06/08      Shanghai (China)
SAS'08           +a 19/01/08    07/03/08      16/07-18/07/08      Valencia (Spain)
AB'08             + 21/01/08    31/03/08      31/07-02/08/08      Hagenberg (Austria)
CMCS'08           + 21/01/08    11/02/08      04/04-06/04/08      Budapest (Hungary)
ISSAC'08            21/01/08    24/03/08      20/07-23/07/08      Hagenberg (Austria)
MPC'08            p 21/01/08    10/03/08      15/07-18/07/08      Marseille/Luminy (France)
BICC'08             21/01/08    10/03/08      07/09-10/09/08      Milano (Italy)
LICS'08          +p 21/01/08    10/03/08      24/06-27/06/08      Pittsburgh (Pennsylvania, USA), cf. also here
TASE'08           a 21/01/08    10/03/08      17/06-19/06/08      Nanjing (China)
COORDINATION'08  +p 22/01/08    07/03/08      04/06-06/06/08      Oslo (Norway)
FMOODS'08        +p 22/01/08    07/03/08      04/06-06/06/08      Oslo (Norway)
AAAI'08           a 25/01/08    31/03/08      13/07-17/07/08      Chicago (Illinois, USA)
ETAPS'08 WS ACCAT   25/01/08                  30/03-30/03/08      Budapest (Hungary)
EUROPAR'08          25/01/08    03/05/08      26/08-29/08/08      Las Palmas de Gran Canaria (Spain)
ICMT'08             25/01/08    18/03/08      01/07-02/07/08      Zurich (Switzerland)
SAS'08           +p 26/01/08    07/03/08      16/07-18/07/08      Valencia (Spain)
ICPC'08             25/01/08    01/03/08      10/06-13/06/08      Amsterdam (Netherlands)
CAV'08              28/01/08    26/03/08      07/07-13/07/08      Princeton (New Jersey, USA)
TASE'08           p 28/01/08    10/03/08      17/06-19/06/08      Nanjing (China)
CSF'08              29/01/08    17/03/08      23/06-25/06/08      Pittsburgh (Pennsylvania, USA)
AAAI'08           p 30/01/08    31/03/08      13/07-17/07/08      Chicago (Illinois, USA)
ETAPS'09        +se 30/01/08    01/02/08      22/03-29/03/09      York (UK)
ISSTA'08            31/01/08    31/03/08      20/07-24/07/08      Seattle (Washinton, USA)
----------------------------------------------------------------------------------------------------------------------
MEMOCODE'08      +a 01/02/08    31/03/08      05/06-07/06/08      Anaheim (California, USA)
MFL'08            a 01/02/08    11/02/08      25/03-27/03/08      Amsterdam (Netherlands)
RTAS'08 WS EBS      01/02/08    01/03/08      21/04-21/04/08      St. Louis (Missouri, USA)
SAFECOMP'08       a 01/02/08    25/04/08      22/09-25/09/08      Newcastle upon Tyne (UK)
ISMM'08          +a 03/02/08    10/03/08      07/06-08/06/08      Tucson (Arizona, USA)
LCTES'08            04/02/08    04/03/08      12/06-13/06/08      Tucson (Arizona, USA)
PODC'08           a 04/02/08    08/04/08      18/08-21/08/08      Toronto (Ontario, Canada)
RTA'08            a 04/02/08    04/04/08      15/07-17/07/08      Hagenberg (Austria)
COCOON'08           08/02/08    17/02/08      27/06-29/06/08      Dalian (China)
ICML'08             08/02/08    07/04/08      05/07-09/07/08      Helsinki (Finland)
ITRS'08          ea 08/02/08    15/02/08      15/03-25/03/08      Torino (Italy)
TCS'08            a 08/02/08    31/03/08      07/09-10/09/08      Milano (Italy)
LCTES'09            09/02/09    ??/??/09      19/06-20/06/09      Dublin (Ireland)
ICALP'08            10/02/08    09/04/08      07/07-11/07/08      Reykjavik (Iceland) 
ISMM'08          +p 10/02/08    10/03/08      07/06-08/06/08      Tucson (Arizona, USA)
PODC'08           p 10/02/08    08/04/08      18/08-21/08/08      Toronto (Ontario, Canada)
BUCHHOLZ60'08     a 11/02/08                  04/04-05/04/08      Munich (Germany)
RTA'08            p 11/02/08    04/04/08      15/07-17/07/08      Hagenberg (Austria)
ETAPS'08 WS GALOP + 14/02/08    01/03/08      05/04-06/04/08      Budapest (Hungary)
TOOLS-EUTOPE'08   + 14/02/08    01/04/08      30/06-04/07/08      Zurich (Switzerland)
DL'08               15/02/08    23/03/08      13/05-16/05/08      Dresden (Germany)
MEMOCODE'08      +p 15/02/08    31/03/08      05/06-07/06/08      Anaheim (California, USA)
TCS'08            p 15/02/08    31/03/08      07/09-10/09/08      Milano (Italy)
TPHOLS'08         a 15/02/08    15/04/08      18/08-21/08/08      Montreal (Quebec, Canada)
TTVSI'08         po 15/02/08    22/02/08      25/03-26/03/08      Budapest (Hungary)
TYPES'08          a 17/02/08                  26/03-29/03/08      Torino (Italy)
DTP'08                                        18/02-20/02/08      Nottingham (UK)
FM'08          tool 18/02/08    07/03/08      26/05-30/05/08      Turku (Finland)
COLT'08             20/02/08    14/04/08      09/07-12/07/08      Helsinki (Finland)
VLHCC'08          a 21/02/08    16/05/08      16/09-20/09/08      Herrsching/Ammersee (Germany)
IJCAR'08          a 22/02/08    18/04/08      10/08-15/08/08      Sydney (Australia)
TPHOLS'08         p 22/02/08    15/04/08      18/08-21/08/08      Montreal (Quebec, Canada)
SCC'08         ++ea 24/02/08    16/03/08      28/04-30/04/08      Beijing (China)
WOLLIC'08         a 24/02/08    13/04/08      01/07-04/07/08      Edinburgh (Scotland, UK)
ECAI'08             25/02/08    28/04/08      21/07-25/07/08      Patras (Greece)
ELS'08            + 25/02/08    07/04/08      22/05-23/05/08      Bordeaux (France)
UAI'08            a 27/02/08    21/04/08      09/07-12/07/08      Helsinki (Finland)
AISC'08          +a 29/02/08    04/04/08      31/07-02/08/08      Birmingham (UK)
SAFECOMP'08       p 29/02/08    25/04/08      22/09-25/09/08      Newcastle upon Tyne (UK)
UAI'08            p 29/02/08    21/04/08      09/07-12/07/08      Helsinki (Finland)
WFTOP'08         ar 29/02/08                  15/03-16/03/08      Swansea (Wales, UK)
----------------------------------------------------------------------------------------------------------------------
LFM'08              01/03/08    15/03/08      30/04-02/05/08      Newport News (Virginia, USA)
LOFT'08             01/03/08    01/04/08      03/07-05/07/08      Amsterdam (Netherlands)
WOLLIC'08         p 02/03/08    13/04/08      01/07-04/07/08      Edinburgh (Scotland, UK)
ABZ'08              03/03/08    14/04/08      16/09-18/09/08      London (UK)
BUCHHOLZ60'08     r 03/03/08                  04/04-05/04/08      Munich (Germany)
IJCAR'08          p 03/03/08    18/04/08      10/08-15/08/08      Sydney (Australia)
TFP'08              03/03/08    31/03/08      26/05-28/05/08      Nijmegen (Netherlands)
ATPN'08             05/03/08    01/03/08      23/06-27/06/08      Xi'an (China)
VLHCC'08          p 06/03/08    16/05/08      16/09-20/09/08      Herrsching/Ammersee (Germany)
FSE'08              07/03/08    26/05/08      11/11-13/11/08      Atlanta (Georgia, USA)
MFPS'08           a 07/03/08    07/04/08      22/05-25/05/08      Philadelphia (Pennsylvania, USA)
RUSSELL'08      +ar 07/03/08                  15/03-16/03/08      Swansea (Wales, UK)
AISC'08          +p 07/03/08    04/04/08      31/07-02/08/08      Birmingham (UK)
FM'08 WS REFINE     07/03/08    04/04/08      27/05-27/05/08      Turku (Finland)
MKM'08            a 07/03/08    02/05/08      28/07-30/07/08      Birmingham (UK)
ABZ'08              10/03/08    31/03/08      16/09-18/09/08      London (UK)
CMCS'08          sp 10/03/08    17/03/08      04/04-06/04/08      Budapest (Hungary)
POPL'09          ws 10/03/08    22/04/08      21/01-23/01/09      Savannah (Georgia, USA)
AMAST'08          + 12/03/08    27/04/08      28/07-31/07/08      Urbana (Illinois, USA)
DNA'08              12/03/08    20/04/08      02/06-06/06/08      Prague (Czech Republic)
CALCULEMUS'08     + 14/03/08    11/04/08      30/07-01/08/08      Birmingham (UK)
MFPS'08           p 14/03/08    07/04/08      22/05-25/05/08      Philadelphia (Pennsylvania, USA)
MKM'08            p 14/03/08    02/05/08      28/07-30/07/08      Birmingham (UK)
CIAA'08             15/03/08    25/04/08      21/07-24/07/08      San Francisco (California, USA)
LOFT'08          ea 15/03/08    15/04/08      02/07-04/07/08      Amsterdam (Netherlands)
CP'08           tut 18/03/08    20/06/08      15/09-15/09/08      Sydney (Australia)
ICALP'08 WS FBTC +a 19/03/08    02/05/08      12/07-12/07/08      Reykjavik (Iceland)
ATPN'08 WS CHINA    20/03/08    01/05/08      24/06-24/06/08      Xi'an (China)
DIAGRAMS'08       a 20/03/08    20/05/08      19/09-21/09/08      Herrsching (Germany)
ICALP'08 WS MTCOORD 20/03/08    05/05/08      07/06-07/06/08      Oslo (Norway)
CSR'08 WS WACC      22/03/08    07/04/087     06/06-07/06/08      Moscow (Russia)
ELS'08          wip 24/03/08    07/04/08      22/05-23/05/08      Bordeaux (France)
PLDI'08 WS PLAS     24/03/08    21/04/08      08/06-08/06/08      Tucson (Arizona, USA)
QEST'08          +a 24/03/08    26/05/08      14/09-17/09/08      Saint Malo (France)
TTVSI'08                                      25/03-26/03/08      Budapest (Hungary)
CL-LMRVI'08                                   27/03-27/03/08      Vienna (Austria)
ESSLLI'08 WS LAM  + 27/03/08    27/04/08      04/08-08/08/08      Hamburg (Germany)
APCOA'08          + 28/03/08    10/05/08      24/07-26/07/08      Hagenberg (Austria)
ASE'08            a 28/03/08    06/06/08      15/09-19/09/08      L'Aquila (Italy)
CSL'08            a 28/03/08    19/05/08      15/09-20/09/08      Bertinoro (Italy)
VECOS'08            28/03/08    15/05/08      02/07-03/07/08      Leeds (UK)
ETAPS'08 WS ACCAT                             29/03-06/04/08(1d)  Budapest (Hungary)
ETAPS'08                                      29/03-06/04/08      Budapest (Hungary)
ICALP'08 WS FBTC +p 30/03/08    02/05/08      12/07-12/07/08      Reykjavik (Iceland)
ABZ'08           sp 31/03/08    14/04/08      16/09-18/09/08      London (UK)
AIML'08             31/03/08    31/05/08      09/09-12/09/08      Nancy (France)
CONTINUATION'08     31/03/08                  13/04-13/04/08      Tokyo (Japan)
CP'08            ws 31/03/08    16/04/08      14/09-15/09/08      Sydney (Australia)
ICALP'08 WS QPL-DCM 31/03/08    21/04/08      12/07-13/07/08      Reykjavik (Iceland)
MFCS'08             31/03/08    02/06/08      25/08-29/08/07      Toruń (Poland)
QEST'08          +p 31/03/08    26/05/08      14/09-17/09/08      Saint Malo (France)
----------------------------------------------------------------------------------------------------------------------
CAV'08 WS FAC       01/04/08    01/05/08      14/07-14/07/08      Princeton (New Jersey, USA)
DIAGRAMS'08       p 01/04/08    20/05/08      19/09-21/09/08      Herrsching (Germany)
ICFP'08             02/04/08    16/06/08      22/09-24/09/08      Victoria (British Columbia, Canada)
CP'08            +a 03/04/08    01/06/08      14/09-15/09/08      Sydney (Australia)
LATD'08             30/04/08    30/06/08      08/09-11/09/08      Siena (Italy)
SPIN'08             02/04/08    10/05/08      10/08-12/08/08      Los Angeles (Caifornia, USA)
B-DAY-NANTES'08     03/04/08    01/05/08      16/06-16/06/08      Nantes (France)
KR'08             a 03/04/08    25/05/08      16/09-19/09/08      Sydney (Australia)
ASE'08            p 04/04/08    06/06/08      15/09-19/09/08      L'Aquila (Italy)
AUTOMATA'08         05/04/08                  12/06-14/06/08      Bristol (UK)
ICALP'08 WS SOS   p 06/04/08    07/05/08      06/07-06/07/08      Reykjavik (Iceland)
CP'08             p 07/04/08    01/06/08      14/09-15/09/08      Sydney (Australia)
KR'08             p 07/04/08    25/05/08      16/09-19/09/08      Sydney (Australia)
SBLP'08          +a 07/04/08    06/06/08      27/08-29/08/08      Fortaleza (Ceara, Brazil)
CAV'08 WS EC2       10/04/08    25/04/08      07/07-08/07/08      Princeton (New Jersey, USA)
ECAI'08 WS MOCHART  10/04/08    10/05/08      21/07-22/07/08      Patras (Greece)
FCS-ARSPA-WITS'08 + 10/04/08    16/05/08      21/06-22/06/08      Pittsburgh (Pennsylvania, USA)
ICGT'08           a 10/04/08    15/05/08      10/09-12/09/08      Leicester (UK)
ISSTA'08 WS TAV-WEB 10/04/08    30/04/08      21/07-21/07/08      Seattle (Washinton, USA)
PPDP'08             10/04/08    15/05/08      16/07-18/07/08      Valencia (Spain)
ICALP'08 WS CLAC  + 11/04/08    22/05/08      13/07-13/07/08      Reykjavik (Iceland)
ICALP'08 WS MSFP +a 11/04/08    16/05/08      06/07-06/07/08      Reykjavik (Iceland)
ICTAC'08            11/04/08    19/05/08      01/09-03/09/08      Istanbul (Turkey)
ISSTA'08 WS DEFECTS 11/04/08    02/05/08      20/07-20/07/08      Seattle (Washinton, USA)
WADT'08           a 11/04/08    21/04/08      13/06-16/06/08      Pisa (Italy)
PSYSTEMS'08       + 12/04/08    26/04/08      02/06-02/06/08      Prague (Czech Republic)
ICALP'08 WS SOS     13/04/08    07/05/08      06/07-06/07/08      Reykjavik (Iceland)
AFP'08            r 14/04/08                  19/05-24/05/08      Nijmegen (Netherlands)
ICALP'08 WS FOCL. a 14/04/08    13/06/08      13/07-13/07/08      Reykjavik (Iceland)
LICS'08 WS LFMTP  a 14/04/08    19/05/08      23/06-23/06/08      Pittsburgh (Pennsylvania, USA)
SBLP'08           p 14/04/08    06/06/08      27/08-29/08/08      Fortaleza (Ceara, Brazil)
UC'08               14/04/08    12/05/08      25/08-28/08/08      Vienna (Austria)
UTP'08              14/04/08    26/05/08      08/09-10/09/08      Dublin (Ireland)
WMC'08              14/04/08    09/05/08      28/07-31/07/08      Edinburgh (Scotland, UK)
ICGT'08           p 17/04/08    15/05/08      10/09-12/09/08      Leicester (UK)
CSF'08 WS SECRET +a 18/04/08    12/05/08      22/06-22/06/08      Pittsburgh (Pennsylvania, USA)
CSCLP'08            18/04/08    24/04/08      18/06-20/06/08      Rome (Italy)
ICALP'08 WS MSFP +p 18/04/08    16/05/08      06/07-06/07/08      Reykjavik (Iceland)
CSF'08 WS SECRET +p 20/04/08    12/05/08      22/06-22/06/08      Pittsburgh (Pennsylvania, USA)
ICALP'08 WS FOCL. p 21/04/08    13/06/08      13/07-13/07/08      Reykjavik (Iceland)
ICALP'08 WS ICE  +a 21/04/08    30/05/08      06/07-06/07/08      Reykjavik (Iceland)
ICALP'08 WS PAUL    21/04/08    08/06/08      06/07-06/07/08      Reykjavik (Iceland)
ICFEM'08            21/04/08    30/06/08      27/10-31/10/08      Kitakyushu-city (Japan)
LICS'08          sp 21/04/08    28/04/08      24/06-27/06/08      Pittsburgh (Pennsylvania, USA)
LICS'08 WS LFMTP  p 21/04/08    19/05/08      23/06-23/06/08      Pittsburgh (Pennsylvania, USA)
SCAM'08           a 21/04/08    09/06/08      28/09-29/09/08      Beijing (China)
FOIS'08           a 22/04/04    18/06/08      31/10-03/11/08      Saarbrücken (Germany)
ECOOP'08 WS FTFJP a 23/04/08    26/05/08      07/07-08/07/08(1d)  Paphos (Cyprus)
TASE'08 WS TTSS     23/04/08    13/05/08      15/06-16/06/08      Nanjing (China)
FOIS'08           p 24/04/04    18/06/08      31/10-03/11/08      Saarbrücken (Germany)
ICALP'08 WS ICE  +p 25/04/08    30/05/08      06/07-06/07/08      Reykjavik (Iceland)
LICS'08 WS IMLA'08  25/04/08    23/05/08      23/06-23/06/08      Pittsburgh (Pennsylvania, USA)
KGC'08                                        27/04-27/04/08      Vienna (Austria)
WWV'08            p 27/04/08    27/05/08      04/07-04/07/08      Siena (Italy)
CAV'08 WS BPR       28/04/08    02/06/08      14/07-14/07/08      Princeton (New Jersey, USA)
ICALP'08 WS PAUL  + 28/04/08    02/06/08      06/07-06/07/08      Reykjavik (Iceland)
ICAPS'08          a 28/04/08    14/06/08      14/09-18/09/08      Sydney (Australia)
LC'08            ++ 28/04/08                  03/07-08/07/08      Bern (Switzerland)
RULE'08           + 28/04/08    26/05/08      18/07-18/07/08      Hagenberg (Austria)
SCAM'08           p 28/04/08    09/06/08      28/09-29/09/08      Beijing (China)
SCSS'08          +a 28/04/08    02/06/08      12/07-13/07/08      Hagenberg (Austria)
CAV'08 WS SMT     + 30/04/08    28/05/08      07/07-08/07/08      Princeton (New Jersey, USA)
ECOOP'08 WS FTFJP p 30/04/08    26/05/08      07/07-08/07/08(1d)  Paphos (Cyprus)
ECOOP'08 WS FTFJP p 30/04/08    26/05/08      07/07-08/07/08(1d)  Paphos (Cyprus)
VSTTE'08            30/04/08    30/06/08      06/10-10/10/08      Toronto (Canada)
----------------------------------------------------------------------------------------------------------------------
ISSTA'08 WS TAV.  + 02/05/08    23/05/08      21/07-21/07/08      Seattle (Washinton, USA)
LICS'08 WS PCC    + 02/05/08    23/05/08      22/06-22/06/08      Pittsburgh (Pennsylvania, USA)
MODELS'08         a 02/05/08    04/07/08      28/09-03/10/08      Toulouse (France)
RTA'08 WS CHR       02/05/08    02/06/08      14/07-14/07/08      Hagenberg (Austria)
WFLP'08          +a 02/05/08    27/05/08      03/07-04/07/08      Siena (Italy)
DLT                 03/05/08    15/06/08      16/09-19/09/08      Kyoto (Japan)
ICAPS'08          p 03/05/08    14/06/08      14/09-18/09/08      Sydney (Australia)
ISOLA'08            04/05/08    15/06/08      13/10-16/10/08      Kassandra (Greece) 
CMSB'08             05/05/08    09/06/08      12/10-15/10/08      Rostock (Germany)
ESARM'08            05/05/08    13/06/08      27/07-27/07/08      Birmingham (UK)
PLMMS'08            05/05/08    06/06/08      28/07-29/07/08      Birmingham (UK)
SCSS'08          +p 05/05/08    02/06/08      12/07-13/07/08      Hagenberg (Austria)
UNIF'08          +a 05/05/08    12/06/08      18/07-18/07/08      Hagenberg (Austria)
WRS'08            + 05/05/08    02/06/08      14/06-14/06/08      Hagenberg (Austria)
WWV'08           +a 05/05/08    13/06/08      04/07-04/07/08      Siena (Italy)
UTP'08              06/05/08    23/06/08      08/09-10/09/08      Dublin (Ireland)
LOPSTR'08           07/05/08    08/06/08      17/07-18/07/08      Valencia (Spain)
WFLP'08          +p 07/05/08    27/05/08      03/07-04/07/08      Siena (Italy)
ATVA'08           + 12/05/08    30/06/08      20/10-23/10/08      Seoul (South Korea)
GPCE'08           a 12/05/08    30/06/08      19/10-23/10/08      Nashville (Tennessee, USA)
UNIF'08          +p 12/05/08    12/06/08      18/07-18/07/08      Hagenberg (Austria)
WWV'08           +p 12/05/08    13/06/08      04/07-04/07/08      Siena (Italy)
BCS'08              13/05/08    13/07/08      22/09-24/09/08      London (UK)
IJCAR'08 WS CFV   a 15/05/08    10/06/08      10/08-11/08/08      Sydney (Australia)
META'08             15/05/08    22/05/08      02/07-05/07/08      Pereslavl-Zalessky (Russia)
CCS'08 WS FMSE      16/05/08    09/07/08      27/10-27/10/08      Alexandria (Virginia, USA)
FACS'08          +a 16/05/08    27/06/08      10/09-12/09/08      Malaga (Spain)
ISWC'08             16/05/08    11/07/08      26/10-30/10/08      Karlsruhe (Germany)
MODELS'08         p 16/05/08    04/07/08      28/09-03/10/08      Toulouse (France)
ECOOP'08 WS ELW   + 18/05/08    26/05/08      07/07-07/07/08      Paphos (Cyprus)
FMCAD'08          + 19/05/08    10/07/08      17/11-18/11/08      Portland (Oregon, USA)
FORMATS'08        + 19/05/08    23/06/08      15/09-17/09-08      Saint-Malo (France)
GPCE'08           p 19/05/08    30/06/08      19/10-23/10/08      Nashville (Tennessee, USA)
IJCAR'08 WS ESHOL a 19/05/08    27/06/08      10/08-11/08/08      Sydney (Australia)
RP'08               19/05/08    30/06/08      15/09-17/09/08      Liverpool (UK)
ICGT'08 WS GRABATS  20/05/08    01/08/08      12/09-13/09/08      Leicester (UK)
ICGT'08 WS NCGT     20/05/08                  09/09-09/09/08      Leicester (UK)
TPHOLS'08       +et 20/05/08    25/06/08      18/08-21/08/08      Montreal (Quebec, Canada)
ATMCS'08         +a 22/05/08    05/06/08      07/07-11/07/08      Paris (France)
IJCAR'08 WS CFV   p 22/05/08    10/06/08      10/08-11/08/08      Sydney (Australia)
CWI'08                                        23/05-23/05/08      Amsterdam (Netherlands)
CAV'08 WS AFM       25/05/08    13/06/08      14/07-14/07/08      Princeton (New Jersey, USA)
TPHOLS'08 WS UITP + 25/05/08    27/06/08      22/08-22/08/08      Montreal (Quebec, Canada)
CONCUR'08 WS SEC. a 26/05/08    04/07/08      23/08-23/08/08      Toronto (Ontario, Canada)
IJCAR'08 WS ESHOL p 26/05/08    27/06/08      10/08-11/08/08      Sydney (Australia)
IJCAR'08 WS PAAR    27/05/08    20/06/08      10/08-11/08/08(1d)  Sydney (Australia)
BPM'08 WS WS-FM  +p 28/05/08    23/06/08      04/09-05/09/08      Milan (Italy)
IJCAR'08 WS VE. ++a 29/05/08    25/06/08      10/08-11/08/08      Sydney (Australia)
FMICS'08         a  29/05/08    14/07/08      15/09-16/09/08      L'Aquila (Italy)
LESCANNE60'08                                 29/05-29/05/08      Nancy (France) 
SUM'08           +a 29/05/08    08/07/08      01/10-03/10/08      Napoli (Italy)
BLAST'08          a 30/05/08                  06/08-10/08/08      Denver (Colorado, USA)
FACS'08          +p 30/05/08    27/06/08      10/09-12/09/08      Malaga (Spain)
ICGT'08 WS GCM      30/05/08    27/06/08      08/09-08/09/08      Leicester (UK)
LSFA'08           + 30/05/08    30/06/08      02/09-02/09/08      Salvador (Brazil)
PCC                 30/06/08                  08/08-09/08/08      Oslo (Norway)
ALC'08            a 31/05/08                  01/09-06/09/08      Kobe (Japan)
CONCUR'08 WS INFIN. 31/05/08    27/06/08      23/08-23/08/08      Toronto (Ontario, Canada)
IJCAR'08 WS COSYS.  31/05/08    20/06/08      10/08-11/08/08      Sydney (Australia)
MKM'08 WS DML     a 31/05/08    20/06/08      27/07-27/07/08      Birmingham (UK)
SEFM'08          +a 31/05/08    16/07/08      10/11-14/11/08      Cape Town (South Africa)
----------------------------------------------------------------------------------------------------------------------
CONCUR'08 WS EXP. a 01/06/08    04/07/08      23/08-23/08/08      Toronto (Ontario, Canada)
CONCUR'08 WS SEC. p 01/06/08    04/07/08      23/08-23/08/08      Toronto (Ontario, Canada)
ESUG'08             01/06/08    15/06/08      25/08-29/08/08      Amsterdam (Netherlands)
MKM'08 WS DML     p 01/06/08    20/06/08      27/07-27/07/08      Birmingham (UK)
ICLP'08          ws 02/06/08    15/06/08      09/12-13/12/08      Udine (Italy)
ICTAI'08            02/06/08    15/07/08      03/11-05/11/08      Dayton (Ohio, USA)
IJCAR'08 WS CEDAR + 02/06/08    20/06/08      10/08-10/08/08      Sydney (Australia)
JELIA'08            02/06/08    07/07/08      28/09-01/10/08      Dresden (Germany)
RULEML'08           02/06/08    18/07/08      30/10-31/10/08      Orlando (Florida, USA)
IJCAR'08 WS VE. ++p 05/06/08    25/06/08      10/08-11/08/08      Sydney (Australia)
FMICS'08          p 05/06/08    14/07/08      15/09-16/09/08      L'Aquila (Italy)
PSTT'08                                       05/06-05/06/08      Palaiseau (France)
SUM'08           +p 05/06/08    08/07/08      01/10-03/10/08      Napoli (Italy)
ICLP'08          +a 06/06/08    01/08/08      09/12-13/12/08      Udine (Italy)
LPAR'08          +a 06/06/08    29/08/08      23/11-27/11/08      Doha (Qatar)
SBMF'08             06/06/08    13/07/08      26/08-29/08/08      Salvador (Bahia, Brasil)
FLOSS-FM-OPENC.'08  07/06/08    24/06/08      10/09-10/09/08      Milan (Italy), cf. also here
SEFM'08          +p 07/06/08    16/07/08      10/11-14/11/08      Cape Town (South Africa)
CONCUR'08 WS EXP. p 08/06/08    04/07/08      23/08-23/08/08      Toronto (Ontario, Canada)
ICGT'08 WS PNGT   + 09/06/08    27/06/08      12/09-13/09/08      Leicester (UK)
MICAI'08         +a 09/06/08    20/07/08      27/10-31/10/08      Mexico City (Mexico)
ICFP'08 WS ERLANG   10/06/08    30/06/08      22/09-24/09/08(1d)  Victoria (British Columbia, Canada)
CONCUR'08 WS FM  +a 12/06/08    11/07/08      23/08-23/08/08      Toronto (Ontario, Canada)
MONTANARI65'08                                12/06-12/06/08      Pisa (Italy)
ICLP'08          +p 13/06/08    01/08/08      09/12-13/12/08      Udine (Italy)
IFIP-WG-1-6'08                                14/06-14/06/08      Hagenberg (Austria)
RR'08             a 14/06/08    21/07/08      31/10-02/11/08      Karlsruhe (Germany)
CONCUR'08 WS FM  +p 15/06/08    11/07/08      23/08-23/08/08      Toronto (Ontario, Canada)
ODBASE'08         + 15/06/08    10/08/08      11/11-13/11/08      Monterrey (Mexico)
PLID'08             15/06/08    15/07/08      15/07-15/07/08      Valencia (Spain)
ADG'08            + 16/06/08    10/07/08      22/09-24/09/08      Shanghai (China)
LPAR'08          +p 16/06/08    29/08/08      23/11-27/11/08      Doha (Qatar)
MICAI'08         +p 16/06/08    20/07/08      27/10-31/10/08      Mexico City (Mexico)
DEEPINF'08                                    18/06-18/06/08      Nancy (France)
ARW'08            + 20/06/08    27/06/08      30/07-31/07/08      Birmingham (UK)
TFP'08         proc 20/06/08    07/09/08      26/05-28/05/08      Nijmegen (Netherlands)
RR'08            +a 21/06/08    21/07/08      31/10-02/11/08      Karlsruhe (Germany)
ICFP'08 WS HASKELL  23/06/08    18/07/08      25/09-25/09/08      Victoria (British Columbia, Canada)
ISOLA'08 ST FMAVLLS 23/06/08    07/07/08      13/10-16/10/08      Kassandra (Greece) 
ESORICS'08 WS FAST  25/06/08    04/08/08      09/10-10/10/08      Malaga (Spain)
FOCS'08             25/06/08    01/08/08      26/10-28/10/08      Philadelphia (Pennsylvania, USA)
APLAS'08            27/06/08                  09/12-11/12/08      Bangalore (India)
ICFP'08 WS ML     + 27/06/08    18/07/08      21/09-21/09/08      Victoria (British Columbia, Canada)
ICFP'08 SE DEFUN pr 27/06/08    14/07/08      25/09-25/09/08      Victoria (British Columbia, Canada)
RR'08            +p 28/06/08    21/07/08      31/10-02/11/08      Karlsruhe (Germany)
CP'08 WS SYMCON     29/06/08    17/08/08      15/09-15/09/08      Sydney (Australia)
ICFP'08 WS FDPE   + 29/06/08    11/07/08      21/09-21/09/08      Victoria (British Columbia, Canada)
ICFP'08 WS SCHEME + 29/06/08    14/07/08      20/09-20/09/08      Victoria (British Columbia, Canada)
MECBIC'08           29/06/08    02/08/08      03/09-04/09/08      Iasi (Romania)
COLL-LOG'08       r 30/06/08                  10/09-12/09/08      Darmstadt (Germany)
ICFP'08 WS WGP      30/06/08    14/07/08      20/09-20/09/08      Victoria (British Columbia, Canada)
----------------------------------------------------------------------------------------------------------------------
ICFP'08 WS WMM      03/07/08    01/08/08      20/09-20/09/08      Victoria (British Columbia, Canada)
YR-CONCUR'08      a 04/07/08    11/07/08      18/08-18/08/08      Toronto (Ontario, Canada)
FSTTCS'08           07/07/08    01/09/08      09/12-11/12/08      Bangalore (India)
ICFEM'08 WS UML&FM+ 08/07/08    15/07/08      27/10-27/10/08      Kitakyushu-city (Japan)
POPL'09           a 08/07/08    01/10/08      21/01-23/01/09      Savannah (Georgia, USA)
SYNASC'08        ++ 10/07/08    01/08/08      26/09-29/09/08      Timisoara (Romania)
CAV'08 WS HAV                                 14/07-14/07/08      Princeton (New Jersey, USA)
DLT'08 WS AFLAS     14/07/08    29/07/08      20/09-22/09/08      Kyoto (Japan)
GAMES'08          + 14/07/08    01/08/08      08/09-11/09/08      Warsaw (Poland)
SLE'08              14/07/08    25/08/08      29/09-30/09/08      Toulouse (France)
POPL'09           p 15/07/08    01/10/08      21/01-23/01/09      Savannah (Georgia, USA)
ASWC'08             15/07/08    10/09/08      08/12-11/12/08      Pathumthani (Thailand)
HVC'08              15/07/08    31/08/08      28/10-30/10/08      Haifa (Israel)
ICLA'09             18/07/08    22/09/08      07/01-11/01/09      Chennai, (India)
ICTAC'08 WS FCSLR   18/07/08    05/08/08      30/08-30/08/08      Istanbul (Turkey)
POHLERSFEST'08                                18/07-10/07/08      M¨nster (Germany)
PROOFTHEORY'08                                18/07-10/07/08      M¨nster (Germany)
AVOCS'08          + 22/07/08    22/08/08      30/09-01/10/08      Glasgow (Scotland, UK)
ICTAC'08 WS TTSS    28/07/08    12/08/08      30/08-31/08/08      Istanbul (Turkey)
WMC'08                                        28/07-31/07/08      Edinburgh (Scotland, UK)
----------------------------------------------------------------------------------------------------------------------
GPCE'08 WS STS    a 01/08/08    31/08/08      19/10-23/10/08      Nashville (Tennessee, USA)
TGC'08            a 01/08/08    15/09/08      03/11-04/11/08      Barcelona (Spain)
ISWC'08 WS OWLED  a 04/08/08    15/09/08      26/10-27/10/08      Karlsruhe (Germany)
ICDT'09           a 07/08/08    06/11/08      23/03-26/03/09      Saint-Petersburg (Russia)
TGC'08            p 08/08/08    15/09/08      03/11-04/11/08      Barcelona (Spain)
ISWC'08 WS OWLED  p 09/08/08    15/09/08      26/10-27/10/08      Karlsruhe (Germany)
FSE'08 WS WEH       10/08/08    03/09/08      11/11-13/11/08      Atlanta (Georgia, USA)
WLP'08            + 10/08/08    19/08/08      30/09-01/10/08      Dresden (Germany)
CONCUR'08 WS ABE  r 11/08/08                  18/08-18/08/08      Toronto (Ontario, Canada)
GPCE'08 WS DSPD     11/08/08    04/09/08      22/10-22/10/08      Nashville (Tennessee, USA)
ICDT'09           p 14/08/08    06/11/08      23/03-26/03/09      Saint-Petersburg (Russia)
ECSS'08           a 15/08/08    10/09/08      09/10-10/10/08      Zurich (Switzerland)
GPCE'08 WS STS    a 15/08/08    31/08/08      22/10-22/10/08      Nashville (Tennessee, USA)
ICFEM'08 WS FMET    15/08/08    15/09/08      28/10-28/10/08      Kitakyushu-city (Japan)
SAC'09 ST SVT       16/08/08    11/10/08      08/03-09/03/09      Honolulu (Hawaii, USA)
SOFSEM'09         a 17/08/08    06/10/08      24/01-30/01/09      Špindlerův mlýn (Czech Republic)
LOGINF'08         r 20/08/08                  08/09-08/09/08      Munich (Germany)
SOFSEM'09         p 24/08/08    06/10/08      24/01-30/01/09      Špindlerův mlýn (Czech Republic)
VMCAI'09            22/08/08    06/10/08      18/01-20/01/09      Savannah (Georgia, USA)
SAC'09 ST PL      + 23/08/08    11/10/08      08/03-09/03/09      Honolulu (Hawaii, USA)
LASH'08           + 25/08/08    15/09/08      06/1-17/11/088      Leuven (Belgium)
LOGICAL-PLURALISM'08                          27/08-31/08/08      Tartu (Estonia)
ICSE'09           a 29/08/08    21/11/08      16/05-24/05/09      Vancouver (Canada)
----------------------------------------------------------------------------------------------------------------------
ICLP'08 WS CICL.  a 01/09/08    01/10/08      09/12-13/12/08(1d)  Udine (Italy)
THEORIETAG'08     a 01/09/08                  01/10-02/10/08      Wettenberg-Launsbach/Giessen (Germany)
ICSE'09           p 05/09/08    21/11/08      16/05-24/05/09      Vancouver (Canada)
ESSLLI'09       +ws 08/09/08    22/10/08      20/07-31/07/09      Bordeaux (France)
ICLP'08 WS CICL.  p 08/09/08    01/10/08      09/12-13/12/08(1d)  Udine (Italy)
MEMICS'08           10/09/08    15/10/08      14/11-16/11/08      Znojmo (Czech Republic)
PADL'09           + 11/09/08    10/10/08      19/01-20/01/09      Savannah (Georgia, USA)
ICGT'08 WS GRABATS                            12/09-13/09/08      Leicester (UK)
IFM'09           +a 12/09/08    01/11/08      16/02-19/02/09      Duesseldorf (Germany)
LFCS'09             14/09/08    05/10/08      03/01-06/01/09      Deerfield Beach (Florida, USA)
TRENDS-IN-LOGIC'08  15/09/08                  11/12-12/12/08      Brussels (Belgium)
STACS'09            15/09/08    19/11/08      26/02-28/02/09      Freiburg (Germany)
THEORIETAG'08     a 15/09/08                  01/10-02/10/08      Wettenberg-Launsbach/Giessen (Germany)
IFM'09           +p 19/09/08    01/11/08      16/02-19/02/09      Duesseldorf (Germany)
WLPE'08           + 21/09/08    08/10/08      12/12-12/12/08      Udine (Italy)
DOMAINS'08                                    22/09-24/09/08      Brighton (UK)
FLACOS'08         + 23/09/08    05/10/08      27/11-28/11/08      Malta (Malta)
AOSD'09           a 27/09/08    08/12/08      02/03-06/03/09      Charlottesville (Virginia, USA)
ICST'09           a 26/09/08    19/12/08      01/04-04/04/09      Denver (Colorado, USA)
CSCLP'08       proc 30/09/08    30/11/08      18/06-20/06/08      Rome (Italy)
----------------------------------------------------------------------------------------------------------------------
IFL'08            + 01/09/08                  10/09-12/09/08      Hertfordshire (UK)
CC'09             a 02/10/08    12/12/08      22/03-29/03/09      York (UK)
ESOP'09           a 02/10/08    12/12/08      22/03-29/03/09      York (UK)
FASE'09           a 02/10/08    12/12/08      22/03-29/03/09      York (UK)
FOSSACS'09        a 02/10/08    12/12/08      22/03-29/03/09      York (UK)
TACAS'09          a 02/10/08    12/12/08      22/03-29/03/09      York (UK)
AOSD'09           p 03/10/08    08/12/08      02/03-06/03/09      Charlottesville (Virginia, USA)
BCS-FACS'08      ea 03/10/08    24/10/08      09/12-09/12/08      London (UK)
ICSM'08           a 03/10/08    17/10/08      18/11-21/11/08      Tallinn (Estonia)
ICST'09           p 03/10/08    19/12/08      01/04-04/04/09      Denver (Colorado, USA)
IJCAI'09         ws 03/10/08    03/11/08      11/07-17/07/09      Pasadena (California, USA)
IJCAI'09        tut 03/10/08    14/11/08      11/07-17/07/09      Pasadena (California, USA)
NWPT'08           a 03/10/08    17/10/08      18/11-21/11/08      Tallinn (Estonia)
POPL'09 WS PLPV     08/10/08    08/11/08      20/01-20/01/09      Savannah (Georgia, USA)
SAMBIN60'08                                   08/10-11/10/08      Padua (Italy)
TLDI'09             08/10/08    08/11/08      24/01-24/01/09      Savannah (Georgia, USA)
CC'09             p 09/10/08    12/12/08      22/03-29/03/09      York (UK)
ESOP'09           p 09/10/08    12/12/08      22/03-29/03/09      York (UK)
FASE'09           p 09/10/08    12/12/08      22/03-29/03/09      York (UK)
FOOL'09           a 09/10/08    26/11/08      24/01-24/01/09      Savannah (Georgia, USA)
FOSSACS'09        p 09/10/08    12/12/08      22/03-29/03/09      York (UK)
TACAS'09          p 09/10/08    12/12/08      22/03-29/03/09      York (UK)
POPL'09 WS DAMP     10/10/08    10/11/08      20/01-20/01/09      Savannah (Georgia, USA)
PEPM'09           a 12/10/08    10/11/08      19/01-20/01/09      Savannah (Georgia, USA)
IJCAI'09        +ws 13/10/08    03/11/08      11/07-17/07/09      Pasadena (California, USA)
IJCAI'09       +tut 13/10/08    14/11/08      11/07-17/07/09      Pasadena (California, USA)
DATICS-ICIEA'09     15/10/08    15/01/09      25/05-27/05/09      Xi'an (China)
LFCS'09        proc 15/10/08                  03/01-06/01/09      Deerfield Beach (Florida, USA)
POPL'09 WS PLAN-X p 15/10/08    23/11/08      24/01-24/01/09      Savannah (Georgia, USA)
TYPES'08    proc +a 15/10/08    15/12/08      26/03-29/03/08      Torino (Italy)
TYPES'08    proc +p 15/10/08    15/12/08      26/03-29/03/08      Torino (Italy)
PEPM'09           p 17/10/08    10/11/08      19/01-20/01/09      Savannah (Georgia, USA)
POPL'09 WS PLANX +a 17/10/08    23/11/08      24/01-24/01/09      Savannah (Georgia, USA)
LPAR'08 WS IWIL  +a 18/10/08    27/10/08      22/11-22/11/08      Doha (Qatar)
LPAR'08 WS KEAPPA a 18/10/08    27/10/08      22/11-22/11/08      Doha (Qatar)
PSI'09          tut 23/10/08                  15/06-19/06/09      Novosibirsk, Akademgorodok (Russia)
LPAR'08 WS ALICS +a 24/10/08    27/10/08(?)   22/11-22/11/08      Doha (Qatar)
LPAR'08 WS APS   +a 24/10/08    28/10/08      22/11-22/11/08      Doha (Qatar)
POPL'09 WS PLANX +p 24/10/08    23/11/08      24/01-24/01/09      Savannah (Georgia, USA)
CAV'09           ws 31/10/08    07/11/08      26/06-02/07/09      Grenoble (France)
LATA'09          ++ 31/10/08    10/12/08      02/04-08/04/09      Tarragona (Spain)
----------------------------------------------------------------------------------------------------------------------
FSEN'09          +a 03/11/08    15/12/08      15/04-17/04/08      Kish Island (Iran)
PLDI'09           a 07/11/08    27/01/09      15/06-21/06/09      Dublin (Ireland)
APV'09              08/11/08    08/12/08      14/02-15/02/09      Rio Cuarto (Argentina)
FSEN'09          +p 10/11/08    15/12/08      15/04-17/04/08      Kish Island (Iran)
STOC'09           a 10/11/08    06/02/09      31/05-02/06/09      Bethesda (Maryland, USA)
IFL'08         proc 14/11/08    23/01/09      10/09-12/09/08      Hertfordshire (UK)
PLDI'09           p 14/11/08    27/01/09      15/06-21/06/09      Dublin (Ireland)
CONCUR'09        ws 15/11/08    01/12/08      31/08-05/09/09      Bologna (Italy)
RDP'09           ws 17/11/08    28/11/08      28/06-03/07/09      Brasilia (Brazil)
STOC'09           p 17/11/08    06/02/09      31/05-02/06/09      Bethesda (Maryland, USA)
ICFP'09          ws 19/11/08    17/12/08      31/08-02/09/09      Edinburgh (UK)
SPT'08                                        19/11-21/11/08      Paris (France)
CSR'09              26/11/08    03/02/09      18/08-23/08/09      Novosibirsk (Russia)
ETAPS'09 WS LDTA  a 28/11/08    06/02/09      28/03-29/03/09      York (UK)
ICTAC'09         ws 30/11/08                  18/08-20/08/09      Kuala Lumpur (Malaysia)
----------------------------------------------------------------------------------------------------------------------
ETAPS'09 WS FESCA a 01/12/08    19/01/09      28/03-28/03/09      York (UK)
ICFCA'09          a 01/12/08    26/01/09      21/05-24/05/09      Darmstadt (Germany)
LICS'09          ws 01/12/08    15/12/08      10/08-15/08/09      Los Angeles (California, USA)
PODS'09           a 01/12/08    27/02/09      29/06-02/07/09      Providence (Rhode Island, USA)
ETAPS'09 WS FESCA p 05/12/08    19/01/09      28/03-28/03/09      York (UK)
ETAPS'09 WS LDTA  p 05/12/08    06/02/09      28/03-29/03/09      York (UK)
CADE'09      ws/tut 07/12/08    07/01/09      04/08-07/08/09      Montreal (Quebec, Canada)
ETAPS'09 WS COCV +a 08/12/08    16/01/09      22/03-22/03/09      York (UK)
PODS'09           p 08/12/08    27/02/09      29/06-02/07/09      Providence (Rhode Island, USA)
IFM'09 WS IM-FMT    12/12/08    21/01/09      15/02-19/02/09      Düsseldorf (Germany)
DSL-WC'08         a 14/12/08    23/02/09      15/07-17/07/09      Oxford (UK)
ADA-EUROPE'09    ++ 15/12/08    09/02/09      08/06-12/06/09      Brest (France)
ETAPS'09 WS COCV +p 15/12/08    16/01/09      22/03-22/03/09      York (UK)
ETAPS'09 WS VAMP    17/12/08    28/01/09      28/03-28/03/09      York (UK)
ETAPS'09 WS QAPL  a 18/12/08    28/01/09      28/03-29/03/09      York (UK)
ECOOP'09            20/12/08    13/03/09      06/07-10/07/09      Genova (Italy)
ETAPS'09 WS QAPL  p 20/12/08    28/01/09      28/03-29/03/09      York (UK)
DSL-WC'08         p 21/12/08    23/02/09      15/07-17/07/09      Oxford (UK)
ETAPS'09 WS BYTEC.  21/12/08    25/01/09      29/03-20/03/09      York (UK)
ETAPS'09 WS MBT   + 22/12/08    14/01/09      22/03-22/03/09      York (UK)
FM'09            ws 22/12/08    ??/01/09      04/11-06/11/09      Eindhoven (Netherlands)
TERMGRAPH'09      + 22/12/08    12/01/09      22/03-22/03/09      York (UK) [ETAPS'09 WS]
AOSD'09 WS FOAL     23/12/08    15/01/09      02/03-02/03/09      Charlottesville (Virginia, USA)

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




Last modified: Fri Apr 3 12:57:20 CEST 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