News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

4 November 2021, Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021), Virtual

Date: Thursday 4 November 2021
Time: 10:00-18:30
Location: Virtual
Deadline: Thursday 16 September 2021

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. It is attractive as a logic-based approach to various computational tasks.

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. SOQE will be associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).

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).
Submissions must contain enough substance that it they can be cited in other publications and may not have appeared before.

For more information, see

Please note that this newsitem has been archived, and may contain outdated information or links.