Call for Papers - IFIP 2014

9th International Summer School

IFIP Summer School on Privacy and Identity Management for the Future Internet in the Age of Globalisation

Patras University, Greece

September 7 - 12, 2014

pdf

http://ifip2014.cti.gr/

EATCS and ACM SIGACT present the Gödel Prize 2014 for designing innovative algorithms

Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources

Computer scientists Ronald Fagin, Amnon Lotem, and Moni Naor will receive the 2014 Gödel Prize for their paper Optimal Aggregation Algorithms for Middleware (http://researcher.watson.ibm.com/researcher/files/us-fagin/jcss03.pdf), which introduced the powerful “threshold algorithm” that is widely used in applications and systems that demand optimal results for gathering multi-sourced information. The award, which recognizes outstanding papers in theoretical computer science, is presented by the European Association for Theoretical Computer Science (EATCS) and ACM’s Special Interest Group on Algorithms and Computation Theory (SIGACT). The ceremony takes place at the International Colloquium on Automata, Languages, and Programming (ICALP) http://icalp2014.itu.dk/ July 7-11, in Copenhagen, Denmark.

1st EATCS Young Researchers School

Automata, Logic and Games

July 27 - August 1, 2014

Telc, Czech Republic

http://eatcs-school.fi.muni.cz/

EATCS Best Paper Award at ETAPS 2014

The EATCS Best Paper Award in Theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2014, ETAPS'14, was shared between the following two papers: "Computing Conditional Properties in Markovian Models Efficiently" by Christel Baier, Joachim Klein, Sascha Klueppelholz and Steffen Märcker (TACAS 2014) and "Unsafe Order-2 Tree Languages are Context-Sensitive" by Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada (FOSSACS).

More information

YR-ICALP 2014

1st Young Researcher Workshop on Automata, Languages and Programming
(http://www.itu.dk/people/maca/YR-ICALP2014/)

CTI & Press «Diophantus» - INVITATION FOR SUBMISSION OF PROPOSAL TO CONCLUDE TO ONE (1) LEASE CONTRACT PROJECT PRIVATE LAW PhD - RESEARCH AND UP TO ONE (1) LEASE CONTRACT PROJECT PRIVATE LAW PhD candidate – RESEARCHER