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.

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)Leslie Valiant	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)