Interesting Conferences & Workshops

(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 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999 or before

Interesting Summer Schools & Related Events



Dates are of the form dd/mm/yy.

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


Event                     Submission  Notification  Date                Location

======================================================== 2010 ========================================================

QSIC'10                 a 04/01/10    31/03/10      27/10-29/10/10      Zhangjiajie (hina)
TQC'10                    04/01/10    11/02/10      13/04-15/04/10      Leeds (UK)
ETAPS'10 WS SAFECERT      05/01/10    29/01/10      21/03-21/03/10      Paphos (Cyprus)
PETRI-NETS'10           a 05/01/10    01/03/10      23/06-25/06/10      Braga (Portugal)
DIAGRAMS'10             a 08/01/10    01/03/10      09/08-11/08/10      Portland (Oregon, USA)
ETAPS'10 WS CMCS          08/01/10    13/02/10      26/03-28/03/10      Paphos (Cyprus)
LICS'10                 a 10/01/10    21/03/10      11/07-14/07/10      Edinburgh (Scotland, UK)
PETRI-NETS'10           p 10/01/10    01/03/10      23/06-25/06/10      Braga (Portugal)
CAV'10                  a 11/01/10    15/03/10      15/07-10/07/10      Edinburgh (Scotland, UK)
CP-AI-OR'10             a 11/01/10    18/02/10      14/06-18/06/10      Bologna (Italy)
ICCS'10 WS PAPP           11/01/10    15/02/10      31/05-02/06/10(1d?) Edinburgh (Amsterdam, The Netherlands)
LPAR-16'10             +p 13/01/10    01/03/10      25/04-01/05/10      Dakar (Senegal)
CAV'10                  p 15/01/10    15/03/10      15/07-10/07/10      Edinburgh (Scotland, UK)
FPRLM'10                a 15/01/10    15/03/10      21/06-23/06/10      Nancy (France)
ICST'10 WS CSTVA       ea 15/01/10    02/03/10      10/04-10/04/10      Paris (France)
ICST'10 WS VIDAS          15/01/10    08/02/10      06/04-09/04/10(1d)  Paris (France)
IJCAR'10                a 15/01/10    15/03/10      16/07-19/07/10      Edinburgh (Scotland, UK)
ITP'10                  a 15/01/10    15/03/10      11/07-14/07/10      Edinburgh (Scotland, UK)
PC'10                     15/01/10    12/02/10      30/08-03/09/10      On the Nile (Egypt)
SCALA-DAYS'10 WS SCALA    15/01/10    15/02/10      15/04-15/04/10      Lausanne (Switzerland)
SOO'10                  a 15/01/10    15/03/10      17/06-20/06/10      Corte (Corsica, France)
LICS'10                 p 17/01/10    21/03/10      11/07-14/07/10      Edinburgh (Scotland, UK)
AAAI'10                 a 18/01/10    26/03/10      11/07-15/07/10      Atlanta (Georgia, USA)
CP-AI-OR'10             p 18/01/10    18/02/10      14/06-18/06/10      Bologna (Italy)
DIAGRAMS'10             p 18/01/10    01/03/10      09/08-11/08/10      Portland (Oregon, USA)
CIE'10                    20/01/10    18/03/10      30/06-05/07/10      Ponta Delgada (Azores, Portugal)
TGC'10                  + 20/01/10    29/01/10      22/02-24/02/10      Munich (Germany)
AAAI'10                 p 21/01/10    26/03/10      11/07-15/07/10      Atlanta (Georgia, USA)
IJCAR'10                p 22/01/10    15/03/10      16/07-19/07/10      Edinburgh (Scotland, UK)
ITP'10                  p 22/01/10    15/03/10      11/70-14/07/10      Edinburgh (Scotland, UK)
QSIC'10                 p 22/01/10    31/03/10      27/10-29/10/10      Zhangjiajie (hina)
RTA'10                 +a 22/01/10    08/03/10      11/07-13/07/10      Edinburgh (Scotland, UK)
SSIRI'10                + 22/01/10    10/03/10      09/06-11/06/10      Singapore (Singapore)
TOOLS-EUROPE'10           22/01/10    24/03/10      28/06-02/07/10      Málaga (Spain)
ETAPS'10 WS GALOP         25/01/10    03/02/10      20/03-21/03/10      Paphos (Cyprus)
DL'10                     26/01/10    09/03/10      04/05-07/05/10      Waterloo (Ontario, Canada)
ICLP'10                 a 26/01/10    23/03/10      16/07-19/07/10      Edinburgh (Scotland, UK)
ICMT'10                   28/01/10    19/03/10      28/06-02/07/10      Malaga (Spain)
ELS'10                    29/01/10    01/03/10      06/05-07/05/10      Lisbon (Portugal)
SC'10                     29/01/10    24/03/10      28/06-02/07/10      Málaga (Spain)
RTA'10                 +p 29/01/10    08/03/10      11/07-13/07/10      Edinburgh (Scotland, UK)
TAP'10                  a 29/01/10    22/03/10      28/06-02/07/10      Málaga (Spain)
ICLP'10                +a 31/01/1 0   23/03/10      16/07-19/07/10      Edinburgh (Scotland, UK)
SIROCCO'10                31/01/10    21/03/10      07/06-11/06/10      Sirince (Turkey)
----------------------------------------------------------------------------------------------------------------------
ETAPS'10 WS COCV        a 01/02/10    24/02/10      20/03-28/03/10      Paphos (Cyprus)
UC'10                     01/02/10    08/03/10      21/06-25/06/10      Tokyo (Japan)
ISMM'10                 a 03/02/10    19/03/10      05/06-06/06/10      Toronto (Ontario, Canada)
JSC'10                    05/02/10    ??/03/10      07/04-10/04/10      Vienna (Austria)
MFPS'10                 a 05/02/10    15/03/10      06/05-10/05/10      Ottawa (Ontario, Canada)
TAP'10                  p 05/02/10    22/03/10      28/06-02/07/10      Málaga (Spain)
ICLP'10                +p 07/02/10    23/03/10      16/07-19/07/10      Edinburgh (Scotland, UK)
COORDINATION'10         a 08/02/10    09/03/10      07/06-10/06/10      Amsterdam (Netherlands)
DISCOTEC'10             a 08/02/10    09/03/10      07/06-10/06/10      Amsterdam (Netherlands)
ETAPS'10 WS COCV        p 08/02/10    24/02/10      20/03-28/03/10      Paphos (Cyprus)
FMOODS-FORTE'10         a 08/02/10    09/03/10      07/06-10/06/10      Amsterdam (Netherlands)
PLDI'10 WS PASTE          08/02/10    18/03/10      05/06-06/06/10      Toronto (Ontario, Canada)
CSF'10                    09/02/10    05/04/10      17/07-19/07/10      Edinburgh (Scotland, UK)
ICALP'10                  10/02/10    06/04/10      05/07-12/07/10      Bordeaux (France)
TAMC'10                   10/02/10    20/03/10      07/06-11/06/10      Prague (Czech Republic)
COORDINATION'10         p 12/02/10    09/03/10      07/06-10/06/10      Amsterdam (Netherlands)
DISCOTEC'10             p 12/02/10    09/03/10      07/06-10/06/10      Amsterdam (Netherlands)
FMOODS-FORTE'10         p 12/02/10    09/03/10      07/06-10/06/10      Amsterdam (Netherlands)
MFPS'10                 p 12/02/10    15/03/10      06/05-10/05/10      Ottawa (Ontario, Canada)
TCS'10                 +a 12/02/10    30/04/10      20/09-23/09/10      Brisbane (Australia)
ECAI'10                 a 15/02/10    30/04/10      16/08-20/08/10      Lisbon (Portugal)
AISC'10                 a 19/02/10    18/04/10      05/07-06/07/10      Paris (France)
TCS'10                 +p 19/02/10    30/04/10      20/09-23/09/10      Brisbane (Australia)
RTRTS'10                  20/02/10    ??/03/10      06/04-09/04/10      Longyearbyen (Spitsbergen, Norway)
ETAPS'10 WS PLACES     +a 22/02/10    12/02/10      21/03-21/03/10      Paphos (Cyprus)
CALCULEMUS'10           a 24/02/10    14/04/10      05/07-06/07/10      Paris (France)
MKM'10                  a 24/02/10    14/04/10      08/07-10/07/10      Paris (France)
AISC'10                 p 26/02/10    18/04/10      05/07-06/07/10      Paris (France)
AMAST'10                  26/02/10    19/03/10      23/06-26/06/10      Québec (Québec, Canada)
MEMOCODE'10             a 26/02/10    30/04/10      26/07-28/07/10      Grenoble (France)
HORS-PA'10              r 28/02/10                  10/03-12/03/10      Paris (France)
WOLLIC'10               a 28/02/10    02/04/10      06/07-09/07/10      Brasilia (Brazil)
----------------------------------------------------------------------------------------------------------------------
FLoC'10 WS WCB            01/03/10    01/04/10      21/07-21/07/10      Edinburgh (Scotland, UK)
INFINITY'10             a 01/03/10    15/03/10      17/05-21/05/10      Cetraro (Italy)
QMC'10                                              02/03-05/03/10      Copenhagen (Denmark)
CALCULEMUS'10           p 03/03/10    14/04/10      05/07-06/07/10      Paris (France)
MKM'10                  p 03/03/10    14/04/10      08/07-10/07/10      Paris (France)
MEMOCODE'10             p 05/03/10    30/04/10      26/07-28/07/10      Grenoble (France)
WOLLIC'10               p 07/03/10    02/04/10      06/07-09/07/10      Brasilia (Brazil)
ASE'10                  a 08/03/10    07/06/10      20/09-24/09/10      Antwerp (Belgium)
CCA'10                    08/03/10    12/04/10      21/06-25/06/10      Zhenjiang (China)
ICTAC'10                a 08/03/10    30/04/10      01/09-03/09/10      Natal (Rio Grande do Norte, Brazil)
META'10                   08/03/10    05/04/10      01/07-05/07/10      Pereslavl-Zalessk (Russia)
CLP'10                                              09/03-09/03/10      Oxford (UK)
CSR'10 WS PSSV         ea 10/03/10    31/01/10      14/06-15/06/10      Kazan (Russia)
PLDI'10 WS PLAS           12/03/10    23/04/10      10/06-10/06/10      Toronto (Ontario, Canada)
PETRI-NETS'10 WS APNOC  a 13/03/10    01/05/10      21/06-21/06/10      Braga (Portugal)
ASE'10                  p 15/03/10    07/06/10      20/09-24/09/10      Antwerp (Belgium)
LRR'10                  a 15/03/10    01/05/10      20/09-22/09/10      Ghent (Belgium)
ICTAC'10                p 15/03/10    30/04/10      01/09-03/09/10      Natal (Rio Grande do Norte, Brazil)
MCU'10                    15/03/10    01/06/10      21/09-25/09/10      Pittsbrugh (Pennsylvania, USA)
AIML'10                   16/03/10    21/05/10      25/08-29/08/10      Moscow (Russia)
DISCOTEC'10 WS CS2BIO     19/03/10    30/04/10      10/06-10/06/10      Amsterdam (Netherlands)
ETAPS'10                                            20/03-28/03/10      Paphos (Cyprus)
ETAPS'10                                            20/03-28/03/10      Paphos (Cyprus)
LATD'10                   20/03/10    30/04/10      07/09-11/09/10      Prague (Czech Republic)
PETRI-NETS'10 WS APNOC  p 20/03/10    01/05/10      21/06-21/06/10      Braga (Portugal)
GANDALF'10              a 21/03/10    01/05/10      17/06-18/06/10      Minori (Amalfi Coast, Italy)
PPDP'10                 a 21/03/10    23/05/10      26/07-28/07/10      Hagenberg (Austria)
DISCOTEC'10 WS ICE      a 22/03/10    30/04/10      10/06-10/06/10      Amsterdam (Netherlands)
FLoC'10 WS VERIFY         22/03/10    29/04/10      20/07-21/07/10      Edinburgh (Scotland, UK)
QEST'10                 a 22/03/10    24/05/10      15/09-18/09/10      Williamsburg (Virgina, USA)
SEFM'10                 a 22/03/10    15/05/10      13/09-17/09/10      Pisa (Italy)
FLoC'10 WS FCS-PRIVMOD    23/03/10    25/04/10      14/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS LFSA         a 25/03/10    28/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS NSV          a 25/03/10    28/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS UNIDL          25/03/10    28/04/10      20/07-20/07/10      Edinburgh (Scotland, UK)
HOR'10                    25/03/10    20/04/10      14/07-14/07/10      Edinburgh (Scotland, UK)
LOPSTR'10            ea/p 25/03/10    15/05/10      23/07-25/07/10      Hagenberg (Austria)
CSL'10                  a 26/03/10    17/05/10      23/08-27/08/10      Brno (Czech Republic)
FLoC'10 WS CLODEM         27/03/10    27/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS ASPOCP         26/03/10    30/04/10      20/07-20/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS LOCOCO         26/03/10    23/04/10      10/07-10/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS IWS         ea 26/03/10    11/04/10      09/07-09/07/10      Edinburgh (Scotland, UK))
FLoC'10 WS UNIF           28/03/10    23/04/10      14/07-14/07/10      Edinburgh (Scotland, UK)
GANDALF'10              p 28/03/10    01/05/10      17/06-18/06/10      Minori (Amalfi Coast, Italy)
PPDP'10                 p 28/03/10    23/05/10      26/07-28/07/10      Hagenberg (Austria)
PR'10                                               28/03-31/03/10      Obergurgl (Austria)
DISCOTEC'10 WS ICE      p 29/03/10    30/04/10      10/06-10/06/10      Amsterdam (Netherlands)
FLoC'10 WS EMSQMS         29/03/10    23/04/10      20/07-20/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS LCC            29/03/10    30/04/10      10/07-10/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS PAR            29/03/10    29/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
QEST'10                 p 29/03/10    24/05/10      15/09-18/09/10      Williamsburg (Virgina, USA)
SEFM'10                 p 29/03/10    15/05/10      13/09-17/09/10      Pisa (Italy)
VSTTE'10                  29/03/10    10/05/10      16/08-19/08/10      Edinburgh (Scotland, UK)
FLoC'10 WS HYLO           30/03/10    01/05/10      10/07-10/07/10      Edinburgh (Scotland, UK)
AAAI'10 WS MOCHART        31/03/10    23/04/10      11/07-12/07/10(1d)  Atlanta (Georgia, USA)
ITRS'10                   31/03/10    30/04/10      09/07-09/07/10      Edinburgh (Scotland, UK)
----------------------------------------------------------------------------------------------------------------------
FLoC'10 WS LFSA         p 01/04/10    28/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS LFSA         p 01/04/10    28/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS NSV          p 01/04/10    28/04/10      15/07-15/07/10      Edinburgh (Scotland, UK)
CSL'10                  p 02/04/10    17/05/10      23/08-27/08/10      Brno (Czech Republic)
FLoC'10 WS SMT            02/04/10    03/05/10      14/07-15/07/10      Edinburgh (Scotland, UK)
ICFP'10                   02/04/10    07/06/10      27/09-29/09/10      Baltimore (Maryland, USA)
TFP'10                a/p 02/04/10    14/04/10      17/05-19/05/10      Norman (Oklahoma, USA)
ANB'10                  a 04/04/10    15/05/10      31/07-02/08/10      Hagenberg (Austria)
ATVA'10                 a 05/04/10    31/05/10      21/09-24/09/10      Singapore (Singapore) 
ACL'10 WS ATANLP          05/04/10    06/05/10      16/07-16/07/10      Uppsala (Sweden)
FLOC'10 WS UITP           05/04/10    28/04/10      15/07-15/07/10      Edinburgh (Scotland, UK))
CONCUR'10               a 08/04/10    25/05/10      31/08-03/09/10      Paris (France)
FLoC'10 WS WING           08/03/10    11/04/10      21/07-21/07/10      Edinburgh (Scotland, UK)
ICGT'10                 a 09/04/10    07/06/10      19/09-01/10/10      Enschede, The Netherlands)
SPIN'10                 a 09/04/10    07/06/10      27/09-29/09/10      Twente (The Netherlands)
FLoC'10 WS CULP         a 10/04/10                  21/07-21/07/10      Edinburgh (Scotland, UK)
MFCS'10                 a 10/04/10    28/05/10      23/08-27/08/10      Brno (Czech Republic)
FLoC'10 WS ICLP-DC        11/04/10    21/04/10      21/07-21/07/10      Edinburgh (Scotland, UK)
ANB'10                  p 11/04/10    15/05/10      31/07-02/08/10      Hagenberg (Austria)
FLoC'10 WS PAAR         a 11/04/10    28/04/10      14/07-14/07/10      Edinburgh (Scotland, UK)
ATVA'10                 p 12/04/10    31/05/10      21/09-24/09/10      Singapore (Singapore) 
CP'10                     13/04/10    03/06/10      06/09-10/09/10      St-Andrews (Scotland, UK)
FLoC'10 WS CHR          a 14/04/10    11/05/10      20/07-20/07/10      Edinburgh (Scotland, UK)
CONCUR'10               p 15/04/10    25/05/10      31/08-03/09/10      Paris (France)
FLACOS'10                 15/04/10    01/06/10      17/09-18/09/10      Pisa (Italy)
MFCS'10                 p 15/04/10    28/05/10      23/08-27/08/10      Brno (Czech Republic)
ICGI'10                   16/04/10    24/05/10      13/09-16/09/10      Valencia (Spain)
ICGT'10                 p 16/04/10    07/06/10      19/09-01/10/10      Enschede, The Netherlands)
RULE'10                   16/04/10    03/06/10      14/07-14/07/10      Edinburgh (Scotland, UK)
SPIN'10                 p 16/04/10    07/06/10      27/09-29/09/10      Twente (The Netherlands)
PPPJ'10                 a 18/04/10    07/06/10      15/09-17/09/10      Vienna (Austria)
FLoC'10 WS CHR          p 20/04/10    11/05/10      20/07-20/07/10      Edinburgh (Scotland, UK)
SCAM'10                 a 23/04/10    07/06/10      12/09-13/09/10      Timisoara (Romania)
CMSB'10                 a 25/04/10    16/06/10      29/09-01/10/10      Trento (Italy)
PPPJ'10                 p 25/04/10    07/06/10      15/09-17/09/10      Vienna (Austria)
CICM'10 WS DML          a 29/04/10    25/05/10      05/07-10/07/10(1d?) Paris (France)
SCAM'10                 p 30/04/10    07/06/10      12/09-13/09/10      Timisoara (Romania)
----------------------------------------------------------------------------------------------------------------------
PCC'10                    01/05/10    15/10/10      18/06-19/06/10      Bern (Switzerland)
CMSB'10                 p 02/05/10    16/06/10      29/09-01/10/10      Trento (Italy)
TIME'10                 a 09/05/10    20/05/10      06/09-08/09/10      Paris (France)
TIME'10                 p 12/05/10    20/05/10      06/09-08/09/10      Paris (France)
FMCAD'10                  05/05/10    07/07/10      20/10-23/10/10      Lugano (Switzerland)
ECAI'10 WS CLIMA          07/05/10    04/06/10      16/08-17/08/10      Lisbon (Portugal)
CMC'10                    10/05/10    04/06/10      24/08-27/08/10      Jena (Germany)
PROMISE'10              a 14/05/10    09/07/10      12/09-13/09/10      Timisoara (Romania)
GPCE'10                 a 15/05/10    05/07/10      10/10-13/10/10      Eindhoven (The Netherlands)
RR'10                   a 15/05/10    24/06/10      22/09-24/09/10      Bressanone/Brixen (Italy)
ICTCS'10                  20/05/10    20/06/10      15/09-17/09/10      Camerino (Italy)
PROMISE'10              p 21/05/10    09/07/10      12/09-13/09/10      Timisoara (Romania)
RR'10                   p 22/05/10    24/06/10      22/09-24/09/10      Bressanone/Brixen (Italy)
GPCE'10                 p 24/05/10    05/07/10      10/10-13/10/10      Eindhoven (The Netherlands)
WMC'10                    25/05/10    19/06/10      24/08-27/08/10      Curtea de Arges (Romania)
----------------------------------------------------------------------------------------------------------------------
RV'10                     01/06/10    13/07/10      01/11-04/11/10      Sliema (Malta)
BLAST'10                                            02/06-06/06/10      Boulder (Colorado, USA)
SBMF'10                   10/06/10    07/08/10      08/11-12/11/10      Natal (Rio Grande do Norte, Brazil)
HASKELL-SYMPOSIUM'10      14/06/10    12/07/10      30/09-30/09/10      Baltimore ((MD)
PDMC'10                 a 14/06/10    31/07/10      30/09-01/10/10      Twente (The Netherlands)
PDMC'10                 p 21/06/10    31/07/10      30/09-01/10/10      Twente (The Netherlands)
----------------------------------------------------------------------------------------------------------------------
WADT'10                                             01/07-14/07/10      Schloss Etelsen/Langwedel (Germany)
CALCULEMUS'10                                       05/07-06/07/10      Paris (France)
CICM'10 WS PLMMS                                    05/07-10/07/10(1d?) Paris (France)
CIE'10 WS WCT                                       05/07-06/07/10      Ponta Delgada (Açores, Portugal)
FLoC'10                                             09/07-21/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS DTP                                      09/07-10/07/10      Edinburgh (Scotland, UK)
FLoC'10 WG MLQA                                     09/07-09/07/10      Edinburgh (Scotland, UK)
FLoC'10 IFIP-WG-1-6                                 10/07-10/07/10      Edinburgh (Scotland, UK)
FLoC'10 WST                                         14/07-15/07/10      Edinburgh (Scotland, UK)
NONMON30'10               11/07/10    06/09/10      22/10-25/10/10      Lexington (Kentucky, USA)
FLoC'10 WS HWVW                                     15/07-15/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS EC2                                      20/07-21/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS EMSQMS                                   20/07-20/07/10      Edinburgh (Scotland, UK)
FLoC'10 WS FCC                                      20/07-20/07/10      Edinburgh (Scotland, UK)
WLP'10                    20/07/10    19/08/10      14/09-16/09/10      Cairo (Egypt)
----------------------------------------------------------------------------------------------------------------------
AJSW'10                                             01/08-07/08/10      Obergurgl (Austria)
----------------------------------------------------------------------------------------------------------------------
FLoC'10 WS IWS       proc 05/09/10                  09/07-09/07/10      Edinburgh (Scotland, UK))
MEMICS'10                 08/09/10    22/09/10      22/10-24/10/10      Mikulov (Czech Republic)

======================================================== 2011 ========================================================

ETAPS'11               se 17/01/10    31/01/10      28/03-01/04/11      Saarbruecken (Germany)


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



Last modified: Tue Feb 9 10:06:37 CET 2010

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