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 833387EE9C for ; Tue, 29 Nov 2016 12:15:38 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kk.nkt33@gmail.com; spf=Pass smtp.mailfrom=kk.nkt33@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f65.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kk.nkt33@gmail.com) identity=pra; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kk.nkt33@gmail.com"; x-sender="kk.nkt33@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kk.nkt33@gmail.com designates 74.125.82.65 as permitted sender) identity=mailfrom; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kk.nkt33@gmail.com"; x-sender="kk.nkt33@gmail.com"; 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@mail-wm0-f65.google.com) identity=helo; client-ip=74.125.82.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kk.nkt33@gmail.com"; x-sender="postmaster@mail-wm0-f65.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AdKF8hBBUCi3CXQarXD7qUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv9r8bcNUDSrc9gkEXOFd2CrakV0KyN7Ou5BTRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZb1/IA+4oAjTucUanIRvJroswRbVv3VEfP?= =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?= =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?= =?us-ascii?q?wKMSMy/mPKhcxqlK9VoByvqR9izYDKfI6YL+Bxcr/HcN4AWWZNQsRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5doYbjplsOrhy+DhS0Cuz1yT9HnGP20rcn2OkmEgHG3xYsH9QNsH?= =?us-ascii?q?TIotj4OrwfUe+wzKbSzDXDa+la1iv66IjNax0sp+yHU7x3ccrU00YvFgXFg02L?= =?us-ascii?q?qYzkMDOVzuANvHKd7+Z6UuKvkWEnpxlvrTe13cctipXGhoIPxVDF7yV12oE1Jc?= =?us-ascii?q?e3SEJje96kDYFctyeeN4ZwX8gsQHlotT44x7AJo5K3YTYGxZQ9yxPcdfCLaYmF?= =?us-ascii?q?7xLlWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZPtCVFk93MumkD1hzW9sSLU/?= =?us-ascii?q?V980ah1DqV2ADT7eZEIU8wlaXFMZIu3rkwlp8LvUTCGC/5hln2gbeUe0gr4OSk?= =?us-ascii?q?9vrrb7X8qpKfKYN4kADzP6Q2lsy6G+s4MwwOX2aB+eS70b3u5U75QLZQgv0wka?= =?us-ascii?q?nZrJ7XKMoAq662Bg9ayIcj6xKlAzi619QYmGELLEhZdxKfk4jpJ1bOLejkAvil?= =?us-ascii?q?hlSslC5nx/THPr36HpXANWPDkbfkfbZl8UFQ0gszzdZF55JVEL4NOvzzWlWi/O?= =?us-ascii?q?DfWxQwNgjxx+f8FP180JkfUCSBGPy3KqTX5HyF5+Eoa8+FZ4YJsX6pKPtj4f3y?= =?us-ascii?q?1iQRlloUfK3v1pwSPiPrVs96KlmUNCK/yuwKFn0H61Iz?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BpBwBvYj1Yf0FSfUpdHQEFAQsBGAYMg?= =?us-ascii?q?w4BAQEBAT06gQMHhCafEQEBB4kdYYQTgmKDEYQUKYV5gWsHQxABAQEBAQEBAQE?= =?us-ascii?q?BARIBAQkLCwkbMoIzGII2CwYdARsMEgMSAw03AiQBEQEFATUIDA6IMAEDFw6PC?= =?us-ascii?q?o1JggmBMj8yi1CCBAUBH4MNBYNmChknDVRGgmkBHAIGEoVihmKBToFrgleCXQW?= =?us-ascii?q?BJQEBk0SFXwgBAYEyhRaKPoFyT4JHgWGJSZA5Ex6BEw8mgRVRJYJyHIFtPTSID?= =?us-ascii?q?QEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BpBwBvYj1Yf0FSfUpdHQEFAQsBGAYMgw4BAQEBAT06gQM?= =?us-ascii?q?HhCafEQEBB4kdYYQTgmKDEYQUKYV5gWsHQxABAQEBAQEBAQEBARIBAQkLCwkbM?= =?us-ascii?q?oIzGII2CwYdARsMEgMSAw03AiQBEQEFATUIDA6IMAEDFw6PCo1JggmBMj8yi1C?= =?us-ascii?q?CBAUBH4MNBYNmChknDVRGgmkBHAIGEoVihmKBToFrgleCXQWBJQEBk0SFXwgBA?= =?us-ascii?q?YEyhRaKPoFyT4JHgWGJSZA5Ex6BEw8mgRVRJYJyHIFtPTSIDQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,568,1473112800"; d="scan'208,217";a="202133216" Received: from mail-wm0-f65.google.com ([74.125.82.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Nov 2016 12:15:37 +0100 Received: by mail-wm0-f65.google.com with SMTP id g23so23774031wme.1 for ; Tue, 29 Nov 2016 03:15:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=s0mTFRMUS8vgBt4udiTF0J2ae6lRcCRlvRveVEMx8sM=; b=AsjShnp0hxwuu0dG3kbEdjnSZciQX5pIUZd2wv7Ccp9YJWzblUIm7VUgb4xJT+WHWo 5uYyx0TeiLZ+UGbWfFEC6pcfrnW3XdVSUNh90WNdI37D0SIc2URoEp12FSkftfcFEuKR l8XMQINjn2Ovj+WcmS1fVT+tux7gSdpjLd80BKSeYnKe4cHAkFpDuztvNBuf8DQHj5KL w7cd5yxft6uzi26+/ESM4IeXmOda0MQiGC2dL9Hh1t6URRGbCYVKQRnMeG4vB2XkRHnH D02AZaodxSTTZ2ZcCDREXH7RijEyn5xaN8HcOh2t6/1f2qS2V+29SCO1WrSKqE5V4TV9 4Ddg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=s0mTFRMUS8vgBt4udiTF0J2ae6lRcCRlvRveVEMx8sM=; b=N25w0QBzRCNxxpQ8yH5jBygZypnD4cPwMhGKiMBoqb/SvbGh7I/v/bBxGhlJ6NVZQr jLA7T4cl05XMDTYa6uhx/n2sdZmf0Xf2dGHMKUig2z+txha1wyq0pj07SCbtaM1y3Oqr 1uZFVZ52vo6sJOa8Cr2xyvpozKjlnDI/3M5GJI+rNH4iSkCVxoiJ1H2iM2WF4l3r8fHv jwhwexQfkMpNqY6ZRAdzBlc7Rvg+p3yivRGjSKmI6LG/VefDvVsBCQc2ynkYbpWSzEJA ebjA3snMvDBMwapiOhvX6eRGFwuPUsERtdAFMsOFToDLEoCs77dMDjfdDviyI9YU5NCj IBQQ== X-Gm-Message-State: AKaTC007i1mI9m8NOlEG1Lo9HhjTeJGoPcGdePQV8hbpCHMS+ixO6Fo1ch24yI+24Y33LreSIt2XZ4AEasYHNA== X-Received: by 10.28.41.70 with SMTP id p67mr23134436wmp.4.1480418136677; Tue, 29 Nov 2016 03:15:36 -0800 (PST) MIME-Version: 1.0 Received: by 10.28.182.68 with HTTP; Tue, 29 Nov 2016 03:15:36 -0800 (PST) From: Keiko Nakata Date: Tue, 29 Nov 2016 12:15:36 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114e305627e3f905426eb571 Subject: [Caml-list] TTT 2017: 2nd CfP for Type Theory Based Tools @ POPL 2017 --001a114e305627e3f905426eb571 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2nd CALL FOR ABSTRACTS TTT : Type Theory Based Tools =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Satellite workshop of POPL 2017, Paris France, January 15th http://popl17.sigplan.org/track/TTT-2017 Overview =3D=3D=3D=3D=3D=3D=3D The aim of this workshop is to showcase modern tools based on type theory, whether designed for programming or for verification, whether academic projects or used in an industrial setting. It will provide a forum to highlight and discuss their common and their distinctive features, and the future directions of development of the tools. The program will consist of invited and contributed talks, and will encourage informal discussion. Abstracts will be displayed on the website of the workshop but there will be no proceedings. We solicit abstract submissions proposing demos, case studies, describing the impact of a theoretical result on practice, or any other aspect of the development and use of tools based on type theory. In particular, we welcome submissions about prototype implementations and promising work in progress, as soon as they have the potential of raising interesting discussions. This workshop is funded by the EUTypes COST project (https://eutypes.cs.ru.nl/). The program will include a plenary discussion on the role of the EUTypes project in the community and planning of activities for 2017. Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Robbert Krebbers, Delft University of Technology, Netherlands Anders M=C3=B6rtberg, Inria, France Aaron Tomb, Galois, US Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D Registration information available on the website of the workshop: http://popl17.sigplan.org/track/TTT-2017 The EUTypes COST project (https://eutypes.cs.ru.nl/) sponsors this workshop: members of the COST project will have a discount on the registration fee. If you are a member of the COST project, contact us at ttt2017@easychair.org before registering. Contact =3D=3D=3D=3D=3D=3D For any query about this workshop, please contact us at ttt2017@easychair.org Call for abstracts =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submissions for talks and demonstrations should be described in an extended abstract, between 1 and 2 pages in length. We suggest formatting the text using the two-column SIGPLAN LaTeX style (9pt font). Submission page: https://easychair.org/conferences/?conf=3Dttt2017 Important dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission deadline: November 30th Notification: December 15th Workshop: January 15th Program Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Andreas Abel, Gothenburg University, Sweden Andrej Bauer, University of Ljubljana, Slovenia Assia Mahboubi, Inria Universit=C3=A9 Paris-Saclay, France Keiko Nakata, Germany --001a114e305627e3f905426eb571 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2nd CALL FOR ABSTRACTS

TTT := Type Theory Based Tools
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Satellite workshop of POPL 2017= , Paris France, January 15th
Overview
=3D=3D=3D=3D=3D=3D=3D
The aim of t= his workshop is to showcase modern tools based on type
theory, wh= ether designed for programming or for verification, whether
acade= mic projects or used in an industrial setting. It will provide a
= forum to highlight and discuss their common and their distinctive
features, and the future directions of development of the tools. The
=
program will consist of invited and contributed talks, and will
<= div>encourage informal discussion. Abstracts will be displayed on the=
website of the workshop but there will be no proceedings. We solicit
abstract submissions proposing demos, case studies, describing the=
impact of a theoretical result on practice, or any other aspect = of the
development and use of tools based on type theory. In part= icular, we
welcome submissions about prototype implementations an= d promising work
in progress, as soon as they have the potential = of raising interesting
discussions.

This= workshop is funded by the EUTypes COST project
(https://eutypes.cs.ru.nl/). The program will incl= ude a plenary
discussion on the role of the EUTypes project in th= e community and
planning of activities for 2017.

Invited Speakers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
Robbert Krebbers, Delft University of Technology, Netherlands
Anders M=C3=B6rtberg, Inria, France
Aaron Tomb, Galois, U= S

Registration
=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Registration information available on the website of the work= shop:


<= div>The EUTypes COST project (https:/= /eutypes.cs.ru.nl/) sponsors this workshop:
members of the CO= ST project will have a discount on the registration fee.
If you a= re a member of the COST project, contact us at ttt2017@easychair.org
before registering.
<= div>
Contact
=3D=3D=3D=3D=3D=3D
For any q= uery about this workshop, please contact us at ttt2017@easychair.org

Call for ab= stracts
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Submiss= ions for talks and demonstrations should be described in an
exten= ded abstract, between 1 and 2 pages in length. We suggest
formatt= ing the text using the two-column SIGPLAN LaTeX style (9pt
font).=


Important dates
=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D
Submission deadline: =C2=A0 November 30th
Notification: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0December 15th
Workshop: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0January 15t= h

Program Committee
=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D
Andreas Abel, Gothenburg University, = Sweden
Andrej Bauer, University of Ljubljana, Slovenia
= Assia Mahboubi, Inria Universit=C3=A9 Paris-Saclay, France
Keiko = Nakata, Germany

--001a114e305627e3f905426eb571--