Difference between revisions of "PSI 2019"

From Openresearch
Jump to: navigation, search
(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
 
}}
 
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+
==Keynotes==
 
+
* Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
==Topics==
+
* Andrew Yao (Tsinghua University, Beijing, China): Fintech and Its Scientific Drivers
==Submissions==
+
* 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
==Important Dates==
+
* 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
==Committees==
+
* Margus Veanes (Microsoft Research, Redmond, USA): The Power of Symbolic Automata and Transducers
* Co-Organizers
 
* General Co-Chairs
 
** [[has general chair::some person]], some affiliation, country
 
 
 
* PC Co-Chairs
 
** [[has program chair::some person]], some affiliation, country
 
 
 
* Workshop Chair
 
** [[has workshop chair::some person]], some affiliation, country
 
 
 
* Panel Chair
 
** [[has OC member::some person]], some affiliation, country
 
 
 
* Seminars Chair
 
** [[has tutorial chair::some person]], some affiliation, country
 
 
 
* Demonstration Co-Chairs
 
** [[has demo chair::some person]], some affiliation, country
 
** [[has demo chair::some person]], some affiliation, country
 
 
 
* Local Organizing Co-Chairs
 
** [[has local chair::some person]], some affiliation, country
 
 
 
* Program Committee Members
 
** [[has PC member::some person]], some affiliation, country
 
-->
 

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