EATCS
European Association for Theoretical Computer Science (z anglického "European Association for Theoretical Computer Science"), zkr. EATCS [1] je mezinárodní organizace s evropskou orientací, založená v roce 1972. Jeho účelem je podporovat výměnu myšlenek a výsledků práce mezi teoretiky informatiky a stimulovat interakci mezi teoretiky a odborníky v oblasti informatiky .
Hlavní činnosti organizace EATCS jsou:
- Organizace konference ICALP („Mezinárodní kolokvium o automatech, jazycích a programování“, z angličtiny „Mezinárodní kolokvium o automatech, jazycích a programování“); [2]
- Vydání série monogramů [3] [4] a článků [5] o teoretické informatice ;
- Vydávání Bulletinu EATCS ;
- Edice časopisu Theoretical Informatics ; [2]
- Edice časopisu Fundamenta Informaticae .
EATCS Award
Asociace každoročně uděluje cenu EATCS [6] jako uznání za skvělou kariéru v teoretické informatice. První cena byla udělena Richardu Karpovi v roce 2000; Kompletní seznam vítězů je níže:
| Rok | Laureát | Místo |
|---|---|---|
| 2018 | Noam Nisan (Noam Nisan) | ICALP ( Praha ) |
| 2017 | Eva Tardosová | ICALP ( Varšava ) |
| 2016 | Dexter Kozen (Dexter Kozen) | ICALP ( Řím ) |
| 2015 | Christos Papadimitriou | ICALP ( Kjóto ) |
| 2014 | Gordon _ | ICALP ( Kodaň ) |
| 2013 | Martin Dyer (Martin Dyer) | ICALP ( Riga ) |
| 2012 | Moše Vardi | ICALP ( Warwick ) |
| 2011 | Boris Trakhtenbrot | ICALP ( Curych ) |
| 2010 | Kurt Mehlhorn (Kurt Mehlhorn) | ICALP ( Bordeaux ) |
| 2009 | Gerard Huet | ICALP ( Rhodos ) |
| 2008 | Leslie G. Valiant | ICALP ( Reykjavík ) |
| 2007 | Dana S. Scottová | ICALP ( Wroclaw ) |
| 2006 | Patterson, Mike Stewart (Mike Paterson) | ICALP ( Benátky ) |
| 2005 | Robin Milner | ICALP ( Lisabon ) |
| 2004 | Arto Salomaa | ICALP ( turečtina ) |
| 2003 | Grzegorz Rozenberg (Grzegorz Rozenberg) | ICALP ( Eindhoven ) |
| 2002 | Maurice Nivat | ICALP ( Málaga ) |
| 2001 | Corrado Böhm | ICALP ( Kréta ) |
| 2000 | Richard Karp | ICALP ( Ženeva ) |
Pressburger Prize
Od roku 2010 uděluje Evropská asociace pro teoretickou informatiku (EATCS) během konference ICALP Presburgerovu cenu mladému vědci (ve zvláštních případech několika mladým vědcům) za mimořádný přínos k teoretické informatice, zdokumentovaný zveřejněným dílem nebo sérií děl. Cena je pojmenována po Mojzeszi Presburgerovi , který jako student napsal v roce 1929 přelomovou práci o rozhoditelnosti teorie sčítání (dnes nazývanou Presburgerova aritmetika ). Kompletní seznam laureátů je níže:
| Rok | Laureát | Místo |
|---|---|---|
| 2018 | Alexander Madry (Aleksander Madry) | ICALP ( Praha ) |
| 2017 | Alexandra Silva (Alexandra Silva) | ICALP ( Varšava ) |
| 2016 | Mark Braverman | ICALP ( Řím ) |
| 2015 | Xi Chen (Xi Chen) | ICALP ( Kjóto ) |
| 2014 | David Woodruff (David Woodruff) | ICALP ( Kodaň ) |
| 2013 | Erik Demaine (Erik Demaine) | ICALP ( Riga ) |
| 2012 | Venkatesan Guruswami (Venkatesan Guruswami), Mihai Patrascu (Mihai Patrascu) | ICALP ( Warwick ) |
| 2011 | Patricia Bouyer-Decitre (Patricia Bouyer-Decitre) | ICALP ( Curych ) |
| 2010 | Mikolaj Boyanczyk (Mikołaj Bojańczyk) | ICALP ( Bordeaux ) |
Čestní členové vědecké komunity EATCS
Program čestného členství EATCS [7] byl iniciován asociací s cílem ocenit vynikající členy EATCS za jejich vědecké příspěvky k teoretické informatice. Status čestného člena uděluje zvláštní komise EATCS, pokud má nominovaný dostatečný počet úspěchů v intelektuální a organizační činnosti komunity EATCS. Čestnými členy jsou „referenční občané“ komunity TCS, kteří pomáhají zvyšovat váhu teoretické informatiky ve společnostech mimo komunitu TCS.
| Rok nominace | Čestní členové vědecké komunity EACTS |
|---|---|
| 2019 | Fedor Fomin (Fedor Fomin), Rocco de Nicola (Rocco de Nicola), Dana Ron (Dana Ron) |
| 2018 | Jiří Adámek (Jiri Adámek), Stefan Leonardi (Stefan Leonardi) |
| 2017 | Josep Diaz , Marta Kwiatkowska Aravind Srinivasan Moti |
| 2016 | Zoltán Esik David Harel Giuseppe F. Italiano Kurt |
| 2015 | Mariangiola Dezani-Ciancaglini A. Henzinger Dexter Kožen , Moshe Y. Vardi |
| 2014 | Susanne Albers Giorgio Ausiello Wilfried Brauer Herbert Edelsbrunner Mike , Yuri Gurevich , Monika , Jean- Eric , Paul Wolfgang Thomas |
Texty prací z teoretické informatiky
Bulletin EATCS
Ročně vycházejí tři vydání zpravodaje – v únoru, červnu a říjnu. Bulletin je prostředkem pro rychlou publikaci a široké pokrytí následujících materiálů:
- různé otázky EATCS;
- informace o aktuálním ICALP;
- technické předměty;
- nadpisy;
- průzkumy a výhody;
- zprávy z konferencí;
- kalendář akcí;
- zpráva o katedrách a ústavech informatiky;
- seznamy technických zpráv a publikací;
- recenze knih;
- otevřené problémy a řešení;
- anotace doktorských disertačních prací;
- informace o návštěvnících různých institucí; a
- zábavné články a obrázky vztahující se k počítačové vědě.
Od roku 2013 je jeho šéfredaktorem Kazuo Iwama (Kazuo Iwama).
EATCS Young Explorers School
Od roku 2014 založila Evropská asociace pro teoretickou informatiku (EATCS) řadu škol pro mladé výzkumníky na různá témata v informatice. Níže je stručná historie školy:
| Rok | Popis | Místo |
|---|---|---|
| 2017 | ProbProgSchool 2017 - 1. škola základů programování a softwarových systémů. Pravděpodobnostní programování. | Braga , Portugalsko |
| 2015 | 2nd EATCS Young Researchers School - vysvětlující koncepty výpočetní složitosti a souběžnosti prostřednictvím datové topologie. | Camerino , Itálie |
| 2014 | 1. škola mladých výzkumníků EATCS - Automaty, logika a hry | Telč , Česká republika |
Poznámky
- ↑ Co znamená zkratka EATCS? European Association of Theoretical Computer Science Archived 14. ledna 2019 na Wayback Machine , vyhledávání zkratek archivováno 2. října 2019 na Wayback Machine .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : European Association for Theoretical Computer Science / O asociaci / EATCS Silver Jubilee Archived 13. února 2019 na Wayback Machine
- ↑ Monogramy z teoretické informatiky. Řada EATCS Archivována 13. února 2019 na Wayback Machine , Springer-Verlag .
- ↑ Monogramy o teretické informatice. EATCS Series Archivováno 24. září 2014 na Wayback Machine , DBLP .
- ↑ Texty prací z teoretické informatiky. Řada EATCS Archivována 13. února 2019 na Wayback Machine , Springer-Verlag .
- ↑ EATCS Award Archivováno 26. ledna 2011 na Wayback Machine , Evropské asociaci pro teoretickou informatiku.
- ↑ Členové EATCS Archivováni 29. srpna 2016 na Wayback Machine European Association for Theoretical Computer Science.
Odkazy
- eatcs.org - oficiální stránky EATCS
 |
| |||
|---|---|---|---|---|