Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based

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

• Formal methods
• Theoretical computer science
• Complexity classes
• Automated theorem proving
• Vampire
• NP
• IP
• Mathematics
• Constraint programming
• Proof compression

Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple

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

• Temporal logic
• Mathematics
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Computation tree logic
• IP
• Symbol
• Distribution
• Craig interpolation
• Universal representation

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

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

• Computer arithmetic
• Arithmetic
• Computing
• Binary arithmetic
• Theory of computation
• Data types
• IEEE standards
• Decimal64 floating-point format
• IEEE 754
• Double-precision floating-point format
• cole normale suprieure de Lyon
• Algorithm

Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem

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

• Temporal logic
• Logic in computer science
• Model checkers
• Linear temporal logic
• Computation tree logic
• Model checking
• PAT
• Synthesis
• Mathematics

AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

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

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Artificial intelligence
• Automated reasoning
• Automated theorem proving
• Predicate logic
• Quantifier
• Andrei Voronkov
• Z3
• Alt-Ergo

An Introduction to the Dynamics of Real and Complex Quadratic Polynomials. May 30, 2011 Abstract

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

• Mathematical analysis
• Fractals
• Complex dynamics
• Mathematics
• Dynamical systems
• Metaphysics
• Systems theory
• Periodic point
• Julia set
• Orbit
• Complex quadratic polynomial
• Periodic points of complex quadratic mappings

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

IGP-as-a-Backup for Robust SDN Networks Olivier Tilmans Stefano Vissicchio Universit´e catholique de Louvain

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

• Computing
• Internet architecture
• Information and communications technology
• Routing
• Data transmission
• Computer networking
• Network architecture
• Emerging technologies
• OpenFlow
• Software-defined networking
• Forwarding information base
• Forwarding

L IVERPOOL U NIVERSITY M ASTER OF R ESEARCH D ECISION M AKING U NDER R ISK AND U NCERTAINTY Robust Probabilistic Risk/Safety Analysis

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

• Probability and statistics
• Numerical analysis
• Probability theory
• Analysis
• Probability bounds analysis
• Mathematical modeling
• Operations research
• Uncertainty quantification
• Probability box
• DempsterShafer theory
• Uncertainty
• Monte Carlo method

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

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