EATCS
Asociația Europeană pentru Informatică Teoretică (din engleză „Asociația Europeană pentru Informatică Teoretică”), abr. EATCS [1] este o organizație internațională cu orientare europeană , organizată în 1972. Scopul său este de a promova schimbul de idei și rezultate ale muncii între teoreticienii informaticii și de a stimula interacțiunea dintre teoreticieni și practicieni în informatică .
Principalele activități ale organizației EATCS sunt:
- Organizarea conferinței ICALP („Colocviu internațional despre automate, limbaje și programare”, din limba engleză „Colocviu internațional despre automate, limbaje și programare”); [2]
- Publicarea unei serii de monograme [3] [4] și lucrări [5] despre informatica teoretică ;
- Publicarea Buletinului EATCS ;
- Ediția revistei Theoretical Informatics ; [2]
- Ediția revistei Fundamenta Informaticae .
Premiul EATCS
În fiecare an, asociația prezintă premiul EATCS [6] ca recunoaștere a unei cariere strălucitoare în informatica teoretică. Premiul I a fost acordat lui Richard Karp în 2000; Lista completă a câștigătorilor este mai jos:
| An | Laureat | Loc |
|---|---|---|
| 2018 | Noam Nisan (Noam Nisan) | ICALP ( Praga ) |
| 2017 | Eva Tardos | ICALP ( Varșovia ) |
| 2016 | Dexter Kozen (Dexter Kozen) | ICALP ( Roma ) |
| 2015 | Christos Papadimitriou | ICALP ( Kyoto ) |
| 2014 | Gordon Plotkin | ICALP ( Copenhaga ) |
| 2013 | Martin Dyer (Martin Dyer) | ICALP ( Riga ) |
| 2012 | Moshe Vardi | ICALP ( Warwick ) |
| 2011 | Boris Trakhtenbrot | ICALP ( Zurich ) |
| 2010 | Kurt Mehlhorn (Kurt Mehlhorn) | ICALP ( Bordeaux ) |
| 2009 | Gerard Huet | ICALP ( Rodos ) |
| 2008 | Leslie G. viteaz | ICALP ( Reykjavik ) |
| 2007 | Dana S. Scott | ICALP ( Wroclaw ) |
| 2006 | Patterson, Mike Stewart (Mike Paterson) | ICALP ( Veneția ) |
| 2005 | Robin Milner | ICALP ( Lisabona ) |
| 2004 | Arto Salomaa | ICALP ( Turku ) |
| 2003 | Grzegorz Rozenberg (Grzegorz Rozenberg) | ICALP ( Eindhoven ) |
| 2002 | Maurice Nivat | ICALP ( Málaga ) |
| 2001 | Corrado Böhm | ICALP ( Creta ) |
| 2000 | Richard Karp | ICALP ( Geneva ) |
Premiul Pressburger
Din 2010, Asociația Europeană pentru Informatică Teoretică (EATCS) în cadrul conferinței ICALP acordă Premiul Presburger unui tânăr om de știință (în cazuri speciale, mai mulți oameni de știință tineri) pentru o contribuție remarcabilă la informatica teoretică, documentată printr-o lucrare publicată sau o serie de lucrări. Premiul poartă numele lui Mojzesz Presburger , care, în calitate de student, a scris o lucrare revoluționară în 1929 despre determinabilitatea teoriei adunării (numită astăzi aritmetica lui Presburger ). Lista completă a laureaților este mai jos:
| An | Laureat | Loc |
|---|---|---|
| 2018 | Alexander Madry (Aleksander Madry) | ICALP ( Praga ) |
| 2017 | Alexandra Silva (Alexandra Silva) | ICALP ( Varșovia ) |
| 2016 | Mark Braverman | ICALP ( Roma ) |
| 2015 | Xi Chen (Xi Chen) | ICALP ( Kyoto ) |
| 2014 | David Woodruff (David Woodruff) | ICALP ( Copenhaga ) |
| 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 ( Zurich ) |
| 2010 | Mikolaj Boyanczyk (Mikołaj Bojańczyk) | ICALP ( Bordeaux ) |
Membri de onoare ai comunității științifice EATCS
Programul de membru de onoare al EATCS [7] a fost inițiat de asociație pentru a recunoaște membrii EATCS remarcabili pentru contribuțiile lor științifice la informatica teoretică. Statutul de membru de onoare este acordat de un comitet special al EATCS dacă cel nominalizat are un număr suficient de realizări în activitățile intelectuale și organizaționale ale comunității EATCS. Membrii de onoare sunt „cetățenii de referință” ai comunității TCS, contribuind la creșterea ponderii informaticii teoretice în societățile din afara comunității TCS.
| Anul nominalizării | Membri de onoare ai comunității științifice EACTS |
|---|---|
| 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 , Yuri Gurevich , Monika , Jean - Eric , Paul Wolfgang Thomas |
Texte de lucrări de informatică teoretică
Buletinul EATCS
Trei ediții ale buletinului informativ sunt publicate anual - în februarie, iunie și octombrie. Buletinul este un mijloc de publicare rapidă și de acoperire largă a următoarelor materiale:
- diverse întrebări EATCS;
- informații despre ICALP actual;
- articole tehnice;
- titluri;
- sondaje și beneficii;
- rapoarte de conferință;
- calendarul evenimentelor;
- raport privind departamentele și institutele de informatică;
- liste de rapoarte tehnice și publicații;
- recenzii de carte;
- probleme și soluții deschise;
- adnotări ale tezelor de doctorat;
- informații despre vizitatorii diferitelor instituții; și
- articole și imagini distractive legate de informatică.
Din 2013, redactorul-șef al acestuia este Kazuo Iwama (Kazuo Iwama).
Școala Tinerilor Exploratori EATCS
Din 2014, Asociația Europeană pentru Informatică Teoretică (EATCS) a înființat o serie de școli de tineri cercetători pe diverse teme din informatică. Mai jos este o scurtă istorie a școlii:
| An | Descriere | Loc |
|---|---|---|
| 2017 | ProbProgSchool 2017 - Școala I despre bazele programării și sistemelor software. Programare probabilistica. | Braga , Portugalia |
| 2015 | 2nd EATCS Young Researchers School - explicarea conceptelor de complexitate computațională și concurență prin topologia datelor. | Camerino , Italia |
| 2014 | Scoala I de Tineri Cercetatori EATCS - Automate, logica si jocuri | Telč , Republica Cehă |
Note
- ↑ Ce înseamnă abrevierea EATCS? Asociația Europeană de Informatică Teoretică Arhivată la 14 ianuarie 2019 la Wayback Machine , Căutare abreviere Arhivată la 2 octombrie 2019 la Wayback Machine .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : Asociația Europeană pentru Informatică Teoretică / Despre Asociație / EATCS Silver Jubilee Arhivat 13 februarie 2019 la Wayback Machine
- ↑ Monograme despre informatica teoretică. Seria EATCS Arhivată pe 13 februarie 2019 la Wayback Machine , Springer-Verlag .
- ↑ Monograme despre informatica teretică. Seria EATCS Arhivată pe 24 septembrie 2014 la Wayback Machine , DBLP .
- ↑ Texte de lucrări de informatică teoretică. Seria EATCS Arhivată pe 13 februarie 2019 la Wayback Machine , Springer-Verlag .
- ↑ Premiul EATCS Arhivat 26 ianuarie 2011 la Wayback Machine , Asociația Europeană pentru Informatică Teoretică.
- ↑ EATCS Fellows Arhivat 29 august 2016 la Wayback Machine European Association for Theoretical Computer Science.
Link -uri
- eatcs.org - site-ul oficial al EATCS
 |
| |||
|---|---|---|---|---|