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