Workshop in Honor of Peter Dybjer

Prof. Peter Dybjer is a leading researcher in type theory and constructive logic. He is widely recognised  among other things for his influential work on inductive families, induction-recursion, and normalisation by evaluation.

After more than 40 years at Chalmers, Peter has now retired and been appointed Professor Emeritus.

To celebrate his lasting contributions we are organising a workshop on October 1st 2025 at Chalmerska huset.

 

For more information including the program, please visit the English page of the event.