[DL] SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics - Call for Participation

[Christoph Wernhard]

                    CALL FOR PARTICIPATION

                          SOQE 2017
       WORKSHOP ON SECOND-ORDER QUANTIFIER ELIMINATION
                      AND RELATED TOPICS

                     TU Dresden, Germany
                      6-8 December 2017

                    http://2017.soqe.org/

REGISTRATION

    Please register until 22 November 2017
    http://2017.soqe.org/#registration

INVITED SPEAKERS

    Michael Benedikt      University of Oxford, UK
    Willem Conradie       University of Johannesburg, South Africa
    Boris Konev           University of Liverpool, UK
    Carsten Lutz          Universität Bremen, Germany
    Andrzej Szałas        Uniwersytet Warzawski, Poland and
                          Linköpings Universitet, Sweden
    Kewen Wang            Griffith University, Australia
    Yizheng Zhao          The University of Manchester, UK

PROGRAM COMMITTEE CHAIRS

    Patrick Koopmann      TU Dresden, Germany
    Sebastian Rudolph     TU Dresden, Germany
    Renate Schmidt        The University of Manchester, UK
    Christoph Wernhard    TU Dresden, Germany

ORGANIZATION

    Christoph Wernhard, TU Dresden - International Center for
    Computational Logic
    info at christophwernhard.com

FUNDING

    The workshop is supported by Deutsche
    Forschungsgemeinschaft (DFG) with grant WE 5641/1-1.