[Event at CIG] [CFP] 2nd Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021)

[赵一铮]

FIRST CALL FOR PAPERS


SOQE 2021
KR 2021 WORKSHOP ON 
SECOND-ORDER QUANTIFIER ELIMINATION AND RELATED TOPICS


Virtual
3-5 November 2021


http://2021.soqe.org/


GENERAL INFORMATION


The Second Workshop on Second-Order Quantifier Elimination and Related Topics will be held online on 6-8 November 2021. SOQE will be associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). 


AIMS AND TOPICS


Second-order quantifier elimination (SOQE) is the problem of equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order objects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elimination, and uniform interpolation. It can be combined with various underlying logics, including propositional, model, description and first-order logics. 
SOQE and its variations bear strong relationships to Craig interpolation, definability and computation of definientia, the notion of conservative theory extension, abduction and notions of weakest sufficient and strongest necessary condition, and generalizations of Boolean unification to predicate logic. It is attractive as a logic-based approach to various computational tasks, for example, the computation of circumscription, the computation of modal correspondence properties, forgetting in knowledge bases, knowledge-base modularization, abductive reasoning and generating explanations, the specification of non-monotonic logic programming semantics, view-based query processing, and the characterization of formula simplifications in reasoner preprocessing.


Topics of interest include, but are not limited to:


   * Abduction
   * Access interpolation
   * Algorithms for SOQE and related tasks
   * Applications of SOQE and related techniques
   * Automation and tools
   * Boolean equation solving / Boolean unification and SOQE
   * Characterizations of formula classes on which SOQE succeeds
   * Circumscription
   * Conservative theory extensions
   * Craig interpolation
   * Definability and computation of definienda
   * Elimination in formula simplifications
   * Elimination methods and calculi for theorem proving
   * Forgetting and projection in answer set programming
   * Forgetting and uniform interpolation
   * Historical aspects of SOQE
   * Ontology modularization and content extraction
   * Query processing and rewriting on the basis of definability
   * Relationships between elimination and decidability
   * Separability and inseparability


The workshop aims to bring together researchers working on SOQE and all these related topics to present, discuss and compare issues shared by problems emerging from different special contexts, interesting open research problems (perhaps with partial solutions), new applications and implementation techniques. 
   
SUBMISSION


We invite submissions of high-quality research on variants of SOQE and related topics, including work that describes applications, new systems or relevant data releases.


Submissions will be reviewed by the program committee, which will select a balanced program of high-quality contributions.


Submissions can be one of the following type:


Regular paper: up to 11 pages + bibliography
Short paper: up to 5 pages + bibliography


Both regular and short papers should be written in English, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer’s Author Instructions. Paper should be submitted electronically via https://easychair.org/conferences/?conf=soqe2021


Submissions must contain enough substance that it they can be cited in other publications and may not have appeared before.


PROCEEDINGS


The workshop proceedings will be submitted to CEUR-WS.org for online publication in advance of the event.


Proceedings of the workshop will be published as CEUR workshop proceedings.


REGISTRATION
   
Details will be announced on the workshop webpage. It is expected that submissions are presented at the workshop by at least one of the authors.


IMPORTANT DATES


   2 Jul 2021		Paper Submission (1st round)
   6 Aug 2021		Author Notification (1st round)
   9 Sep 2021		Paper Submission (2nd round)
   7 Oct 2021		Author Notification (2nd round)
   23 Oct 2021		Camera-Ready Version due
   3-5 Nov 2021	SOQE Workshop (1 day)


PROGRAM COMMITTEE CHAIRS


   Renate A. Schmidt        The University of Manchester, UK
   Christoph Wernhard      Berlin, Germany
   Yizheng Zhao                Nanjing University, China


---------------------------