EATCS
Encyclopedia
The European Association for Theoretical Computer Science (EATCS) is an international organization with a Europe
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 Programming
    International Colloquium on Automata, Languages and Programming
    ICALP, 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 science
    Theoretical computer science
    Theoretical 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 Science
    Theoretical 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 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...

 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...

)

External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK