Ivan Gazeau succeesfully defended his PhD yesterday (14 Oct 2013). His thesis is titled “Safe Programming in finite precision: Controling the errors and information leaks”. Ivan is in the process of packing up and moving to his next position as a PostDoc researcher at the University of Birmingham.
A paper by Mahfuza Farooque, Stéphane Graham-Lengrand, and Assia Mahboubi titled A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus has been accepted to LFMTP 2013 and will be presented at the workshop in Boston during September 2013.
Stefan Hetzl (former postdoc in Parsifal) has recently won a sponsorship from the Vienna Science Technology Fund that will allow him to build a new research team at the Technical University of Vienna. For more about this 1.5 million euro award, read the press releases in English and German.
The submission to LICS 2013 titled Unifying Classical and Intuitionistic Logics for Computational Control by Chuck Liang and Dale Miller was accepted. The final draft of this paper is due 26 April. If you have any comments on the earlier draft, please get them to one of the authors by then.