(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
Line 18: | Line 18: | ||
==Keynotes== | ==Keynotes== | ||
* Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back | * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back | ||
− | * Andrew Yao (Tsinghua University, Beijing, | + | * 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 | * 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 | * 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 | * Joost-Pieter Katoen (Aachen University, Germany): On Termination of Probabilistic Programs | ||
* Margus Veanes (Microsoft Research, Redmond, USA): The Power of Symbolic Automata and Transducers | * Margus Veanes (Microsoft Research, Redmond, USA): The Power of Symbolic Automata and Transducers |
Revision as of 12:43, 7 July 2022
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