[TYPES/announce] UNIF 2019 ( Deadline Extension)

Serdar ERBATUR serdar.erbatur at gmail.com
Sun Apr 14 12:21:58 EDT 2019


Dear colleagues,

Please find below the new dates for submissions to UNIF 2019.

                    Titles and abstracts: April 21, 2019
                    Full paper:  April 28, 2019


UNIF 2019 Website: http://www.mat.unb.br/unif2019

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 Co-chairs


===========================================================================
                    (Deadline Extension) Call for Papers: UNIF 2019
===========================================================================
               UNIF 2019 Website: http://www.mat.unb.br/unif2019


                    Titles and abstracts: April 21, 2019
                    Full paper:  April 28, 2019



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 (Saarland University, DFKI)

- Narciso Martí Oliet ( Universidad Complutense 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 --> Extended: April 21, 2019

Submission of full paper:  April 21, 2019   --> Extended> April 28, 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)



-- 
Daniele Nantes
Grupo de Teoria da Computação
Departamentos de Matemática e Computação
Universidade de Brasília
www.mat.unb.br/~dnantes


More information about the Types-announce mailing list