[loginf] 2nd Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) - Call for Participation

Christoph Wernhard info at christophwernhard.com
Sun Oct 10 10:07:50 CEST 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 at KR2021!

Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao
SOQE 2021 PC Chairs


More information about the loginf mailing list