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 69E647FA5F; Tue, 17 Jan 2017 17:27:10 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=georg.moser@uibk.ac.at; spf=None smtp.mailfrom=georg.moser@uibk.ac.at; spf=None smtp.helo=postmaster@smtp.uibk.ac.at Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of georg.moser@uibk.ac.at) identity=pra; client-ip=138.232.1.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="georg.moser@uibk.ac.at"; x-sender="georg.moser@uibk.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of georg.moser@uibk.ac.at) identity=mailfrom; client-ip=138.232.1.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="georg.moser@uibk.ac.at"; x-sender="georg.moser@uibk.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.uibk.ac.at) identity=helo; client-ip=138.232.1.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="georg.moser@uibk.ac.at"; x-sender="postmaster@smtp.uibk.ac.at"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJyy9BREvnnlm5Yo8wH493Z1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76p8u6bnLW6fgltlLVR4KTs6sC0LuK9fu/EjxQqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmsowjctMYajIhhJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlT?= =?us-ascii?q?wKPCAl/m7JlsNwjbpboBO/qBx5347Ue5yeOP5ncq/AYd8WWW9NU8BMXCJDH4y8?= =?us-ascii?q?dZMCAeocM+ZCsYfzpFUAohWxCgawC+3i0SNIi3zs0KEmz+gsHwPL0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8TX++ry6nI1zrDZO5R1zf684jHbAohquyLULJ/b8XRzlMvFwzfglWV?= =?us-ascii?q?rozlJC2a1v4WvmiG7upvTuGvh3Q9pA5tuDSg3Nssh5DPi4kIxF7E8iB5z5w0Jd?= =?us-ascii?q?2+UEN0f8SrEIBQti6GN4t5WMIiQ3tytCY90L0Gtoa3czYSyJQ72xHfcOaLc4+S?= =?us-ascii?q?4hLsTOqRPDZ4i2lmeL6lnRm97VKsxffgVsSyzV1ErTJFn8HRun0D1BHf8NaLR/?= =?us-ascii?q?Vj8ku7xDqDzR3f5+5aLUwsi6bXNoAtzqQtmpcQsEnPBCD7lUTsgKKYckgp/PWj?= =?us-ascii?q?5f79bbX8vJCcMpd5igHgPaQqncyyGf84Mg0SX2iD4+i8ybzj8lb6QLlQlPI5jr?= =?us-ascii?q?PVv4rGJcgDp665BRFa0po75hqiATqr084UkWcJIV5bYh6LkpLlN0zBLfzmFfu/?= =?us-ascii?q?hk6jkDZvx/DIJL3hBZDNI2DMkLj/erZ98UFcxBA2zdBY/JJbFKsBLenuWk/wr9?= =?us-ascii?q?PYDQU1PBaozOr9Etp9ypsSWXiTDa+BLKPSrViI6/ohI+mJZY8apC39JuM+5//u?= =?us-ascii?q?iH85gUUScbOo3ZsRcnC4H+5pL1+XYXr2mt0BC3sFvhIiTOz2j12PSSJcaGy3X6?= =?us-ascii?q?I4/z07DIOmDZzfRo22m7yA3CK7HoVMaWxcC1CMF23od4SeVPsWZiKSONdrkiYY?= =?us-ascii?q?Wri5V48hyRauuRfmxLpgN+rY4zEXtZb+1Ndu/ODTjhEz9TlsD8uHyW2NTmd0nn?= =?us-ascii?q?kJRzAsxqx/r1Z9mR+/1v1Xnv1cEdVO4v4BeCAcG7f688EyX//vWwbFd8qMRRCM?= =?us-ascii?q?RdOoCDctQ/o1xMUPagBzAYPmxj/O2DClS5oSjLGRTMg7/6XG0D70IN1w0V7b1a?= =?us-ascii?q?MiyVAtBMJTYz6ci7Z75jTUUoHElF+W0aOtbqkG9DPM/mTFxGHItV0LfhR3VPDq?= =?us-ascii?q?UHcFaQPzqs/0/AuWQLKpE7thNwxaxNSqN6pAaZvghhNPWKGwa5zlf2utljLoVl?= =?us-ascii?q?6zzbSWYd+vIj1F0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DbAQDxRH5Yh44B6IpdDg4BAQQBAQoBA?= =?us-ascii?q?RgBBQELAYJ/DwEBAQEBfiqEMIp5nh2GJoQaASmCQoYNFAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQoLCQodMIIzGwGCPgYPAQUwRgImAl8BDAgBAYh/BAqnJogVgiWEEFiDChqCH?= =?us-ascii?q?AEBCAEBAQEkgQuFOoIChCCBUIEZBIMmgl4FiHqSQIF7hGKLAoJIglGFB4ZNjlm?= =?us-ascii?q?DRE82gTYShTAEgS88hw2CPQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DbAQDxRH5Yh44B6IpdDg4BAQQBAQoBARgBBQELAYJ/DwE?= =?us-ascii?q?BAQEBfiqEMIp5nh2GJoQaASmCQoYNFAEBAQEBAQEBAQEBEgEBAQoLCQodMIIzG?= =?us-ascii?q?wGCPgYPAQUwRgImAl8BDAgBAYh/BAqnJogVgiWEEFiDChqCHAEBCAEBAQEkgQu?= =?us-ascii?q?FOoIChCCBUIEZBIMmgl4FiHqSQIF7hGKLAoJIglGFB4ZNjlmDRE82gTYShTAEg?= =?us-ascii?q?S88hw2CPQEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,245,1477954800"; d="scan'208";a="209577706" Received: from lmr1.uibk.ac.at (HELO smtp.uibk.ac.at) ([138.232.1.142]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Jan 2017 17:27:09 +0100 Received: from localhost.localdomain (212-186-46-39.cable.dynamic.surfer.at [212.186.46.39]) (authenticated bits=0) by smtp.uibk.ac.at (8.14.4/8.14.4/F1) with ESMTP id v0HGLLgQ024650 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Tue, 17 Jan 2017 17:21:21 +0100 From: Georg Moser Reply-To: georg.moser@uibk.ac.at To: Guillaume BONFANTE , Georg Moser Message-ID: <53a007f8-1df4-d0c8-61ec-c16ea8b9bd6e@uibk.ac.at> Date: Tue, 17 Jan 2017 17:21:21 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Score: () -15.0 ALL_TRUSTED,RCV_SMTP_AUTH,RCV_SMTP_UIBK X-Scanned-By: MIMEDefang 2.75 at uibk.ac.at X-Validation-by: georg.moser@uibk.ac.at Subject: [Caml-list] DICE-FOPARA 2017: Call for Papers ------------------------------------------------------------------------------------------- 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FOPARA 2017) Affiliated with ETAPS 2017 April 22 - 23, 2017, Uppsala, Sweden http://cbr.uibk.ac.at/events/dice-fopara ------------------------------------------------------------------------------------------- OBJECTIVES The first joint international workshop on Developments in Implicit Computational complExity (DICE) and FOundational and Practical Aspects of Resource Analysis (FOPARA) will be held in Uppsala, Sweden, from April 22-23, 2017 as part of ETAPS. The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties. The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. Given the complementarity and the synergy between these two communities, and following the successful experience of co-location of DICE-FOPARA 2015 in London at ETAPS 2015, we will hold the 8th Workshop on DICE and the 5th Workshop on FOPARA together at ETAPS 2017. TOPICS The joint international DICE-FOPARA workshop serves as a forum for presenting original and established research results that are relevant to the implicit computational complexity theory and to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged, as well as papers that combine theory and practice. Areas of interest to the workshop include, but are not limited to, the following: * type systems for controlling/inferring/checking complexity * logical and machine-independent characterisations of complexity classes * logics closely related to complexity classes * linear logic * semantics of complexity-bounded computation * rewriting and termination orderings * interpretation-based methods for implicit complexity * programming languages for complexity-bounded computation * theoretical foundations of program complexity analysis * application of implicit complexity to security * resource static analysis for embedded or/and critical systems; * semantic methods to analyse resources, including quasi-interpretations; * practical applications of resource analysis; * resource analysis by term and graph rewriting. SUBMISSIONS We ask for submission of *regular papers* describing original work (10--15 pages) or *extended abstracts* (2--6 pages) presenting already published work or work in progress. With respect to regular papers, submissions will be in particular verified for originality and novelty and the manuscript must not have been published, nor is presently submitted, elsewhere. With respect of submissions of extended abstracts already published manuscripts are acceptable, but have to be within the scope of the workshop and potentially give rise to lively discussions during the meeting. After the workshop we plan to edit a special issue of DICE-FOPARA 2017 in a renown journal in conjunction with the 7th Workshop on Developments in Implicit Computational complExity (DICE 2016). Regular papers must be prepared using the LaTeX EPTCS class (see http://eptcs.org/). Accepted regular papers will appear in an EPTCS volume (application pending). Papers should be submitted electronically via the submission page: https://easychair.org/conferences/?conf=dicefopara2017 IMPORTANT DATES Paper submission February 19, 2017 Notification March 19, 2017 Final versions due March 26, 2017 Workshop date April 22-23, 2017 CONFERENCE VENUE The workshop will be held as a satellite workshop of European Joint Conferences on Theory and Practice of Software 2017 (ETAPS 2017) which takes place in Uppsala, Sweden. PROGRAM COMMITTEE Beniamino Accattoli (Paris) Guillaume Bonfante (Nancy, co-chair) Marko van Eekelen (Nijmegen) Marco Gaboardi (Buffalo) Dan Ghica (Birmingham) Clemens Grelck (Amsterdam) Charles Grellois (Bologna) Nao Hirokawa (JAIST) Jan Hoffmann (CMU) Thomas Jensen (Rennes) Björn Lisper (Mälardalen) Hans-Wolfgang Loidl (Edinburgh) Georg Moser (Innsbruck, co-chair) Kazushige Terui (Kyoto) Simon Wegener (Saarbrücken) Florian Zuleger (Vienna)