(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(3 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
|Title=A.P. Ershov Informatics Conference | |Title=A.P. Ershov Informatics Conference | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=https://psi.nsc.ru/ |
− | |||
|City=Novosibirsk | |City=Novosibirsk | ||
− | |Country= | + | |Country=Country:RU |
− | |||
|pageCreator=User:Curator 35 | |pageCreator=User:Curator 35 | ||
|pageEditor=User:Curator 89 | |pageEditor=User:Curator 89 | ||
Line 15: | Line 13: | ||
|Start Date=2019/07/02 | |Start Date=2019/07/02 | ||
|End Date=2019/07/05 | |End Date=2019/07/05 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Submission Deadline=2019/02/10 | ||
+ | }} | ||
+ | {{S Event}} | ||
==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 |
Latest revision as of 14:19, 19 October 2022
Deadlines
|
||
Submission |
Venue
Novosibirsk, Russian Federation
Warning: Venue is missing. The map might not show the exact location.
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