Overview
ANDREI-60: Automating New-Era Deductive Reasoning Event in Iberia
This workshop has been organised to honour and celebrate the 60th birthday of Andrei Voronkov.
The workshop will be held between 19-23 May, 2019, in Tbilisi, Georgia.
Organisers:
- Konstantin Korovin, University of Manchester
- Laura Kovacs, TU Wien
- Giles Reger, University of Manchester
Registration
Sponsors
