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 - SIROCCO 2019

26th Int. Colloquium on Structural Information and Communication Complexity Gran Sasso Science Institute, L’Aquila, Italy, 1-4 July 2019 https://cs.gssi.it/sirocco2019/

Early Registration Deadline: 10 June!

DISC 2019: FINAL CALL FOR PAPERS

33rd International Symposium on Distributed Computing October 14-18, 2019 Budapest, Hungary

http://www.disc-conference.org/wp/disc2019/

Twitter: https://twitter.com/podc_disc

The 2019 Alonzo Church Award

The 2019 Alonzo Church Award committee consisting of Thomas Eiter, Javier Esparza, Radha Jagadeesan, Catuscia Palamidessi, and Natarajan Shankar, have selected Murdoch J. Gabbay and Andrew M. Pitts for the 2019 Church Award, for introducing the theory of nominal representations, a powerful and elegant mathematical model for computing with data involving atomic names.

The EATCS Award 2019 - Laudatio for Thomas Henzinger

The EATCS Awards Committee consisting of Artur Czumaj, Marta Kwiatkowska and Christos Papadimitriou has selected Thomas Henzinger as the recipient of the EATCS Award 2019. The award will be presented at ICALP 2019, which will take place in Patras, Greece from the 8th till the 12th of July 2019.