Second Call for Papers
UNIF 2020
The 34th International Workshop on Unification
====================================================
Due to the Covid-19 pandemic, the workshop will be held online along
with online versions of IJCAR and FSCD.
UNIF 2020 is the 34th event in a series of international meetings
devoted to unification theory and its applications. Unification is
concerned with the problem of making two terms equal, 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. Traditionally, the scope of
the UNIF workshops has covered the topic of unification in a broad
sense. Topics of interest to this forum include, but are not limited to:
- Unification algorithms, calculi and implementations
- Equational unification and unification modulo theories
- Admissibility of Inference Rules
- Unification in modal, fuzzy, temporal and description logics
- Anti-unification/generalization
- Semi-unification
- Narrowing
- Formalization of unification
- Matching Problems
- Applications
- Unification in Special Theories
- Higher-Order Unification
- Combination problems
- Constraint Solving
- Disunification
- Complexity Issues
- Type Checking and reconstruction
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 state
of the art in unification theory.
The 34th International Workshop on Unification is part of "Paris Nord
Summer of LoVe 2020", a joint event on LOgic and VErification at
Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and
over 20 satellite events. UNIF 2020 will be a satellite workshop of The
International Joint Conference on Automated Reasoning (IJCAR 2020).
------------------------------------------
** Submission Instructions
-------------------------------------------
Following the tradition of UNIF, we call for submissions of abstracts (5
pages) in EasyChair style, to be submitted electronically as PDF through
the EasyChair submission site:
https://easychair.org/conferences/?conf=unif2020
Abstracts will be evaluated by the Programme Committee (if necessary
with support from external reviewers) regarding their significance for
the workshop. We will allow 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 in electronic form as a
technical report in the RISC-Linz Report Series from the Research
Institute for Symbolic Computation, Johannes Kepler University.
Based on the number and quality of submissions we will decide whether to
organize a special journal issue.
-----------------------------
** Important Dates
------------------------------
Submission of titles and abstracts: April 13, 2020
Submission of full paper: April 20, 2020
Author notification: May 25, 2020
Camera-ready papers: June 8, 2020
UNIF 2020: June 29, 2020 (online format)
-----------------------------
** Invited Speakers
------------------------------
Stéphanie Delaune (CNRS, IRISA)
Manfred Schmidt-Schauß (Goethe-University Frankfurt)
-----------------------------
** Program Committee
-----------------------------
Mauricio Ayala-Rincon (Universidade de Brasilía)
Franz Baader (TU Dresden)
Alexander Baumgartner (University of Chile)
Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
Daniel Dougherty (Worcester Polytechnic Institute)
Besik Dundua (Ivane Javakhishvili Tbilisi State University)
Serdar Erbatur (University of Texas at Dallas)
Santiago Escobar (Universitat Politècnica de València)
Maribel Fernandez (King's College London)
Silvio Ghilardi (Università degli Studi di Milano)
Pascual Julian-Iranzo (University of Castilla-La Mancha)
Temur Kutsia (RISC, Johannes Kepler University Linz) co-chair
Jordi Levy (IIIA - CSIC)
Christopher Lynch (Clarkson University)
Andrew M. Marshall (University of Mary Washington) co-chair
Barbara Morawska (Ahmedabad University)
Daniele Nantes-Sobrinho (Universidade de Brasília)
Paliath Narendran (University at Albany--SUNY)
Veena Ravishankar (University of Mary Washington)
Christophe Ringeissen (INRIA)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
