EATCS
Encyclopedia
The European Association for Theoretical Computer Science (EATCS) is an international organization with a Europe
an focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science
.
The major activities of the EATCS are:
in 2000; the complete list of the winners is given below:
Europe
Europe is, by convention, one of the world's seven continents. Comprising the westernmost peninsula of Eurasia, Europe is generally 'divided' from Asia to its east by the watershed divides of the Ural and Caucasus Mountains, the Ural River, the Caspian and Black Seas, and the waterways connecting...
an focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
.
The major activities of the EATCS are:
- Organization of ICALP, the International Colloquium on Automata, Languages and ProgrammingInternational Colloquium on Automata, Languages and ProgrammingICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe...
; - Publication of a series of monographs and texts on theoretical computer scienceTheoretical computer scienceTheoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
; - Publication of the Bulletin of the EATCS;
- Publication of the journal Theoretical Computer ScienceTheoretical Computer Science (journal)Theoretical Computer Science is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index...
.
EATCS Award
Each year, the EATCS Award is awarded in recognition of a distinguished career in theoretical computer science. The first award was assigned to Richard KarpRichard Karp
Richard Manning Karp is a computer scientist and computational theorist at the University of California, Berkeley, notable for research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto...
in 2000; the complete list of the winners is given below:
| Year | Awarded | Place |
|---|---|---|
| 2011 | Boris Trakhtenbrot Boris Trakhtenbrot Boris Avraamovich Trakhtenbrot or Boaz Trakhtenbrot is an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation and cybernetics. He worked at Akademgorodok, Novosibirsk during the 1960s and 1970s... |
ICALP (Zurich Zürich Zurich is the largest city in Switzerland and the capital of the canton of Zurich. It is located in central Switzerland at the northwestern tip of Lake Zurich... ) |
| 2010 | Kurt Mehlhorn Kurt Mehlhorn Kurt Mehlhorn is a German computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.-Education:... |
ICALP (Bordeaux Bordeaux Bordeaux is a port city on the Garonne River in the Gironde department in southwestern France.The Bordeaux-Arcachon-Libourne metropolitan area, has a population of 1,010,000 and constitutes the sixth-largest urban area in France. It is the capital of the Aquitaine region, as well as the prefecture... ) |
| 2009 | Gérard Huet Gérard Huet Gérard Pierre Huet is a French computer scientist.- Biography :Gérard Huet graduated from the Université Denis Diderot , Case Western Reserve University, and the Université de Paris.... |
ICALP (Rhodes Rhodes Rhodes is an island in Greece, located in the eastern Aegean Sea. It is the largest of the Dodecanese islands in terms of both land area and population, with a population of 117,007, and also the island group's historical capital. Administratively the island forms a separate municipality within... ) |
| 2008 | Leslie G. Valiant | ICALP (Reykjavik Reykjavík Reykjavík is the capital and largest city in Iceland.Its latitude at 64°08' N makes it the world's northernmost capital of a sovereign state. It is located in southwestern Iceland, on the southern shore of Faxaflói Bay... ) |
| 2007 | Dana S. Scott | ICALP (Wroclaw Wroclaw Wrocław , situated on the River Oder , is the main city of southwestern Poland.Wrocław was the historical capital of Silesia and is today the capital of the Lower Silesian Voivodeship. Over the centuries, the city has been part of either Poland, Bohemia, Austria, Prussia, or Germany, but since 1945... ) |
| 2006 | Mike Paterson Mike Paterson Michael Stewart "Mike" Paterson, is the director of the Centre for Discrete Mathematics and its Applications in the Department of Computer Science at the University of Warwick, and was chair of that department in 2005.... |
ICALP (Venice Venice Venice is a city in northern Italy which is renowned for the beauty of its setting, its architecture and its artworks. It is the capital of the Veneto region... ) |
| 2005 | Robin Milner Robin Milner Arthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:... |
ICALP (Lisboa) |
| 2004 | Arto Salomaa Arto Salomaa Arto Salomaa is a Finnish mathematician andcomputer scientist. His research career, which spans over forty years,is focused on formal languages and automata theory.A 2004 citation stated that... |
ICALP (Turku Turku Turku is a city situated on the southwest coast of Finland at the mouth of the Aura River. It is located in the region of Finland Proper. It is believed that Turku came into existence during the end of the 13th century which makes it the oldest city in Finland... ) |
| 2003 | Grzegorz Rozenberg Grzegorz Rozenberg Grzegorz Rozenberg is a mathematician andcomputer scientist.His primary research areas areformal language theory and natural computing.-Early life and education:... |
ICALP (Eindhoven) |
| 2002 | Maurice Nivat Maurice Nivat Maurice Paul Nivat is a French computer scientist. His research spans the areas of formal languages, programming language semantics and discrete geometry. A 2006 citation for an honorary doctorate called Nivat one of the fathers of theoretical computer science... |
ICALP (Málaga Málaga Málaga is a city and a municipality in the Autonomous Community of Andalusia, Spain. With a population of 568,507 in 2010, it is the second most populous city of Andalusia and the sixth largest in Spain. This is the southernmost large city in Europe... ) |
| 2001 | Corrado Böhm Corrado Böhm Corrado Böhm , Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional... |
ICALP (Creta) |
| 2000 | Richard Karp Richard Karp Richard Manning Karp is a computer scientist and computational theorist at the University of California, Berkeley, notable for research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto... |
ICALP (Geneva Geneva Geneva In the national languages of Switzerland the city is known as Genf , Ginevra and Genevra is the second-most-populous city in Switzerland and is the most populous city of Romandie, the French-speaking part of Switzerland... ) |