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

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

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:

IWOCA 2015: First Call for Papers

26th International Workshop on Combinatorial Algorithms (IWOCA 2015)
Verona, Italy, 5-7 Oct. 2015
http://iwoca2015.di.univr.it

Computability in Europe 2015: Call for Informal Presentations

COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/

CALL FOR PAPERS - GandALF 2015

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