European Association for Theoretical Computer Science
Ten artykuł od 2010-07 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.
European Association for Theoretical Computer Science (EATCS) – międzynarodowa organizacja założona w roku 1972, której celem jest ułatwienie wymiany informacji między informatykami oraz rozwój współpracy w tej dziedzinie.
Główne działania EATCS to:
- organizacja ICALP(inne języki) – międzynarodowego kolokwium poświęcone automatom, językom i programowaniu;
- publikowanie monografii i artykułów poświęconych informatyce teoretycznej;
- publikowanie czasopisma Theoretical Computer Science(inne języki).
Od roku 2000 EATCS przyznaje nagrody wybijającym się informatykom-teoretykom. Lista nagrodzonych:
Rok | Osoba | Miejsce |
---|---|---|
2008 | Leslie G. Valiant(inne języki) | ICALP (Reykjavík) |
2007 | Dana Scott | ICALP (Wrocław) |
2006 | Mike Paterson(inne języki) | ICALP (Wenecja) |
2005 | Robin Milner | ICALP (Lizbona) |
2004 | Arto Salomaa(inne języki) | ICALP (Turku) |
2003 | Grzegorz Rozenberg | ICALP (Eindhoven) |
2002 | Maurice Nivat(inne języki) | ICALP (Malaga) |
2001 | Corrado Böhm(inne języki) | ICALP (Kreta) |
2000 | Richard Karp | ICALP (Genewa) |