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