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.

Read more...
 

1st EATCS Young Researchers School

Automata, Logic and Games

July 27 - August 1, 2014

Telc, Czech Republic

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

Read more...
 

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/)

Read more...
 

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

Read more...
 

EATCS-IPEC Nerode Prize 2014 - Laudatio

On problems without polynomial kernels, Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin
Journal of Computer and System Sciences, 2009

Infeasibility of instance compression and succinct PCPs for NP, Lance Fortnow, Rahul Santhanam, Journal of Computer and System Sciences, 2011

Laudatio

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

Page 6 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.