Interesting Summer Schools & Related Events

(see also Interesting Conferences, 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/registration deadline, all data without guarantee, incomplete list)

Abbreviations used:
+ extended deadline
++ newly extended deadline
a deadline for submission of abstracts or posters
AS autumn school
ea deadline for submission of extended abstracts
er deadline for early registration
fa deadline for submission of fast abstracts
g deadline for application for grants
r deadline for registration / application
sa deadline for submission of short abstracts
se deadline for proposing satellite events
SS summer school / spring school
ST special track / session
ta deadline for submission of title + author(s)
TS training school
tut deadline for tutorial proposal
TUT tutorial
ws deadline for course or workshop proposal
WS workshop

Dates are of the form dd/mm/yy.


Event               Submission  Notification  Date                Location
======================================================================================================================

ACMMPC'00                 11/02/00                  10/04-14/04/00      Lincoln College, Oxford (UK)
MARKTOBERDORF-SS'00       06/03/00    15/05/00      25/07-06/08/00      Munich (Germany)   
SS-AI-PLANNING'00         30/06/00    06/07/00      28/09-01/10/00      Coral Beach Hotel (Cyprus)
MOVEP-SS'00                                         19/06-23/06/00      Nantes (France)
ESSLLI'00                                           06/08-18/08/00      Birmingham (UK)
ESSLLI'01                 23/07/00    15/09/00      13/08-24/08/01      Helsinki (Finland)
ADFOCS'00                 24/07/00                  31/08-04/09/00      Saarbruecken (Germany   
TBILISI-SS'00                                       29/08-08/09/00      Tbilisi (Georgia)
LINEAR-SS'00                                        30/08-07/09/00      S.Miguel (Azores, Portugal)
ISCL'00                                             03/09-08/09/00      Acquafredda di Maratea, Basilicata (Italy)
APPSEM-SS'00                                        09/09-15/09/00      Caminha (Minho, Portugal)
LOGIC-SS'00               18/09/00                  04/12-08/12/00      ANU, Canberra (Australia)
----------------------------------------------------------------------------------------------------------------------
COMPLEX-SYST-SS'01        05/02/01                  10/06-07/07/01      Santa Fe (New Mexico, USA)
COMPLEX-SYST-SS'01        05/02/01                  16/07-10/08/01      Budapest (Hungary)
MARKTOBERDORF-SS'01       06/03/01    15/05/01      24/07-05/08/01      Marktoberdorf (Germany)
LIPARI-SS'01              31/03/01    14/04/01      01/07-14/07/01      Lipari Island (Italy)
SFM-PA'01                 01/04/01    23/05/01      23/07-28/07/01      Bertinoro (Italy)
SS-DISTR-COMP'01          10/04/01    30/04/01      21/05-26/05/01      U Siena, Isola d'Elba, Livorno (Italy)
FOSAD'01                  31/05/01    30/06/01      17/09-29/09/01      Bertinoro (Italy)
LINEAR-SS'01              15/06/01                  30/08-07/09/01      Azores (Portugal)
EEF-LOG-METH-SS'01                                  25/06-06/07/01      BRICS Aarhus (Denmark)
FEFMES-SS'01              24/07/01                  24/09-28/09/01      Udine (Italy)
SS-LOGIC'01               14/09/01                  03/12-14/12/01      Canberra (Australia)
AI4BIO'01                                           01/10-10/11/01      San Miniato (Italy)
----------------------------------------------------------------------------------------------------------------------
COMPLEX-SYST-SS'02        25/01/02                  Summer 2002         Santa Fe (New Mexico, USA)
EWSCS'02                  03/02/02    17/02/02      03/03-08/03/02      Palmse (Estonia)
SS-MARKTOBERDORF'02       08/03/02    15/05/02      30/07-11/08/02      Marktoberdorf (Germany)
SS-TCS-SEMANTICS'02                                 24/03-29/03/02      Agay, Var, (France)
NASSLLI'02                31/03/02                  24/06-30/06/02      Stanford (CA, USA)
BISS'02                   11/04/02    ??/??/02      20/05-31/05/02      Bertinoro - Forlì (Italy)
SS-FOIS'02                14/04/02                  14/06-23/06/02      Duszniki Zdroj (Poland)
SS-TYPES'02               19/04/02                  01/09-14/09/02      Giens (France)
SS-PROOFS-AS-PR.'02       29/04/02                  24/06-05/07/02      Eugene (Oregon, USA)
SS-SW-LIPARI'02                                     30/06-13/07/02      Lipari (Sicily, Italy)
ISCL'02                   15/05/02                  25/08-30/08/02      Maratea (Italy)
SFMMC'02                  15/05/02    30/06/02      09/09-14/09/02      Bertinoro (Italy)
SS-MOVEP'02               15/05/02                  17/06-21/06/02      Nantes (France)
SS-GP'02                  17/05/02                  26/08-30/08/02      Oxford (UK)
SS-AFP'02                 17/05/02                  19/08-24/08/02      Oxford (UK)
SS-SVDS'02                31/05/02                  28/06-05/07/02      Beirut (Lebanon)
AS-CALCULEMUS'02          01/07/02                  23/09-04/10/02      Pisa (Italy)
FS-AFHP'02                21/07/02    ??/??/02      23/09-27/09/02      Schwarzenberg (Switzerland)
SS-SRV'02                                           19/08-30/08/02      Turku (Finland)
SS-LOGIC-AND-AR'02        01/11/02                  02/12-13/12/02      ANU, Canberra (Australia)
----------------------------------------------------------------------------------------------------------------------
VISU-SCW'03               15/01/03    ??/02/03      14/07-27/07/03      Vienna (Austria)
SS'03 SMS                 21/02/03                  07/07-18/07/03      Montreal (Canada)
EWSCS'03                                            02/03-07/03/03      Palmse (Estonia)
SS'03 SECURITY            23/03/03                  16/06-27/06/03      Eugene, (Oregon, USA)
EEF-FC-SS'03              25/04/03                  19/05-30/05/03      Heeze (The Netherlands)
WSSA'03                   30/04/03                  21/07-31/07/03      Montevideo (Uruguay)
SSSL'04                 a 04/05/04    09/05/04      06/06-19/06/04      Stara Lesna, The High Tatras (Slovakia)
EEF-GC-SS'03              16/05/03    23/05/03      07/07-11/07/03      Edinburgh (Scotland)
WPT-SS'03                 25/05/03                  23/06-04/07/03      Dresden (Germany)
NATOWS'03                 30/05/03    18/06/03      15/09-18/09/03      Bled (Slovenia)
SFMSA'03                  06/06/03    30/06/03      22/09-27/09/03      Bertinoro (Italy)
NASSLLI'03                                          17/06-21/06/03      Bloomington (Indiana, USA)
SS'03 SECURITY                                      16/06-27/06/03      Eugene, (Oregon, USA)
WTP-SS'03                                           23/06-04/07/03      Dresden (Germany)
EMSYS-SS'03                                         30/06-02/07/03      Salzburg (Austria)
AS-MOBCOM'03              27/06/03    11/07/03      01/09-28/09/03      Pisa (Italy)
EVONET-SS'03              30/06/03                  24/08-31/08/03      Parma (Italy) 
ELSNET-SS'03 SLC                                    07/07-18/07/03      Lille (France)
FMS-SS'03               r 15/07/03    25/08/03      31/08-06/09/03      Tunis (Tunisia)
LAR-SS'03                 31/10/03                  01/12-12/12/03      Canberra (Australia)
TCS-SS'04                 31/12/03                  26/04-30/04/04      Luminy/Marseille (France)
----------------------------------------------------------------------------------------------------------------------
EWSCS'04               ar 16/01/04                  29/02-05/03/04      Palmse (Estonia)
SW-SECURITY-SS'04         01/03/04                  17/06-25/06/04      Goodman Creek (Oregon, USA)
CSSB'04                   14/03/04    21/03/04      17/04-24/04/04      Rovereto (Italy)
MGS'04                                              29/03-02/04/04      Nottingham (UK)
CUI-SS'04               r 01/04/04    20/04/04      16/08-21/08/04      Konstanz (Germany)
LASER-SS'04            +r 30/04/04    10/05/04      12/09-18/09/04      Elba (Italy)
PTATP-SS'04             r 10/05/04                  14/06-26/06/04      Dresden (Germany)
COMPLOG/ALP-SS'04       r 14/05/04                  14/06-17/06/04      Richardson (TX, USA)
FOSAD'04                r 31/05/04    15/06/04      06/09-11/09/04      Bertinoro (Italy)
SFM-RT'04'04            r 31/05/04    11/06/04      13/09-18/09/04      Bertinoro (Italy)
NASSLLI'04                                          21/06-25/06/04      Los Angeles (California, USA)
TCS-SEMWEB'04                                       21/06-25/06/04      Aussois (Savoie, France)
XML-SS'04                                           25/07-30/07/04      Oxford (UK)
CTCS-SS'04                01/07/04                  09/08-11/08/04      Copenhagen (Denmark)
AFP-SS'04               r 09/07/04                  14/08-21/08/04      Tartu (Estonia)
CTCS-SS'04                                          09/08-11/08/04      Copenhagen (Denmark)
SS-04-CDP                                           09/08-11/08/04      Menlo Park (California, USA)
MOVEP'04                a 01/10/04                  13/12-17/12/04      Brussels (Belgium)
TECS'05                 r 25/11/04    03/12/04      04/01-08/01/05      Pune (India)
----------------------------------------------------------------------------------------------------------------------
GAMES-SS'05             r 05/01/05    15/01/05      15/03-19/03/05      Bonn (Germany) 
EWSCS'05                r 14/01/05    28/01/05      27/02-04/03/05      Palmse (Estonia)
SFM-MOBY'05             r 16/01/05    31/01/05      26/04-30/04/05      Bertinoro (Italy)
UNILOG'05 SCHOOL                                    26/03-30/03/05      Montreux (Switzerland)
SECUR-SS'05             r 28/02/05                  25/04-29/04/05      Marseille (France) 
RELIABLE-SS'05          r 31/03/05                  20/07-29/07/05      Eugene (Oregon, USA)
PAT-SS'05               r 01/04/05                  06/06-10/06/05      Copenhagen (Denmark)
ICCL-SS'05              r 09/04/05    18/04/05      02/07-17/07/05      Dresden (Germany)
MGS'05                                              11/04-15/04/05      Birmingham (UK)
GTTSE'05                  15/04/05                  04/07-08/07/05      Braga (Portugal)
PVS-NIA'05                                          22/04-25/04/05      Hampton (Virginia, USA)
LASER-SS'05             r 30/05/05                  11/09-17/09/05      Elba (Italyl)
FOSAD'05'05             r 31/05/05    15/06/05      19/09-24/09/05      Bertinoro (Italy)
TYPES-SS'05             r 03/06/05                  15/08-26/08/05      Goteborg (Sweden)
CEFP'05                 r 13/06/05                  04/07-16/07/05      Budapest (Hungary)
CP-SS'05                r 30/06/05                  11/09-15/09/05      Acquafredda di Maratea (Italy)
LIPARI-SS'05                                        10/07-23/07/05      Lipari Island (Italy)
CP-SS'05               +r 10/08/05                  11/09-15/09/05      Acquafredda di Maratea (Italy)
APPSEM-II-SS'05                                     08/09-12/09/05      Frauenchiemsee (Germany)
TBILISI'05 SS                                       19/09-23/09/05      Batumi (Georgia)
ARTIST2-SS'05                                       29/09-02/10/05      Uppsala (Sweden)
ISS'06                  r 31/10/05                  15/01-20/01/06      Gordon's Bay, near Cape Town, (South Africa)
LSS'05                                              05/12-16/12/05      Canberra (Australia)
EASSS'06               ws 17/12/05    23/01/06      17/07-21/07/06      Annecy (France)
----------------------------------------------------------------------------------------------------------------------
SFM'06:HV              +r 28/02/06    10/03/06      22/05-27/05/06      Bertinoro (Italy)
LBTCDS-SS'06            r 01/03/06                  12/07-21/07/06      Eugene (Oregon, USA)
ICCL-SS'06              r 18/03/06                  24/06-08/07/06      Dresden (Germany)
LBTCDS-SS'06           +r 31/03/06                  12/07-21/07/06      Eugene (Oregon, USA)
GC-SS'06                r 01/04/06                  18/06-23/06/06      Samos (Greece)
MGS'06                                              08/04-12/04/06      Leicester (UK)
EPIT'06                 r 21/04/06                  29/05-02/06/06      Ile de Ré (France)
SSDPG'06                                            24/04-27/04/06      Nottingham (UK)
DSS'06                  r 30/04/06    15/05/06      17/07-22/07/06      Lugano (Switzerland)
REASONING-WEB'06        r 30/04/06    07/06/06      04/09-08/09/06      Lisbon (Portugal)
GLOBAN-SS'06            r 01/05/06                  21/08-25/08/06      Lyngby near Copenhagen (Denmark)
SSSW'06                +r 01/05/06                  09/07-15/07/06      Cercedilla near Madrid (Spain)
ESSLLI'06                 14/05/06                  31/07-11/08/06      Malaga (Spain)
LASER-SS'06             r 15/05/06    31/05/06      17/09-23/09/06      Elba (Italy)
MOVEP-SS'06             r 19/05/06                  19/06-23/06/06      Bordeaux (France)
FOSAD'06                r 31/05/06    15/06/06      10/09-16/09/06      Bertinoro (Italy)
ISR'06                 er 31/05/06                  03/07-07/07/06      Nancy (France)
TIC-SS'06               r 31/05/06                  24/07-29/07/06      Bertinoro (Italy)
MAP-SS'06               r 31/05/06                  28/08-02/09/06      Genova (Italy)
VPSM'06                 r 01/06/06                  09/10-13/10/06      Copenhagen (Denmark)
ESSLLI'07              ws 15/06/06    15/09/06      06/08-17/08/07      Dublin (Ireland)
TAROT-SS'06             r 20/06/06                  26/06-01/07/06      Toledo (Spain)
SSSC'06                                             15/07-22/07/06      Beijing (China)
CT-SS'06                                            28/08-01/09/06      Torino (Italy)
TBILISI-SS'06                                       18/09-22/09/06      Tbilisi (Georgia)
LSS'06                  r 27/10/06                  04/12-15/12/06      Canberra (Australia)
----------------------------------------------------------------------------------------------------------------------
EWSCS'07                r 19/01/07    02/02/07      04/03-09/03/07      Palmse (Estonia)
MOTIVES'07              r 20/01/07                  19/02-23/02/07      Trento (Italy)
MARKTOBERDORF'07        r 28/02/07    25/05/07      31/07-12/08/07      Marktoberdorf (Germany)
MGS'07                  r 01/03/07                  16/04-20/04/07      Nottingham, UK
COCOA-SS'07             r 01/03/07                  18/06-22/06/07      Hagenberg-Linz (Austria)
SFM'07:PE'07            r 11/03/07    18/03/07      28/05-02/06/07      Bertinoro (Italy)
LFE-SS'07               r 15/03/07    31/03/07      11/06-29/06/07      Pittsburgh (Pennsylvania, USA)
LIPARI-SS'07            r 31/03/07    14/04/07      08/07-21/07/07      Lipari Island (Italy)
GTTSE'07               er 15/04/07                  02/07-07/07/07      Braga (Portugal)
SYMB-COMP'07           +r 16/04/07                  24/06-06/07/07      Schloss Hagenberg / Linz (Austria)
LASER-SS'07             r 30/04/07                  09/09-15/09/07      Elba (Italy)
LBTIEW-SS'07           +r 30/04/07                  18/07-26/07/07      Eugene (Oregon, USA)
SSCP'07                er 15/05/07                  10/06-15/06/07      Lloret de Mar (Spain)
DCS-SS'07               r 20/05/07    31/05/07      09/07-13/07/07      Lugano (Switzerland)
BCI'07                 +r 22/05/07                  02/07-06/07/07      Trieste (Italy)
FOSAD'07                r 31/05/07    14/06/07      09/09-15/09/07      Bertinoro (Italy)
ISR'07                 er 31/05/07                  02/07-06/07/07      Nancy (France)
CEFP'07                ar 01/06/07                  23/06-30/06/07      Cluj-Napoca (Romania)
TYPES-SS'07             r 25/06/07                  19/08-31/08/07      Bertinoro (Italy)
PSSE'07                 r 20/10/07    20/10/07      03/12-07/12/07      Recife (Pernambuco, Brazil)
LSS'07                 er 02/11/07                  03/12-14/12/07      Canberra (Australia)
PVS-CLASS'07                                        27/11-30/11/07      Hampton (Virginia, USA)
FTCS'08                 r 30/12/07                  31/01-10/02/08      Tehran (Iran)
----------------------------------------------------------------------------------------------------------------------
EWSCS'08                r 18/01/08    01/02/08      02/03-07/03/08      Palmse (Estonia)
LERNET-SS'08           +r 04/02/08                  25/02-01/03/08      Piriapolis (Uruguay)
SCIENCE-TS-SC'08        a 25/02/08    31/03/08      07/07-20/07/08      Hagenberg (Austria)
LASER-SS'08            er 28/02/08                  07/09-13/09/08      Elba Island (Italy)
MGS'08                  r 08/03/08                  14/04-18/04/08      Birmingham (UK)
SFM-BIO'08              r 17/03/08    18/03/08      02/06-07/06/08      Bertinoro (Italy)
FLA-SS'08              er 24/03/08                  21/07-02/08/08      Tarragona (Spain)
MAP-SS'08               a 25/03/08                  11/08-29/08/08      Trieste (Italy)
TIC-SS'08               g 28/03/08                  22/06-27/06/08      Prague (Czech Republic)
ICCL-SS'08              r 01/04/08                  24/08-06/09/08      Dresden (Germany)
AFP-SS'08               r 14/04/08                  19/05-24/05/08      Nijmegen (The Netherlands)
LPCL-SS'08              r 27/04/08    05/05/08      24/07-27/07/08      Las Cruces (New Mexico, USA)
GTAA'08                 r 30/04/08                  08/09-16/09/08      Erice/Sicily (Italy)
ISR'08                  r 01/05/08                  21/07-26/07/08      Obergurgl (Austria)
LTPPL-SS'08            +r 02/05/08                  22/07-30/07/08      Eugene (Oregon, USA)
MOVEP-SS'08             r 12/05/08                  23/06-27/06/08      Orléans (France)
GLOBAN-SS'08           er 15/05/08    26/05/08      22/09-26/09/08      Warsaw (Poland)
LASER-SS'08             r 15/05/08                  07/09-13/09/08      Elba Island (Italy)
FOSAD'08                r 14/06/08    18/06/08      25/08-30/08/08      Bertinoro (Italy)
BNC'08                  r 16/06/08                  20/09-27/09/08      Bertinoro (Italy)
TIC-SS'08                                           22/06-27/06/08      Prague (Czech Republic)
CP-SS'08                                            30/06-04/07/08      St Andrews (Scotland) 
VTSA'08                 r 20/07/08    31/07/08      15/09-19/09/08      Saarbruecken (Germany)
LSS-FS'08               r 19/09/08                  20/10-24/10/08      Copenhagen (Denmark)
PL-SS'08                r 01/10/08    10/10/08      11/11-12/11/08      Punta Arenas (Patagonia, Chile)
VOOP-WS'09              r 05/12/08                  25/01-29/01/09      Viinistu (Estonia)
LL-SS'09                r 19/12/08                  26/01-06/02/09      Canberra (Australia)
----------------------------------------------------------------------------------------------------------------------
EWSCS'09                r 16/01/09    30/01/09      01/03-06/03/09      Palmse (Estonia)
MGS'09                  r 30/01/09                  30/03-03/04/09      Leicester (UK)
CM-SS-LFE'09              15/03/09    31/03/09      08/06-22/06/09      Pittsburgh (Pennsylvania, USA)
LASER-SS'09             r 15/03/09    31/03/09      06/09-12/09/09      Elba Island (Italy)
SFM'09                  r 16/03/09    19/03/09      01/06-06/06/09      Bertinoro (Italy)
GAMES-SS'09             r 28/03/09                  31/05-06/06/09      Bertinoro (Italy)
GTTSE'09               er 03/04/09                  06/07-11/07/09      Braga (Portugal)
OPLS-SS'09              r 17/04/09                  23/07-31/07/09      Eugene (Oregon USA)
SSCT'09                 r 30/04/09    10/05/09      12/08-16/08/09      St. Petersburg (Russia)
RW-SS'09                r 01/05/09    20/05/09      30/08-04/09/09      Brixen-Bressanone / near Bozen-Bolzano (Italy)
CEFP'09                                             25/05-30/05/09      Komarno (Slovakia)
GBGCOD-SS'09                                        08/06-13/06/09      Trento (Italy)
ISLA'10                ws 13/06/09    23/06/09      18/01-29/01/10      Gachibowli (India)
FIT-SS'09                                           14/06-17/06/09      Novi Sad (Serbia)
FOSAD'09                r 15/06/09    18/06/09      30/08-04/09/09      Bertinoro (Italy)
ISR'09                                              22/06-26/06/09      Brasília (Brazil)
AACA-SS'09                                          13/07-17/07/09      Hagenberg (Austria)
ISS-AIPL'09                                         25/08-28/08/09      Edinburgh (Scotland)
VTSA'09                 r 30/08/09    11/09/09      12/10-16/10/09      Nancy (France)
ESSLLI'10              ws 07/09/09    19/10/09      09/08-20/08/10      Copenhagen (Denmark)
NASSLLI'10             ws 15/09/09    01/11/09      21/06-26/06/10      Bloomington (Indiana, USA)
BASICS-SS'09                                        11/10-16/10/09      Shanghai (China)
SEFM-SS'09              r 15/10/09    21/10/09      16/11-22/11/09      Hanoi (Vietnam)
MODAL-LOGIC-AS'09       r 23/10/09                  10/11-11/11/09      Copenhagen (Denmark)
LSS'09                  r 06/11/09                  07/12-18/12/09      Canberra (Australia)
GSLL-WS'10              r 14/12/09                  08/02-12/02/10      Lyon (France)
----------------------------------------------------------------------------------------------------------------------
EWSCS'10              a/r 15/01/10    29/10/10      28/02-05/03/10      Palmse (Estonia)
RUSSIR'10              pr 14/02/10    01/03/10      13/09-18/09/10      Voronez (Russia)
SSGIP'10                r 19/02/10                  22/03-26/03/10      Oxford (UK)
MIDAS'10                r 22/02/10                  08/08-14/08/10      St. Petersburg (Russia)
JAIST-FSSV'10                                       01/03-05/03/10      Nomi + Kanazawa, Ishikawa (Japan)
SYMB-COMP-TS'10         r 01/03/10    21/03/10      28/06-09/07/10      Hagenberg (Austria)
MGS'10                  r 01/03/10                  28/03-01/04/10      Sheffield (UK)
QMC-PHD-SCHOOL'10                                   02/03-05/03/10      Copenhagen (Denmark)
MIDAS'10                r 15/03/10    01/05/10      08/08-14/08/10      St. Petersburg (Russia)
SFM-QAPL'10           app 29/03/10    31/03/10      21/06-26/06/10      Bertinoro (Italy)
LASER-SS'10             r 31/03/10    15/04/10      05/09-11/09/10      Elba Island (Italy)
SERENE-SS'10            r 13/04/10                  13/04-14/04/10      London (UK)
LIPARI-SCHOOL-BCSMC'10  r 20/04/10    30/04/10      10/07-17/07/10      Minori (Amalfi Coast, Italy)
SFM-QAPL'10             r 20/04/10                  21/06-26/06/10      Bertinoro (Italy)
ISISP-SS'10             r 30/04/10    31/05/10      26/07-30/07/10      Beijing (China)
UOPL-SS'10             +r 30/04/10                  15/06-25/06/10      Eugene (Oregon, USA)
USCS-AFP'10             r 01/05/10                  16/08-27/08/10      Utrecht (The Netherlands)
ISR'10                  r 01/05/10                  03/07-08/07/10      Utrecht (The Netherlands)
TIC'10                                              23/05-30/05/10      Bangalore (India)
RW-SS'10                a 16/05/10    30/05/10      30/08-03/09/10      Dresden (Germany)
QICS'10                                             24/05-28/05/10      Oxford (UK)
MOVEP-SS'10             r 01/06/10                  28/06-02/07/10      Aachen  (Germany)
RUSSIR'10               r 01/06/10                  13/09-18/09/10      Voronez (Russia)
COQ-SS'10                                           07/06-11/06/10      Paris (France)
ESSLLI'11              ws 14/06/10    15/09/10      01/08-12/08/11      Ljubljana (Slovenia)
ICCL-SS'10              r 15/06/10                  29/08-11/09/10      Dresden (Germany)
PETRI-NET-COURSE'10                                 20/06-22/06/10      Braga (Minho, Portugal)
FOSAD'10                r 30/06/10    07/07/10      06/09-11/09/10      Bertinoro (Italy)
VTSA'10                 r 23/07/10    06/08/10      06/09-10/09/10      Luxembourg (Luxembourg)
SEFM-SCHOOL'10          r 30/07/10    05/08/10      06/09-10/09/10      Pisa (Italy)
SSFRR'10                                            14/08-15/08/10      Edinburgh (Scotland, UK)
ADAPT-SS'10             r 20/08/10                  26/09-02/10/10      Koblenz (Germany)
CHR-SS'10                                           30/08-03/09/10      Leuven (Belgium)
LSS'10                  r 05/11/10                  06/12-17/12/10      Canberra (Australia)
SSFLA'11                r 30/11/10                  18/04-22/04/11      Tarragona (Spain)
ISCL'11                 r 15/12/10    20/01/11      25/09-28/09/11      Bertinoro (Italy)
EWSCS'11                r 14/01/11                  27/02-04/03/11      Palmse (Estonia)
DALT'11                                             10/04-15/04/11      Bertinoro (Italy)


Last modified: Mon Nov 29 11:48:18 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