![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > The Strange Career of Interpolation and Definability
The Strange Career of Interpolation and DefinabilityAdd to your list(s) Download to your calendar using vCal
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:
Note that ex-directory lists are not shown. |
Other listsType the title of a new list here Data Science and Computational Statistics Seminar Artificial Intelligence and Natural Computation seminarsOther talksProofs of Turán's theorem TBA Waveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBC Life : it’s out there, but what and why ? |