LPAR

Keyphrases

Publications

2023

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Trace-based Deductive Verification. LPAR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR (2023)
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino
Formalization of Algebraic Theorems in PVS (Invited Talk). LPAR (2023)
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
Collaborative Inference of Combined Invariants. LPAR (2023)
Bernd Finkbeiner, Julian Siber
Counterfactuals Modulo Temporal Logics. LPAR (2023)
Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. LPAR (2023)
Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne
Syntactic computation of Fagin-Halpern conditioning in possibility theory. LPAR (2023)
Filip Bártek, Martin Suda
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. LPAR (2023)
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. LPAR (2023)
Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk
Experiments on Infinite Model Finding in SMT Solving. LPAR (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen
Keep me out of the loop: a more flexible choreographic projection. LPAR (2023)
Thomas Hader, Daniela Kaufmann, Laura Kovács
SMT Solving over Finite Field Arithmetic. LPAR (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. LPAR (2023)
Oskar Fiuk, Emanuel Kieronski
An excursion to the border of decidability: between two- and three-variable logic. LPAR (2023)
Rodrigo Raya, Jad Hamza, Viktor Kuncak
On the Complexity of Convex and Reverse Convex Prequadratic Constraints. LPAR (2023)
Bernardo Subercaseaux, Marijn Heule
Toward Optimal Radio Colorings of Hypercubes via SAT-solving. LPAR (2023)
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett
An Interactive SMT Tactic in Coq using Abductive Reasoning. LPAR (2023)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Exploring Partial Models with SCL. LPAR (2023)
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR (2023)
Alexander Pluska, Florian Zuleger
Embedding Intuitionistic into Classical Logic. LPAR (2023)
Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl
Refining Unification with Abstraction. LPAR (2023)
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
Tighter Abstract Queries in Neural Network Verification. LPAR (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. LPAR (2023)
Raven Beutner, Bernd Finkbeiner
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. LPAR (2023)
Jan Tusil, Traian Serbanuta, Jan Obdrzálek
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. LPAR (2023)
Mohimenul Kabir, Kuldeep S. Meel
A Fast and Accurate ASP Counting Based Network Reliability Estimator. LPAR (2023)
Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban
Guiding an Instantiation Prover with Graph Neural Networks. LPAR (2023)

volume 94, 2023

LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. LPAR 94 (2023)

2020

volume 73, 2020

LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. LPAR 73 (2020)