EATCS - IPEC Nerode Prize 2013

The Nerode Prize 2013 Committee, consisting of Georg Gottlob (University of Oxford, UK), Rolf Niedermeier (TU Berlin, Germany; chair), and Peter Widmayer (ETH Zurich, Switzerland), has unanimously decided to award Chris Calabro (Google Inc., Mountain View, USA), Russell Impagliazzo (UC San Diego, USA), Valentine Kabanets (Simon Fraser University, Canada), Ramamohan Paturi (UC San Diego, USA), and Francis Zane (Alcatel Lucent, Murray Hill, USA) the 2013 EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics.

Laudatio

More information

 

EATCS Best Paper Award at ETAPS 2013

The reciepent of the EATCS Best Paper Award in Theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2013, ETAPS'13, has been chosen. It is the "Logical Foundations of Secure Resource Management in Protocol Implementations" by Michele Bugliesi, Stefano Calzavara, Fabienne Eigner and Matteo Maffei.

More information

 

Call for Nominations: The Nerode Prize 2013 for outstanding papers in multivariate algorithmics

FIRST CALL FOR NOMINATIONS:

The Nerode Prize 2013 for outstanding papers in the area of multivariate algorithmics.

Deadline for Nominations: January 1, 2013.

Decision: May 1, 2013.

Read more...
 

MFCS 2013 - Call For Papers

38th International Symposium on Mathematical Foundations of Computer Science
August 26 - 30, 2013, IST Austria, Klosterneuburg, Austria
http://http://ist.ac.at/mfcs13/

Read more...
 

WoLLIC 2013

20th Workshop on Logic, Language, Information and Computation
August 20th to 23rd, 2013
Technische Universitδt Darmstadt
Darmstadt, Germany

Read more...
 

Dijkstra Prize: Call for Nominations

Call for Nominations:
The 2013 Edsger W. Dijkstra Prize in Distributed Computing
For details see http://www.podc.org/dijkstra/
Nominations deadline: June 1, 2013.

Read more...
 

Call for Papers - WORDS 2013

9th International Conference on WORDS 2013

Turku, Finland

September 16 - 20, 2013

Call for Papers PDF

http://www.math.utu.fi/projects/words13/

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

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