caml-list - the Caml user's mailing list
 help / Atom feed
From: geoff@cs.miami.edu
To: <caml-list@inria.fr>
Subject: [Caml-list] UNIF 2020 - Call for Papers
Date: Fri, 21 Feb 2020 08:42:58 -0500 (EST)
Message-ID: <20200221134258.5B7501700639@cs.miami.edu> (raw)

[-- Warning: decoded text below may be mangled --]
[-- Attachment #0: Type: text/plain, Size: 4717 bytes --]

====================================================    
                  Call for Papers                        
                     UNIF 2020
   The 34th International Workshop on Unification
          June 29, 2020, Paris, France
              http://unif2020.org/
====================================================
 
UNIF 2020 is the 34th 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, fuzzy, temporal and description logics
  - Anti-unification/generalization
  - Semi-unification
  - Narrowing
  - Formalization 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 34th International Workshop on Unification is part of "Paris Nord Summer 
of LoVe 2020", a joint event on LOgic and VErification at Université Paris 1,
made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. 
UNIF 2020 will be a satellite workshop of The International Joint Conference 
on Automated Reasoning (IJCAR 2020).
 
------------------------------------------
** 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=unif2020 
 
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 electronic form as a 
technical report in the RISC-Linz Report Series from the Research Institute 
for Symbolic Computation, Johannes Kepler University. 

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

-----------------------------
** Important Dates
------------------------------
Submission of titles and abstracts: April 13, 2020
Submission of full paper:  April 20, 2020
Author notification: May 25, 2020
Camera-ready papers: June 8, 2020
UNIF 2020: June 29, 2020 

-----------------------------
** Invited Speakers
------------------------------
Stéphanie Delaune (CNRS, IRISA)
Manfred Schmidt-Schauß (Goethe-University Frankfurt)

-----------------------------
** Program Committee
-----------------------------
Mauricio Ayala-Rincon (Universidade de Brasilía)   
Franz Baader (TU Dresden)   
Alexander Baumgartner (University of Chile)
Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
Daniel Dougherty (Worcester Polytechnic Institute)
Besik Dundua (Ivane Javakhishvili Tbilisi State University)    
Serdar Erbatur (University of Texas at Dallas) 
Santiago Escobar (Universitat Politècnica de València)   
Maribel Fernandez (King's College London)   
Silvio Ghilardi (Università degli Studi di Milano)
Pascual Julian-Iranzo (University of Castilla-La Mancha)
Temur Kutsia (RISC, Johannes Kepler University Linz) co-chair
Jordi Levy (IIIA - CSIC)   
Christopher Lynch (Clarkson University)   
Andrew M. Marshall (University of Mary Washington) co-chair
Barbara Morawska (Ahmedabad University)   
Daniele Nantes-Sobrinho (Universidade de Brasília)   
Paliath Narendran (University at Albany--SUNY)   
Veena Ravishankar (University of Mary Washington)   
Christophe Ringeissen (INRIA)

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20200221134258.5B7501700639@cs.miami.edu \
    --to=geoff@cs.miami.edu \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox