The team has three long-term visitors during Fall 2018.
- Elaine Pimentel visits from 1 October 2018 to 20 November 2018.
- Carlos Olarte visits from 1 October 2018 to 20 November 2018.
- Gopalan Nadathur visits from 15 October to 15 November 2018.
Nov 08
The team has three long-term visitors during Fall 2018.
Jun 07
This pdf locate rooms and teams within the Alan Turing building.
Aug 28
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
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
November 2, 2015:
Zak’s 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
October 1, 2015: 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
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
The following papers authored by members of Parsifal were accepted to the fourth workshop on Proof eXchange for Theorem Proving:
May 19
Chuck Liang (Professor from Hofstra University, NY, USA) will be visiting the team from 19 May until 15 June 2015.
Apr 28
The ProofCert effort is looking to hire one or two postdoc starting in Fall 2015 (further particulars).