First-Order Interpolation Derived from Propositional InterpolationMatthias Baaz (TU Wien)
July 5, 2023, 1:30pm - 3:30pm
This event is online
Sponsor(s):
- Iranian Association for Logic
Organisers:
Amir Kabir University University (Tehran Polytechnic)
Tarbiat Modares University (PhD)
Details
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
Registration
No
Who is attending?
1 person is attending:
Will you attend this event?