Algebra and co-algebra meet Proof Theory (ALCOP) (2014)

Website: http://www.eecs.qmul.ac.uk/%7Epbo/workshops/ALCOP2014.html
Dates: 15 May - 16 May
City: Queen Mary UoL