EATCS
European Association for Theoretical Computer Science (az angol "European Association for Theoretical Computer Science" szóból), röv. Az EATCS [1] egy európai orientációjú nemzetközi szervezet , amelyet 1972-ben alapítottak. Célja, hogy elősegítse az ötletek és a munka eredményeinek cseréjét a számítástechnikai teoretikusok között, valamint ösztönözze az elméleti szakemberek és a gyakorlati szakemberek közötti interakciót a számítástechnikában .
Az EATCS szervezet fő tevékenységei a következők:
- Az ICALP konferencia szervezése („Nemzetközi Kollokvium Automatákról, Nyelvekről és Programozásról”, angolul „Nemzetközi kollokvium automatákról, nyelvekről és programozásról”); [2]
- Az elméleti számítástechnikával foglalkozó monogramok [3] [4] és tanulmányok [5] sorozatának kiadása ;
- Az EATCS Bulletin kiadása ;
- Az Theoretical Informatics folyóirat kiadása ; [2]
- A Fundamenta Informaticae folyóirat kiadása .
EATCS-díj
Az egyesület minden évben átadja az EATCS [6] díjat az elméleti számítástechnikában elért ragyogó karrier elismeréseként. Az első díjat Richard Karp kapta 2000-ben; A nyertesek teljes listája alább található:
| Év | díjazott | Hely |
|---|---|---|
| 2018 | Noam Nisan (Noam Nisan) | ICALP ( Prága ) |
| 2017 | Tardos Éva | ICALP ( Varsó ) |
| 2016 | Dexter Kozen (Dexter Kozen) | ICALP ( Róma ) |
| 2015 | Christos Papadimitriou | ICALP ( Kiotó ) |
| 2014 | Gordon _ | ICALP ( Koppenhága ) |
| 2013 | Martin Dyer (Martin Dyer) | ICALP ( Riga ) |
| 2012 | Moshe Vardi | ICALP ( Warwick ) |
| 2011 | Borisz Trakhtenbrot | ICALP ( Zürich ) |
| 2010 | Kurt Mehlhorn (Kurt Mehlhorn) | ICALP ( Bordeaux ) |
| 2009 | Gerard Huet | ICALP ( Rhodes ) |
| 2008 | Leslie G. Valiant | ICALP ( Reykjavík ) |
| 2007 | Dana S. Scott | ICALP ( Wroclaw ) |
| 2006 | Patterson, Mike Stewart (Mike Paterson) | ICALP ( Velence ) |
| 2005 | Robin Milner | ICALP ( Lisszabon ) |
| 2004 | Arto Salomaa | ICALP ( Turku ) |
| 2003 | Grzegorz Rozenberg (Grzegorz Rozenberg) | ICALP ( Eindhoven ) |
| 2002 | Maurice Nivat | ICALP ( Málaga ) |
| 2001 | Corrado Böhm | ICALP ( Kréta ) |
| 2000 | Richard Karp | ICALP ( Genf ) |
Pressburger-díj
2010 óta az Európai Elméleti Számítástudományi Szövetség (EATCS) az ICALP konferenciáján a Presburger-díjat ] adományozza egy fiatal tudósnak (speciális esetekben több fiatal tudósnak) az elméleti számítástechnikához való kiemelkedő hozzájárulásáért, dokumentáltan. egy megjelent mű vagy műsorozat által. A díjat Mojzesz Presburgerről nevezték el , aki diákként 1929-ben úttörő munkát írt az összeadáselmélet (ma Presburger aritmetika ) eldönthetőségéről. A díjazottak teljes listája alább olvasható:
| Év | díjazott | Hely |
|---|---|---|
| 2018 | Alexander Madry (Aleksander Madry) | ICALP ( Prága ) |
| 2017 | Alexandra Silva (Alexandra Silva) | ICALP ( Varsó ) |
| 2016 | Mark Braverman | ICALP ( Róma ) |
| 2015 | Xi Chen (Xi Chen) | ICALP ( Kiotó ) |
| 2014 | David Woodruff (David Woodruff) | ICALP ( Koppenhága ) |
| 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 ( Zürich ) |
| 2010 | Mikolaj Boyanczyk (Mikołaj Bojańczyk) | ICALP ( Bordeaux ) |
Az EATCS tudományos közösség tiszteletbeli tagjai
Az EATCS Tiszteletbeli Tagsági Programot [7] a szövetség kezdeményezte, hogy elismerje a kiemelkedő EATCS-tagokat az elméleti számítástechnikában végzett tudományos hozzájárulásukért. A tiszteletbeli tag státuszt egy külön EATCS bizottság ítéli oda, ha a jelölt az EATCS közösség szellemi és szervezési tevékenységében megfelelő számú eredménnyel rendelkezik. A tiszteletbeli tagok a TCS közösség „referenciapolgárai”, segítve az elméleti számítástechnika súlyának növelését a TCS közösségen kívüli társadalmakban.
| A jelölés éve | Az EACTS tudományos közösség tiszteletbeli tagjai |
|---|---|
| 2019 | Fedor Fomin (Fedor Fomin), Rocco de Nicola (Rocco de Nicola), Dana Ron (Dana Ron) |
| 2018 | Jiri Adamek (Jiri Adamek), 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 Kozen , Moshe Y. Vardi |
| 2014 | Susanne Albers Giorgio Ausiello Wilfried Brauer Herbert Edelsbrunner Mike , Jurij Gurevich , Monika , Jean - Eric , Paul Wolfgang Thomas |
Elméleti számítástechnikai művek szövegei
EATCS Bulletin
A hírlevél három kiadása jelenik meg évente – februárban, júniusban és októberben. A Bulletin a következő anyagok gyors közzétételének és széles körű lefedettségének eszköze:
- különféle EATCS kérdések;
- információk az aktuális ICALP-ről;
- műszaki cikkek;
- címsorok;
- felmérések és juttatások;
- konferencia beszámolók;
- eseménynaptár;
- jelentés az informatikai tanszékekről, intézetekről;
- technikai jelentések és publikációk listái;
- könyvismertetők;
- nyitott problémák és megoldások;
- doktori disszertációk annotációi;
- információk a különböző intézmények látogatóiról; és
- számítástechnikával kapcsolatos szórakoztató cikkek és képek.
2013 óta a főszerkesztője Kazuo Iwama (Kazuo Iwama).
EATCS Young Researchers School
A European Association for Theoretical Computer Science (EATCS) 2014 óta számos Fiatal Kutatói Iskolát alapított a számítástechnika különböző témáiban. Az alábbiakban röviden összefoglaljuk az iskola történetét:
| Év | Leírás | Hely |
|---|---|---|
| 2017 | ProbProgSchool 2017 - 1. iskola a programozás és szoftverrendszerek alapjairól. Valószínűségi programozás. | Braga , Portugália |
| 2015 | 2. EATCS Fiatal Kutatók Iskolája – a számítási komplexitás és a párhuzamosság fogalmának magyarázata adattopológián keresztül. | Camerino , Olaszország |
| 2014 | 1. Fiatal Kutatók Iskolája EATCS - Automaták, logika és játékok | Telč , Csehország |
Jegyzetek
- ↑ Mit jelent az EATCS rövidítés? European Association of Theoretical Computer Science archiválva 2019. január 14-én a Wayback Machine -nél , a rövidítés keresése archiválva : 2019. október 2-án a Wayback Machine -nél .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : European Association for Theoretical Computer Science / Az Egyesületről / EATCS Silver Jubilee Archiválva : 2019. február 13. a Wayback Machine -nél
- ↑ Monogramok az elméleti számítástechnikáról. EATCS sorozat archiválva : 2019. február 13., a Wayback Machine , Springer-Verlag .
- ↑ Monogramok a teretikus informatikáról. EATCS sorozat archiválva : 2014. szeptember 24., a Wayback Machine , DBLP .
- ↑ Elméleti számítástechnikai művek szövegei. EATCS sorozat archiválva : 2019. február 13., a Wayback Machine , Springer-Verlag .
- ↑ EATCS-díj archiválva : 2011. január 26. a Wayback Machine -nél , az Európai Elméleti Számítástudományi Szövetség.
- ↑ EATCS Fellows archiválva : 2016. augusztus 29. a Wayback Machine European Association for Theoretical Computer Science-ben.
Linkek
- eatcs.org - hivatalos EATCS webhely
 |
| |||
|---|---|---|---|---|