![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Canonical proof-objects for coinductive programming
Canonical proof-objects for coinductive programmingAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Anupam Das. Proof assistants such as Coq and Agda support coinduction but it’s not perfect. We will discuss a few issues of coinduction in Coq. Non-wellfounded and circular proof theory have been recognised over the past decade as a valuable tool to study (co)induction. In a first step to tackle some of the aforementioned issues, we develop the theory of infinets – proof-nets for non-wellfounded proofs. This is a joint work with Luc Pellisier and Alexis Saurin. ZOOM DETAILS Topic: Theory Seminar Friday 3 September Time: Sep 3, 2021 02:00 PM London Join Zoom Meeting https://bham-ac-uk.zoom.us/j/84859575160 Meeting ID: 848 5957 5160 One tap mobile +442080806591,,84859575160# United Kingdom +442080806592,,84859575160# United Kingdom Dial by your location +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 +44 203 901 7895 United Kingdom Meeting ID: 848 5957 5160 Find your local number: https://bham-ac-uk.zoom.us/u/kc2KfRXBId Join by SIP 84859575160@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: 848 5957 5160 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 listsReading Group in Combinatorics and Probability Theoretical computer science seminar What's on in Physics?Other talksTBA Life : it’s out there, but what and why ? TBA TBC Ultrafast Spectroscopy and Microscopy as probes of Energy Materials Quantum Sensing in Space |