[TYPES/announce] Meeting and mini-courses to celebrate Assaf Kfoury's career

[Gaboardi, Marco]

Between Mathematical Logic and Computer Science - Celebrating Assaf Kfoury's career.
—————————————————————————————————

On June 3-4, 2026 at Boston University we will have a two days meeting to celebrate the contributions 
of Professor Assaf Kfoury to the fields of Mathematical Logic and Computer Science, including his numerous
contributions to Type Theory. We will have a series of talks and contributions from Assaf's friends, students 
and collaborators. 

More information can be found at this link:
https://urldefense.com/v3/__https://cs-people.bu.edu/gaboardi/Assaf/__;!!IBzWLUs!QrlrZ0fGeTyc_mRUOwZHtjbw9MLqSWzHv_qYXg7O2qGqrqR9cKxfmmyHs89Pe2_FFQd7aNlnx-6vwrHJhYIulx0C4pgE08g$ 

The subsequent week of June 8-12, 2026, we will also have three mini-courses on Lambda Calculus, 
Intersection Types and Session Types offered by Pawel Urzyczyn (University of Warsaw), 
Simona Ronchi Della Rocca (University of Torino) and  Mariangiola Dezani (University of Torino).

More information can be found at this link:
https://urldefense.com/v3/__https://cs-people.bu.edu/gaboardi/Assaf/courses.html__;!!IBzWLUs!QrlrZ0fGeTyc_mRUOwZHtjbw9MLqSWzHv_qYXg7O2qGqrqR9cKxfmmyHs89Pe2_FFQd7aNlnx-6vwrHJhYIulx0CytF-CSU$ 

For any question, feel free to contact Marco Gaboardi at gaboardi at bu.edu.