European Association for Theoretical Computer Science
La European Association for Theoretical Computer Science (EATCS[1]) è un'organizzazione internazionale con un focus europeo, fondata nel 1972. Il suo scopo è facilitare lo scambio di idee e risultati tra scienziati informatici teorici e stimolare la cooperazione tra i teorici e la comunità pratica in informatica.
Attività
Le principali attività dell'EATCS sono:
- Organizzazione della conferenza International Colloquium on Automata, Languages and Programming (ICALP)[2];
- Pubblicazione di una serie di monografie[3][4] e testi[5] sull'informatica teorica;
- Pubblicazione del Bulletin of the EATCS;
- Pubblicazione della rivistaTheoretical Computer Science[2];
- Pubblicazione della rivista Fundamenta Informaticae.
EATCS Award
Ogni anno, il EATCS Award[6] viene assegnato in riconoscimento di una brillante carriera in informatica teorica. Il primo premio è stato assegnato a Richard Karp nel 2000; l'elenco completo dei vincitori è riportato di seguito:
| Anno | Laureato | Città |
|---|---|---|
| 2018 | Noam Nisan | ICALP (Praga) |
| 2017 | Éva Tardos | ICALP (Varsavia) |
| 2016 | Dexter Kozen | ICALP (Roma) |
| 2015 | Christos Papadimitriou | ICALP (Kyoto) |
| 2014 | Gordon Plotkin | ICALP (Copenaghen) |
| 2013 | Martin Dyer | ICALP (Riga) |
| 2012 | Moshe Vardi | ICALP (Warwick) |
| 2011 | Boris Trakhtenbrot | ICALP (Zurigo) |
| 2010 | Kurt Mehlhorn | ICALP (Bordeaux) |
| 2009 | Gérard Huet | ICALP (Rodi) |
| 2008 | Leslie G. Valiant | ICALP (Reykjavík) |
| 2007 | Dana S. Scott | ICALP (Breslavia) |
| 2006 | Mike Paterson | ICALP (Venezia) |
| 2005 | Robin Milner | ICALP (Lisbona) |
| 2004 | Arto Salomaa | ICALP (Turku) |
| 2003 | Grzegorz Rozenberg | ICALP (Eindhoven) |
| 2002 | Maurice Nivat | ICALP (Malaga) |
| 2001 | Corrado Böhm | ICALP (Creta) |
| 2000 | Richard Karp | ICALP (Ginevra) |
Presburger Award
A partire dal 2010, l'European Association of Theoretical Computer Science (EATCS) conferisce ogni anno alla conferenza ICALP il Presburger Award a un giovane scienziato (in casi eccezionali a diversi giovani scienziati) per contributi eccezionali in informatica teorica (TCS), documentati da un articolo pubblicato o una serie di articoli pubblicati. Il premio prende il nome da Mojżesz Presburger che ha compiuto il suo lavoro rivoluzionario sulla decidibilità della teoria dell'aggiunta (che oggi si chiama aritmetica di Presburger) come studente nel 1929. Di seguito è riportato l'elenco completo dei vincitori::
| Anno | Laureato | Città |
|---|---|---|
| 2018 | Aleksander Mądry | ICALP (Praga) |
| 2017 | Alexandra Silva | ICALP (Varsavia) |
| 2016 | Mark Braverman | ICALP (Roma) |
| 2015 | Xi Chen | ICALP (Kyoto) |
| 2014 | David Woodruff | ICALP (Copenhagen) |
| 2013 | Erik Demaine | ICALP (Riga) |
| 2012 | Venkatesan Guruswami, Mihai Patrascu | ICALP (Warwick) |
| 2011 | Patricia Bouyer-Decitre | ICALP (Zurigo) |
| 2010 | Mikołaj Bojańczyk | ICALP (Bordeaux) |
EATCS Fellows
Il EATCS Fellows Program[7] è stato istituito dall'associazione per riconoscere i risultati scientifici nel campo dell'Informatica teorica dei membri EATCS. Lo status di Fellow è conferito dal comitato di selezione Fellow della EATCS a una persona che ha una comprovata esperienza di leadership intellettuale e organizzativa all'interno della comunità EATCS. Ci si aspetta che i borsisti siano "cittadini modello" della comunità TCS, contribuendo a sviluppare la posizione di TCS oltre le frontiere della comunità:
| Laureato | Anno riconoscimento |
|---|---|
| Jiri Adamek | 2018 |
| Susanne Albers | 2014 |
| Giorgio Ausiello | 2014 |
| Wilfried Brauer | 2014 |
| Mariangiola Dezani-Ciancaglini | 2015 |
| Josep Diaz | 2017 |
| Herbert Edelsbrunner | 2014 |
| Zoltán Ésik | 2016 |
| Mike Fellows | 2014 |
| Yuri Gurevich | 2014 |
| David Harel | 2016 |
| Monika Henzinger | 2014 |
| Thomas A. Henzinger | 2015 |
| Giuseppe F. Italiano | 2016 |
| Dexter Kozen | 2015 |
| Marta Kwiatkowska | 2017 |
| Stefan Leonardi | 2018 |
| Kurt Mehlhorn | 2016 |
| Jean-Eric Pin | 2014 |
| Paul Spirakis | 2014 |
| Aravind Srinivasan | 2017 |
| Wolfgang Thomas | 2014 |
| Moshe Y. Vardi | 2015 |
| Moti Yung | 2017 |
Testi in informatica teorica
Bollettino EATCS
Tre numeri del bollettino sono pubblicati annualmente, rispettivamente a febbraio, giugno e ottobre. Il bollettino è un mezzo per la pubblicazione rapida e un'ampia distribuzione di materiale come:
- l'importanza di EATCS;
- informazioni sull'ICALP;
- contributi tecnici;
- colonne;
- sondaggi e tutorial;
- relazioni su conferenze;
- calendario degli eventi;
- relazioni su dipartimenti e istituti di informatica;
- elenchi di relazioni tecniche e pubblicazioni;
- recensioni di libri;
- problemi e soluzioni;
- abstract di tesi di dottorato;
- informazioni sui visitatori di varie istituzioni;
- contributi divertenti e immagini relative all'informatica.
Dal 2013 il suo redattore capo è stato Kazuo Iwama.
EATCS Young Researchers Schools
A partire dal 2014, l'European Association for Theoretical Computer Science (EATCS) ha istituito una serie di scuole per giovani ricercatori su argomenti di TCS. Segue una breve storia delle scuole.
| Anno | Tipo | Città |
|---|---|---|
| 2017 | ProbProgSchool 2017 - Prima scuola sui fondamenti della programmazione e dei sistemi software. Programmazione probabilistica | Braga, Portogallo |
| 2015 | Seconda EATCS Young Researchers School - Comprensione della complessità e della concorrenza attraverso la topologia dei dati | Camerino, Italia |
| 2014 | Prima EATCS Young Researchers School - Automata, logica e giochi | Telč, Repubblica Ceca |
Note
- ^ What does EATCS stand for? European Association of Theoretical Computer Science, Acronym Finder
- ^ a b Brauer, Ute; Wilfried Brauer: European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS
- ^ Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag
- ^ Monographs in Theoretical Computer Science. An EATCS Series, DBLP
- ^ Texts in Theoretical Computer Science. An EATCS Series, Springer-Verlag
- ^ EATCS Award, European Association for Theoretical Computer Science
- ^ EATCS Fellows, European Association for Theoretical Computer Science
Collegamenti esterni
| Controllo di autorità | VIAF (EN) 133151241 · ISNI (EN) 0000 0001 2286 6110 · LCCN (EN) n81058302 · GND (DE) 1024519-4 · J9U (EN, HE) 987007601862105171 |
|---|
