[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
******************************************************************************
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: https://urldefense.com/v3/__http://www.cs.cas.cz/unif-2022/Poster.pdf__;!!IBzWLUs!Ufp81nBbHLcJiCR-osAb1Onv5imGIoF3EG4JCSTlq2cMhbtiqo3txVgt4OJV3rozBSAfUyxg6WdvhTJ0hswXaSNZvBB82Kw$
Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=unif2022__;!!IBzWLUs!Ufp81nBbHLcJiCR-osAb1Onv5imGIoF3EG4JCSTlq2cMhbtiqo3txVgt4OJV3rozBSAfUyxg6WdvhTJ0hswXaSNZ73jnXCQ$
Paper submission deadline: May 11, 2022
Topics: Unification, Anti-unification, Constraint solving
******************************************************************************
UNIF 2022 is associated with IJCAR 2022 part of the Federated Logic
Conference 2022.
UNIF 2022 is the 36th in a series of annual workshops on unification and
related
topics (https://urldefense.com/v3/__https://www.irif.fr/*treinen/unif/__;fg!!IBzWLUs!Ufp81nBbHLcJiCR-osAb1Onv5imGIoF3EG4JCSTlq2cMhbtiqo3txVgt4OJV3rozBSAfUyxg6WdvhTJ0hswXaSNZ3maOkmc$ ). 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), dis-
unification (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://urldefense.com/v3/__https://easychair.org/my/conference?conf=unif2022__;!!IBzWLUs!Ufp81nBbHLcJiCR-osAb1Onv5imGIoF3EG4JCSTlq2cMhbtiqo3txVgt4OJV3rozBSAfUyxg6WdvhTJ0hswXaSNZ_Se9xss$
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
Chairs
------
* 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 (University of Texas at Dallas (UT Dallas))
* Santiago Escobar (Universitat Politècnica de València)
* Maribel Fernandez (King's College London)
* Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di
Milano)
* 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)
Publication
-----------
Depending on the number and quality of submissions a
special issue in AMAI or MSCS is envisioned.
Venue
-----
FLoC 2022 at Haifa, Israel
Important dates
---------------
* Paper submission: May 11, 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
