From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 32DBDBB81 for ; Wed, 5 Apr 2006 16:48:12 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k35EmBF2024658 for ; Wed, 5 Apr 2006 16:48:11 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA23110 for ; Wed, 5 Apr 2006 16:48:11 +0200 (MET DST) Received: from gollum.iiia.csic.es (ns.iiia.csic.es [158.109.36.3]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k35EmAjI024651 for ; Wed, 5 Apr 2006 16:48:10 +0200 Received: by gollum.iiia.csic.es (Postfix, from userid 216) id 3861A226EE7; Wed, 5 Apr 2006 16:48:08 +0200 (CEST) Subject: UNIF'06 first call for papers To: X-Mailer: mail (GNU Mailutils 0.6.1) Message-Id: <20060405144808.3861A226EE7@gollum.iiia.csic.es> Date: Wed, 5 Apr 2006 16:48:08 +0200 (CEST) From: levy@iiia.csic.es (Jordi Levy) X-Miltered: at nez-perce with ID 4433D8AB.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4433D8AA.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; unification:01 unification:01 val:01 val:01 dagstuhl:01 higher-order:01 inference:01 rewriting:01 grammars:01 linguistics:01 symbolic:01 aplicada:01 universitat:01 2006:98 2006:98 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 [Apologies if you receive multiple copies] ************************************* * * * UNIF'06 FIRST CALL FOR PAPERS * * * * Deadline: May 29, 2006 * * * ************************************* UNIF'06 20th Int. Workshop on Unification A satellite workshop of RTA'6 and FLoC'06 The Seattle Sheraton Hotel and Towers Seattle, WA, USA August 11, 2006 http://www.iiia.csic.es/~levy/unif06.html UNIF is the main international meeting on unification. Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used, for instance, to build in special equational theories into theorem provers. The aim of UNIF 2006, as that of the previous meetings, is to to bring together people interested in unification, present recent (even unfinished) work, and discuss new ideas and trends in unification and related fields. This includes scientific presentations, but also descriptions of applications and softwares using unification as a strong component. In 2006, UNIF has been organized as part of the 2006 Federated Logic Conference (FLoC 2006). This workshop is the twentieth in the series: UNIF'87 (Val D'Ajol, France), UNIF'88 (Val D'Ajol, France), UNIF'89 (Lambrecht, Germany), UNIF'90 (Leeds, England), UNIF'91 (Barbizon, France), UNIF'92 (Dagstuhl, Germany), UNIF'93 (Boston, USA), UNIF'94 (Val D'Ajol, France), UNIF'95 (Sitges, Spain), UNIF'96 (Herrsching, Germany), UNIF'97 (Orl%/1€Œiso8859-15éans, France), UNIF'98 (Rome, Italy), UNIF'99 (Frankfurt, Germany), UNIF'00 (Pittsburgh, USA), UNIF'01 (Siena, Italy), UNIF'02 (Copenhagen, Denmark). UNIF'03 (Valencia, Spain). UNIF'04 (Cork, Ireland). UNIF'05 (Nara, Japan). ------------------------------------------------------------------------------- Topics of Interest: The meeting will include invited talks, contributed talks, and social time to discuss current topics of interest, which include (but are not limited to): * Unification o E-unification o Unification Algorithms o Higher-Order Unification o String Unification o Context Unification o Nominal Unification o Combination problems o Disunification o Typed Unification * Related Topics o Constraint Solving o Tree Descriptions o Matching o Narrowing * Applications o Type Checking and Type Inference o Automated Deduction o Rewriting o Functional and Logic Programming o Grammars o Computational Linguistics * Implementations ------------------------------------------------------------------------------- Important Dates: May 29, 2006 Deadline for submission of papers, abstracts and system descriptions June 19, 2006 Notification of acceptance July 17, 2006 Camera-ready papers August 11 , 2006 Workshop ------------------------------------------------------------------------------- Program Committee: Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Linz, Austria Jordi Levy (chair) Institut d'Investigaciķ en Intel.ligčncia Artificial (IIIA) Consejo Superior de Investigaciones Científicas (CSIC), Barcelona, Spain Christian Urban Mathematisches Institut der LMU Munchen, Germany Mateu Villaret Dept. Informātica i Matemātica Aplicada (IMA) Universitat de Girona (UdG), Girona, Spain ------------------------------------------------------------------------------- Submission: Authors are invited to submit via email an abstract (1-5 pages), a paper (no longer than 15 pages), or a system description (no more than 5 pages) in Postscript or PDF format using the UNIF'06 submission page, handled by the EasyChair conference system: http://www.easychair.org/UNIF06/ Authors have been encouraged to use LaTeX2e and the Springer llncs class files. Publication Informal proceedings of accepted contributions will be available on-line. A hard copy will be distributed at the workshop to registered participants.