Logic List Mailing Archive

ALCOP 2017: Algebra and Coalgebra meet Proof Theory

10-12 Apr 2017
Glasgow, Scotland

***********************************************************************

    CALL FOR PARTICIPATION

    ALCOP 2017: Algebra and Coalgebra meet Proof Theory
    Dates: 10 - 12 April 2017
    Location: University of Strathclyde, Glasgow

    sponsored by: EPSRC and the Scottish Informatics & CS Alliance

***********************************************************************
(Apologies if you receive this announcement twice. Please forward to
anyone interested.)

The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings
together experts in algebraic logic, coalgebraic logic and proof theory
to share new results and to strengthen the relationships between these
fields. The MSP Group at the University of Strathclyde (Glasgow) will
host the eighth edition of this workshop.

Our invited speakers are:

* Neil Ghani, University of Strathclyde, Glasgow
* Sam van Gool, City College of New York
* Helle Hvid Hansen, TU Delft
* Ekaterina Komendantskaya, Heriot Watt University, Edinburgh
* Mark V Lawson, Heriot Watt University, Edinburgh
* Thomas Lukasiewicz, University of Oxford
* Filip Murlak, University of Warsaw
* Daniela Petrisan, CNRS, Paris
* Jan Rutten, CWI, Radboud University Nijmegen

For more information see our website:
https://personal.cis.strath.ac.uk/clemens.kupke/ALCOP2017/

You can register here:
http://onlineshop.strath.ac.uk/conferences-and-events/science-faculty/computer-and-information-science/alcop-2017

Best wishes,
Clemens Kupke
Johannes Marti
--
[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