Evropská asociace pro teoretickou informatiku - European Association for Theoretical Computer Science
Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace.Ledna 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
The Evropská asociace pro teoretickou informatiku (EATCS[1]) je mezinárodní organizace s a evropský focus, založena v roce 1972. Jejím cílem je usnadnit výměnu názorů a výsledků mezi teoretickými informatiky a stimulovat spolupráci mezi teoretickou a praktickou komunitou v počítačová věda.
Mezi hlavní činnosti EATCS patří:
- Organizace ICALP, Mezinárodní kolokvium o automatech, jazycích a programování;[2]
- Vydání série monografií[3][4] a texty[5] na teoretická informatika;
- Zveřejnění Bulletin EATCS;
- Publikace časopisu Teoretická informatika;[2]
- Publikace časopisu Fundamenta Informaticae.
Cena EATCS
Každý rok Cena EATCS[6] je udělován jako uznání významné kariéry v teoretické informatice. První ocenění bylo přiděleno Richard Karp v roce 2000; kompletní seznam vítězů je uveden níže:
Rok | Oceněný | Místo |
---|---|---|
2019 | Thomas Henzinger | ICALP (Patras ) |
2018 | Noam Nisan | ICALP (Praha ) |
2017 | Éva Tardos | ICALP (Varšava ) |
2016 | Dexter Kozen | ICALP (Řím ) |
2015 | Christos Papadimitriou | ICALP (Kjóto ) |
2014 | Gordon Plotkin | ICALP (Kodaň ) |
2013 | Martin Dyer | ICALP (Riga ) |
2012 | Moshe Vardi | ICALP (Warwick ) |
2011 | Boris Trakhtenbrot | ICALP (Curych ) |
2010 | Kurt Mehlhorn | ICALP (Bordeaux ) |
2009 | Gérard Huet | ICALP (Rhodos ) |
2008 | Leslie G. Valiant | ICALP (Reykjavík ) |
2007 | Dana S. Scott | ICALP (Wroclaw ) |
2006 | Mike Paterson | ICALP (Benátky ) |
2005 | Robin Milner | ICALP (Lisboa ) |
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 (Ženeva ) |
Presburger Award
Počínaje rokem 2010 uděluje Evropská asociace teoretické informatiky (EATCS) každoročně na konferenci ICALP cenu Presburger Award mladému vědci (ve výjimečných případech několika mladým vědcům) za vynikající příspěvky v teoretické informatice, dokumentované publikovaným příspěvkem nebo série publikovaných prací. Cena je pojmenována po Mojzeszovi Presburgerovi, který jako student v roce 1929 dokončil svou průkopnickou práci na rozhodovatelnosti teorie sčítání (která se dnes nazývá Presburgerova aritmetika). Kompletní seznam vítězů[7] je uveden níže:
Rok | Oceněný | Místo |
---|---|---|
2020 | Dmitrij Zhuk | ICALP (Saarbrücken / online) |
2019 | Karl Bringmann, Kasper Green Larsen | ICALP (Patras ) |
2018 | Aleksander Mądry | ICALP (Praha ) |
2017 | Alexandra Silva | ICALP (Varšava ) |
2016 | Mark Braverman | ICALP (Řím ) |
2015 | Xi Chen | ICALP (Kjóto ) |
2014 | David Woodruff | ICALP (Kodaň ) |
2013 | Erik Demaine | ICALP (Riga ) |
2012 | Venkatesan Guruwami, Mihai Patrascu | ICALP (Warwick ) |
2011 | Patricia Bouyer-Decitre | ICALP (Curych ) |
2010 | Mikołaj Bojańczyk | ICALP (Bordeaux ) |
Členové EATCS
The Program EATCS Fellows[8] byla založena Asociací k uznání vynikajících členů EATCS za jejich vědecké úspěchy v oblasti teoretické informatiky. Status Fellow uděluje komise pro výběr členů EATCS osobě, která má pověst intelektuálního a organizačního vedení v komunitě EATCS. Od členů se očekává, že budou „vzorovými občany“ komunity TCS, kteří pomohou rozvíjet postavení TCS za hranicemi komunity.
Oceněný | Uznávaný rok |
---|---|
Jiří Adamek | 2018 |
Susanne Albers | 2014 |
Giorgio Ausiello | 2014 |
Wilfried Brauer | 2014 |
Pierpaolo Degano | 2020 |
Mariangiola Dezani-Ciancaglini | 2015 |
Josep Diaz | 2017 |
Herbert Edelsbrunner | 2014 |
Zoltán Ésik | 2016 |
Mike Fellows | 2014 |
Fedor Fomin | 2019 |
Jurij Gurevič | 2014 |
Mohammad Hajiaghayi | 2020 |
Magnús M. Halldórsson | 2020 |
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 |
Rocco de Nicola | 2019 |
Jean-Éric Pin | 2014 |
Dana Ron | 2019 |
Paul Spirakis | 2014 |
Aravind Srinivasan | 2017 |
Wolfgang Thomas | 2014 |
Moshe Y. Vardi | 2015 |
Moti Yung | 2017 |
Texty v teoretické informatice
Tato sekce potřebuje expanzi. Můžete pomoci přidávat k tomu. (Září 2011) |
Bulletin EATCS
Ročně vycházejí tři čísla Bulletinu, která vycházejí v únoru, červnu a říjnu. Bulletin je médium pro rychlou publikaci a širokou distribuci materiálů, jako jsou:
- Na EATCS záleží;
- informace o aktuálním ICALP;
- technické příspěvky;
- sloupy;
- průzkumy a konzultace;
- zprávy o konferencích;
- kalendář akcí;
- zprávy o odděleních a ústavech informatiky;
- seznamy technických zpráv a publikací;
- recenze knih;
- otevřené problémy a řešení;
- abstrakty disertačních prací;
- informace o návštěvnících v různých institucích; a
- zábavné příspěvky a obrázky související s informatikou.
Od roku 2013 je jeho šéfredaktorem Kazuo Iwama.
Školy mladých vědců EATCS
Počínaje rokem 2014 Evropská asociace pro teoretickou informatiku (EATCS) založila řadu škol mladých vědců na témata TCS. Následuje krátká historie škol.
Rok | Typ | Místo |
---|---|---|
2017 | ProbProgSchool 2017 - 1. škola základů programovacích a softwarových systémů. Pravděpodobnostní programování | Braga, Portugalsko |
2015 | 2. škola mladých vědců EATCS - Porozumění KOMPLEXNOSTI a KONCURENCI prostřednictvím TOPOLOGIE DAT | Camerino, Itálie |
2014 | 1. škola mladých vědců EATCS - automaty, logika a hry | Telč, Česká republika |
Viz také
Reference
- ^ Co znamená EATCS? Evropská asociace teoretické informatiky, Vyhledávač zkratek.
- ^ A b Brauer, Ute; Brauer, Wilfried: Evropská asociace pro teoretickou informatiku / O asociaci / Stříbrné výročí EATCS
- ^ Monografie v teoretické informatice. Řada EATCS, Springer-Verlag.
- ^ Monografie v teoretické informatice. Řada EATCS, DBLP.
- ^ Texty v teoretické informatice. Řada EATCS, Springer-Verlag.
- ^ Cena EATCS, Evropská asociace pro teoretickou informatiku.
- ^ "Presburger Award". Evropská asociace pro teoretickou informatiku. Citováno 2020-07-23.
- ^ Členové EATCS Evropská asociace pro teoretickou informatiku.