<div dir="ltr"><div><span style="font-size:12.8px">Call for Papers, Presentations and Participation</span><br></div><div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Workshop on </span><span style="font-size:12.8px"> Coalgebra, Horn Clause Logic Programming and Types</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">28-29 November 2016, Edinburgh, UK</span></div><div><span style="font-size:12.8px"><a href="https://ff32.host.cs.st-andrews.ac.uk/lpti16/">https://ff32.host.cs.st-andrews.ac.uk/lpti16/</a></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">===================================================</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for </span><span style="font-size:12.8px">Type Inference, by K. Komendantskaya and J. Power and will consist of two parts:</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"> Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional</span></div><div><span style="font-size:12.8px"> Programming</span></div><div><span style="font-size:12.8px"> Part 2 - Programming languages: Horn Clause Logic for Type Inference in</span></div><div><span style="font-size:12.8px"> Functional Languages and Beyond</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">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. </span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">=======================</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Venue </span></div><div><span style="font-size:12.8px">-----</span></div><div><span style="font-size:12.8px">The workshop will be held at the International Center for Mathematical Sciences,</span><br></div><div><span style="font-size:12.8px">in Edinburgh city center, just 2 minutes walk from the Informatics Forum.</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Invited speakers and tutorials</span></div><div><span style="font-size:12.8px">------------------------------</span></div><div><span style="font-size:12.8px">* Relational Specification of type systems using Logic Programming, </span><br></div><div><span style="font-size:12.8px"> Ki Yung Ahn, Nanyang Techological University, Singapore</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">* Logic programming for type inference in object-oriented languages,</span></div><div><span style="font-size:12.8px"> Davide Ancona, University of Genoa, Italy</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">* Logic programming: laxness and saturation,</span></div><div><span style="font-size:12.8px"> John Power, University of Bath, UK</span></div><div><span style="font-size:12.8px"><br></span></div><div><div><span style="font-size:12.8px">* Classes for the masses, </span></div><div><span style="font-size:12.8px">Claudio Russo, </span><span style="font-size:12.8px">Microsoft Research Cambridge, UK </span></div></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">* Comodels and interaction, </span></div><div><span style="font-size:12.8px">Tarmo Ustalu, </span><span style="font-size:12.8px">Tallinn University of Technology, Estonia</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">===============================</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Proceedings publication</span></div><div><span style="font-size:12.8px">-----------------------</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">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.</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">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.</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">================================</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Important dates</span></div><div><span style="font-size:12.8px">---------------</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"> Extended Abstract Submission: 15 October, 2016</span></div><div><span style="font-size:12.8px"> Author notification: 25 October, 2016</span></div><div><span style="font-size:12.8px"> Workshop: 28–29 November, 2016</span></div><div><span style="font-size:12.8px"> EPTCS post-proceedings invitations: 15 December, 2016</span></div><div><span style="font-size:12.8px"> EPTCS final version submission: 30 January, 2017</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">========================</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Programme committee</span></div><div><span style="font-size:12.8px">-------------------</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Ki Yung Ahn, Nanyang Techological University, Singapore</span></div><div><span style="font-size:12.8px">Davide Ancona, University of Genoa, Italy</span></div><div><span style="font-size:12.8px">Filippo Bonchi, CNRS, ENS de Lyon, France</span></div><div><span style="font-size:12.8px">Iavor Diatchki, Galois, Inc, USA</span></div><div><span style="font-size:12.8px">Peng Fu, Heriot-Watt University, Edinburgh, UK</span></div><div><span style="font-size:12.8px">Neil Ghani, University of Strathclyde, UK</span></div><div><span style="font-size:12.8px">Patricia Johann, Appalachian State University, USA</span></div><div><span style="font-size:12.8px">Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh, UK</span></div><div><span style="font-size:12.8px">Clemens Kupke, University of Strathclyde, UK</span></div><div><span style="font-size:12.8px">J. Garrett Morris, University of Edinburgh, UK</span></div><div><span style="font-size:12.8px">Fredrik Nordvall Forsberg, University of Strathclyde, UK</span></div><div><span style="font-size:12.8px">John Power, University of Bath, UK</span></div><div><span style="font-size:12.8px">Claudio Russo, Microsoft Research Cambridge, UK</span></div><div><span style="font-size:12.8px">Martin Schmidt, DHBW Stuttgart and University of Osnabrueck, Germany</span></div><div><span style="font-size:12.8px">Stephan Schulz, DHBW Stuttgart, Germany</span></div><div><span style="font-size:12.8px">Aaron Stump, The University of Iowa, USA</span></div><div><span style="font-size:12.8px">Niki Vazou, University of California, San Diego, USA</span></div><div><span style="font-size:12.8px">Joe Wells, Heriot-Watt University, Edinburgh, UK</span></div><div><span style="font-size:12.8px">Fabio Zanassi, Radboud University of Nijmegen, Netherlands</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Workschop chairs</span></div><div><span style="font-size:12.8px">--------</span></div><div><span style="font-size:12.8px">Ekaterina Komendantskaya, Heriot-Watt University, UK</span></div><div><span style="font-size:12.8px">John Power, University of Bath, UK</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Publicity chair</span></div><div><span style="font-size:12.8px">---------------</span></div><div><span style="font-size:12.8px">František Farka, University of Dundee, UK and University of St Andrews, UK</span></div></div><div><br></div><div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div><span style="color:rgb(0,112,192);font-family:calibri,sans-serif;font-size:13.3333px"><br></span></div><div><span style="font-size:12.8px"> </span><br></div><div><br></div><div><br></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div>
</div>