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.
 

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

ICALP 2016 - Call for Papers

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