LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

A
Alba-Castro, Mauricio	Software Formal Verification by Rewriting Logic and Declarative Programming
Arielly de Lima, Thaynara	Mechanising Hall’s Theorem for Countable Graphs
Ayala-Rincón, Mauricio	Mechanising Hall’s Theorem for Countable Graphs
B
Barbosa, Haniel	An Interactive SMT Tactic in Coq using Abductive Reasoning
Barrett, Clark	An Interactive SMT Tactic in Coq using Abductive Reasoning
Begdouri, Ahlame	On the computation of conditioning in weighted belief bases
Bendík, Jaroslav	Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
Benferhat, Salem	On the computation of conditioning in weighted belief bases
Beutner, Raven	Model Checking Omega-Regular Hyperproperties with AutoHyperQ
Bhayat, Ahmed	Refining Unification with Abstraction
Biewer, Sebastian	HoRStify: Sound Security Analysis of Smart Contracts
Bromberger, Martin	Exploring Partial Models with SCL
Brown, Chad	Experiments on Infinite Model Finding in SMT Solving
Brown, Chad	A Mathematical Benchmark for Inductive Theorem Provers
Bubel, Richard	Trace-based Deductive Verification
Bártek, Filip	How Much Should This Symbol Weigh? A GNN-Advised Clause Selection
C
Chvalovský, Karel	Guiding an Instantiation Prover with Graph Neural Networks
Cruz-Filipe, Luís	Keep me out of the loop: a more flexible choreographic projection
D
Daggitt, Matthew	LDL: the Logic of Differentiable Logics
Delenne, Carole	On the computation of conditioning in weighted belief bases
E
Ettarguy, Omar	On the computation of conditioning in weighted belief bases
F
Fedyukovich, Grigory	Collaborative Inference of Combined Invariants
Finkbeiner, Bernd	Counterfactuals Modulo Temporal Logics Model Checking Omega-Regular Hyperproperties with AutoHyperQ
Fiuk, Oskar	An excursion to the border of decidability: between two- and three-variable logic
Fontaine, Pascal	Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
G
Garg, Mohit	Efficient and Verified Continuous Double Auctions
Gauthier, Thibault	A Mathematical Benchmark for Inductive Theorem Provers
Gurov, Dilian	Trace-based Deductive Verification
H
Hader, Thomas	SMT Solving over Finite Field Arithmetic
Hamza, Jad	On the Complexity of Convex and Reverse Convex Prequadratic Constraints
Heule, Marijn	Computer-aided Mathematics: Successes, Advances, and Trust Toward Optimal Radio Colorings of Hypercubes via SAT-solving
Holler, Sebastian	HoRStify: Sound Security Analysis of Smart Contracts
Hozzová, Petra	Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
Hähnle, Reiner	Trace-based Deductive Verification
J
Janota, Mikolas	Experiments on Infinite Model Finding in SMT Solving A Mathematical Benchmark for Inductive Theorem Provers
K
Kabir, Mohimenul	A Fast and Accurate ASP Counting Based Network Reliability Estimator
Kaliszyk, Cezary	Experiments on Infinite Model Finding in SMT Solving
Kaufmann, Daniela	SMT Solving over Finite Field Arithmetic
Keller, Chantal	An Interactive SMT Tactic in Coq using Abductive Reasoning
Kieronski, Emanuel	An excursion to the border of decidability: between two- and three-variable logic
Komendantskaya, Ekaterina	LDL: the Logic of Differentiable Logics
Korovin, Konstantin	Refining Unification with Abstraction Guiding an Instantiation Prover with Graph Neural Networks
Kostyukov, Yurii	Collaborative Inference of Combined Invariants
Kovacs, Laura	SMT Solving over Finite Field Arithmetic Refining Unification with Abstraction
Kuncak, Viktor	On the Complexity of Convex and Reverse Convex Prequadratic Constraints
L
Liang, Victor	Scalable Probabilistic Routes
M
McKeown, Jack	Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
Meel, Kuldeep S	A Fast and Accurate ASP Counting Based Network Reliability Estimator Scalable Probabilistic Routes
Montesi, Fabrizio	Keep me out of the loop: a more flexible choreographic projection
Mordvinov, Dmitry	Collaborative Inference of Combined Invariants
N
Nutz, Alexander	Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
O
Obdrzalek, Jan	Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Oliveras, Albert	Analyzing Multiple Conflicts in SAT: An Experimental Evaluation
P
Parsert, Julian	Experiments on Infinite Model Finding in SMT Solving
Piepenbrock, Jelle	Guiding an Instantiation Prover with Graph Neural Networks
Pluska, Alexander	Embedding Intuitionistic into Classical Logic
R
Rasmussen, Robert R.	Keep me out of the loop: a more flexible choreographic projection
Raya, Rodrigo	On the Complexity of Convex and Reverse Convex Prequadratic Constraints
Reynolds, Andrew	An Interactive SMT Tactic in Coq using Abductive Reasoning
Rodeh, Yoav	Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
Rodríguez Carbonell, Enric	Analyzing Multiple Conflicts in SAT: An Experimental Evaluation
S
Sarswat, Suneel	Efficient and Verified Continuous Double Auctions
Scaletta, Marco	Trace-based Deductive Verification
Schneidewind, Clara	HoRStify: Sound Security Analysis of Smart Contracts
Schoisswohl, Johannes	Refining Unification with Abstraction
Schwarz, Simon	Exploring Partial Models with SCL
Serbanuta, Traian	Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Serrano Suárez, Fabián Fernando	Mechanising Hall’s Theorem for Countable Graphs
Siber, Julian	Counterfactuals Modulo Temporal Logics
Stark, Kathrin	LDL: the Logic of Differentiable Logics
Steen, Alexander	Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
Stewart, Robert	LDL: the Logic of Differentiable Logics
Subercaseaux, Bernardo	Toward Optimal Radio Colorings of Hypercubes via SAT-solving
Suda, Martin	How Much Should This Symbol Weigh? A GNN-Advised Clause Selection
Sutcliffe, Geoff	Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
T
Tinelli, Cesare	An Interactive SMT Tactic in Coq using Abductive Reasoning
Tušil, Jan	Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
U
Urban, Josef	Guiding an Instantiation Prover with Graph Neural Networks A Mathematical Benchmark for Inductive Theorem Provers
V
Viswanathan, Arjun	An Interactive SMT Tactic in Coq using Abductive Reasoning
W
Weidenbach, Christoph	Exploring Partial Models with SCL
Y
Yang, Suwei	Scalable Probabilistic Routes
Z
Zhao, Rui	Analyzing Multiple Conflicts in SAT: An Experimental Evaluation
Zuleger, Florian	Embedding Intuitionistic into Classical Logic
Ś
Ślusarz, Natalia	LDL: the Logic of Differentiable Logics

Disclaimer | Powered by EasyChair Smart Program