Parsifal will organize a workshop on formal meta-theory during 5-6 March to coincide with the visit of Prof. Brigitte Pientka from McGill during that week. We will also welcome some additional visitors from McGill: Andrew Cave, Francisco Ferreira, Olivier Savary-Bélanger, and David Thibodeau.
The Collegium Logicum 2012 workshop on the theme of Structural Proof Theory is being organized at LIX during 15–16 November. There will be invited talks by Alex Simpson and Paulo Oliva, and a number of contributed talks by participants from France and Austria. The program is now available.
Several members of Parsifal will participate in the Promis workshop in McGill University in Canada during 17–18 October, funded in part by the Equipe Associée RAPT. Abstracts of the talks are already available, and slides will be posted as they become available.
This week we have two visitors to the team in addition to Elaine Pimentel who has been here for some weeks already. They are Vivek Nigam (former team member, now a postdoc in Munich) and Giselle Reis (phd student in Vienna). Also, Stefan Hetzl is starting this week a 3 month post doc position within …
Workshop on Abella and Bedwyr Dates: 10-12 July 2012 (Tue/Wed/Thu) Location: LIX (still in the old, familiar location) All talks will take place in the Prefa (the extension to Aisle 0) except the last talk (Thursday at 14h) which will be held in the “bocal” (near the mailroom of LIX). 10 July, Tue 14h00 Lucca Hirschi (LRI …
There will be a workshop titled “Cross Perspectives on Proof Systems and their significance” on May 3, 2012 at ENS, 45 rue d’Ulm 75005 Paris. Miller will be one of the speakers. The program is available.
On 4 April 2012, there was a reception for Peter Andrews on the ocassion of his retirement from the Mathematics Department at Carnegie Mellon University. Dale Miller offered some personal words and some scientific talks were presented the following day.
During the 2012 ASL annual meeting in Madison Wisconsin, there will be a special session on Structural Proof Theory and Computing that has been organized by Dale Miller. Several members and former members of Parsifal will present their research work during this annual meeting of the Association for Symbolic Logic. The study of the structural properties of …
Nicolas Guenot and Dale Miller spoke at the ChoCola meeting, ENS Lyon on 15 March 2012. The program is available.
An informal workshop will take place at ITU (Copenhagen) during March 12-13, on the general topic of certificates. Although most talks will be about proof theory and logical frameworks, we seek to have discussions on the more general notion of certificate, notably in complex security contexts such as e-voting. Several people from Parsifal will attend and give talks.