From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id E62FF5D4 for ; Fri, 21 Feb 2020 13:47:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,468,1574118000"; d="scan'208";a="437078209" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Feb 2020 14:47:40 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5F18E7F42C; Fri, 21 Feb 2020 14:47:40 +0100 (CET) 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 0EF2D7F3B1 for ; Fri, 21 Feb 2020 14:43:19 +0100 (CET) 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@mail-yw1-f100.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AQrmYCRYa3HxLfSFqEwADRGX/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMm9bnLW6fgltlLVR4KTs6sC17OK9fC8EjFbqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi5oAnLtcQbjoRuJ6Y/xxDUvnZGZu?= =?us-ascii?q?NayH9nKl6Ugxvy/Nq78oR58yRXtfIh9spAXrv/cq8lU7FWDykoPn4s6sHzuhbN?= =?us-ascii?q?UQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi77tuRRT1hi?= =?us-ascii?q?oLKyI1/WfKgcF2kalVog+upwZnzoDJfo+bM/lwcK3dc94BWWZNQtpdWzBbD4+g?= =?us-ascii?q?c4cCCfcKM+ZCr4n6olsDtRS+CherBOPhxD9FnWP53bYg3+QkEAHJxgkgH9MUvH?= =?us-ascii?q?vKsdr1KaEfWv27wqnPyDXMdfJW2THl5YjVdBAhoP+MUaxsfcbP1UUjDQTFjk+f?= =?us-ascii?q?qYD9ITyazP8NsmiH4OpgT+2vinQnpxt2oji1ycchjJTCiIENyl3c6yl13II4Kc?= =?us-ascii?q?e7RUN7e9KoDZpduzyAO4drXs8uX3lktDs+x7EYo5K2cjUGxI4kyhPbcfCLbpaE?= =?us-ascii?q?7xT+X+iLOzh4nmhqeLenihay70egzur8W9Gx0FlQrypFlsDAt3AD1hDO88SHRO?= =?us-ascii?q?Zx8lu91TqV2ADT7eZEIU8wlaXFMZIu3rkwlp8LvUTCGC/5hln2gbeIekk4/uWk?= =?us-ascii?q?8efqb7X8qpOBNoJ4lxvyPrkylsCjGeg4NxIBX2mf+eSyzr3j+kj5Ta1FjvIola?= =?us-ascii?q?nZvp7aKN8Hqa6iGQNV14cj5Ay6DzenytgXg2QILE9ddBKdk4fpI03OIOz/Dfqn?= =?us-ascii?q?n1ujijJrx/TfMr3lA5XNNWTDnaz6fbd97k5c0BA8wcpe55JSELEBIej8VlX/tN?= =?us-ascii?q?zCXVcFNFngyO/iDJB515gCcWOJGK6Qdq3I5wym/OUqduaBY4EbkD3mbf0k7vvv?= =?us-ascii?q?y3I1hAxONZK11IcaPSjrVs9tJF+UNCK13oUxVFwStw97d9TEzUWYWGcPNX2pGa?= =?us-ascii?q?c97zQ6To+qENWbH9H/sPm6xC6+W6ZuSCVDA1GIH23vctzYCfwXLieTK8pg1DEI?= =?us-ascii?q?SOr4EtJz5VSVrAb/joFfAK/U9ykf78yx0dF046jCikh3+2UsV4KS1GaCS2wylW?= =?us-ascii?q?QNFWc7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZAgCR3U9eh2ShVdFmhD6BGFVcjReJF?= =?us-ascii?q?45NixgDVAEIAQMBDCMMBAEBhkwcBwEENBMCEAEBBQEBAQIBAgMEARMBAQEIDQk?= =?us-ascii?q?IKYU+DII7IoMiCyMBASYSOzQdCAEFASIuB4I5SwGCew+gUIEEPYxagn8BAQWCR?= =?us-ascii?q?YNSCSOBHwkJAQiBJodGghmCRRqCAIERNoIogXeBYAQagSAEg2iCLI1wijOXd4o?= =?us-ascii?q?WhU2JOyiDRoNJh2qMNYRHkyWSZA8jgUaBenKDOglHGA2ONQKDWYUUhV8jMwKMe?= =?us-ascii?q?IJDAQE?= X-IPAS-Result: =?us-ascii?q?A0CZAgCR3U9eh2ShVdFmhD6BGFVcjReJF45NixgDVAEIAQM?= =?us-ascii?q?BDCMMBAEBhkwcBwEENBMCEAEBBQEBAQIBAgMEARMBAQEIDQkIKYU+DII7IoMiC?= =?us-ascii?q?yMBASYSOzQdCAEFASIuB4I5SwGCew+gUIEEPYxagn8BAQWCRYNSCSOBHwkJAQi?= =?us-ascii?q?BJodGghmCRRqCAIERNoIogXeBYAQagSAEg2iCLI1wijOXd4oWhU2JOyiDRoNJh?= =?us-ascii?q?2qMNYRHkyWSZA8jgUaBenKDOglHGA2ONQKDWYUUhV8jMwKMeIJDAQE?= X-IronPort-AV: E=Sophos;i="5.70,468,1574118000"; d="scan'208";a="339979248" X-MGA-submission: =?us-ascii?q?MDGMRVQnDQZfZQgaoP2EVd22sQnyF8UnaNgeZk?= =?us-ascii?q?b3KG2EZQ9TwT+xq+z78qH7EDzTcQtiG5FXhqDCHBlC6JTOcp5euEsSQX?= =?us-ascii?q?F0C1p/C1G5RZmeiTiDMUSZU+FYMzQY/vH1XuCtEhMYEfAPnWNM0EVx6Z?= =?us-ascii?q?hFRJwj/qQFLzl6N42UkVti1g=3D=3D?= Received: from mail-yw1-f100.google.com ([209.85.161.100]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Feb 2020 14:43:17 +0100 Received: by mail-yw1-f100.google.com with SMTP id t141so1041928ywc.11 for ; Fri, 21 Feb 2020 05:43:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=QYMoYeMOv7nyQJm7b9Rog3jopfGDz5I26oi7WrQzGuI=; b=rGDYTF1jABZ3g+fo0SKAMcsStcxq+LgoPlAV78YRRhFW2rSWtL9ELSQfGirgUyeRNs pRyQ9QSlSz9IZBJ6cdyqE6yaQjsJlcjB4MfaQGH+gR3kjUSIWx7+eEKJesrNCe+vV7r1 3utHJc1Rq14q+xaGapUQ34aM+zPubaUwlhkDMCTd4hyXGuogIlDbP+S6x4//AUSW/tby ANCmtc7d60U2ng4D+xGhfC+Qr4lwt+rTtq7CCVbiMkswi8VlSMTvgwocoZOYsiy5gH8Q 4kNVUyKTZ/sJbsQzj/JT7/LomJrlJmqZQbwVN0UY1acD/w7pOzMEheEtJXNDk5iA9Ko8 k7Gw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=QYMoYeMOv7nyQJm7b9Rog3jopfGDz5I26oi7WrQzGuI=; b=chl5Fu7fFaUqwqSIbqP2iBkCAiZjWAYEOdILPfPUvJNKboNWT44L3cz22wwCdxHM8/ mKGrR2Bzci2hi2p0Qfn2xGu2OApRpuXOs31KPzVmD+d2+DQdNa9SkwKI50E5YisI1Ev9 DRLmbzA4aC76HBj37+CMs6v1RLtEh2FLzEh/rJ/9Xqtku3Os5CrIQ2uvz566H1q37tJv HAH5hvBIsUaP4r2ZwRhISbEgNB6hZLwDaQQc0FkeQIQntkiKOBm2jAhgQitTjK20iVqJ 2r21iEz8cTVOVrYsqAGceRRERzd47T2QVMQWgy//cLLEjBzhV1A9DuwYlv6Gjs192xYg d/4w== X-Gm-Message-State: APjAAAUnOZa3qfF69Xl979p0+TgRH3BpuP7M6+KNMow1hkfLtMWhsjZo 8M1CObKkdr6kOzaKzjMNCWBnqODjDadw16yHlfGwf/wiSdzetw== X-Google-Smtp-Source: APXvYqxufVIllqIPWDX+iNXPBoQ88Ir+j2qhiovHiS+NDe9FAVT7iIw/0fHmVvY2d9DKs04scLyfToLMancv X-Received: by 2002:a81:ae51:: with SMTP id g17mr32761538ywk.302.1582292595135; Fri, 21 Feb 2020 05:43:15 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id y143sm475450ywd.2.2020.02.21.05.43.13 for ; Fri, 21 Feb 2020 05:43:15 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 5B7501700639; Fri, 21 Feb 2020 08:42:58 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20200221134258.5B7501700639@cs.miami.edu> Date: Fri, 21 Feb 2020 08:42:58 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] UNIF 2020 - Call for Papers Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 18008 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ==================================================== 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)