Invited Speakers
The workshop will have two invited talks:
- Geoff Sutcliffe (University of Miami): "Things that you can't do with a Vampire"
- Leonardo de Moura (Microsoft Research). Lost in translation: how easy (automated reasoning) problems become hard due to bad encodings