Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Last Call for Papers: UNIF 2015

Email Gateway (Aug 22 2022 at 09:16):

From: Santiago Escobar <sescobar@dsic.upv.es>
==========================================================
Call for Papers
UNIF 2015
The 29th International Workshop on Unification
June 28, 2015. Warsaw, Poland
http://rdp15.mimuw.edu.pl/index.php?site=unif
*****
part of the Federated Conference on
Rewriting, Deduction, and Programming (RDP'15)
==========================================================

UNIF 2015 is the 29th 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 of Interest

A non-exhaustive list of topics of interest include:

• Unification algorithms, calculi and implementations
• Equational unification and unification modulo theories
• Unification in modal, temporal and description logics
• Admissibility of inference rules
• Narrowing
• Matching algorithms
• Constraint solving
• Combination problems
• Disunification
• Higher-Order unification
• Type checking and reconstruction
• Typed unification
• Complexity issues
• Query answering
• Implementation techniques
• Applications of unification
• Antiunification/Generalization

Submission

Following the tradition of UNIF, we call for submissions of
abstracts (5 pages) in EasyChair style, to be submitted
electronically as PDF files through the EasyChair submission
site:

https://easychair.org/conferences/?conf=unif2015

Abstracts will be evaluated by the Programme Committee
(if necessary with support from external reviewers)
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 printed
form at the workshop and in electronic form from the UNIF
homepage:

http://www.pps.jussieu.fr/~treinen/unif/

Based on the number and quality of submissions we will decide
whether to organize a special journal issue.

Important Dates

• Paper Submission: May 3, 2015
• Notification of Acceptance: May 31, 2015
• Final version: June 7, 2015
• Conference: June 28, 2015

Programme Committee

• Franz Baader, TU Dresden, Germany
• Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair)
• Adria Gascon, SRI international, USA
• Silvio Ghilardi, Universita di Milano, Italy
• Artur Jez, MPI, Germany
• Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
• Jordi Levy, IIIA-CSIC, Spain
• Christopher Lynch, Clarkson University, USA
• George Metcalfe, University of Bern, Switzerland
• Paliath Narendran, University at Albany-SUNY, USA
• Jan Otop, IST, Austria
• Christophe Ringeissen, LORIA-INRIA Lorraine, France
• Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
• Mateu Villaret, Universitat de Girona, Spain (co-chair)

For more information, please contact any of the two chairs
Santiago Escobar or Mateu Villaret.

Last updated: Apr 19 2024 at 20:15 UTC