BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260929T203143Z
DTSTART;TZID=Australia/Melbourne:20181220T060000
DTEND;TZID=Australia/Melbourne:20181220T080000
SUMMARY:Some Results in Proof Theory and Automated Reasoning
UID:20261003T050716Z-iCalPlugin-Grails@fe80:0:0:0:10f5:e0ff:fe86:30ee%3
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Bruno Wolztenlogel Paleo (Input Output HK) will present "Some Results in Proof Theory and Automated Reasoning" at 11 on Thursday\, 20 December in Old Quad G10.</p>\nAbstract:&nbsp\;\nDespite being in Canberra for a while\, this will be the first time I will give a talk at the University of Melbourne. Therefore\, I assume that the audience is not acquainted with my research in the fields of proof theory and automated reasoning yet. I also believe that the logic community in Melbourne has a very wide range of interests. Therefore\, instead of talking about a single topic\, I intend to give an overview of some of my results\, possibly including the Conflict Resolution calculus\, translations between Resolution and Sequent Calculus\, para-disagreement logics\, the formalization of G&ouml\;del&rsquo\;s Ontological Argument\, proof compression algorithms for proofs generated by Sat and SMT solvers\, a Contextual Natural Deduction calculus\, cut-elimination and cut-introduction. I will discuss why and how IOHK is applying logic and formal methods to cryptocurrencies and blockchain technologies. Hopefully\, there will be something for everyone in this talk and we will get acquainted with each other&rsquo\;s interests.\n&nbsp\;
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR