PSI 2019
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | PSI 2019 |
| Title | A.P. Ershov Informatics Conference |
| Start date | 2019/07/02 |
| End date | 2019/07/05 |
| Homepage | https://psi.nsc.ru/ |
| ... | ... |
Keynotes
- 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