Logic List Mailing Archive

ALCOP 2017: Algebra & Coalgebra meet Proof Theory

10-12 Apr 2017
Glasgow, Scotland

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

    CALL FOR CONTRIBUTIONS

    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.

We invite submissions of a 1-2 page abstract for contributed talks by
*31 January 2017*:
https://easychair.org/conferences/?conf=alcopviii2017

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

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