The School of Computing will be hosting computer scientists from five continents in two international symposia. Dr Olaf Chitil and Dr Andy King from the School are co-chairs for these prestigious events in the logic and functional programming communities.
The 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014) will take place from 8-10 September 2014 in at the University of Kent in Canterbury.
PPDP brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, aiming to cross-fertilise one paradigm with ideas from another.
The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held from 9-11 September, and many delegates will be attending both events.
LOPSTR promotes international research and collaboration on logic-based program development, with particular focus on partial deduction, program synthesis and partial evaluation.
A speaker at both symposia is Roberto Giacobazzi from the University of Verona. Viktor Kuncak from EPFL in Switzerland is also an invited speaker at LOPSTR and the tutorialists at PPDP are Henrik Nilsson, Danko Ilik, Jerzy Karczmarczuk and Ralf Laemmel.