LPAR22: Volume InformationLPAR22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning39 articles•666 pages•Published: October 23, 2018 PapersHolger Hermanns, Sebastian Biewer, Pedro R. D'Argenio and Maximilian A. Köhl 117  Orna Kupferman 1825  Elias Alevizos, Alexander Artikis and Georgios Paliouras 2635  Krzysztof Apt, Davide Grossi and Wiebe VanDerHoek 3655  Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine EvenMendoza, Natasha Sharygina and Hana Chockler 5675  Franz Baader, Oliver Fernandez Gil and Pavlos Marantidis 7694  Matthias Baaz and Anela Lolic 95110  Sabine Bauer, Steffen Jost and Martin Hofmann 111130  Jaroslav Bendík and Ivana Cerna 131142  Udi Boker 143163  Ralph Bottesch, Max W. Haslbeck and René Thiemann 164180  Abdelhamid Boudane, Said Jabbour, Badran Raddaoui and Lakhdar Sais 181195  Valentin Cassano, Carlos Areces and Pablo Castro 196213  Witold Charatonik, Yegor Guskov, Ian PrattHartmann and Piotr Witkowski 214232  Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil 233253  Alberto Ciaffaglione, Furio Honsell, Marina Lenisa and Ivan Scagnetto 254270  Anupam Das, Amina Doumane and Damien Pous 271289  Guillaume Davy, Eric Feron, PierreLoic Garoche and Didier Henrion 290306  Nachum Dershowitz and JeanPierre Jouannaud 307325  EmmanuelleAnna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz and Lim Yohanes Stefanus 326342  Rachel Faran and Orna Kupferman 343362  Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre 363380  Bernhard Gleiss, Laura Kovács and Simon Robillard 381399  Antonio GonzálezBurgueño, Damián AparicioSánchez, Santiago Escobar, Catherine Meadows and José Meseguer 400417  Antti Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler and Natasha Sharygina 418434  Radu Iosif and Cristina Serban 435453  Mikolas Janota and Martin Suda 454470  Chuan Jiang and Gianfranco Ciardo 471487  Martin Jonáš and Jan Strejček 488497  Orna Kupferman and Tami Tamir 498514  Francisco J. LópezFraguas, Manuel Montenegro and Gorka SuárezGarcía 515533  Matteo Marescotti, Antti Hyvärinen and Natasha Sharygina 534542  Yue Niu and Jan Hoffmann 543563  Vincent Rahli, Liron Cohen and Mark Bickford 564582  Adrián RebolaPardo and Martin Suda 583603  Sebastian Rudolph and Mantas Simkus 604619  Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel 620636  Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala and Subhajit Roy 637655  Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski 656666 
KeyphrasesACTL, Algorithm Portfolios, amortized analysis, antichainbased tree automata language inclusion, API, Arithmetic Circuits, automata^{2}, automated reasoning, axiomatisation, bitwidth, Boolean operations, Bounded Model Checking^{2}, cardinality constraints, CEGAR, clause learning, cognitive reasoning, complexity^{3}, computer algebra, Constrained Uniform Sampling, constraint satisfaction, constraint solving, convex optimization, Coq, cost semantics, counterexample, counterfactual reasoning, Craig interpolation, Cyclic Graphs, cyclic proofs^{2}, dDNNF, data streaming, deadlock, decidability, decision procedures, default logic, deontic logic, Description Logic, Description Logics, Digital Library, Distributed IC3, Distributed SMT, Divide and Conquer, Domainagnostic, ECTL, epistemic logic, EPR, equational reasoning, Erlang, ethical decisionmaking, event lists, ExclusiveOR, experimental evaluation, finite model finder, finite satisfiability, firstorder logic, Fluent Calculus, formal languages and automata theory, formal verification, fragments of firstorder logic, Function Summaries, game theory, games, garbage collection, general satisfiability, Geometry of Interaction, gossip protocols, Graph games, graph rewriting, Gödel logics, Herbrand expansions, hierarchical systems, incremental verification, induction, inductive definitions, Infeasibility analysis, Infinite alphabets, infinite descent, infinite trees, inprocessing techniques, Integer Linear Programming, Interference, interior point method, interpolation, invariant generation, Isabelle/HOL, Kleene algebra, knowledgebased protocols, knowledge compilation, Kripke semantics, lambda calculus, Lamport clocks, lattice basis reduction, linear inequalities, LL(1) parsing, logic and computational complexity, logic programming, Lookahead Heuristic, loop, LP Solving, LTL with arithmetic, Lyndon interpolation, matching, minimal unsatisfiable subsets, modal logic, model checking^{2}, Model Predictive Control, modelling, monotonicity, Multigraphs, MUS enumeration, mutable memory, Nash equilibrium, Nonmonotonic Proof Calculus, Numerical Software Verification, Nuprl, omegaregular languages, operational semantics, parity games, path orderings, pattern matching, polymorphism, program analysis, program verification, progress measure, proof checker, propositional satisfiability, protocol verification, pushdown automata, quantified bitvectors, Random walks and Markov chains, Rational synthesis, reachability games, readoverwrite simplification, regular languages^{2}, Resource Analysis, Resource Bound Analysis, reversible computations, rewrite orderings, SAT^{2}, SAT solving^{2}, Satisfiability Modulo Theories^{2}, Satisfiability Modulo Theory^{2}, Skolemization, SMT encoding, SMT solving, software verification, static analysis, success types, succinctness, symbolic computation, tableaux system, termination^{2}, The guarded fragment, The twovariable fragment, Theory of Arrays, ThreeValued Lukasiewicz Logic, tree automata, twovariable logic with counting quantifiers, type inference, type systems, types, unranked trees/forests, Unsatisfiability analysis, Verified theorem prover backend, Weak Completion, webbased GUI, Witness, word combinatorics, YubiHSM, YubiKey. 
