[loginf] 2nd Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) - Call for Participation
info at christophwernhard.com
Sun Oct 10 10:07:50 CEST 2021
CALL FOR PARTICIPATION
KR 2021 WORKSHOP ON
SECOND-ORDER QUANTIFIER ELIMINATION AND RELATED TOPICS
4 November 2021
The Second Workshop on Second-Order Quantifier Elimination
and Related Topics will be held online on 4 November 2021 as
part of the 18th International Conference on Principles of
Knowledge Representation and Reasoning (KR 2021).
- David Toman, University of Waterloo, Canada
Projective Beth Definability and Craig Interpolation for
Relational Query Optimization
- Frank Wolter, University of Liverpool, UK
Living Without Beth and Craig: Explicit Definitions and
Interpolants without Beth Definability and Craig
All workshop participants should register for KR 2021 by
15 October 2021.
Registration is free for everyone and can be done via this
Further information about the workshop including accepted
papers can be found at http://2021.soqe.org.
We look forward to seeing you at SOQE at KR2021!
Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao
SOQE 2021 PC Chairs
More information about the loginf