DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Source URL: www.react.uni-saarland.de

• Automated theorem proving
• Concolic testing
• Software testing
• Equations
• Z3
• Solver
• Equation solving
• Mathematics
• Abstraction
• Software engineering

The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

Source URL: www.react.uni-saarland.de

• Numerical software
• Model checking
• Neuropsychology
• Solver
• Problem solving

SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

Source URL: www.react.uni-saarland.de

• Multiplexing
• T-carrier
• Schedule

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Source URL: nsv2015.informatik.uni-freiburg.de

• Economy
• Computational science
• Numerical analysis
• Computer science
• Validation
• Electromagnetism
• Quantitative analyst
• Business

LEGAL KNOWLEDGE AND INFORMATION SYSTEMS Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A

Source URL: orbilu.uni.lu

• Computer law
• Artificial intelligence
• Trevor Bench-Capon
• JURIX
• Applications of artificial intelligence to legal informatics
• Leon van der Torre
• Ambient intelligence
• Computer science

Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University

Source URL: www.react.uni-saarland.de

SUMMARY RECORD, ADMINISTRATIVE COUNCIL INTERNATIONAL AMATEUR RADIO UNION Meeting in Seoul, Republic of Korea 12 SeptemberThe 44th meeting of the Administrative Council (AC) of the International Amateur Radio Uni

Source URL: www.iaru.org

• Radio
• Amateur radio
• International Amateur Radio Union
• QSL card

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Source URL: www.isse.uni-augsburg.de

• Logic
• Mathematical logic
• Linguistics
• Predicate logic
• Knowledge representation
• Tree
• FO
• Predicate transformer semantics
• Substitution
• B-tree
• Symbol
• Control

Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and

Source URL: www.isse.uni-augsburg.de

• Computing
• Software
• Formal methods
• Computer programming
• Refinement
• Crash Bandicoot
• Crash
• S0
• Extensible Storage Engine
• Boeing B-52 Stratofortress

Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni

Source URL: www.seas.upenn.edu

• Cryptography
• Algebra
• Abstract algebra
• Group theory
• Computational hardness assumptions
• DiffieHellman key exchange
• Cyclic group
• Logjam
• Generating set of a group
• Subgroup
• Whitfield Diffie
• Computational DiffieHellman assumption