単一化に関するワークショップのご案内です． タイトル&アブストラクトの〆切が4/14，本文の〆切が4/21となっています． FSCDのサテライトワークショップとして6/24に開催です． ご投稿を検討頂ければ幸いです． --- 青戸等人(新潟大学)
------------------------------------------------------------------ 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) ------------------------------------------------------------------