Some Results in Proof Theory and Automated Reasoning
Bruno Woltzenlogel Paleo

December 20, 2018, 11:00am - 1:00pm
Logic Group, The University of Melbourne

G10
Old Quad
Parkville 3010
Australia

Organisers:

University of Melbourne

Topic areas

Details

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.

Abstract:  Despite 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ödel’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’s interests.  

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.