First-Order Interpolation Derived from Propositional InterpolationMatthias Baaz (TU Wien)
- Iranian Association for Logic
Unfortunately, due to Professor Matthias Baaz's health problems, This lecture was canceled and postponed to another time.
After his condition improves, the new time of his speech will be announced through the communication portals of the Iranian Logic Association.
Slides of this lecture: https://ialogic.ir/images/seminars/International/5July2023-Baaz/Talk_Baaz.pdf