Aug 28

Gabriel Scherer joins team

I am delighted to report that Gabriel has been hired as an Inria CR within the Parsifal team.  His position starts 1 September 2017.

Mar 16

New offices

Some team members have moved to new offices. Here is the full list of changes:

  From To
B. Accattoli 2058 2063
R. Blanco 2054 2058
K. Chaudhuri 2059 2051
U. Gerard 2050 2057
Q. Heath 2054 2059
S. Marin 2057 2052
M. Puech 2062 2057
G. Reis 2057 2052
N. Zeilberger 2062 2051

Nov 02

Zak Chihani defends his PhD today

His defense will take plan in the Gilles Kahn room of the Alan Turing building at 14h.

His thesis title is “Certification of First-order proofs in classical and intuitionistic logics”.

Oct 01

Three people join the team today

Two postdocs are joining Parsifal today: Matthias Puech and Noam Zeilberger.  Also, Leonardo Lima, an undergraduate from Brazil (advised by Vivek Nigam) joins the team for a 5 month internship.  These positions are funded by the ProofCert project.

Aug 10

Abella online tutorial

A tutorial for Abella was recently presented at CADE 25 in Berlin by K. Chaudhuri and Gopalan Nadathur. The slides (PDF) are available online. All the demonstration examples in the tutorial can be viewed and executed online using the new experimental Abella in the Browser plugin.

Jun 22

Two papers accepted at PxTP 2015

The following papers authored by members of Parsifal were accepted to the fourth workshop on Proof eXchange for Theorem Proving:

May 19

Chuck Liang visits for a month

Chuck Liang (Professor from Hofstra University, NY, USA) will be visiting the team from 19 May until 15 June 2015.

Apr 28

ProofCert is looking for PostDocs

The ProofCert effort is looking to hire one or two postdoc starting in Fall 2015 (further particulars).

Apr 24

Horace Blanc joins the team for an M2 internship

Horace Blanc is doing his MPRI M2 internship at Parsifal under the supervision of Beniamino Accattoli. He will be working on Lambda to Pi.

Apr 02

Two papers accepted at LICS 2015

The following papers authored by members of the Parsifal team were accepted to the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015):

  • Beniamino Accattoli and Claudio Sacerdoti Coen, On the Usefulness of Constructors.
  • Matthias Baaz, Alexander Leitsch, and Giselle Reis, A note on the complexity of classical and intuitionistic proofs.