![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Logic beyond formulas: a proof system on graphs
Logic beyond formulas: a proof system on graphsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Anupam Das. There is a well-known correspondence between formulas and cographs, which are unoriented graphs containing no chordless paths of length 3. The aim of this talk is to shape a proof system operating on general graphs instead of formulas-as-cographs starting from logical principles. After providing some motivation, I will show how it is possible to achieve this result using the notion of modular decomposition and deep inference rules This talk is based on a joint work with Ross Horne and Lutz Strassburger. 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 listsPIPS - Postgraduate Informal Physics Seminars Particle Physics Seminars Reading Group in Combinatorics and ProbabilityOther talksWaveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy TBA TBC Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBA TBA |