UNIF 2024: The 38th International Workshop on Unification Nancy, France, July 2, 2024 |
| Conference website | https://lat.inf.tu-dresden.de/unif2024/ |
| Submission link | https://easychair.org/conferences/?conf=unif2024 |
| Submission deadline | April 25, 2024 |
UNIF 2024 is a satellite event of CADE/IJCAR 2024, affiliated with IJCAR 2024.
UNIF 2024 is the 38th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two given terms equal, either syntactically or modulo an equational theory. It is a fundamental process used in various areas of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, knowledge representation, types, etc.
The International Workshop on Unification (UNIF) is a forum for researchers in unification theory and related fields to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for students, young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.
Topics of interest of the workshop include, but are not limited to:
- Syntactic and equational unification algorithms
- Matching and constraint solving
- Higher-order unification
- Unification in modal, temporal, and description logics
- Admissibility of inference rules
- Narrowing
- Disunification
- Anti-unification
- Complexity issues
- Combination methods
- Implementation techniques
- Applications
Submission Instructions
Short papers or extended abstracts, up to 5 pages in EasyChair style, should be submitted electronically as PDF files through the EasyChair submission site:
https://easychair.org/conferences/?conf=unif2024
Submissions will be evaluated by the Program Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We allow submissions of 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 on the Web page of UNIF 2024. At least one of the authors should register for the workshop.
Based on the number and quality of submissions we will decide whether to organize a special journal issue.
Important Dates
- Paper submission:
April 18, 2024April 25, 2024 (AoE) - Author notification:
May 23, 2024May 31, 2024 (AoE) - Camera-ready version:
June 7, 2024June 14, 2024 (AoE) - UNIF 2024: July 2, 2024
Invited Speakers
- George Metcalfe (University of Bern)
- Daniele Nantes-Sobrinho (Universidade de Brasília, Imperial College London)
Programm Committee
- Mauricio Ayala-Rincon (Universidade de Brasília)
- Franz Baader (TU Dresden)
- Philippe Balbiani (Institut de Recherche en Informatique de Toulouse)
- Stefan Borgwardt (TU Dresden)
- David M. Cerna (CAS ICS)
- Kimberly A. Cornell (University at Albany, SUNY)
- Serdar Erbatur (UT Dallas)
- Santiago Escobar (Universitat Politècnica de València), co-chair
- Oliver Fernández Gil (TU Dresden), co-chair
- Silvio Ghilardi (Dipartamento di Matematica, Universitá degli Studi di Milano)
- Temur Kutsia (RISC, Johannes Kepler University Linz)
- Jordi Levy (IIIA - CSIC)
- Christopher Lynch (Clarkson University)
- Andrew W. Marshall (University of Mary Washington)
- Barbara Morawska (University of Opole)
- Daniele Nantes-Sobrinho (Universidade de Brasília, Imperial College London)
- Paliath Narendran (University at Albany, SUNY)
- Christophe Ringeissen (INRIA)
- Julia Sapiña Sanchis (Universitat Politècnica de València)
- Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)
- Sam van Gool (IRIF)
Contact
PC co-chairs can be contacted via email: unif2024 AT easychair dot org