Plenary and Semi-Plenary Talks
Schedule
All times Zagreb.
Scan to see all details
on
ScholarLattice.org
!
July 14
09:00AM – 10:00AM
Plenary Talk - TC
in
A0-2
Topology in the topos of countable reals
— Andrej Bauer, James E. Hanson
July 16
11:35AM – 12:20PM
Semi-Plenary Talk - TC
in
A0-1
Topology via abstract computation
— Alexander Melnikov