UNIF 2023: The 37th International Workshop on Unification Rome, Italy, July 2, 2023 |
Conference website | https://project.inria.fr/unif2023/ |
Submission link | https://easychair.org/conferences/?conf=unif2023 |
UNIF 2023 is the 37th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of identifying terms, 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.
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 current state of the art in unification theory.
Topics, a non-exhaustive list of topics of interest includes:
- syntactic and equational unification
- matching
- constraint solving
- unification in modal, temporal, and description logics
- narrowing
- disunification
- anti-unification
- semi-unification
- higher-order unification
- complexity issues
- implementation techniques
- applications
Submission Guidelines
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://www.easychair.org/conferences/?conf=unif2023
Abstracts will be evaluated by the Program Committee regarding their significance for the workshop. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form. Based on the number and quality of submissions we will decide whether to organize a special journal issue.
Important Dates
- Paper Submission: April 21, 2023
- Author notification: May 26, 2023
- Final version: June 9, 2023
- UNIF 2023: July 2, 2023
Committees
Program Committee
- Daniel Dougherty (Worcester Polytechnic Institute)
- Mauricio Ayala-Rincón (Universidade de Brasília)
- Franz Baader (TU Dresden)
- Philippe Balbiani (Institut de recherche en informatique de Toulouse)
- David M. Cerna (RISC JKU, CAS ICS)
- Serdar Erbatur (University of Texas at Dallas (UT Dallas)
- 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 Brasília)
- Paliath Narendran (University at Albany, SUNY)
- Veena Ravishankar (University of Mary Washington), co-chair
- Christophe Ringeissen (INRIA), co-chair
- Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)
- Kimberly A. Cornell (University at Albany, SUNY)
- Zumrut Akcam-Kibis (Stevens Institute of Technology)
Organizing committee
-
Christophe Ringeissen (LORIA & INRIA Nancy – Grand Est)
-
Veena Ravishankar (University of Mary Washington)
Contact
All questions about submissions should be emailed to the organizers.