European Association for Theoretical Computer Science (EATCS) is an international organization 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.
 

Alonzo Church Award 2016 - Call for Nominations

An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.

Call for Nominations

 

Press release for the EATCS Award 2016 to Dexter Kozen

The EATCS bestows the EATCS Award 2016 to Dexter Kozen (Cornell University, USA) for fundamental contributions across the whole spectrum of theoretical computer science

The EATCS is proud to announce that the EATCS Award Committee consisting of Fedor Fomin, Kim G. Larsen (chair) and Jean-Eric Pin has selected Dexter Kozen (Cornell University, USA; http://www.cs.cornell.edu/~kozen/)  as the recipient of the EATCS Award 2016.

Read more...
 

ICALP 2016 - Second Call for Papers

ICALP 2016
http://www.easyconferences.eu/icalp2016/

The 43rd International Colloquium on Automata, Languages, and Programming ( ICALP) will take place in Rome, Italy, on July 11-15, 2016.

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 11.

Read more...
 

Deadline for nominations for several EATCS Awards is approaching!

Read more...
 

New Alonzo Church Award for Outstanding Contributions to Logic and Computation

Read the rules for the new Alonzo Church Award for Outstanding Contributions to Logic and Computation

 

Call for Workshops Proposals affiliated with ICALP 2016

July 11-15, 2016,  Rome, Italy

Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 1 of 28

 

 

New BEATCS issue is out!

Number 117, October 2015

European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.