From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5097D7FCE8 for ; Fri, 15 Jan 2016 18:27:08 +0100 (CET) IronPort-PHdr: 9a23:ETGFRR80etBATP9uRHKM819IXTAuvvDOBiVQ1KB90OIcTK2v8tzYMVDF4r011RmSDduduqsP2rqempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRMiD1o/mh6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MdFVeD+fr8kZb1eFjUvdW4vt+PxshyWQgaI6HU0WX5QlxtBBgmD4R3nFtfevyz0uKJGxTWROcz4Q711Cmfq1LtiVBK90HRPDDU+6myC0sE= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BiAQDGKplWnAZZH8BeFoN2bQGIVaNJAYgzhRyEBBgKh2MQAQEBAQEBAQEQAQEBAQEIFAlPgi2CKyEqHy4wBAwRRBuIAA6gd51DgmcBAQEHAQEBAR8EjQyCahEBgwIMQRuBGwWHZoZTiGCFR4J0hRqBZ0qDeohfjl05gkkIggIgNAEBhGyBQgEBAQ X-IPAS-Result: A0BiAQDGKplWnAZZH8BeFoN2bQGIVaNJAYgzhRyEBBgKh2MQAQEBAQEBAQEQAQEBAQEIFAlPgi2CKyEqHy4wBAwRRBuIAA6gd51DgmcBAQEHAQEBAR8EjQyCahEBgwIMQRuBGwWHZoZTiGCFR4J0hRqBZ0qDeohfjl05gkkIggIgNAEBhGyBQgEBAQ X-IronPort-AV: E=Sophos;i="5.22,300,1449529200"; d="scan'208";a="160575613" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 15 Jan 2016 18:27:07 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id A9B9512151F; Fri, 15 Jan 2016 12:27:06 -0500 (EST) To: caml-list@inria.fr Message-Id: <20160115172706.A9B9512151F@mcclellan.cs.miami.edu> Date: Fri, 15 Jan 2016 12:27:06 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] UNIF 2016 - Call for Papers UNIF 2016 - Call for papers The 30th International Workshop on Unification is the 30th 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. 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 current state of the art in unification theory. The workshop will be hosted by the 1st International Conference on Formal Structures for Computation and Deduction (FSCD, Porto, June 2016) Description of the Topic ------------------------ Unification is one of the central notions in automated reasoning and lies at the heart of many reasoning systems. Unification is concerned with the problem of making two terms equal, either syntactically or modulo a theory. UNIF 2016 will be the 30th in a series of annual international workshops on unification. Previous editions have taken place mostly in Europe (Austria, Denmark, France, Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage at http://www.pps.jussieu.fr/~treinen/unif/. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense, encompassing also research in constraint solving, admissibility of inference rules, and applications such as type checking, query answering and cryptographic protocol analysis. A non-exhaustive list of topics of interest includes: + Unification algorithms, calculi and implementations + Equational unification and unification modulo theories + Unification in modal, temporal and description logics + Admissibility of Inference Rules + Narrowing + Matching algorithms + Constraint solving + Combination problems + Disunification + Higher-Order Unification + Type checking and reconstruction + Typed unification + Complexity issues + Query answering + Implementation techniques + Applications of unification + Antiunification/Generalization Submission Details ------------------ Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF files through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2016 Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. 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 organize a special journal issue. Important Dates --------------- + Paper Submission: May 1, 2016 + Notif. of Acceptance: May 29 2016 + Final version: June 5, 2016 + Conference: June 26, 2016 Organizers ---------- Silvio Ghilardi Department of Mathematics Universite degli Studi di Milano Milano, Italy email: silvio.ghilardi@unimi.it homepage: http://users.mat.unimi.it/users/ghilardi/ phone: +39 02 5031 6142 Manfred Schmidt-Schauss Department of Computer Science and Mathematics Goethe University Frankfurt, Germany email: schauss@ki.informatik.uni-frankfurt.de homepage: http://www.ki.informatik.uni-frankfurt.de phone: +49 69 798 2859