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.
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 …
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 …
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.