Logic List Mailing Archive

SOQE 2017: Second-Order Quantifier Elimination & Related Topics

6-8 Dec 2017
Dresden, Germany

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@christophwernhard.com

FUNDING

    The workshop is supported by Deutsche
    Forschungsgemeinschaft (DFG) with grant WE 5641/1-1.
--
[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