The Strange Career of Interpolation and Definability

Add to your list(s) Download to your calendar using vCal

• Michael Benedikt, University of Oxford
• Wednesday 08 September 2021, 14:00-15:00
• LG23, SoCS and Zoom (see abstract for link).

If you have a question about this talk, please contact Anupam Das.

Beth Definability, Craig Interpolation, and their variants have long been seen as an important topic in commputational logic, telling us something about logical simplification. But the rationale for their significance has varied over time, and it is not even clear whether they should be best seen as a property of a logic or of a proof system. In this talk I will look back at the somewhat twisty evolution of the topic, highlighting some issues that have been underexplored. I’ll also present some current work (joint with Pierre Pradic) aimed at filling some of the gaps. No background on interpolation or definability will be assumed in the talk.

This seminar is also an invited talk of both TABLEAUX and FroCoS 2021.

—— ZOOM DETAILS ——

Topic: TABLEAUX 2021 and FroCoS 2021 and Theory Seminar Time: Sep 8, 2021 08:30 AM London Every day, until Sep 10, 2021, 3 occurrence(s) Sep 8, 2021 08:30 AM Sep 9, 2021 08:30 AM Sep 10, 2021 08:30 AM Please download and import the following iCalendar (.ics) files to your calendar system. Daily: https://bham-ac-uk.zoom.us/meeting/tZUtd—gqTsiGNfsGQ4WHHVaquOFQZEAEUfx/ics?icsToken=98tyKuGprjssEtOVuBuERpwcAoigM_zwtmJHjY1bjzjUVxd7SjX3J_dtFINFNfn1

Join Zoom Meeting https://bham-ac-uk.zoom.us/j/81006870823

Meeting ID: 810 0687 0823 One tap mobile +442039017895,,81006870823# United Kingdom +442080806591,,81006870823# United Kingdom

Dial by your location +44 203 901 7895 United Kingdom +44 208 080 6591 United Kingdom +44 208 080 6592 United Kingdom +44 330 088 5830 United Kingdom +44 131 460 1196 United Kingdom +44 203 481 5237 United Kingdom +44 203 481 5240 United Kingdom Meeting ID: 810 0687 0823 Find your local number: https://bham-ac-uk.zoom.us/u/kdRnjjZkuq

Join by SIP 81006870823@zoomcrc.com

Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (Amsterdam Netherlands) 213.244.140.110 (Germany) 103.122.166.55 (Australia Sydney) 103.122.167.55 (Australia Melbourne) 149.137.40.110 (Singapore) 64.211.144.160 (Brazil) 149.137.68.253 (Mexico) 69.174.57.160 (Canada Toronto) 65.39.152.160 (Canada Vancouver) 207.226.132.110 (Japan Tokyo) 149.137.24.110 (Japan Osaka) Meeting ID: 810 0687 0823

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• LG23, SoCS and Zoom (see abstract for link)
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.