1st EATCS Young Researchers School

Automata, Logic and Games

July 27 - August 1, 2014

Telc, Czech Republic

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

e-max.it: your social media marketing partner
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

e-max.it: your social media marketing partner
 

YR-ICALP 2014

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

e-max.it: your social media marketing partner
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
e-max.it: your social media marketing partner

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

e-max.it: your social media marketing partner
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

e-max.it: your social media marketing partner
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

e-max.it: your social media marketing partner
 
<< Start < Prev 21 22 23 24 25 26 27 28 29 30 Next > End >>

Page 22 of 41
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.