28-29 Nov 2016
Edinburgh, Scotland
Workshop on Coalgebra, Horn Clause Logic Programming and Types
28-29 November 2016, Edinburgh, UK
https://ff32.host.cs.st-andrews.ac.uk/lpti16/
Call for Papers, Presentations and Participation
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.
Venue
-----
The workshop will be held at the International Center for Mathematical Sciences,
in Edinburgh city center, just 2 minutes walk from the Informatics Forum.
Invited speakers and tutorials
------------------------------
* Relational Specification of type systems using Logic Programming,
Ki Yung Ahn, Nanyang Technological University, Singapore
* Logic programming for type inference in object-oriented languages,
Davide Ancona, University of Genoa, Italy
* Logic programming: laxness and saturation,
John Power, University of Bath, UK
* Classes for the masses,
Claudio Russo, Microsoft Research Cambridge, UK
* Comodels and interaction,
Tarmo Ustalu, Tallinn University of Technology, Estonia
Proceedings publication
-----------------------
Presentations: We invite submission of 2-page extended abstracts via
Easychair, by the 15th October 2016. These will be subject to light review
process. Preliminary proceedings will be made available at the conference
in electronic form.
Post-proceedings: Authors presenting original work will be invited to
submit full papers to the post-proceedings of the workshop. The
post-proceedings volume will be published in Electronic Proceedings in
Theoretical Computer Science and peer-reviewed according to EPTCS
standards by the PC members.
Important dates
---------------
Extended Abstract Submission: 15 October, 2016
Author notification: 25 October, 2016
Workshop: 28?29 November, 2016
EPTCS post-proceedings invitations: 15 December, 2016
EPTCS final version submission: 30 January, 2017
--
[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