From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9246 Path: news.gmane.org!.POSTED!not-for-mail From: Adria Gascon Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.comp.science.types.announce Subject: [CFP] UNIF 2017 -- deadline extension Date: Wed, 21 Jun 2017 09:04:04 +0100 Message-ID: Reply-To: Adria Gascon NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----------=_1498032253-4591-4" Content-Transfer-Encoding: binary X-Trace: blaine.gmane.org 1498032410 22657 195.159.176.226 (21 Jun 2017 08:06:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 21 Jun 2017 08:06:50 +0000 (UTC) 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 Original-X-From: caml-list-owner@inria.fr Wed Jun 21 10:06:41 2017 Return-path: Envelope-to: gclci-caml-list@gmane.org Original-Received: from mxfilter-048034.atla03.us.yomura.com ([107.189.48.34]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dNaeu-0005N6-Hc for gclci-caml-list@gmane.org; Wed, 21 Jun 2017 10:06:40 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from mail2-relais-roc.national.inria.fr (unknown [192.134.164.83]) by mxfilter-048034.atla03.us.yomura.com (Halon) with ESMTPS id 8e6f2475-5658-11e7-8ed1-b499baa2b07a; Wed, 21 Jun 2017 08:06:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.39,368,1493676000"; d="scan'208,217";a="279938907" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Jun 2017 10:06:10 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 7EE8C80178; Wed, 21 Jun 2017 10:06:10 +0200 (CEST) Original-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 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/WOqPOTt1hn1odK 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" Original-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 Original-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 Original-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) Original-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) Original-Received: by 10.74.176.194 with HTTP; Wed, 21 Jun 2017 01:04:04 -0700 (PDT) X-Gmail-Original-Message-ID: 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 X-Validation-by: agascon@inf.ed.ac.uk X-Loop: caml-list@inria.fr X-Sequence: 15921 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Gmane-Expiry: 2017-07-05 Xref: news.gmane.org gmane.comp.lang.caml.inria:66799 gmane.science.mathematics.logic.isabelle.user:14581 gmane.science.mathematics.prooftheory:1555 gmane.science.mathematics.logic.coq.club:19458 gmane.science.mathematics.categories:9246 gmane.comp.lang.agda:9437 gmane.comp.science.types.announce:6947 Archived-At: 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 --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --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--