PSI 2019: Difference between revisions

From Openresearch
Jump to navigation Jump to 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..."
 
mNo edit summary
 
(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 16: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


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
Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=PSI_2019&oldid=220502"