‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 16:40 - 17:00 at Verdi - Session 4

Graduated Math Department of Novosibirsk State Uni in 1983, got Ph.D. from Novosibirsk Institute of Computational Math in 1087. Since than had research and teaching positions (visiting, temporal and permanent) in Australia, Kazakhstan, New Zealand, South Korea, and (of course) Russia. From the last years of the university studies I am pretty much interested in applied Logic, program semantics, verification and equivalence.

Tue 2 Apr

vpt-2019-papers
16:00 - 17:10: VPT 2019 - Session 4 at Verdi
vpt-2019-papers16:00 - 16:20
Talk
Isaac Oscar Gariano, Marco ServettoVictoria University Wellington, New Zealand, Alex PotaninVictoria University of Wellington, Hrshikesh AroraVictoria University of Wellington, New Zealand
vpt-2019-papers16:20 - 16:40
Talk
vpt-2019-papers16:40 - 17:00
Talk
Nikolay ShilovInnopolis University
vpt-2019-papers17:00 - 17:10
Day closing
Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia