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

The Event

Join us for a two days meeting to celebrate the contributions of Professor Assaf Kfoury to the fields of Mathematical Logic and Computer Science. We will have a series of talks and contributions from Assaf's friends, students and collaborators.

The tentative list of speakers includes:

• Torben Amtoft (Kansas State University)
• Azer Bestravos (Boston University)
• Adam Bradley (Amazon)
• Kinan Dak Albab (Boston University)
• Mariangiola Dezani (University of Torino)
• Oded Goldreich (Weizmann Institute of Science)
• Michael Harris (Columbia University)
• Mirai Ikebuchi (Kyoto University)
• Haynes Miller (Massachusetts Institute of Technology)
• Robert Moll (University of Massachusetts - Amherst)
• Mark Reynolds
• Simona Ronchi Della Rocca (University of Torino)
• Pawel Urzyczyn (University of Warsaw)

A detailed program will be posted soon.

The week of June 7-12, 2026, we will also have a series of technical lectures offered by Mariangiola Dezani (University of Torino), Simona Ronchi Della Rocca (University of Torino) and Pawel Urzyczyn (University of Warsaw). More info will be posted soon.

Participate

Participation to the event is free but registration is required. Please fill in this form if you are interested in attending.

If you need accommodation, here you can find a list of Hotels in the proximity of Boston University.

Contact

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