ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
PROGRAM FOR WEDNESDAY, MAY 22ND: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
10:00-10:20
Alexander Leitsch
14:00-14:20
Margarita Korovina
15:00-15:20
Martin Suda
16:00-16:20
Michel Parigot
16:20-16:40
Konstantin Korovin
16:40-17:00
Geoff Sutcliffe
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break