EATCS
European Association for Theoretical Computer Science (fra engelsk "European Association for Theoretical Computer Science"), forkortet. EATCS [1] er en international organisation med europæisk orientering, organiseret i 1972. Dens formål er at fremme udvekslingen af ideer og resultater af arbejde blandt datalogisteoretikere og at stimulere interaktion mellem teoretikere og praktikere inden for datalogi .
EATCS-organisationens hovedaktiviteter er:
- Organisering af ICALP konferencen ("International Colloquium on Automata, Languages and Programming", fra engelsk "International Colloquium on Automata, Languages and Programming"); [2]
- Udgivelse af en række monogrammer [3] [4] og artikler [5] om teoretisk datalogi ;
- Offentliggørelse af EATCS Bulletin ;
- Udgave af tidsskriftet Theoretical Informatics ; [2]
- Udgave af tidsskriftet Fundamenta Informaticae .
EATCS Award
Hvert år uddeler foreningen EATCS [6] prisen som en anerkendelse af en strålende karriere inden for teoretisk datalogi. Førsteprisen blev tildelt Richard Karp i 2000; Den fulde liste over vindere er nedenfor:
| År | Prismodtager | Placere |
|---|---|---|
| 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øbenhavn ) |
| 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 ( Turku ) |
| 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
Siden 2010 har European Association for Theoretical Computer Science (EATCS) under ICALP- konferencen givet Presburger Award til en ung videnskabsmand (i særlige tilfælde flere unge videnskabsmænd) for et fremragende bidrag til teoretisk datalogi, dokumenteret af et offentliggjort værk eller en serie af værker. Prisen er opkaldt efter Mojzesz Presburger , der som studerende skrev et banebrydende værk i 1929 om afgøreligheden af additionsteorien (i dag kaldet Presburgers aritmetik ). Den fulde liste over vindere er nedenfor:
| År | Prismodtager | Placere |
|---|---|---|
| 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øbenhavn ) |
| 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 ) |
Æresmedlemmer af EATCS videnskabelige samfund
EATCS Honorary Membership Program [7] blev initieret af foreningen for at anerkende fremragende EATCS-medlemmer for deres videnskabelige bidrag til teoretisk datalogi. Status som æresmedlem tildeles af en særlig EATCS-komité, hvis den nominerede har et tilstrækkeligt antal præstationer i EATCS-samfundets intellektuelle og organisatoriske aktiviteter. Æresmedlemmer er "referenceborgerne" i TCS-fællesskabet, hvilket er med til at øge vægten af teoretisk datalogi i samfund uden for TCS-fællesskabet.
| Nomineringsår | Æresmedlemmer af det videnskabelige samfund 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 |
Tekster til værker om teoretisk datalogi
EATCS Bulletin
Tre udgaver af nyhedsbrevet udkommer årligt - i februar, juni og oktober. Bulletinen er et middel til hurtig offentliggørelse og bred dækning af følgende materialer:
- forskellige EATCS spørgsmål;
- oplysninger om den aktuelle ICALP;
- tekniske artikler;
- overskrifter;
- undersøgelser og fordele;
- konference rapporter;
- begivenhedskalender;
- rapport om afdelinger og institutter for informatik;
- lister over tekniske rapporter og publikationer;
- boganmeldelser;
- åbne problemer og løsninger;
- annoteringer af doktorafhandlinger;
- information om besøgende på forskellige institutioner; og
- underholdende artikler og billeder relateret til datalogi.
Siden 2013 har dens chefredaktør været Kazuo Iwama (Kazuo Iwama).
EATCS Young Researchers School
Siden 2014 har European Association for Theoretical Computer Science (EATCS) grundlagt en række Young Researcher Schools om forskellige emner inden for datalogi. Nedenfor er en kort historie om skolen:
| År | Beskrivelse | Placere |
|---|---|---|
| 2017 | ProbProgSchool 2017 - 1. skole om det grundlæggende i programmering og softwaresystemer. Probabilistisk programmering. | Braga , Portugal |
| 2015 | 2. EATCS Young Researchers School - forklarer begreberne beregningsmæssig kompleksitet og samtidighed gennem datatopologi. | Camerino , Italien |
| 2014 | 1. Skole for Unge Forskere EATCS - Automater, logik og spil | Telč , Tjekkiet |
Noter
- ↑ Hvad betyder forkortelsen EATCS? European Association of Theoretical Computer Science Arkiveret 14. januar 2019 på Wayback Machine , Abbreviation Search Arkiveret 2. oktober 2019 på Wayback Machine .
- ↑ 1 2 Brouwer, Ute; Wilfried Brouwer : European Association for Theoretical Computer Science / Om foreningen / EATCS Silver Jubilee Arkiveret 13. februar 2019 på Wayback Machine
- ↑ Monogrammer om teoretisk datalogi. EATCS-serien blev arkiveret den 13. februar 2019 på Wayback Machine , Springer-Verlag .
- ↑ Monogrammer om teretisk informatik. EATCS-serien blev arkiveret den 24. september 2014 på Wayback Machine , DBLP .
- ↑ Tekster til værker om teoretisk datalogi. EATCS-serien blev arkiveret den 13. februar 2019 på Wayback Machine , Springer-Verlag .
- ↑ EATCS Award Arkiveret 26. januar 2011 på Wayback Machine , European Association for Theoretical Computer Science.
- ↑ EATCS Fellows Arkiveret 29. august 2016 hos Wayback Machine European Association for Theoretical Computer Science.
Links
- eatcs.org - officiel EATCS hjemmeside
 |
| |||
|---|---|---|---|---|