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.
 

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

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

Dijkstra Prize 2014: Call for Nominations

Call for Nominations:
Edsger W. Dijkstra Prize in Distributed Computing - 2014
http://www.disc-conference.org/wp/disc2014/dijkstra-prize-cfn/

Nominations deadline: April 30, 2014

Read more...
 

EATCS/IPEC Nerode Prize 2014

The EATCS and IPEC are proud to announce that the Nerode Prize 2014 for outstanding papers in the area of multivariate algorithmics will be awarded to the following two papers:

  • "On problems without polynomial kernels", Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin, Journal of Computer and System Sciences, 2009 and
  • "Infeasibility of instance compression and succinct PCPs for NP", Lance Fortnow, Rahul Santhanam, Journal of Computer and System Sciences, 2011.

The presentation of the prize will take place at IPEC 2014, which this year will be organized as part of ALGO 2014 (Wroclaw, Poland, 10-12 September 2014).

The Prize is named in honour of Anil Nerode, in recognition of his major contributions to mathematical logic, theory of automata, computability and complexity theory.

The Nerode Prize 2014 Committee consists of Georg Gottlob (University of Oxford, UK), Jan Arne Telle (University of Bergen, Norway), and Peter Widmayer (ETH Zurich, Switzerland; chair).

Read more

 

ICTAC 2014 - Call for Papers

The 11th International Colloquium on Theoretical Aspects of Computing (ICTAC) is organized this year for the first time in Europe (Bucharest). Being a conference on theoretical aspects of computing, we would be happy and honoured if the European Association for Theoretical Computer Science will include ICTAC 2014 in its calendar, and sponsor this event.

We'll be grateful if you can send as soon as possible the ICTAC Call for Papers to EATCS members, encouraging your colleagues to contribute with interesting papers. We think/hope that a strong scientific programme would be a distinguishing feature of such an European edition of ICTAC.

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

Page 1 of 19

ETAPS 2014

Grenoble, France

April 5-13, 2014


ICALP 2014

Copenhagen, Denmark

July 8-11, 2014                           

MFCS 2014

Budapest, August

August 25-29, 2014                


 

 

New BEATCS issue is out!

Number 112, February 2014, 164pp

EATCS YouTube channel

See videos from ICALP 2013 at

EATCS YouTube channel

European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.