Author's posts

Chuck Liang visits LIX the week of 17 Dec 2012

Chuck Liang, professor at Hofstra University, NY, USA will be visiting LIX during the full week of 17 Dec 2012.  His visit is supported using funds from Digiteo.

Daniel Weller visits and speaks 23-24 Oct 2012

Daniel Weller from the Vienna University of Technology will give a talk on 23 October.  He will be visiting Tuesday afternoon and Wednesday.  If you would like to meet with him, please send email to Dale. Considering Proofs As Services Daniel Weller,  Vienna University of Technology Tuesday, 23 Oct 2012, 15h, Saclay Salle Flajolet In this talk, we present …

Continue reading

David Baelde visits and speaks

David Baelde (MdC, LSV, Cachen) will visit the team on Friday 12 Oct 2012.  A schedule of his visit is below. 10h30 – noon   informal discussions focusing on, say, Abella related topics. noon-14h         lunch 14h-15h30       talk by David.  Title and abstract below. 15h30-17h       informal …

Continue reading

New paper on Combining Intuitionistic and Classical Logics

The following paper has recently been accepted and published by the Annals of Pure and Applied Logic. Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic, by Chuck Liang and Dale Miller. Available online from http://dx.doi.org/10.1016/j.apal.2012.09.005 and http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/pil-final.pdf .

Matteo Cimini joins as a Post Doc

Matteo Cimini, a recent PhD student from the Computer Science Department at Reykjavik University in Iceland, joined Parsifal as a postdoc for 12 months starting 1 October 2012.

Daniel Seidel speaks 20/09 at 13h30

From Lutz Strassburger: I’d like to announce a talk by Daniel Seidel (University of Bonn, Germany) on    “Free Theorems in Languages with Real-World Programming Features” The talk takes place this Thursday 20/09 at 13:30 in the Prefab meeting room. Abstract:  Free theorems, type-based assertions about functions, have become a prominent reasoning tool in functional …

Continue reading

Lectures from the Paraty Proof Theory School

Elaine Pimentel just sent me some information about the Proof Theory School at Paraty, Brazil (August 27 – September 1, 2012). Topics related to Linear Logic, Ludics, and the Geometry of Interaction were presented. The pdf files of the lecture material are available.

Some changes in the team’s postdocs

Beniamino Accattoli has finished his postdoc at Parsifal and has now moved to Pittsburgh (USA) to start a postdoc at Carnegie Mellon University. Fabien Renaud is starting a year-long postdoc with Parsifal (funded by ProofCert) this week. He will take an office in the prefab until our move to the new building. Stefan Hetzl has …

Continue reading

Accepted papers for CPP 2012

The list of accepted papers for CPP 2012 can be found here.  The team will have two papers at this conference. Kaustuv Chaudhuri. Compact Proof Certificates for Linear Logic. Beniamino Accattoli. Proof pearl: Abella formalization of lambda calculus cube property.

Workshop dates: 15 & 16 Nov 2012

The Parisfial team is planning to host a meeting in the Alan Turing building (on the Polytechnique campus) on 15 and 16 November 2012 between us and our colleagues from Vienna.  We hope to involve colleagues also from Innsbruck and PPS (Paris).   Save the date. Local organizers:  Kaustuv Chaudhuri and Stefan Hetzl.