Write a Blog >>
Sun 19 Jan 2020 14:40 - 15:05 at Maurepas - Formal Methods Chair(s): Dominique Unruh

Sun 19 Jan (GMT-06:00) Saskatchewan, Central America change

planqc-2020-papers
14:00 - 15:05: PLanQC - Formal Methods at Maurepas
Chair(s): Dominique UnruhUniversity of Tartu
planqc-2020-papers14:00 - 14:20
Talk
Federico OlmedoUniversity of Chile & IMFD Chile, Alejandro Díaz-CaroICC (UBA-CONICET) & UNQ
Pre-print File Attached
planqc-2020-papers14:20 - 14:40
Talk
Christopĥe CharetonCEA, LIST, France, Sebastien BardinCEA LIST, François BobotCEA, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
File Attached
planqc-2020-papers14:40 - 15:05
Talk
Kesha HietalaUniversity of Maryland, Kartik SinghalUniversity of Chicago, Robert RandUniversity of Maryland, Shih-Han HungUniversity of Maryland, Xiaodi WuUniversity of Maryland, College Park, Michael HicksUniversity of Maryland
Media Attached