Nomination of Candidates for the EATCS Council Election 2019

EATCS-IPEC Nerode Prize 2019

The EATCS-IPEC Nerode Award Committee has selected the following paper as the recipient of the EATCS-IPEC Nerode Prize 2019:

Noga Alon, Raphael Yuster, and Uri Zwick

Color-Coding

Journal of the Association for Computing Machinery, Vol 42, No 4, pp. 844-856 (1995).

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.