List of EAPLS news - page 2


Best Paper Award at GPCE/SLE 2012
by Mark van den Brand, Oct. 3, 2012

Best Paper Award at GPCE/SLE 2012 goes to: Ferruccio Damiani, Luca Padovani and Ina Schaefer.

EAPLS best paper award at TOOLS 2012
by Mark van den Brand, June 5, 2012

EAPLS best paper award at TOOLS 2012 goes to: Erwann Wernli, Mircea Lungu and Oscar Nierstrasz

Santiago Zanella wins the EAPLS Best PhD Dissertation Award 2011
by Arend Rensink, April 3, 2012

The EAPLS Best PhD Dissertation Award 2011 has been won by Dr. Santiago Zanella Béguelin, École nationale supérieure des mines de Paris, for his dissertation on "Formal Certification of Game-Based Cryptographic Proofs".

EAPLS best paper award at ETAPS 2012
by Mark van den Brand, April 3, 2012

EAPLS best paper award at ETAPS 2012 goes to: Zhenyue Long, Georgel Calin, Rupak Majumdar and Roland Meyer

European Scientific Societies in Informatics is a fact
by Mark van den Brand, Dec. 1, 2011

EAPLS is proud to announce that the European Scientific Societies in Informatics is a fact. EAPLS took an active role in the establishing this umbrella organization and will be member of this society.

Winner EAPLS Best PhD Dissertation Award 2010
by Arend Rensink, April 11, 2011

The EAPLS Best PhD Dissertation Award 2010 has been won by Dr. Alexey Gotsman, Computer Laboratory, University of Cambridge, for his dissertation on "Logics and analyses for concurrent heap-manipulating programs".

EAPLS best paper award at ETAPS 2011
by Mark van den Brand, April 4, 2011

The EAPLS best paper award at ETAPS 2011 goes to: Dominik Grewe and Michael O'Boyle, School of Informatics, The University of Edinburgh, UK

Mailing list
by Mark van den Brand, Jan. 5, 2011

Mailing list eapls@jiscmail.ac.uk will become obsolete in 2011