24-29 Jun 2019
Dortmund, Germany
Second Call for Papers: UNIF 2019
Website: http://www.mat.unb.br/unif2019
The 33rd International Workshop on Unification is the 33rd 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, temporal and description logics
Narrowing
Formalisation 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 workshop is proposed to be hosted by the 4th International Conference
on Formal Structures for Computation and Deduction (FSCD, Dortmund, 24-29
June 2019).
** Invited Speakers
Jörg Siekmann (DFKI and University of Saarland)
Narciso Marti-Oliet (Universidad Complutense de Madrid)
** 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=unif2019
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 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 organise
a special journal issue.
** Important Dates
Submission of titles and abstracts: April 14, 2019
Submission of full paper: April 21, 2019
Author notification: May 31, 2019
Camera-ready papers: June 4, 2019
UNIF 2019: June 24, 2019 (intended)
** Program Committee
- Serdar Erbatur (LMU Munich) co-chair
- Daniele Nantes Sobrinho (Universidade de Brasília) - co-chair
- Takahito Aoto (Niigata University)
- Alexander Baumgartner (University of Chile)
- Mauricio Ayala Rincón (Universidade de Brasília)
- Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
- Kimberly Cornell (The College of Saint Rose)
- Santiago Escobar (Universitat Politècnica de València)
- Maribel Fernández (King's College London)
- Temur Kutsia (RISC- Johannes Kepler University Linz)
- Jordy Levy (IIIA - CSIC)
- Hai Lin (Shenyang Normal University)
- Christopher Lynch (Clarkson University)
- Andrew M. Marshall (University of Mary Washington)
- Catherine Meadows (US Naval Research Laboratory)
- Paliath Narendran (University at Albany--SUNY)
- Christophe Ringeissen (INRIA)
- David Sabel (Ludwig Maximilian University of Munich)
- René Thiemann ( University of Innsbruck)
- Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main)
- Ralf Treinen (IRIF- Université Paris-Diderot)
- Daniel Lima Ventura (Universidade Federal de Goiás)
** Organizers
Daniele Nantes Sobrinho (Universidade de Brasília)
(dnantes(at)mat.unb.br)
Serdar Erbatur (LMU Munich)
(serdar.erbatur(at)ifi.lmu.de)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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