EATCS
European Association for Theoretical Computer Science (från engelska "European Association for Theoretical Computer Science"), förkortning. EATCS [1] är en internationell organisation med europeisk inriktning, organiserad 1972. Dess syfte är att främja utbyte av idéer och resultat av arbete mellan datavetenskapsteoretiker och att stimulera interaktion mellan teoretiker och praktiker inom datavetenskap .
EATCS-organisationens huvudsakliga aktiviteter är:
- Organisation av ICALP -konferensen ("International Colloquium on Automata, Languages and Programming", från engelska "International Colloquium on Automata, Languages and Programming"); [2]
- Publicering av en serie monogram [3] [4] och artiklar [5] om teoretisk datavetenskap ;
- Publicering av EATCS Bulletin ;
- Upplaga av tidskriften Theoretical Informatics ; [2]
- Upplaga av tidskriften Fundamenta Informaticae .
EATCS Award
Varje år delar föreningen ut priset EATCS [6] som ett erkännande för en lysande karriär inom teoretisk datavetenskap. Första priset tilldelades Richard Karp år 2000; Den fullständiga listan över vinnare finns nedan:
| År | Pristagare | Plats |
|---|---|---|
| 2018 | Noam Nisan (Noam Nisan) | ICALP ( Prag ) |
| 2017 | Eva Tardos | ICALP ( Warszawa ) |
| 2016 | Dexter Kozen (Dexter Kozen) | ICALP ( Rom ) |
| 2015 | Christos Papadimitriou | ICALP ( Kyoto ) |
| 2014 | Gordon Plotkin | ICALP ( Köpenhamn ) |
| 2013 | Martin Dyer (Martin Dyer) | ICALP ( Riga ) |
| 2012 | Moshe Vardi | ICALP ( Warwick ) |
| 2011 | Boris Trakhtenbrot | ICALP ( Zürich ) |
| 2010 | Kurt Mehlhorn (Kurt Mehlhorn) | ICALP ( Bordeaux ) |
| 2009 | Gerard Huet | ICALP ( Rhodos ) |
| 2008 | Leslie G. Valiant | ICALP ( Reykjavik ) |
| 2007 | Dana S. Scott | ICALP ( Wroclaw ) |
| 2006 | Patterson, Mike Stewart (Mike Paterson) | ICALP ( Venedig ) |
| 2005 | Robin Milner | ICALP ( Lissabon ) |
| 2004 | Arto Salomaa | ICALP ( Åbo ) |
| 2003 | Grzegorz Rozenberg (Grzegorz Rozenberg) | ICALP ( Eindhoven ) |
| 2002 | Maurice Nivat | ICALP ( Málaga ) |
| 2001 | Corrado Böhm | ICALP ( Kreta ) |
| 2000 | Richard Karp | ICALP ( Genève ) |
Pressburger Prize
Sedan 2010 ger European Association for Theoretical Computer Science (EATCS) under ICALP- konferensen Presburger Award till en ung vetenskapsman (i speciella fall flera unga vetenskapsmän) för ett enastående bidrag till teoretisk datavetenskap, dokumenterat av ett publicerat verk eller en serie verk. Priset är uppkallat efter Mojzesz Presburger , som som student skrev ett banbrytande arbete 1929 om avgörbarheten av additionsteorin (i dag kallad Presburgers aritmetik ). Hela listan över pristagare finns nedan:
| År | Pristagare | Plats |
|---|---|---|
| 2018 | Alexander Madry (Aleksander Madry) | ICALP ( Prag ) |
| 2017 | Alexandra Silva (Alexandra Silva) | ICALP ( Warszawa ) |
| 2016 | Mark Braverman | ICALP ( Rom ) |
| 2015 | Xi Chen (Xi Chen) | ICALP ( Kyoto ) |
| 2014 | David Woodruff (David Woodruff) | ICALP ( Köpenhamn ) |
| 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 ) |
Hedersmedlemmar i EATCS forskargemenskap
EATCS Honorary Membership Program [7] initierades av föreningen för att uppmärksamma framstående EATCS-medlemmar för deras vetenskapliga bidrag till teoretisk datavetenskap. Statusen som hedersmedlem tilldelas av en särskild EATCS-kommitté om den nominerade har ett tillräckligt antal prestationer inom EATCS-gemenskapens intellektuella och organisatoriska verksamhet. Hedersmedlemmar är "referensmedborgare" i TCS-gemenskapen, vilket bidrar till att öka vikten av teoretisk datavetenskap i samhällen utanför TCS-gemenskapen.
| Nomineringsår | Hedersmedlemmar i vetenskapssamfundet 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 |
Texter av verk om teoretisk datavetenskap
EATCS Bulletin
Tre upplagor av nyhetsbrevet ges ut årligen - i februari, juni och oktober. Bulletinen är ett sätt för snabb publicering och bred täckning av följande material:
- olika EATCS-frågor;
- information om nuvarande ICALP;
- tekniska artiklar;
- rubriker;
- undersökningar och förmåner;
- konferensrapporter;
- evenemangskalender;
- rapportera om institutioner och institut för informatik;
- förteckningar över tekniska rapporter och publikationer;
- bokrecensioner;
- öppna problem och lösningar;
- kommentarer till doktorsavhandlingar;
- information om besökare på olika institutioner; och
- underhållande artiklar och bilder relaterade till datavetenskap.
Sedan 2013 har dess chefredaktör varit Kazuo Iwama (Kazuo Iwama).
EATCS Young Explorers School
Sedan 2014 har European Association for Theoretical Computer Science (EATCS) grundat ett antal unga forskarskolor inom olika ämnen inom datavetenskap. Nedan följer en kort historia om skolan:
| År | Beskrivning | Plats |
|---|---|---|
| 2017 | ProbProgSchool 2017 - 1:a skolan om grunderna i programmering och mjukvarusystem. Probabilistisk programmering. | Braga , Portugal |
| 2015 | 2:a EATCS Young Researchers School - förklarar begreppen beräkningskomplexitet och samtidighet genom datatopologi. | Camerino , Italien |
| 2014 | 1st School of Young Researchers EATCS - Automater, logik och spel | Telč , Tjeckien |
Anteckningar
- ↑ Vad betyder förkortningen EATCS? European Association of Theoretical Computer Science Arkiverad 14 januari 2019 på Wayback Machine , Förkortningssökning Arkiverad 2 oktober 2019 på Wayback Machine .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : European Association for Theoretical Computer Science / Om föreningen / EATCS Silver Jubilee Arkiverad 13 februari 2019 på Wayback Machine
- ↑ Monogram om teoretisk datavetenskap. EATCS-serien Arkiverad 13 februari 2019 på Wayback Machine , Springer-Verlag .
- ↑ Monogram om teretisk informatik. EATCS-serien Arkiverad 24 september 2014 på Wayback Machine , DBLP .
- ↑ Texter av verk om teoretisk datavetenskap. EATCS-serien Arkiverad 13 februari 2019 på Wayback Machine , Springer-Verlag .
- ↑ EATCS Award Arkiverad 26 januari 2011 på Wayback Machine , European Association for Theoretical Computer Science.
- ↑ EATCS Fellows Arkiverad 29 augusti 2016 på Wayback Machine European Association for Theoretical Computer Science.
Länkar
- eatcs.org - officiell EATCS-webbplats
 |
| |||
|---|---|---|---|---|