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.
 

Call for Participation, ICALP/LICS 2015 in Kyoto

Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto.

Read more...
 

ESA 2015 - 23rd European Symposium on Algorithms

14-16 September 2015, Patras, Greece
http://algo2015.upatras.gr/esa

Submission deadline: 22.04.2015

Read more...
 

ALGO 2015

14-18 September 2015, Patras, Greece
http://algo2015.upatras.gr/

Read more...
 

CALL FOR PAPERS - GandALF 2015

The Sixth International Symposium on Games, Automata, Logics and Formal Verification will take place in Genoa, Italy, from September 21to 23.

Web page: http://gandalf2015.dibris.unige.it

Read more...
 

CALL FOR PAPERS - ICTAC 2015

12th International Colloquium on
Theoretical Aspects of Computing
29-31 October 2015, Cali, Colombia
http://www.ictac2015.co

DEADLINE FOR SUBMISSIONS: JUNE 5, 2015

Read more...
 

EATCS honours three outstanding PhD theses with the first EATCS Distinguished Dissertation Awards

EATCS is proud to announce that, after examining the nominations received from our research community,  the EATCS Distinguished Dissertation Award Committee 2015, consisting of Javier Esparza, Fedor Fomin,  Luke Ong and Giuseppe Persiano (chair), has selected the following three theses for the EATCS Distinguished Dissertation Award for 2015:

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

Page 1 of 25

 

 

New BEATCS issue is out!

Number 115, February 2015, 195pp

EATCS YouTube channel

See videos from ICALP 2013 at

EATCS YouTube channel

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