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 current list of speakers and topics includes:
- Torben Amtoft (Kansas State University) - Semantic Reasoning About Probabilistic Correlations
- Azer Bestavros (Boston University) -TBD
- Adam Bradley (Amazon) - Reflections on the Good, True, and Beautiful in Programming Languages (and how LLMs ruin them)
- Kinan Dak Albab (Boston University) - Security on sand: how (not) to build security guarantees from language-based safety properties.
- Mariangiola Dezani (University of Torino) - Intersection Type Galore.
- Kati Kish (Boston University) - Rethinking Mathematical Intuition, Agency and Practice in the Age of AI
- Michael Harris (Columbia University) - In vivo experiments in mathematical understanding
- Mirai Ikebuchi (Kyoto University) - TBD
- Haynes Miller (Massachusetts Institute of Technology) - Theories and Realities
- Robert Moll (University of Massachusetts - Amherst) - Assaf, Away from his Desk
- Robert Muller (Boston College) - TBD
- Mark Reynolds (Boston University) - C*-Algebras as Univalent Types
- Simona Ronchi Della Rocca (University of Torino) - In the footsteps of Assaf and Joe.
- Pawel Urzyczyn (University of Warsaw) - Can Wajsberg and Ben-Yelles compete with Davis and Putnam?
The working program is below.
| Time |
June 3rd |
June 4th |
| 9:30am-10:30am |
Breakfast+welcome |
Breakfast |
| 10:30am-11:00am |
Pawel Urzyczyn |
Simona Ronchi Della Rocca |
| 11:00am-11:30am |
Pawel Urzyczyn |
Mariangiola Dezani |
| 11:30am-12:00am |
Robert Moll |
Robert Muller
|
| 12:00pm-1:30pm |
Lunch |
Lunch
|
| 1:30pm-2:00pm |
Azer Bestavros |
Torben Amtoft
|
| 2:00pm-2:30pm |
Adam Bradley |
Haynes Miller
|
| 2:30pm-3:00pm |
Kinan Dak Albab |
Mirai Ikebuchi
|
| 3:00pm-3:30pm |
Coffee Break |
Coffee Break
|
| 3:30pm-4:00pm |
Kati Kish |
Mark Reynolds
|
| 4:00pm-4:30pm |
Michael Harris |
Wrapping Up
|
After Event Lectures
The week of June 8-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).
Schedule
| |
Monday June 8 |
Tuesday June 9 |
Wednesday June 10 |
Thursday June 11 |
Friday June 12 |
| 9:30-10:30 |
Urzyczyn |
Urzyczyn |
Ronchi Della Rocca |
Dezani |
Ronchi Della Rocca |
| 10:30-11:00 |
Break |
Break |
Break |
Break |
Break |
| 11:00-12:00 |
Urzyczyn |
Dezani |
Ronchi Della Rocca |
Ronchi Della Rocca |
Dezani |
| 12:00-1:30 |
Lunch |
Lunch |
Lunch |
Lunch |
|
| 1:30-2:30 |
Dezani |
Ronchi Della Rocca |
Urzyczyn |
Urzyczyn |
|
The lectures will cover the following topics:
- Mariangiola Dezani (University of Torino) - Multiparty Session Types
- The advent of web technologies calls for a new programming paradigm which is usually called communication-centred. Multiparty session types are a successful formalisation for such a paradigm.
The lessons will present an informal account of multiparty session types followed by extensions dealing with security, reversibility, preciseness of subtyping, open compliance, partial typing, mixed choices.
- Simona Ronchi Della Rocca (University of Torino) - Intersection Types
- Idempotent Intersection Types, subject reduction, subject expansion, weak and strong normalization, characterization of the strongly normalising terms.
- Non-idempotent intersection types: quantitative properties, an easy proof of strong normalization, a further characterization of the strongly normalising terms.
- Solvability: characterisation of solvable terms, approximation, inhabitation (undecidable for idempotent types,
decidable for non-idempotent)
- Semantics: models of the Lambda Calculus
- Pawel Urzyczyn (University of Warsaw) - Lambda Calculus, Logic and Type Theory
-
Intro to Untyped Lambda Calculus, Simply Typed Lambda Calculus, Intuitionism, Curry-Howard.
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.
