UNIF 2019: The 33rd International Workshop on Unification Dortmund, Germany, June 24, 2019 |
Conference website | http://www.mat.unb.br/unif2019/ |
Submission link | https://easychair.org/conferences/?conf=unif2019 |
Abstract registration deadline | April 14, 2019 |
Submission deadline | April 21, 2019 |
The 33rd International Workshop on Unification is the 33rd 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.
Submission Guidelines
Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site:
https://easychair.org/conferences/?conf=unif2019
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.
Important Dates
- Title and Abstract: April 14, 2019
- Paper Submission: April 21, 2019
- Notification to authors: May 31, 2019
- Workshop date: June 24, 2019
List of Topics
Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense. Topics of interest to this forum include, but are not limited to:
- Unification algorithms, calculi, and implementations
- Equational unification and unification modulo theories
- Admissibility of Inference Rules
- Unification in modal, temporal and description logics
- Narrowing
- Formalisation of unification
- Matching Problems
- Applications
- Unification in Special Theories
- Higher-Order Unification
- Combination problems
- Constraint Solving
- Disunification
- Complexity Issues
- Type Checking and reconstruction
Committees
Program Committee
- Serdar Erbatur (LMU Munich) co-chair
- Daniele Nantes Sobrinho (Universidade de Brasília) - co-chair
- Takahito Aoto (Niigata University)
- Alexander Baumgartner (University of Chile)
- Mauricio Ayala Rincón (Universidade de Brasília)
- Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
- Kimberly Cornell (The College of Saint Rose)
- Santiago Escobar (Universitat Politècnica de València)
- Maribel Fernández (King's College London)
- Temur Kutsia ( RISC- Johannes Kepler University Linz)
- Jordy Levy (IIIA - CSIC)
- Hai Lin (Shenyang Normal University)
- Christopher Lynch (Clarkson University)
- Andrew M. Marshall (University of Mary Washington)
- Catherine Meadows (US Naval Research Laboratory)
- Paliath Narendran (University at Albany--SUNY)
- Christophe Ringeissen (INRIA)
- David Sabel (Ludwig Maximilian University of Munich)
- René Thiemann ( University of Innsbruck)
- Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)
- Ralf Treinen (IRIF- Université Paris-Diderot)
- Daniel Lima Ventura (Universidade Federal de Goiás)
Organizing committee
- Serdar Erbatur (LMU Munich)
- Daniele Nantes Sobrinho (Universidade de Brasília)
Invited Speakers
TBD
Publication
UNIF 2019 proceedings will be published 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 organise a special journal issue.
Venue
The conference will be held in Dormund, Germany.
Contact
All questions about submissions should be emailed to serdar.erbatu(at)ifi.lmu.de or dnantes(at)mat.unb.br