+ | 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) ======================================================================================================================
Links: Homepage (B.G.) | AG 185/2 | Institut 185 | Server Homepage | Faculty of Informatics | TU Wien
Bernhard Gramlich