EATCS
European Association for Theoretical Computer Science (englanniksi "European Association for Theoretical Computer Science"), lyhenne. EATCS [1] on kansainvälinen eurooppalainen organisaatio, joka perustettiin vuonna 1972. Sen tarkoituksena on edistää tietojenkäsittelytieteen teoreetikkojen ajatusten ja työn tulosten vaihtoa sekä vuorovaikutusta tietojenkäsittelytieteen teoreetikkojen ja harjoittajien välillä .
EATCS-organisaation päätoiminnot ovat:
- ICALP -konferenssin järjestäminen ("International Colloquium on Automata, Languages and Programming", englanniksi "International Colloquium on Automata, Languages and Programming"); [2]
- Monogrammien [3] [4] ja julkaisujen [5] julkaiseminen teoreettisesta tietojenkäsittelytieteestä ;
- EATCS-tiedotteen julkaiseminen ;
- Theoretical Informatics -lehden painos ; [2]
- Fundamenta Informaticae -lehden painos .
EATCS Award
Yhdistys jakaa joka vuosi EATCS [6] -palkinnon tunnustuksena loistavasta urasta tietotekniikan alalla. Ensimmäisen palkinnon sai Richard Karp vuonna 2000; Täydellinen lista voittajista on alla:
| vuosi | Laureaatti | Paikka |
|---|---|---|
| 2018 | Noam Nisan (Noam Nisan) | ICALP ( Praha ) |
| 2017 | Eva Tardos | ICALP ( Varsova ) |
| 2016 | Dexter Kozen (Dexter Kozen) | ICALP ( Rooma ) |
| 2015 | Christos Papadimitriou | ICALP ( Kioto ) |
| 2014 | Gordon _ | ICALP ( Kööpenhamina ) |
| 2013 | Martin Dyer (Martin Dyer) | ICALP ( Riika ) |
| 2012 | Moshe Vardi | ICALP ( Warwick ) |
| 2011 | Boris Trakhtenbrot | ICALP ( Zürich ) |
| 2010 | Kurt Mehlhorn (Kurt Mehlhorn) | ICALP ( Bordeaux ) |
| 2009 | Gerard Huet | ICALP ( Rodos ) |
| 2008 | Leslie G. Valiant | ICALP ( Reykjavik ) |
| 2007 | Dana S. Scott | ICALP ( Wroclaw ) |
| 2006 | Patterson, Mike Stewart (Mike Paterson) | ICALP ( Venetsia ) |
| 2005 | Robin Milner | ICALP ( Lissabon ) |
| 2004 | Arto Salomaa | ICALP ( Turku ) |
| 2003 | Grzegorz Rozenberg (Grzegorz Rozenberg) | ICALP ( Eindhoven ) |
| 2002 | Maurice Nivat | ICALP ( Málaga ) |
| 2001 | Corrado Böhm | ICALP ( Kreeta ) |
| 2000 | Richard Karp | ICALP ( Geneve ) |
Pressburger-palkinto
Vuodesta 2010 lähtien European Association for Theoretical Computer Science (EATCS) on myöntänyt ICALP-konferenssin aikana Presburger Award -palkinnon tiedemiehelle (erityistapauksissa useille nuorille tutkijoille) erinomaisesta panoksesta teoreettiseen tietojenkäsittelytieteeseen. julkaistun teoksen tai teossarjan kautta. Palkinto on nimetty Mojzesz Presburgerin mukaan, joka opiskelijana kirjoitti vuonna 1929 uraauurtavan teoksen summausteorian (nykyään Presburgerin aritmetiikkaksi ) päätettävyydestä. Täydellinen lista palkituista on alla:
| vuosi | Laureaatti | Paikka |
|---|---|---|
| 2018 | Alexander Madry (Aleksander Madry) | ICALP ( Praha ) |
| 2017 | Alexandra Silva (Alexandra Silva) | ICALP ( Varsova ) |
| 2016 | Mark Braverman | ICALP ( Rooma ) |
| 2015 | Xi Chen (Xi Chen) | ICALP ( Kioto ) |
| 2014 | David Woodruff (David Woodruff) | ICALP ( Kööpenhamina ) |
| 2013 | Erik Demaine (Erik Demaine) | ICALP ( Riika ) |
| 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 ) |
EATCS-tiedeyhteisön kunniajäsenet
Yhdistys käynnisti EATCS:n kunniajäsenohjelman [7] tunnustaakseen erinomaisia EATCS-jäseniä heidän tieteellisestä panoksestaan teoreettisessa tietojenkäsittelytieteessä. Kunniajäsenen aseman myöntää erityinen EATCS-toimikunta, jos ehdokkaalla on riittävä määrä saavutuksia EATCS-yhteisön henkisessä ja organisatorisessa toiminnassa. Kunniajäsenet ovat TCS-yhteisön "referenssikansalaisia", jotka auttavat lisäämään teoreettisen tietojenkäsittelytieteen painoarvoa TCS-yhteisön ulkopuolisissa yhteiskunnissa.
| Nimitysvuosi | Tiedeyhteisön EACTS kunniajäsenet |
|---|---|
| 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 , Juri Gurevich , Monika , Jean - Eric , Paul Wolfgang Thomas |
Tietojenkäsittelyteorian teosten tekstit
EATCS Bulletin
Uutiskirjeestä ilmestyy kolme painosta vuosittain - helmi-, kesä- ja lokakuussa. Tiedote on väline seuraavan materiaalin nopeaan julkaisemiseen ja laajaan kattamiseen:
- erilaisia EATCS-kysymyksiä;
- tiedot nykyisestä ICALP:stä;
- tekniset tuotteet;
- otsikot;
- tutkimukset ja edut;
- konferenssiraportit;
- tapahtumakalenteri;
- raportti tietotekniikan laitoksista ja laitoksista;
- luettelot teknisistä raporteista ja julkaisuista;
- kirja-arvostelut;
- avoimet ongelmat ja ratkaisut;
- tohtorinväitöskirjojen huomautukset;
- tiedot vierailijoista eri instituutioissa; ja
- viihdyttäviä artikkeleita ja kuvia, jotka liittyvät tietojenkäsittelytieteeseen.
Vuodesta 2013 lähtien sen päätoimittaja on ollut Kazuo Iwama (Kazuo Iwama).
EATCS Young Researchers School
Vuodesta 2014 lähtien European Association for Theoretical Computer Science (EATCS) on perustanut useita nuorten tutkijoiden kouluja tietojenkäsittelytieteen eri aiheista. Alla lyhyt koulun historia:
| vuosi | Kuvaus | Paikka |
|---|---|---|
| 2017 | ProbProgSchool 2017 - 1. koulu ohjelmoinnin ja ohjelmistojärjestelmien perusteista. Todennäköisyyspohjainen ohjelmointi. | Braga , Portugali |
| 2015 | 2nd EATCS Young Researchers School - laskennallisen monimutkaisuuden ja samanaikaisuuden käsitteiden selittäminen datatopologian avulla. | Camerino , Italia |
| 2014 | 1st School of Young Researchers EATCS - Automaatti, logiikka ja pelit | Telč , Tšekki |
Muistiinpanot
- ↑ Mitä lyhenne EATCS tarkoittaa? European Association of Theoretical Computer Science Arkistoitu 14. tammikuuta 2019 Wayback Machinessa , lyhennehaku Arkistoitu 2. lokakuuta 2019 Wayback Machinessa .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : European Association for Theoretical Computer Science / Tietoja yhdistyksestä / EATCS Silver Jubilee Arkistoitu 13. helmikuuta 2019 Wayback Machinessa
- ↑ Tietojenkäsittelyteorian monogrammit. EATCS-sarja arkistoitu 13. helmikuuta 2019 Wayback Machinessa , Springer-Verlagissa .
- ↑ Tereettisen informatiikan monogrammit. EATCS-sarja arkistoitu 24. syyskuuta 2014, Wayback Machine , DBLP .
- ↑ Tietojenkäsittelyteorian teosten tekstejä. EATCS-sarja arkistoitu 13. helmikuuta 2019 Wayback Machinessa , Springer-Verlagissa .
- ↑ EATCS Award Arkistoitu 26. tammikuuta 2011 Wayback Machinessa , European Association for Theoretical Computer Science.
- ↑ EATCS Fellows arkistoitu 29. elokuuta 2016 Wayback Machine European Association for Theoretical Computer Science -yhdistykseen.
Linkit
- eatcs.org - virallinen EATCS-verkkosivusto
 |
| |||
|---|---|---|---|---|