PSI 2019

From Openresearch
Jump to: navigation, search
PSI 2019
A.P. Ershov Informatics Conference
Event in series PSI
Dates 2019/07/02 (iCal) - 2019/07/05
Location: Novosibirsk, Russia
Loading map...

Important dates
Submissions: 2019/02/10
Keynote speaker: Moshe Vardi, Andrew Yao, Sören Auer, Marta Kwiatkowska, Joost-Pieter Katoen, Margus Veanes
Table of Contents



  • Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
  • Andrew Yao (Tsinghua University, Beijing, China): Fintech and Its Scientific Drivers
  • Sören Auer (Leibniz Information Centre for Science and Technology and University Library, Germany): Towards Knowledge Graph Based Representation, Augmentation and Exploration of Scholarly Communication
  • Marta Kwiatkowska (Oxford University, UK): Safety Verification for Deep Neural Networks with Provable Guarantees
  • Joost-Pieter Katoen (Aachen University, Germany): On Termination of Probabilistic Programs
  • Margus Veanes (Microsoft Research, Redmond, USA): The Power of Symbolic Automata and Transducers