7 Jul 2018
Oxford, England
First Call for Papers: UNIF 2018 -- FSCD workshop Website: http://unif2018.cic.unb.br The 32nd International Workshop on Unification is the 32nd event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two terms equal, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense, encompassing also research in constraint solving, admissibility of inference rules, and applications such as type checking, query answering and cryptographic protocol analysis. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the state of the art in unification theory. The workshop will be hosted by the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD, Oxford, 9-12 July 2018). ** Invited speakers ** Adria Gascon (Warwick, UK) Silvio Ghilardi (Milano, Italy). ** Submission instructions ** Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF files through the EasyChair submission site: http://easychair.org/conferences/?conf=unif2018 Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We will allow work presented/submitted in/to another conference. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in printed form at the 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 whether to organize a special journal issue. ** Important Dates ** Submission of titles and abstracts: Monday, April 9, 2018 Submission of full paper: Monday, April 16, 2018 Author notification: Tuesday, May 15, 2018 Camera-ready papers: Monday, May 28, 2018 UNIF 2018: Saturday, July 7, 2018 FSCD 2018: July 9-12, 2018 Main conference (FLoCS): July 6-19, 2018 ** Program Committee ** Maria Alpuente (UP Valencia) Franz Baader (TU Dresden) Eduardo Bonelli (UN Quilmes) Iliano Cervesato (Carnegie Mellon U) Wojciech Dzik (U Silesia) Santiago Escobar (UP Valencia) Maribel Fernandez (King's College London) Cigdem Gencer (Istanbul Aydin U) Rosalie Iemhoff (U Utrecht) Emil Jerabek (Czech Academy of Sciences) Temur Kutsia (Johannes Kepler U Linz) Jordi Levy (IIIA-CSIC) Christopher Lynch (Clarkson U) Catherine Meadows (US Naval Research Laboratory) Paliath Narendran (U at Albany - State U of New York) Christophe Ringeissen (Inria Nancy) Manfred Schmidt-Schauss (Johann Wolfgang Goethe U Frankfurt) ** Organizers ** Mauricio Ayala-Rincon (Universidade de Brasilia) ayala@unb.br Philippe Balbiani (CNRS - Toulouse University) Philippe.Balbiani@irit.fr -- [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