L'Associazione europea per l'informatica teorica (EATCSWhat does EATCS stand for? European Association of Theoretical Computer Science, Acronym Finder) è 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à dell'informatica pratica.
Attività Le principali attività dell'EATCS sono: Organizzazione della conferenza International Colloquium on Automata, Languages and Programming (ICALP)Brauer, Ute; Wilfried Brauer: European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS; Pubblicazione di una serie di monografieMonographs in Theoretical Computer Science. An EATCS Series, Springer-VerlagMonographs in Theoretical Computer Science. An EATCS Series , DBLP e testiTexts in Theoretical Computer Science. An EATCS Series, Springer-Verlag sull'informatica teorica; Pubblicazione del Bulletin of the EATCS; Pubblicazione della rivistaTheoretical Computer Science; Pubblicazione della rivista Fundamenta Informaticae.
EATCS Award Ogni anno, il EATCS AwardEATCS Award, European Association for Theoretical Computer Science viene assegnato in riconoscimento di una brillante carriera nell'informatica teorica. Il primo premio è stato assegnato a Richard Karp nel 2000; l'elenco completo dei vincitori è riportato di seguito: AnnoLaureatoCittà2018Noam NisanICALP (Praga)2017Éva TardosICALP (Varsavia)2016Dexter Kozen ICALP (Roma)2015Christos PapadimitriouICALP (Kyoto)2014Gordon PlotkinICALP (Copenaghen)2013Martin DyerICALP (Riga)2012Moshe VardiICALP (Warwick)2011Boris TrakhtenbrotICALP (Zurigo)2010Kurt MehlhornICALP (Bordeaux)2009Gérard HuetICALP (Rodi)2008Leslie G. ValiantICALP (Reykjavík)2007Dana S. ScottICALP (Breslavia)2006Mike PatersonICALP (Venezia)2005Robin MilnerICALP (Lisbona)2004Arto SalomaaICALP (Turku)2003Grzegorz RozenbergICALP (Eindhoven)2002Maurice NivatICALP (Malaga)2001Corrado BöhmICALP (Creta)2000Richard KarpICALP (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 nell'informatica teorica (TCS), documentati da un articolo pubblicato o da 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 che oggi si chiama aritmetica di Presburger, come studente nel 1929. Di seguito è riportato l'elenco completo dei vincitori:: AnnoLaureatoCittà2018Aleksander MądryICALP (Praga)2017Alexandra SilvaICALP (Varsavia)2016Mark BravermanICALP (Roma)2015Xi ChenICALP (Kyoto)2014David WoodruffICALP (Copenaghen)2013Erik DemaineICALP (Riga)2012Venkatesan Guruswami, Mihai PatrascuICALP (Warwick)2011Patricia Bouyer-DecitreICALP (Zurigo)2010Mikołaj BojańczykICALP (Bordeaux)
EATCS Fellows Il Programma EATCS FellowsEATCS Fellows, European Association for Theoretical Computer Science è 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à, contribuendo a sviluppare la posizione di TCS oltre le frontiere della comunità: LaureatoAnno riconoscimentoJiri Adamek2018Susanne Albers2014Giorgio Ausiello2014Wilfried Brauer2014Mariangiola Dezani-Ciancaglini2015Josep Diaz2017Herbert Edelsbrunner2014Zoltán Ésik2016Mike Fellows2014Yuri Gurevich2014David Harel2016Monika Henzinger2014Thomas A. Henzinger2015Giuseppe F. Italiano2016Dexter Kozen2015Marta Kwiatkowska2017Stefan Leonardi2018Kurt Mehlhorn2016Jean-Eric Pin2014Paul Spirakis2014Aravind Srinivasan2017Wolfgang Thomas2014Moshe Y. Vardi2015Moti Yung2017
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; 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. AnnoTipoCittà2017ProbProgSchool 2017 - Prima scuola sui fondamenti della programmazione e dei sistemi software. Programmazione probabilisticaBraga, Portogallo2015Seconda EATCS Young Researchers School - Comprensione della complessità e della concorrenza attraverso la topologia dei datiCamerino, Italia2014Prima EATCS Young Researchers School - Automata, logica e giochiTelč, Repubblica Ceca
Note
Voci correlate Presburger Award
Altri progetti
Collegamenti esterni
Categoria:Teorie dell'informatica