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