Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

28 - 29 November 2016, Workshop on Coalgebra, Horn Clause Logic Programming and Types, Edinburgh, Scotland

Date: 28 - 29 November 2016
Location: Edinburgh, Scotland
Deadline: Saturday 15 October 2016

The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:
Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming
Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond

 

 

We invite all colleagues working in related areas to present and share their results. We envisage a friendly meeting with many stimulating discussions, and therefore welcome presentations of already published research as well as novel results. Authors of original contributions will be invited to submit their papers to EPTCS post-proceedings. We especially encourage early career researchers to present and participate. Extended Abstract Submission deadline: 15 October, 2016.

Please note that this newsitem has been archived, and may contain outdated information or links.