Category: Workshops

Small Workshop on Formal Meta-Theory, 5-6 March

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.

Parsifal organizes the Collegium Logicum 2012 Workshop, 15-16 November

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.

RAPT/Promis Workshop in McGill University, Canada

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.

TWIP: This Week In Parsifal

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 …

Continue reading

Workshop on Abella and Bedwyr

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 …

Continue reading

Workshop on “Cross Perspectives on Proof Systems and their significance”

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.    

Celebration of the career of Peter Andrews

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.

ASL special session on Structural Proof Theory and Computing

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 …

Continue reading

Guenot and Miller speak at ChoCola, Lyon

Nicolas Guenot and Dale Miller spoke at the ChoCola meeting, ENS Lyon on 15 March 2012.  The program is available.

Workshop on Certificates and Computation

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.