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 the
extended deadline *14 February 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