ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
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:

Registration

Sponsors

 EasyChair