11 - 16 Jul 2021

International Conference on Automated Deduction



09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100


Jul 2021


Newly Listed
Claim event to edit details

Her research interests include computer-aided deduction and verification, type systems, logics, programming languages and computational mathematics. .. Read more The second approach introduces a novel interactive approach to quantifier reasoning using an SMT solver. We automatically abstract the verification condition in a way that eliminates function cycles. Bio: Guido Governatori leads the Software Systems Research Group and research activities on legal informatics at CSIRO's Data61. He received his PhD in Legal Informatics from the University of Bologna. From using learned heuristics instead of handwritten heuristics, to learning to retrieve premises, to directly predicting proofs using language models; neural networks appear to be surprisingly capable at working with abstract mathematics. He explores the foundations of automated reasoning, including the use of deep learning, and is a member of the N2Formal team, which has the goal to automatically formalize mathematics.

  • Share your Experience
  • Organizer
LogoRequest a Booth

Carnegie Mellon University

USA63 Total Events / 3 Upcoming Events

More Events From The Organizer

You have no contacts. Please add contacts from below or share on social media

Send to all
No Results