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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E4483BB86 for ; Mon, 8 May 2006 18:42:54 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k48GgrKS020006 for ; Mon, 8 May 2006 18:42:54 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA14590 for ; Mon, 8 May 2006 18:42:53 +0200 (MET DST) Received: from gollum.iiia.csic.es (ns.iiia.csic.es [158.109.36.3]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k48Ggq0k020001 for ; Mon, 8 May 2006 18:42:52 +0200 Received: from Marrakech.iiia.csic.es (Marrakech.iiia.csic.es [158.109.36.104]) by gollum.iiia.csic.es (Postfix) with ESMTP id 1F5EB226EDC for ; Mon, 8 May 2006 18:42:50 +0200 (CEST) Received: (from levy@localhost) by Marrakech.iiia.csic.es (8.11.6/8.11.6) id k48GYR702558 for caml-list@inria.fr; Mon, 8 May 2006 18:34:27 +0200 Date: Mon, 8 May 2006 18:34:27 +0200 From: Jordi Levy Message-Id: <200605081634.k48GYR702558@Marrakech.iiia.csic.es> To: caml-list@inria.fr Subject: UNIF'06 second call for papers X-Miltered: at concorde with ID 445F750D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 445F750C.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 deadline is near !!!!!! ************************************* * * * UNIF'06 SECOND 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.