Best ICGT Paper Award 2016

The "Best ICGT Paper Award" goes to

Title of the paper: Sesqui-Pushout Rewriting with Type Refinements

Author: Michael Löwe

e-max.it: your social media marketing partner
 
Best ETAPS paper 2016

The two following two papers are the winners ex-equo of the EATCS award for the best ETAPS paper:

Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs⋆ Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, and Federico Olmedo (ESOP)

Neil Ghani, Fredrik Nordvall Forsberg, and Alex Simpson Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (FDOSSACS)

The committee for selecting the winner(s) for this award was composed by Don Sannella, Luca Aceto, and Catuscia Palamidessi

e-max.it: your social media marketing partner
 

Sad news: Zoltán Ésik passed away yesterday

Our good colleague and friend Zoltán Ésik passed away suddenly yesterday afternoon in the hotel room where he was staying with his wife during a visit to our group at Reykjavik University. He had delivered a survey talk at Reykjavik University on the Equational Logic of Fixed Point Operations on Tuesday and we were making plans for the coming days.

e-max.it: your social media marketing partner
Read more...
 
ICALP 2016 - early registration deadline

The 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016) will be held in Rome (Italy) from July 12-th  to 15-th 2016 (http://www.easyconferences.eu/icalp2016/index.html).

e-max.it: your social media marketing partner
Read more...
 
The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact.

Rajeev Alur and David Dill: A theory of timed automata. Theoretical Computer Science 126(2):183–235, 1994.

e-max.it: your social media marketing partner
Read more...
 
2016 Gödel Prize

The 2016 Gödel Prize is awarded to Stephen Brookes and Peter W. O'Hearn for their invention of Concurrent Separation Logic, as described in the following two papers:

Stephen Brookes and Peter O'Hearn will receive the 2016 Gödel Prize at the 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), 12-15 July 2016, in Rome, Italy.

e-max.it: your social media marketing partner
Read more...
 
Best paper awards at ICALP 2016

The PCs for the three tracks of ICALP 2016 have selected the articles that will receive the best paper and best student paper awards at the conference.

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 5 of 34

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

MFCS 2017

Aalborg, Denmark

August 21-25, 2017               


ESA 2017

Vienna, Austria

Seprember 4-8, 2017

 

 

New BEATCS issue is out!

Number 121, February 2017

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