You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
==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
Save page Show preview Cancel