The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release:

Source URL: smtlib.cs.uiowa.edu

• Theoretical computer science
• Software engineering
• Computing
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• SMT
• Solver
• Pascal
• Semantics

Laboratoire de mathématiques Blaise Pascal, UMR 6620 Publications 2016 CNRS & université Clermont Auvergne

Source URL: recherche.math.univ-bpclermont.fr

1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

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

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Internet architecture
• Internet Standards
• Internet protocols
• Routing algorithms
• Constraint
• Open Shortest Path First
• Link-state routing protocol
• Router

Approche géométrique de la théorie de l’indice via les groupoïdes. Claire Debord Université Blaise Pascal Laboratoire de Mathématiques, UMR 6620 CNRS-UBP

Source URL: math.univ-bpclermont.fr

N◦ d’ordre : 407 UNIVERSITÉ BLAISE PASCAL, Clermont-Ferrand Laboratoire de Mathématiques, UMR CNRS-UBPMÉMOIRE D’HABILITATION À DIRIGER DES RECHERCHES EN

Source URL: math.univ-bpclermont.fr

Laboratoire de mathématiques, UMR 6620 Publications 2015 CNRS & université Blaise Pascal Publications de l’UMR 6620

Source URL: recherche.math.univ-bpclermont.fr

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Source URL: pxtp.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Computability theory
• Models of computation
• First-order logic
• Lambda calculus
• Term
• Quantifier
• Natural deduction
• CurryHoward correspondence

Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze

Source URL: www.tik.ee.ethz.ch

• Computing
• Software
• Computer architecture
• Smartphones
• Cloud clients
• Personal computing
• Android
• Benchmark
• Google Play
• HERE WeGo
• IOS
• BlackBerry Priv

Pascal Sprenger Design and Implementation of an ECN Proxy for Performance Improvements in the Internet

Source URL: nsg.ee.ethz.ch

• Computing
• Network performance
• Firewall software
• System software
• Flow control
• Explicit Congestion Notification
• Information and communications technology
• Transmission Control Protocol
• Netfilter
• Packet loss
• Firewall
• Communication protocol

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

Source URL: staff.bath.ac.uk

• Theoretical computer science
• Logic
• Logic in computer science
• Mathematics
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Uninterpreted function
• Satisfiability
• Solver