News

Chuck Liang is planning to visit the team for about a week during the period 11-22 December.

David Baelde defends his PhD.

Gopalan Nadathur visits the team for a couple of days.

Elaine Pimentel is planning to visit the team for some days between the dates 16 October - 15 November.

Alexis Saurin defended his PhD. See the annoucement of his defense.

Anne-Laure Poupon started her PhD studies at LIX today.

Bow-Yaw Wang visited the team for some days between the dates 10 - 23 September.

During the month of August, both Alexandre Viel and Ivan Gazeau finished there internships within the team. They both plan to start as new PhD student in Parsifal in the Fall. In addition, Anne-Laure Poupon also plans to start as a PhD student at the same time.

Filippo Bonchi plans to visit LIX on ERCIM postdoc funding from 1 October 2009 to 30 June 2009. He plans to work with both the Comete and Parsifal teams.

Stéphane Lengrand organized a Workshop on "Proof-search in Type Theories" at LIX.

Chuck Liang visited LIX.

Zach Snow does an international internship with Parsifal.

Brigitte Pientka visited LIX.

Andrew Gacek and Gopalan Nadathur visited LIX this week.

Stefan Hetzl has been offered and accepted the INRIA Saclay Post Doc position related to the topic "Reduction of Syntax in proof theory" (proposed by Lutz Strassburger). He should be joining the team in fall 2008.

Two new interns from MPRI have joined the team. They are Ivan Gazeau and Alexandre Viel. They should complete their internships by the end of the summer.

Andrew Gacek (PhD, University of Minnesota) has made a public release of his theorem prover Abella. This work is part of the Slimmer Project that helps support collaboration with Gopalan Nadathur's group at the University of Minnesota.

Three new interns join Parsifal starting in March: Ivan Gazeau, Edlira Nano, Alexandre Viel.

Stéphane Lengrand starts his CNRS position with LIX today. He is also joining the Parsifal team.