1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland

Source URL: www.lenders.ch

• Wireless
• Air traffic control
• Geolocation
• Technology
• Navigation
• Elementary geometry
• Euclidean geometry
• Multilateration
• Ubiquitous computing
• Flightradar24
• Wide area multilateration
• Automatic dependent surveillance broadcast

This space is reserved for the EPiC Series header, do not use it Checkable Proofs for First-Order Theorem Proving∗ Giles Reger1 and Martin Suda2 1

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

• Theoretical computer science
• Automated theorem proving
• Mathematics
• Logic in computer science
• Mathematical logic
• Formal methods
• Automated reasoning
• Proof assistant
• Isabelle
• Interactive Theorem Proving
• Mathematical proof
• Geoff Sutcliffe

Arkansas Secretary of State Q Mark Martin Capitol Citation Request Form

Source URL: www.sos.arkansas.gov

• Postal system
• Email
• Mail
• Letter
• Address
• Computing
• Information and communications technology
• Culture

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav

Source URL: files.sri.inf.ethz.ch

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich,

Source URL: nsg.ee.ethz.ch

• Electromagnetism
• Transistortransistor logic
• Topology
• Network topology
• Computer network
• Electrical engineering
• Electronics

What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK

Source URL: www.logic.at

• Theoretical computer science
• Mathematical logic
• Mathematics
• Formal methods
• Automated theorem proving
• Logic in computer science
• School of Computer Science
• University of Manchester
• Constraint programming
• Satisfiability modulo theories
• Solver
• Logic programming
• Resolution

DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst

Source URL: gdac.uqam.ca

• Design of experiments
• Statistics
• Probability and statistics
• Markov models
• Statistical theory
• Psychometrics
• Statistical hypothesis testing
• Graph theory
• Markov chain
• Bayesian inference
• Matrix
• Data transformation

Institut für Technische Informatik und Kommunikationsnetze Martin Müller

Source URL: nsg.ee.ethz.ch

• Internet in the Netherlands
• Working groups
• System software
• RIPE Atlas
• Electrical engineering
• Utility software
• Traceroute
• Rseaux IP Europens Network Coordination Centre
• Scattering parameters
• RIPE
• Transmission Control Protocol
• Electronic test equipment