Logic List Mailing Archive

UNIF 2022: Unification

12 Aug 2022
Haifa, Israel


        UNIF 2022: 36TH International Workshop on Unification
                   -- co-located with FLoC/IJCAR 2022  --

                     August 12, 2022, Haifa, Israel

        Website: cs.cas.cz/unif-2022
        Poster: http://www.cs.cas.cz/unif-2022/Poster.pdf
        Submission link: https://easychair.org/conferences/?conf=unif2022
        Paper submission deadline: May 5, 2022
        Topics: Unification, Anti-unification, Constraint solving


UNIF 2022 is associated with IJCAR 2022 part of the Federated Logic Conference 

UNIF 2022 is the 36th in a series of annual workshops on unification and 
related topics (https://www.irif.fr/~treinen/unif/). Just as its predecessors', 
the purpose of UNIF 2022 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 is 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.

Submission Information
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: https://easychair.org/my/conference?conf=unif2022

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 2022.

Topics include, but are not limited to:
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
    - As well as relevant investigations concerning:
        * Complexity
        * Combination methods
        * Implementation
        * Applications

* David M. Cerna (RISC JKU, CAS ICS)
* Barbara Morawska (tba)

Invited Speakers
* Philippe Balbiani (Institut de recherche en informatique de Toulouse)
* Christopher Lynch (Clarkson University)

Programme Committee
* Mauricio Ayala-Rincón (Universidade de Brasilía)
* Franz Baader (TU Dresden)
* Daniel Dougherty (Worcester Polytechnic Institute)
* Besik Dundua (Institute of Applied Mathematics, Tbilisi State University)
* Serdar Erbatur (Ludwig Maximilian University of Munich)
* Santiago Escobar (Universitat Politècnica de València)
* Maribel Fernandez (Universidade de Brasilía)
* Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di 
* Pascual Julián-Iranzo (University of Castilla-La Mancha)
* Temur Kutsia (RISC, Johannes Kepler University Linz)
* Jordi Levy (IIIA - CSIC)
* Andrew M. Marshall (University of Mary Washington)
* Daniele Nantes-Sobrinho (Universidade de Brasilía)
* Paliath Narendran (University at Albany, SUNY)
* Christophe Ringeissen (INRIA)
* David Sabel (Ludwig-Maximilians-University Munich)
* Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)

Depending on the number and quality of submissions a
special issue in AMAI or MSCS is envisioned.

FLoC 2022 at Haifa, Israel

Important dates
* Paper submission: May 5, 2022
* Notification of acceptance: June 10, 2022
* Final version of accepted papers: June 18, 2022
* Registration deadline: June 30, 2022
* Workshop date: August 12, 2022
[LOGIC] mailing list
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