News
Miller was an "examinateur" for Stéphane Lengrand PhD from
Université Paris VII & University of St Andrews.
The "PAI" Amadeus for collaboration between France and Austria has
approved the grant "The Realm of Cut Elimination". This proposal will
allow for collaborations between the Parsifal team and the groups of
Agata
Ciabattoni at Technische Universität Wien and Michel Parigot
at CNRS-PPS.
Kaustuv Chaudhuri starts his 1 year Post Doc position within Parsifal.
Miller traveled to the University of Minnesota for collaboration on
the Slimmer project and to attend the MS oral exam of Andrew Gacek.
Robin Milner starts a one year visit to LIX. He is the recipient of
a
Blaise Pascal
Research Chair, which are intended to allow the recipient "to
continue their work on a scientific project for a 12 months period
that could be spread over two years in a higher learning institution
or research institution in Paris/Ile-de-France."
David Baelde visited Alwen Tiu in Canberra Australia for most of
the month. Trip was funded by Slimmer monies.
The ARN proposal (blanc) titled ``INFER Theory and Application of
Deep Inference'' that is coordinated by Lutz Straßburger has
been accepted.
Other teams associated with this effort are represented
by Francois Lamarche (INRIA-Loria) and Michel Parigot (CNRS-PPS).
Miller participated in the PhD thesis defense of Nicolas Oury,
LRI, University of Paris Sud.
Miller participated in the PhD thesis defense of James Brotherston,
LFCS, University of Edinburgh.
Lutz Straßburger taught a course on "Proof Nets and the
Identity of Proofs" at ESSLLI'06, Malaga, Spain.
Miller attended the FLoC meeting in Seattle and gave an
invited talk at IJCAR.
Lutz Straßburger submitted, as coordinator, an ARN proposal
(blanc) titled ``INFER Theory and Application of Deep Inference''
that was
accepted
this month. Other teams associated with this effort are represented
by Francois Lamarche (INRIA-Loria) and Michel Parigot (CNRS-PPS).
Lutz Straßburger spoke at the "Classical Logic &
Computation" workshop (satellite to ICALP'06), Venice, Italy.
Miller attend CSFW, ICALP, and PPDP in Venice, Italy. He gave a
contributed paper at PPDP.
A number of
researchers visited LIX
and Parsifal during June and July 2006.
Miller taught a short graduate
course at the IT University
of Copenhagen.
Sebastien Briais visited
the Parsifal team to discuss how his work on open bisimilation and an
implementation of it might relate to the work we are doing with Bedwyr.
Lutz Strassburger was one of 10 selected from a field of 63
applications to take part in the
Young
Scholars' Competition during the Gödel Centenary 2006 at the
University of Vienna, 27-29 April 2006.
William Audry, a student from ENS and MPRI, will start an internship
within Parsifal on the theme ``Non-commutative logics and
operational semantics''.
Gopalan Nadathur visited LIX this week. He and Baelde made numerous
improvements to the Level01/Bedwyr reimplementation in Ocaml. The
Slimmer mailing list is started for discussions regarding this
systems.