> On Aug 3, 2023, at 4:12 AM, Nicola Gambino wrote: > > Dear colleagues and friends, > > I write to let you know of the sad news that Peter Aczel passed away on August 1st. > > As many readers of this list surely know, Peter made many fundamental and deeply influential contributions to Logic, Computer Science, Category Theory, and Constructive Mathematics. He had an active interest in Homotopy Type Theory and Univalent Foundations from the early days of the subjects, participating in the Oberwolfach meeting in 2011 and the Special Year at the Institute for Advanced Study in 2012/13. > > I had the good fortune of having him as PhD supervisor and we remained in contact since then. I always admired his clarity of thinking and his kindness. He will be deeply missed. > > With best regards, > Nicola > > = > Dr Nicola Gambino > Department of Mathematics, University of Manchester > > -- > You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. > To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/1670F781-BEB6-45D0-9466-DA546711E329%40manchester.ac.uk. > -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/3229059E-D300-40BD-9677-B7352CD9DF8F%40andrew.cmu.edu.