Programme

Invited Speakers

We will have two invited speakers.

  • Larry Moss, Indiana University
    "Automated Reasoning In Natural Language: Current Directions"
  • Giles Reger, University of Manchester
    "Going Beyond First-Order Logic with Vampire"

Schedule and Accepted Papers

TBA