TOPICS
Topics of interest include, but are not restricted to: * General E-unification and calculi * Narrowing * Matching algorithms * Special unification algorithms * Higher-order and nominal unification * Constraint solving * Disunification * Combination problems * Complexity analysis * Implementation techniques * Applications: type checking and reconstruction, automated theorem proving, programming language design, etc. System descriptions and demonstrations are also welcome.
SUBMISSION GUIDELINES
The submission is in two stages. 1)Before the workshop, authors are invited to submit an abstract (max. 5 pages) in pdf format, using the Easychair submission site. Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop. 2) After the workshop, authors will be invited to submit a paper based on their presentation, which will be refereed for inclusion in the final workshop proceedings. We plan to publish the final proceedings in EPTCS.
We also invite authors to submit a 5 page abstract describing relevant work that has been or will be published elsewhere, or work in progress. Submissions in this class will be only considered for presentation at the workshop and inclusion in the preliminary proceedings but not in the final proceedings.
IMPORTANT DATES
INVITED SPEAKERS
PROGRAMME COMMITTEE
Maribel Fernández, UK (chair) Temur Kutsia, Austria Jordi Levy, Spain Christopher Lynch, US Cathy Meadows, US Gianfranco Rossi, Italy Laurent Vigneron, France
FURTHER INFORMATION
For further information please contact Maribel Fernandez King’s College London, UK Email: Maribel.Fernandez@kcl.ac.uk