LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
PROGRAM

Days: Friday, November 16th Saturday, November 17th Sunday, November 18th Monday, November 19th Tuesday, November 20th Wednesday, November 21st

Friday, November 16th

View this program: with abstractssession overviewtalk overview

15:00-16:00 Session 2: Verification (IWIL-2018)
15:00
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic (abstract)
15:30
Extending a Verified Simplex Algorithm (abstract)
16:30-18:00 Session 3: Proofs, Programs, and Symmetries (IWIL-2018)
16:30
ProofWatch Meets ENIGMA: First Experiments (abstract)
17:00
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection (abstract)
17:30
Splitting a Logic Program Efficiently (abstract)
Saturday, November 17th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 4: Invited Talk (LPAR-22)
09:00
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions (abstract)
13:45-14:30 Session 6: Short Papers (LPAR-22)
13:45
Symmetry breaking in a new stable model search method (abstract)
14:00
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic (abstract)
14:15
Towards Efficient Metaquery Generator (abstract)
Sunday, November 18th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 7: Invited Talk (LPAR-22)
09:00
Variations on the Classical Maximum-Flow Problem (abstract)
10:30-12:30 Session 8: Logic 1 (LPAR-22)
10:30
Two-variable First-Order Logic with Counting in Forests (abstract)
11:00
Completeness of Left Handed Kleene algebra via Cyclic Proofs (abstract)
11:30
A Verified Theorem Prover Backend Supported by a Monotonic Library (abstract)
12:00
Alternating Reachability Games with Behavioral and Revenue Objectives (abstract)
14:00-16:00 Session 9: Verification 1 (LPAR-22)
14:00
Polymorphic success types for Erlang (abstract)
14:30
Parse Condition: A Symbolic Encoding for LL(1) Parsing (abstract)
15:00
Loop Analysis by Quantification over Iterations (abstract)
15:30
Automatic Space Bound Analysis for Functional Programs with Garbage Collection (abstract)
16:30-18:30 Session 10: Logic 2 (LPAR-22)
16:30
Linear Tree Constraints (abstract)
17:00
When Are Two Gossips the Same? (abstract)
17:30
In Memory of Martin Hofmann (abstract)
Monday, November 19th

View this program: with abstractssession overviewtalk overview

Tuesday, November 20th

View this program: with abstractssession overviewtalk overview

09:00-10:10 Session 11: Tools 1 (LPAR-22)
09:00
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games (abstract)
09:30
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (abstract)
09:50
SMTS: Distributed, Visualized Constraint Solving (abstract)
10:30-12:30 Session 12: SAT (LPAR-22)
10:30
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse (abstract)
11:00
A Theory of Satisfiability-Preserving Proofs in SAT Solving (abstract)
11:30
Towards Smarter MACE-style Model Finders (abstract)
12:00
The Weak Completion Semantics and Equality (abstract)
14:00-16:00 Session 13: Verification 2 (LPAR-22)
14:00
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm (abstract)
14:30
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA (abstract)
15:00
Reasoning About Prescription and Description Using Prioritized Default Rules (abstract)
15:30
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (abstract)
16:30-17:30 Session 14: Tools 2 (LPAR-22)
16:30
Rewriting Environment for Arithmetic Circuit Verification (abstract)
16:50
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (abstract)
17:10
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography (abstract)
Wednesday, November 21st

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 15: Invited Talk (LPAR-22)
09:00
Commonsense Reasoning for Robotics and Bioscience via Probabilistic Logic and Meta-learning (abstract)
10:30-12:30 Session 16: Foundations (LPAR-22)
10:30
The Involutions-as-Principal Types/Application-as-Unification Analogy (abstract)
11:00
Knowledge Compilation meets Uniform Sampling (abstract)
11:30
Graphs Path Orderings (abstract)
12:00
Why These Automata Types? (abstract)
13:30-15:30 Session 17: Logic 3 (LPAR-22)
13:30
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic (abstract)
14:00
Matching in the Description Logic FL0 with respect to General TBoxes (abstract)
14:30
The Triguarded Fragment of First-order Logic (abstract)
15:00
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems (abstract)