[TYPES/announce] UNIF 2019 - First Call for Papers

[Serdar ERBATUR]

Dear colleagues,

Please find below the first call for papers for UNIF 2019, the
33rd International Workshop on Unification, proposed as a satellite
event for FSCD 2019.

We would be very grateful if you could help us disseminating it
among your interested students and colleagues, and of course
much more grateful if you consider submitting a paper.

Best regards

Serdar Erbatur and Daniele Nantes
UNIF 2019



------------------------------------------------------------------

First 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

TBA


**  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)