4 Nov 2021
CALL FOR PARTICIPATION
SOQE 2021
KR 2021 WORKSHOP ON
SECOND-ORDER QUANTIFIER ELIMINATION AND RELATED TOPICS
Virtual
4 November 2021
http://2021.soqe.org/
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).
INVITED TALKS:
- 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
Interpolation
REGISTRATION:
All workshop participants should register for KR 2021 by
15 October 2021.
Registration is free for everyone and can be done via this
webpage: https://kr2021.kbsg.rwth-aachen.de/page/registration
Further information about the workshop including accepted
papers can be found at http://2021.soqe.org.
We look forward to seeing you at SOQE@KR2021!
Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao
SOQE 2021 PC Chairs
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam