Collection

Selected Extended Papers of IJCAR 2018

Submission status
Closed
This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 9th Joint Conference on Automated Reasoning (IJCAR 2018), held between July 14 and July 17, 2018 in Oxford, UK, as part of the Federated Logic Conference (FLOC) 2018. IJCAR is the premier international joint conference on all topics in automated reasoning and merges three leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), and TABLEAUX (Conference on Analytic Tableaux and Related Methods). The papers selected for this special issue underwent a two-round reviewing process. In the first round, the papers had been reviewed and accepted by at least three reviewers as part of the IJCAR 2018 reviewing process. We invited authors of top rated papers in the proceedings as evaluated by the reviewers to submit revised and extended versions of their papers to this special issue. In the second round, the submitted extended papers went through the reviewing process of the Journal of Automated Reasoning. Each paper was reviewed by two reviewers. The seven selected papers in this special issue cover a wide spectrum of topics in Automated Reasoning, from proof theory and theorem proving to formalization and mechanization of completeness or decidability results, from proof systems to analysis of complexity and decidability, from automated reasoning to the production of stateful ML programs together with proofs of correctness, from extensions of model checking techniques to the verification of some parameterized systems.

Editors

  • Didier Galmiche Didier Galmiche , 

    Didier Galmiche

    Didier Galmiche is Professor of Computer Science at Université de Lorraine and Scientific leader TYPES Group, LORIA UMR 7503. He's the Director of the Master Programme in Computer Science at Université de Lorraine and Director of the DEPEND Erasmus Mundus Joint MSc in Advanced Systems Dependability, Université de Lorraine, France.

  • Stephan Schulz Stephan Schulz  &

    Stephan Schulz

    Stephan Schulz is a Full Professor at the Duale Hochschule Baden-Württemberg in Stuttgart, Germany.

  • Roberto Sebastiani Roberto Sebastiani

    Roberto Sebastiani

    Roberto Sebastiani is a Full Professor (Professore Ordinario) of Artificial Intelligence, Automated Reasoning and Formal Methods at Dipartimento di Ingegneria e Scienza dell'Informazione (DISI), Università di Trento, Italy.

Articles (5 in this collection)