Difference between revisions of "PSI 2019"
(Created page with "{{Event |Acronym=PSI 2019 |Title=A.P. Ershov Informatics Conference |Series=PSI |Type=Conference |Start date=2019/07/02 |End date=2019/07/05 |Submission deadline=2019/02/10 |H...") |
m |
||
| (One intermediate revision by the same user not shown) | |||
| Line 10: | Line 10: | ||
|City=Novosibirsk | |City=Novosibirsk | ||
|Country=Russia | |Country=Russia | ||
| + | |has Keynote speaker=Moshe Vardi, Andrew Yao, Sören Auer, Marta Kwiatkowska, Joost-Pieter Katoen, Margus Veanes | ||
}} | }} | ||
| − | + | ==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 | |
| − | * | ||
| − | |||
| − | * | ||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Latest revision as of 17:20, 1 April 2020
| PSI 2019 | |
|---|---|
A.P. Ershov Informatics Conference
| |
| Event in series | PSI |
| Dates | 2019/07/02 (iCal) - 2019/07/05 |
| Homepage: | https://psi.nsc.ru/ |
| Location | |
| 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 | |
Contents | |
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
Facts about "PSI 2019"
| Acronym | PSI 2019 + |
| End date | July 5, 2019 + |
| Event in series | PSI + |
| Event type | Conference + |
| Has Keynote speaker | Moshe Vardi +, Andrew Yao +, Sören Auer +, Marta Kwiatkowska +, Joost-Pieter Katoen + and Margus Veanes + |
| Has coordinates | 54° 58' 4", 82° 57' 6"Latitude: 54.967813888889 Longitude: 82.9516 + |
| Has location city | Novosibirsk + |
| Has location country | Category:Russia + |
| Homepage | https://psi.nsc.ru/ + |
| IsA | Event + |
| Start date | July 2, 2019 + |
| Submission deadline | February 10, 2019 + |
| Title | A.P. Ershov Informatics Conference + |
