Sharaf al-Dīn al-Ṭūsī Kamal al Din Ibn Yunus Nasir al-Din al-Tusi

Source URL: homepages.warwick.ac.uk

IGP-as-a-Backup for Robust Software-Defined Networks Olivier Tilmans Stefano Vissicchio

Source URL: inl.info.ucl.ac.be

• Network architecture
• Computing
• Emerging technologies
• Computer architecture
• Network protocols
• Configuration management
• Software-defined networking
• OpenFlow
• Ethernet
• Transmission Control Protocol
• Network switch
• Routing

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

PDF Document

Source URL: www.homepages.ucl.ac.uk

PDF Document

Source URL: www.cl.cam.ac.uk

• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Automated theorem proving
• Constraint programming
• Isabelle
• SPASS
• Satisfiability modulo theories
• Frama-C
• Alt-Ergo
• Vampire

Panel on Research Challenges for Agent Verification ==================================================== The first speaker was Dr. Kerstin Eder from the University of Bristol and Bristol Robotics Lab.  She began by high

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Logic in computer science
• Systems engineering
• Software engineering
• Electronic engineering
• Theoretical computer science
• Electrical engineering
• Electronic design
• Formal verification
• Runtime verification
• Verification
• Integrated circuit design

L?|?Lt Ah@??} ? Bih4@?) aLh?5|igi? tU!i WA 6iMh@h) 2fff Devwudfw

Source URL: econ.lse.ac.uk

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds ARCADE Workshop August 6, 2017

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic in computer science
• NP-complete problems
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Universal quantification
• Solver

Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Symbol
• Differential topology
• Lifting theory
• Jet bundle