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 6CC2E7F89E for ; Thu, 3 Apr 2014 21:25:32 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kutsia@risc.jku.at) identity=pra; client-ip=140.78.116.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kutsia@risc.jku.at) identity=mailfrom; client-ip=140.78.116.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtpauthhost.risc.uni-linz.ac.at) identity=helo; client-ip=140.78.116.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="postmaster@smtpauthhost.risc.uni-linz.ac.at"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYFACe0PVOMTnQn/2dsb2JhbABYFoJwO1HFIhZ0gkkVAQUwED0WGAMCAQIBWAgBAReHXgQEBZ0VsiyOHYUTBJRvg2yBNIUdhiGFTIMy X-IPAS-Result: AoYFACe0PVOMTnQn/2dsb2JhbABYFoJwO1HFIhZ0gkkVAQUwED0WGAMCAQIBWAgBAReHXgQEBZ0VsiyOHYUTBJRvg2yBNIUdhiGFTIMy X-IronPort-AV: E=Sophos;i="4.97,789,1389740400"; d="scan'208";a="55461295" Received: from smtpauthhost.risc.uni-linz.ac.at ([140.78.116.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Apr 2014 21:25:31 +0200 Received: from [10.0.0.9] (178-191-138-117.adsl.highway.telekom.at [178.191.138.117]) (authenticated bits=0) by smtpauthhost.risc.uni-linz.ac.at (8.14.3/8.14.3/Debian-9.4) with ESMTP id s33JPT98029607 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Thu, 3 Apr 2014 21:25:29 +0200 Message-ID: <533DB5A4.5040105@risc.jku.at> Date: Thu, 03 Apr 2014 21:25:24 +0200 From: Temur Kutsia User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: kutsia@risc.jku.at Subject: [Caml-list] Last CfP: UNIF 2014 ==================================================== Call for Papers UNIF 2014 The 28th International Workshop on Unification July 13, 2014. Vienna, Austria a FLoC workshop hosted by RTA-TLCA and IJCAR http://vsl2014.at/unif ==================================================== UNIF 2014 is the 28th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of identifying terms, 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. Topics ------ A non-exhaustive list of topics of interest includes: * syntactic and equational unification * matching * constraint solving * unification in modal, temporal, and description logics * narrowing * disunification * anti-unification * semi-unification * higher-order unification * complexity issues * implementation techniques * applications Submission ---------- Short papers or extended abstracts, up to 5 pages in EasyChair style, should be submitted electronically as PDF files through the EasyChair submission site: https://www.easychair.org/conferences/?conf=unif2014 Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available in the electronic form at the workshop and also at the UNIF web page: http://www.pps.jussieu.fr/~treinen/unif/ Important Dates ---------------- * Paper Submission: April 16, 2014 * Notification of Acceptance: May 21, 2014 * Final version: May 28, 2014 * Conference: July 13, 2014 Invited Speakers ---------------- * Jordi Levy, IIIA, CSIC, Barcelona, Spain * Jose Meseguer, University of Illinois at Urbana-Champaign, USA Programme Committee ------------------- * Franz Baader, TU Dresden, Germany * Mnacho Echenim, University of Grenoble, France * Santiago Escobar, Universitat Politecnica de Valencia, Spain * Maribel Fernandez, King's College London, UK * Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair) * Christopher Lynch, Clarkson University, USA * Mircea Marin, West University of Timisoara, Romania * Barbara Morawska, TU Dresden, Germany * Paliath Narendran, University at Albany—SUNY, USA * Jan Otop, IST Austria * Christophe Ringeissen, LORIA-INRIA Lorraine, France (chair) * Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany * Ralf Treinen, PPS, Université Paris Diderot, France * Mateu Villaret, Universitat de Girona, Spain