At the ISSA laboratory seminar Steve Zdancewic gave a talk entitled: "Vellvm - Verifying the LLVM"
Prof. Steve Zdancewic, University of Pennsylvania
EducationprofessorsHSE guestsopen lecturesReporting an eventinnovations International Laboratory for Intelligent Systems and Structural AnalysisSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
7 March
2017
At the ISSA laboratory seminar Thomas Hensinger gave a talk entitled: Reactive Systems: A Powerful Paradigm for Modeling and Analysis from Engineering to Biology
Prof. Thomas Hensinger, IST Austria
EducationHSE guestsReporting an eventinnovations International Laboratory for Intelligent Systems and Structural AnalysisSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
6 March
2017
At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A Faster Tableau for CTL*"
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
EducationprofessorsReporting an eventinnovations International Laboratory for Intelligent Systems and Structural AnalysisSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
1 October
2016
At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A new rule for LTL tableaux"
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
EducationReporting an eventSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
29 September
2016