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 5D6BC80161; Wed, 21 Jun 2017 10:04:17 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=agascon@inf.ed.ac.uk; spf=Pass smtp.mailfrom=agascon@inf.ed.ac.uk; spf=None smtp.helo=postmaster@seine.is.ed.ac.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agascon@inf.ed.ac.uk) identity=pra; client-ip=129.215.17.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agascon@inf.ed.ac.uk"; x-sender="agascon@inf.ed.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of agascon@inf.ed.ac.uk designates 129.215.17.202 as permitted sender) identity=mailfrom; client-ip=129.215.17.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agascon@inf.ed.ac.uk"; x-sender="agascon@inf.ed.ac.uk"; 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@seine.is.ed.ac.uk) identity=helo; client-ip=129.215.17.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="agascon@inf.ed.ac.uk"; x-sender="postmaster@seine.is.ed.ac.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2L4FDhNlx5neStJ9718l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K//yrsbcNUDSrc9gkEXOFd2CrakV1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJNzA3/mLKhMJukK1Vrwmspxl+w4POeoyZKOZyc6HbcNgHRWRBRMFRVylZD46g?= =?us-ascii?q?coQPFesBMvxFpIf8vVQOtgexBQ6qBOjyzTJHnHD20rch0+s9FgHG2hctH9MIsH?= =?us-ascii?q?Tattn6KrodXfqvw6bU1znDcvBW1C775YPVfB4hpvSMUqhxccrX0UQgCRnKjk6Q?= =?us-ascii?q?qIP5PzOazOUNs3KB4+pnT+KvhHYrqw5wojizxscsl5LGipgUylDD7Sl5wps1Jc?= =?us-ascii?q?ajSE56f9GkDYFcty+AN4ZwX8gsQHlotT4nxrEYvZO3ZjYGxIknyhLFdvCKcZKE?= =?us-ascii?q?7gz/WOqPOTt1hn1odKiiixqs8UWs0O7xWteu3FpXrCdIkt/BvW0X2RPJ8MiIUP?= =?us-ascii?q?5981+h2TmR0wDT7flJIVsqmqraLZ4u3KQ8lpsIsUjZACD5hV/6g7WKeUk+5+io?= =?us-ascii?q?6PzrYrTgppCCK495khzyProql8ClH+g0LwgDU3KG9em+zrHv41H1TKtSgv0ziK?= =?us-ascii?q?bZsZTaJcoBpq6+Bg9Yypws6xmlADe9zNsYmn8HIUlEeBKBgYjlIU/BL+3iAfil?= =?us-ascii?q?n1ugiiprx/PeMr37HprNNmTDkKvmfbtl90FczxMzwclD6JJQF7EOO+n+WlTxtd?= =?us-ascii?q?zdFh82KRa4w+fhCNVn14MRQ3iDAqGDMKnKq1+H+vovI/WQZI8SoDvyN+Iq5/vq?= =?us-ascii?q?jXMgnV8dfLKp3YcMZXCjHvVmJl2ZbmD2jtcAF2cKpAs+Q/bwhF2MSz4AL0q1Cq?= =?us-ascii?q?k4ozAgAYirCYPOA522jaaa9CO6BYFNIGtPDxaFGjH1dMHMQfoTciOOI8luujEC?= =?us-ascii?q?Tv2lWognkx+08EfC0b1gINbU9yoCpLrn1cNp/KvZnA0yszV/SdmelymEV3lvk2?= =?us-ascii?q?YgQz4twLs5vUdmjFaN0O58huEeGdEXr/hOS0IxMYPW5+18EdH7HAzbOp+CQVOi?= =?us-ascii?q?B9GnGi0ZT9QrwtZIbVw5U8mvlBXf2C2uGJcKiKPNAIY1tKzGmzD6Lspw43faye?= =?us-ascii?q?8tjB1uScJTOGKhnK9y7CDWG4ePmEzd36irc6UA0WvI82uOyS+SvExfSh9YVaTe?= =?us-ascii?q?QWtZfFTKrZHw70jCQrnoBbljeg9PwtXHK61WZ8fklkluRfHtftnSJWu63XqzQV?= =?us-ascii?q?6Mx7WBZZDCcH5bxznUDkYDiQxV8HqbcUARLwKMmEraDSdyDhT1fF/stOB3o3O2?= =?us-ascii?q?SAk4wkXCd1dm2P+x8xgarfCdSO5V0rFA8DshpjJuEVP4x8jRFdeavCJofeNZYM?= =?us-ascii?q?977VtakSrFtwF6JI3lK6dth1U2eB8xtEbzkRh7F8EImMcmpVsuzRFuMuST0FpF?= =?us-ascii?q?cj6CxtbrN/mfI3L21A6mcLXfwBfT3MvSsqMG87E8ql74lAWoDVY5tWl6ltNYyX?= =?us-ascii?q?+d4NPGAU5aTYPpX10f8xlhu6qcaSk044bZz2YqKqTw+jvF1NMiLO4s1hbmYtFe?= =?us-ascii?q?damDEgm0H8BeT9S/MOEx3lGvaBUZOutf3Ko1JN+9MeCL0bXtIf5tmjTggGhas6?= =?us-ascii?q?5n1UfZ3iZmS+eA8J8eyPaell+OWD7nh1CnmsHxl8ZJaXcbFSyiyn63V8ZqeqRu?= =?us-ascii?q?cNNTWi+VKMqty4Amig=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BmAwBVJ0pZh8oR14FdDggHAQUBCwEYA?= =?us-ascii?q?QUBCwGCRIFLgQ0Hg2WdC4F2AZMOghEBK4QehEEHQBcBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?KCwkIKC+CMyKCZwYxFDc3AiQSAQUBIxIbihEQnV0/jAmCJoQUAYNcGoNRAQEIA?= =?us-ascii?q?QEBAQEjhmyBYIJwgXCBaYRWgmEFiVKVD4czjC+SDAKTRxQfgRUgAYFAMCEILAR?= =?us-ascii?q?iBoQ1RQSBMwQ8dQGJaQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BmAwBVJ0pZh8oR14FdDggHAQUBCwEYAQUBCwGCRIFLgQ0?= =?us-ascii?q?Hg2WdC4F2AZMOghEBK4QehEEHQBcBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyKCZ?= =?us-ascii?q?wYxFDc3AiQSAQUBIxIbihEQnV0/jAmCJoQUAYNcGoNRAQEIAQEBAQEjhmyBYIJ?= =?us-ascii?q?wgXCBaYRWgmEFiVKVD4czjC+SDAKTRxQfgRUgAYFAMCEILARiBoQ1RQSBMwQ8d?= =?us-ascii?q?QGJaQEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,368,1493676000"; d="scan'208,217";a="229107358" Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Jun 2017 10:04:14 +0200 Received: from lmtp1.ucs.ed.ac.uk (lmtp1.ucs.ed.ac.uk [129.215.149.64]) by seine.is.ed.ac.uk (8.14.7/8.14.6) with ESMTP id v5L8477U026006; Wed, 21 Jun 2017 09:04:07 +0100 Received: from mail-ot0-f175.google.com (mail-ot0-f175.google.com [74.125.82.175]) (authenticated user=agascon mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id v5L8456A007144 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Wed, 21 Jun 2017 09:04:07 +0100 (BST) Received: by mail-ot0-f175.google.com with SMTP id u13so92332206otd.2; Wed, 21 Jun 2017 01:04:06 -0700 (PDT) X-Gm-Message-State: AKS2vOxajxqwOrC3Gfxq51cjbq9PXNIqoNRHYEoxu1YJgEAR6bME4OI9 m044hEDuVwyP17QBIMrREdAjXBMjLA== X-Received: by 10.157.29.184 with SMTP id y53mr6348405otd.218.1498032245298; Wed, 21 Jun 2017 01:04:05 -0700 (PDT) MIME-Version: 1.0 Received: by 10.74.176.194 with HTTP; Wed, 21 Jun 2017 01:04:04 -0700 (PDT) From: Adria Gascon Date: Wed, 21 Jun 2017 09:04:04 +0100 X-Gmail-Original-Message-ID: Message-ID: To: cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr, ProofTheory@lists.bath.ac.uk, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@www.lri.fr, cade@itu.dk, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, agda@lists.chalmers.se, asl@vassar.edu, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de, types-announce@lists.seas.upenn.edu Content-Type: multipart/mixed; boundary="----------=_1498032253-4591-4" X-Scanned-By: MIMEDefang 2.78 on 129.215.17.202 X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 X-Edinburgh-Scanned: at seine.is.ed.ac.uk with MIMEDefang 2.78, Sophie, Sophos Anti-Virus, Clam AntiVirus Content-Transfer-Encoding: binary X-Validation-by: agascon@inf.ed.ac.uk Subject: [Caml-list] [CFP] UNIF 2017 -- deadline extension This is a multi-part message in MIME format... ------------=_1498032253-4591-4 Received: from mail-ot0-f175.google.com (mail-ot0-f175.google.com [74.125.82.175]) (authenticated user=agascon mech=PLAIN bits=0) by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id v5L8456A007144 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Wed, 21 Jun 2017 09:04:07 +0100 (BST) Received: by mail-ot0-f175.google.com with SMTP id u13so92332206otd.2; Wed, 21 Jun 2017 01:04:06 -0700 (PDT) X-Gm-Message-State: AKS2vOxajxqwOrC3Gfxq51cjbq9PXNIqoNRHYEoxu1YJgEAR6bME4OI9 m044hEDuVwyP17QBIMrREdAjXBMjLA== X-Received: by 10.157.29.184 with SMTP id y53mr6348405otd.218.1498032245298; Wed, 21 Jun 2017 01:04:05 -0700 (PDT) MIME-Version: 1.0 Received: by 10.74.176.194 with HTTP; Wed, 21 Jun 2017 01:04:04 -0700 (PDT) From: Adria Gascon Date: Wed, 21 Jun 2017 09:04:04 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: [CFP] UNIF 2017 -- deadline extension To: cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr, ProofTheory@lists.bath.ac.uk, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@www.lri.fr, cade@itu.dk, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, agda@lists.chalmers.se, asl@vassar.edu, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="001a1141606ed7e281055273cf8e" X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64 --001a1141606ed7e281055273cf8e Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable New deadline is June 26th ------------------------------------------------------------- Call for Papers: UNIF 2017 -- FSCD workshop Website: https://unif-workshop.github.io/UNIF2017/ The 31st International Workshop on Unification is the 31st 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 state of the art in unification theory. The workshop will be hosted by the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD, Oxford, September 2017). ** Submission instructions ** 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=3Dunif2017 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 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: June 26th (11pm59 CET) Notification of acceptance: July 21st Workshop: September 3rd ** Program Committee ** Franz Baader (TU Dresden) Iliano Cervesato (CMU) Santiago Escobar (TU Valencia) Maribel Fern=C3=A1ndez (KCL) Silvio Ghilardi (Universit=C3=A0 degli Studi di Milano) Artur Je=C5=BC (University of Wroc=C5=82aw) Konstantin Korovin (Manchester University) Temur Kutsia (Johannes Kepler University Linz) Jordi Levy (IIIA - CSIC) Andrew Marshall (University of Mary Washington) Catherine Meadows (NRL) Barbara Morawska (TU Dresden) Paliath Narendran (University at Albany-SUNY) Jan Otop (University of Wroc=C5=82aw) Christophe Ringeissen (LORIA-INRIA) Manfred Schmidt-Schauss (Goethe-University Frankfurt) Mateu Villaret (Universitat de Girona) ** Organizers ** Adri=C3=A0 Gasc=C3=B3n (Warwick University/Alan Turing Institute) agascon@turing.ac.uk Chris Lynch (Clarkson University) clynch@clarkson.edu --001a1141606ed7e281055273cf8e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
New deadline is June 26th

---------------------------------= ----------------------------

Call for Papers:=C2=A0UNIF=C2=A0= 2017 -- FSCD workshop

Website:=C2=A0https://unif-w= orkshop.github.io/UNIF2017/

The 31st Internatio= nal Workshop on Unification is the 31st event in a
series of international meeti= ngs devoted to unification theory and its
applications.=C2=A0 Unification is con= cerned with the problem of making two
= terms equal, finding solutions for equatio= ns, or making formulas
equivalent.=C2=A0 It is a fundamental process used in a n= umber of fields of
computer science, including automated reasoning, term rewriti= ng, 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 field= s to meet old and
new colleagues, to present recent (even unfinished) work, and = to
di= scuss new ideas and trends.=C2=A0 It is also a good opportunity for young
resear= chers and scientists working in related areas to get an overview
of the state of= the art in unification theory.=C2=A0 The workshop will be
hosted by the 2nd In= ternational Conference on Formal Structures for
Computation and Deduction (FSCD,= Oxford, September 2017).

** Submission instructi= ons **

= Following the tradition of=C2=A0UNIF,= we call for submissions of abstracts
= (5 pages) in EasyChair style, to be submit= ted electronically as PDF
files through the EasyChair submission site:
https://easychair.org/conferenc= es/?conf=3Dunif2017

Abstracts will be evaluated by t= he Programme Committee (if necessary
<= span style=3D"font-size:12.8px">with support from external reviewers) regar= ding 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 worksh= op, available in printed form at
the workshop and in electronic form from the=C2= =A0UNIF=C2=A0homepage:

http://www.= pps.jussieu.fr/~treinen/unif/

Base= d on the number and quality of submissions we will decide whetherto organize a = special journal issue.

** Important Dates **

Paper submission:=C2=A0June 26th=C2=A0(11pm59 C= ET)

Notification of acceptance:=C2=A0July 21st

Workshop:= =C2=A0September 3rd

** Program Committee **
Franz Baader = (TU Dresden)
Iliano Cervesato (CMU)
Santiago Escobar (TU Valencia)
Maribel Fern=C3=A1ndez = (KCL)
Silvio Ghilardi (Universit=C3=A0 degli Studi di Milano)
Artur Je=C5=BC (Univers= ity of Wroc=C5=82aw)
Konstantin Korovin (Manchester University)
Temur Kutsia (Johann= es Kepler University Linz)
Jordi Levy (IIIA - CSIC)
Andrew Marshall (University of Ma= ry Washington)
Catherine Meadows (NRL)
Barbara Morawska (TU Dresden)
Paliath Narendran (U= niversity at Albany-SUNY)
Jan Otop (University of Wroc=C5=82aw)
Christophe Ringeisse= n (LORIA-INRIA)
Manfred Schmidt-Schauss (Goethe-University Frankfurt)
Mateu Villaret = (Universitat de Girona)

** Organizers **
Adri=C3=A0 Gasc=C3=B3n (Warwick University/Alan Turing In= stitute)
agascon@turing.ac.u= k

Chris Lynch (Clarkson University)
clynch@clarkson.edu
--001a1141606ed7e281055273cf8e-- ------------=_1498032253-4591-4 Content-Type: text/plain Content-Disposition: inline Content-Transfer-Encoding: 7bit Content-Description: Edinburgh University charitable status The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. ------------=_1498032253-4591-4--