List of EAPLS news - page 4
- Santiago Zanella wins the EAPLS Best PhD Dissertation Award 2011
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
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
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
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
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
Mailing list [email protected] will become obsolete in 2011
- New Board
We have had elections for new board members and eventually 3 new board members were selected, Greg Michaelson, Peter van Roy and Mark van den Brand. The board members Maurizio Gabbrielli, Manuel Hermenegildo and Alan Mycroft stepped down.
- twitter.com/eapls
EAPLS is at twitter.com
