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

e-max.it: your social media marketing partner
 

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.

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

e-max.it: your social media marketing partner
Read more...
 

WoLLIC 2013

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

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

e-max.it: your social media marketing partner
Read more...
 

11th EATCS/LA Presentation Award

The 11th EATCS/LA Workshop on TCS was held on January 28 - January 30, 2013. Mr. Takayuki Kihara (Japan Advanced Institute of Science and Technology) was selected for the 11th EATCS/LA Presentation Award

 

e-max.it: your social media marketing partner
 

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/

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

Page 24 of 38

ICALP 2018

Prague, Czech Republic

July 9-13, 2018


MFCS 2017

Aalborg, Denmark

August 21-25, 2017               


ESA 2017

Vienna, Austria

September 4-8, 2017

DISC 2017

Vienna, Austria

October 16-20, 2017               

 


ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 123, October 2017

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