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.