[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected].
