UNIF 2021: 35th International Workshop on Unification Buenos Aires, Argentina, July 18, 2021 |
Conference website | https://www.uoh.cl/unif-2021/ |
Submission link | https://easychair.org/conferences/?conf=unif2021 |
Submission deadline | April 16, 2021 |
Extended Deadline | April 23, 2021 |
UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as it predecessors', the purpose of UNIF 2021 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-sided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It will provide a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields.
Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.
Topics of interest of the workshop include, but are not limited to:
- Syntactic and equational unification algorithms
- Matching and constraint solving
- Unification in modal, temporal, and description logics
- Higher-order unification
- Narrowing
- Disunification
- Anti-unification
- Complexity issues
- Combination methods
- Implementation techniques
- Applications
Submission Guidelines
Following the tradition of UNIF, we call for submissions of extended abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site.
Abstracts will be evaluated by the Program Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We also allow submission of work presented/submitted in/to another conference.
Accepted abstracts will be presented at the workshop and made available at the Web-page of UNIF 2021.
Committees
Program Committee
- Mauricio Ayala-Rincón (Universidade de Brasilía)
- Franz Baader (TU Dresden) co-chair
- Philippe Balbiani (Institut de recherche en informatique de Toulouse)
- Alexander Baumgartner (Universidad de O'Higgins) co-chair
- David Cerna (RISC, Johannes Kepler University Linz)
- Besik Dundua (Institute of Applied Mathematics, Tbilisi State University)
- Serdar Erbatur (Ludwig Maximilian University of Munich)
- Santiago Escobar (Universitat Politècnica de València)
- Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di Milano)
- Temur Kutsia (RISC, Johannes Kepler University Linz)
- Jordi Levy (IIIA - CSIC)
- Christopher Lynch (Clarkson University)
- Andrew M. Marshall (University of Mary Washington)
- Barbara Morawska (Ahmedabad University)
- Daniele Nantes-Sobrinho (Universidade de Brasilía)
- Paliath Narendran (University at Albany, SUNY)
- Veena Ravishankar (University of Mary Washington)
- Christophe Ringeissen (INRIA)
- David Sabel (Ludwig-Maximilians-University Munich)
- Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)
- Yu Zhang (University of Albany, SUNY)
Organizing committee
- Franz Baader (TU Dresden)
- Alexander Baumgartner (Universidad de O'Higgins)
Contact
All questions about submissions should be emailed to the organizers.