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 725135D5 for ; Fri, 27 Dec 2019 08:39:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,362,1571695200"; d="scan'208";a="428621379" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Dec 2019 09:39:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BDA4F7F3C6; Fri, 27 Dec 2019 09:39:14 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 333597F214 for ; Fri, 27 Dec 2019 09:22:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=m.roggenbach@swansea.ac.uk; spf=Pass smtp.mailfrom=m.roggenbach@swansea.ac.uk; spf=None smtp.helo=postmaster@zeppo.swan.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3Amm0lKhzCh9LwziXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+4UIJqq85mqBkHD//Il1AaPAdyArage1KGP6v6ocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTSwbalsIBmorwjdudQajZZjJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?AIOSMk8GHMksx/kr5UoA6vqRx4xo7beoCVNPxjda/Zct4XQW9NU8BMXCJDH4y8?= =?us-ascii?q?dZMCAeodMuhXoIbzulgAoxWgCwerH+7v1iZIhnrq0a06z+gsEwfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OqAIXuCvz6nI0C7DZO5R1Df48oTIaBchof6DXb1ud8re0lMgGB/FjliL?= =?us-ascii?q?sozkMSma1uIWs2eF9eVsT/ighHI9pwFsoTii38EhgZTHiIISz1DL7yR5wIAtKN?= =?us-ascii?q?KmUkF7et6lH4dQty6ANot2WNkuQ2ZyuCY10rEGtp+7fDQKyJQ63BHTcf2Hc4+O?= =?us-ascii?q?7xn+V+iROS91iG9rdb+9nRq//ketxvfhWsWozFpGtDRJnsfOu3wV2BHe69KLRu?= =?us-ascii?q?Z+80qvwzqDyhzf5+9eLU03k6fQNoQvzaQqlpUJtETOBi/2l1vyjK+Rbkgl+/an?= =?us-ascii?q?6/z/YrXhvJOcLIF1hRv4Mqg0gMOwHf40MhUNX2SD+OS80qPs/VHhTblXgPA7kL?= =?us-ascii?q?PVvZ/VKMgBu6K1HxNZ3pw95xqhDTqqyNEYkmMGLFJBdhKHlY/pO1TWLfD9F/u/?= =?us-ascii?q?mVOskDhkx//YOL3uGY/CIWTDkLr6ZrZ85VRTyAwozd9B/Z1YEKsOL+7pVk/st9?= =?us-ascii?q?zUFgU5PBCsw+b7FNV90ZsTVn6VDa+cNKPeqFuI5uM0I+mQf4IVozb8K/095/H0?= =?us-ascii?q?l3M5mFkdfbOo3ZQNcny4EO5mcA2lZi/ni9IFVGMLpRYWTerwiVTEXyQASWy1Wv?= =?us-ascii?q?cZ7ys4FZnuWYKFXIeij7GH1i6wHrVNeWlAEV2FV37jMZiHDaRfIBmOK9Nsx2RX?= =?us-ascii?q?HYOqTJUsgE3/7V6o+/9cNuPRvxYgm9fm3dlx6ffUkEhvpydrBsKG3mjLRmoyg2?= =?us-ascii?q?BaHmZqjpA6mlR0zxK46YY9m+ZRTIEB/OxAVBw3PNjVxKpnCIKqA1+TTpKyUF+j?= =?us-ascii?q?B+6eL3QxQ9Y2mo9ccUtlA9LklQ/K2WyjCPkIlO7TCQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BmIwAgvgVeh+NkLIlkHQEBKAkBBgUFA?= =?us-ascii?q?YFWCAEDAYE9AgEBAQGBTwOBBCqECI8OUgEHgjiZWgNUAQgBAwEMIwkBAgEBgUy?= =?us-ascii?q?FFRwHAQQ1BQ0CEAEBBAEBAQIBAgMEARMBAQEKCwkIKYUSCCQMgjsMgzsGHQEBJ?= =?us-ascii?q?goINAImAoQUAYJSJQQLqlOBMoJ+AQEFgkqCbCIWgTQDBoEOJgIBAQEBAQGME4E?= =?us-ascii?q?TgQeBEScPEYIXgXeBYAICGoRXMoIsjSkjoC+BHAeCN4ILhSiFO4lGhE+KDIt8h?= =?us-ascii?q?EGSY45dg0+BaoF5TTQ/KgGCQT4SGA1XPYwWAoY9gjCCZoJZQzGBBQEBj3MtghQ?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0BmIwAgvgVeh+NkLIlkHQEBKAkBBgUFAYFWCAEDAYE9AgE?= =?us-ascii?q?BAQGBTwOBBCqECI8OUgEHgjiZWgNUAQgBAwEMIwkBAgEBgUyFFRwHAQQ1BQ0CE?= =?us-ascii?q?AEBBAEBAQIBAgMEARMBAQEKCwkIKYUSCCQMgjsMgzsGHQEBJgoINAImAoQUAYJ?= =?us-ascii?q?SJQQLqlOBMoJ+AQEFgkqCbCIWgTQDBoEOJgIBAQEBAQGME4ETgQeBEScPEYIXg?= =?us-ascii?q?XeBYAICGoRXMoIsjSkjoC+BHAeCN4ILhSiFO4lGhE+KDIt8hEGSY45dg0+BaoF?= =?us-ascii?q?5TTQ/KgGCQT4SGA1XPYwWAoY9gjCCZoJZQzGBBQEBj3MtghQBAQ?= X-IronPort-AV: E=Sophos;i="5.69,362,1571695200"; d="scan'208";a="428606863" X-MGA-submission: =?us-ascii?q?MDGtF74CQslQIiLVakL/7/+0tteO2V2hYGzSva?= =?us-ascii?q?49XpW6X66ZGyTwVb+ThEHYmSSgnpif97fvrf/COThNlkvaB3Y9c/yWMH?= =?us-ascii?q?Qi0i4m0zG0BAIOki03Xe+wovzXA2njJmTjOHh5dIpuGY9eJJ6lE/aFOF?= =?us-ascii?q?v91rcdiAswTO5FSOqQJsTeGw=3D=3D?= Received: from zeppo.swan.ac.uk ([137.44.100.227]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 27 Dec 2019 09:22:13 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=swansea.ac.uk; s=rsa1; h=To:Date:Message-Id:Subject:Mime-Version: Content-Transfer-Encoding:Content-Type:From:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=VM9lpOPQpuYiGARAYaTxN5PSRdRh0idH8UApyGAmiak=; b=NMjDyy7UA98q0bU8Mb7G0HgflE /4pmXljexUp6NIq3RsQWFOep9RxwStET9q1sWg3yhlL+IKn+n+LMUabXrn3Z2hB2phess+JiztKF5 5nLL+xZGADG4jpiTq2fErGsSkNX/X2KgrrrLLqxkwISk2vUWIBR09cs+3jpyJB+wGeWY=; Received: from laurel.swan.ac.uk ([137.44.1.237]) by zeppo.swan.ac.uk with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.92.2) (envelope-from ) id 1ikksu-000BcC-KZ for caml-list@inria.fr; Fri, 27 Dec 2019 08:22:12 +0000 Received: from [137.44.2.59] (helo=cs-svr1.swan.ac.uk) by laurel.swan.ac.uk with esmtp (Exim 4.92.2) (envelope-from ) id 1ikksu-00053v-C8 for caml-list@inria.fr; Fri, 27 Dec 2019 08:22:12 +0000 Received: from [172.18.240.154] (unknown [46.183.103.8]) by cs-svr1.swan.ac.uk (Postfix) with ESMTPSA id 061E9141591 for ; Fri, 27 Dec 2019 08:22:02 +0000 (GMT) From: Markus Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: Date: Fri, 27 Dec 2019 08:21:55 +0000 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3273) X-Validation-by: m.roggenbach@swansea.ac.uk Subject: [Caml-list] WADT 2020 - Call for Papers Reply-To: Markus X-Loop: caml-list@inria.fr X-Sequence: 17921 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 WADT 2020 = --------------------------------------------------------------------------= --------- = =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020 = =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D https://wadt2020.github.io Dublin, Ireland, 25.-26. April 2020 Co-located with ETAPS 2020 = --------------------------------------------------------------------------= --------- Submission link: https://easychair.org/conferences/?conf=3Dwadt2020 Abstract Submission Deadline: 14.2.2020 Notification: 24.2.2020 = --------------------------------------------------------------------------= --------- The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. The workshop takes place under the auspices of IFIP WG 1.3. WADT 2020 will have three thematic streams and one general stream: Graph Transformation =E2=80=93 chair: Andrea Corradini, Italy System Modelling =E2=80=93 chair: Alexander Knapp, Germany Deductive Software Verification =E2=80=93 chair: Marieke Huismanm, The = Netherlands General Stream - chair: Markus Roggenbach, UK = --------------------------------------------------------------------------= --------- GRAPH TRANSFORMATION STREAM = --------------------------------------------------------------------------= --------- The graph transformation stream seeks contributions addressing theoretical, application oriented or tool related aspects of graph transformation, or any combination of them. Here is a non-exclusive list of topics: - Foundations of algebraic and set-based approaches to graph = transformation - Relations between graph transformation and other computational models - Analysis, verification, validation and testing of graph transformation = systems - Applications to software engineering, including software = architectures, refactoring, business processes, access control and service-orientation - Applications to computing paradigms such as bio-inspired, string = diagrams, quantum, ubiquitous, and visual computing - Tools based on or supporting the development of graph transformation = systems. = --------------------------------------------------------------------------= --------- SYSTSEM MODELLING STREAM = --------------------------------------------------------------------------= --------- The system modelling stream seeks contributions in the (co-)algebraic and model-based tradition of system specification and verification, for which typical, but not exclusive topics of interest are: - Systems modelling - System views and consistency - Real-time, Hybrid, and Cyber-physical systems - Modelling languages, like UML, SysML, etc., and their profiles - Model transformations - Model-based testing - Tools for systems specification, testing, and verification = --------------------------------------------------------------------------= --------- DEDUCTIVE SOFTWARE VERIFICATION STREAM = --------------------------------------------------------------------------= --------- The deductive software verification stream seeks contributions addressing theoretical or tool-related contributions in the area of deductive software verification. Also experience reports are welcome. Here is a non-exclusive list of topics: - Foundations of deductive software verification and program logics - Advancing deductive software verification techniques to new = programming languages, or different programming paradigms - Automating deductive software verification - Combinations of deductive software verification techniques with other = formal methods - Applications of deductive software verification on industrial case = studies This stream will be scheduled in such a way that there will be no = overlap with the VerifyThis workshop at Etaps 2020. = --------------------------------------------------------------------------= --------- GENERAL STREAM = --------------------------------------------------------------------------= --------- Typical, but not exclusive topics of interest for the general stream = are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi = and=20 models of concurrent, distributed, and cyber-physical systems - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification - Algebraic approaches to cognitive sciences, including computational = creativity = --------------------------------------------------------------------------= --------- SUBMISSION = --------------------------------------------------------------------------= --------- The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the relevant PC Chair on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system using the following link: https://easychair.org/conferences/?conf=3Dwadt2020 After the workshop, authors will be invited to submit full papers for the refereed post-proceedings. All submissions will be reviewed by the WADT 2020 PC (TBA); selection will be based on originality, soundness = and significance of the presented ideas and results. The proceedings are likely to be published as a volume of Lecture Notes in Computer Science (LNCS) by Springer. The deadline for submissions will be 19.5.2020 , with notifications of acceptance by 26.6.2020. Camera-ready versions will be required by 17.7.2020. = --------------------------------------------------------------------------= --------- STEERTING COMMITTEE = --------------------------------------------------------------------------= --------- Andrea Corradini (Italy) Jos=C3=A9 Fiadeiro (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Hans-J=C3=B6rg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) [Chair] Grigore Ro=C8=99u (United States) = --------------------------------------------------------------------------= --------- IMPORTANT DATES = --------------------------------------------------------------------------= --------- 14.2.2020 Abstract Submission 24.2.2020 Notification 3.4.2020 Camera Ready Abstract 25.4.2020 & 26.4.2020 Workshop 19.5.2020 Submission deadline for full papers 26.6.2020 Notification on full papers 17.7.2020 Camera ready final version of the papers