Call for Papers: UNIF 2017 -- FSCD workshop
Website: https://unif-workshop.github.io/UNIF2017/The 31st International Workshop on Unification is the 31st event in aseries of international meetings devoted to unification theory and itsapplications. Unification is concerned with the problem of making twoterms equal, finding solutions for equations, or making formulasequivalent. It is a fundamental process used in a number of fields ofcomputer science, including automated reasoning, term rewriting, logicprogramming, natural language processing, program analysis, types, etc.The International Workshop on Unification (UNIF) is a yearly forum forresearchers in unification theory and related fields to meet old andnew colleagues, to present recent (even unfinished) work, and todiscuss new ideas and trends. It is also a good opportunity for youngresearchers and scientists working in related areas to get an overviewof the state of the art in unification theory. The workshop will behosted by the 2nd International Conference on Formal Structures forComputation and Deduction (FSCD, Oxford, September 2017).** Submission instructions **Following the tradition of UNIF, we call for submissions of abstracts(5 pages) in EasyChair style, to be submitted electronically as PDFfiles through the EasyChair submission site:https://easychair.org/conferences/?conf=unif2017Abstracts will be evaluated by the Programme Committee (if necessarywith support from external reviewers) regarding their significance forthe workshop. We will allow work presented/submitted in/to anotherconference.Accepted abstracts will be presented at the workshop and included inthe informal proceedings of the workshop, available in printed form atthe workshop and in electronic form from the UNIF homepage:http://www.pps.jussieu.fr/~treinen/unif/Based on the number and quality of submissions we will decide whetherto organize a special journal issue.** Important Dates **Paper submission: June 21st (11pm59 CET)Notification of acceptance: July 21stWorkshop: September 3rd** Program Committee **Franz Baader (TU Dresden)Iliano Cervesato (CMU)Santiago Escobar (TU Valencia)Maribel Fernández (KCL)Silvio Ghilardi (Università degli Studi di Milano)Artur Jeż (University of Wrocław)Konstantin Korovin (Manchester University)Temur Kutsia (Johannes Kepler University Linz)Jordi Levy (IIIA - CSIC)Andrew Marshall (University of Mary Washington)Catherine Meadows (NRL)Barbara Morawska (TU Dresden)Paliath Narendran (University at Albany-SUNY)Jan Otop (University of Wrocław)Christophe Ringeissen (LORIA-INRIA)Manfred Schmidt-Schauss (Goethe-University Frankfurt)Mateu Villaret (Universitat de Girona)** Organizers **Adrià Gascón (Warwick University/Alan Turing Institute)agascon@turing.ac.ukChris Lynch (Clarkson University)clynch@clarkson.edu