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 346665D5 for ; Mon, 20 May 2019 07:01:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,490,1549926000"; d="scan'208";a="383846884" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 May 2019 09:01:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BAD10826DE; Mon, 20 May 2019 09:01:39 +0200 (CEST) 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 60A9F8249C for ; Mon, 20 May 2019 09:00:07 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f66.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A9SY3/B34ZQ/6Cxs0smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMXLfad9pjvdHbS+e9qxAeQG9mCsrQd07Wd6vm8EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oMRm6sQfcusYLjYd/Jas61wfErGZPd+?= =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?= =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?= =?us-ascii?q?oAODAn7m7WhdBwgrtdoBKlpx1z2pfYbZ2bOfd8cK7RZM8WSGVcVcpVVyFNHoaw?= =?us-ascii?q?Yo0SBOQDIOlYtZHwqVgToxW+GweiCu3vxSNGiXD50qM3yPghHAPc0QA8A94Dqn?= =?us-ascii?q?bZodPoP6kSS+C1y6zIwC3Fb/xIxzf98pbHchY7rvGQWrJ9asXRyUw1GAPEilWc?= =?us-ascii?q?s5DqPzSQ1ukLrmOV4e1gVee1hG4mrQF8uiagyd03iojJmo0VykrL9SRjwIovIt?= =?us-ascii?q?24UkF7bca5EJtVtiGaMYt2QsQ4T2FwpCY3zKANt52jfCUS1pgr2xrSZ+aEfoWI?= =?us-ascii?q?+B7vSvidLSpiiH9keb+znwi+/VS8xuHhU8S500xFojZAn9bSuH0CzAHf582DR/?= =?us-ascii?q?Z54kutxDOC2g7O5uxGP0w5kKTbJpo9zbM/k5cfrEfOHiH5lUjzkKCbcl4r9+iu?= =?us-ascii?q?5u/6eLvpvIWcOJVxigzmMqQhhMi/AeMgPwgLRWeb+OC82KTt/E3jXblGl/M2n6?= =?us-ascii?q?jYvZzAKsQboam5AwBR0ok98RqwEzCm0NEAkXkGKlJKZg6HgpD3N13SJP30F/Sy?= =?us-ascii?q?jlS2nDt12fzKI6ftD5TMI3TblbfuZ7d960pSyAopytBf4opZCrcfL/LtQE/+qt?= =?us-ascii?q?rYAQUlMwyz2OvnB9B92ZkfWWKLGKOWLKTSsVqQ6uI1P+aMfJMVuCr6K/U9+/Hh?= =?us-ascii?q?l3o5mVsEcamt3JsXc2y4E+99I0SZZHrsms0OHX0Lvgo4VuzqiUeNXSRdZ3aoDO?= =?us-ascii?q?oA4WRxAYSgCprFTY2ojbqdxw+/H4ZKfSZPEEyNCmuteoCOVvsAZS7UJdVu2HRQ?= =?us-ascii?q?XL6nTJIn3hyruQnm0JJjL/HI4WsRr47iz8Qw6ujZmB0++DAyCN6ShTKjVWZxy2?= =?us-ascii?q?UFWSU72qljpmRyz16C1e5zhPkLRpRo+/pVX1JiZtbnxOtgBoWvAlucLOfMc06v?= =?us-ascii?q?R5CdOR90Tt81xIVTMUN0GtHnkQqamiT0XfkakLuEAJFy+aXZjSCoe5RNjk3e3a?= =?us-ascii?q?xktGEIB9NVPDT/1KF6/gnXQYXOlhfBzvf4ReEnxCfIsVy74y+LtUBcXhR3VPyc?= =?us-ascii?q?D38ab0rS69/+4xGbQg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BFBwAEUOJcf0LdVdFlghcCgTwkBYETg?= =?us-ascii?q?SyEE4N7m2KOEIF7CQEDAQoBAQUeCgIBAYFLhS0bBwEEMgcOAQMBAQQBAQIBAQM?= =?us-ascii?q?BEwEBCQsLCCclAQtCAQwBgWoMDA+CagYdBh0BGwwSAwwGEA8CJgICIxEBBQEcB?= =?us-ascii?q?ieCQ0yBaQEDHQEOmTU8ix2BEgUBF4J6BYJKgWkKGScNYBOBJwIHCQEIeigBiQu?= =?us-ascii?q?CRReBf4ERg1CCYQQYhFGCWASTQZRXCYdpVIxOG4MEiTCJa4xShm2LF4M3AgoHB?= =?us-ascii?q?g8hgTUKgX5wgQGCOwmFdYUUTYRzPjMBAYEDPoJJizQBAQ?= X-IPAS-Result: =?us-ascii?q?A0BFBwAEUOJcf0LdVdFlghcCgTwkBYETgSyEE4N7m2KOEIF?= =?us-ascii?q?7CQEDAQoBAQUeCgIBAYFLhS0bBwEEMgcOAQMBAQQBAQIBAQMBEwEBCQsLCCclA?= =?us-ascii?q?QtCAQwBgWoMDA+CagYdBh0BGwwSAwwGEA8CJgICIxEBBQEcBieCQ0yBaQEDHQE?= =?us-ascii?q?OmTU8ix2BEgUBF4J6BYJKgWkKGScNYBOBJwIHCQEIeigBiQuCRReBf4ERg1CCY?= =?us-ascii?q?QQYhFGCWASTQZRXCYdpVIxOG4MEiTCJa4xShm2LF4M3AgoHBg8hgTUKgX5wgQG?= =?us-ascii?q?COwmFdYUUTYRzPjMBAYEDPoJJizQBAQ?= X-IronPort-AV: E=Sophos;i="5.60,490,1549926000"; d="scan'208";a="383846444" X-MGA-submission: =?us-ascii?q?MDFQ2YaeySudD+pREARYeeHJMss+n+2u0Ugvjs?= =?us-ascii?q?xk0yjEvVVEZyNC8veDueP25PQgk7fSSPqEOWCfuzSdXf1Anu9EGVdMAw?= =?us-ascii?q?3oHT7jTQI63TEUIcRANRn4M3onDCaDYHmaGc5tUl6BtDPNskJ0DvS9eX?= =?us-ascii?q?vbgljxskT8/4Zrpa4r3VI7PA=3D=3D?= Received: from mail-wr1-f66.google.com ([209.85.221.66]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 May 2019 09:00:06 +0200 Received: by mail-wr1-f66.google.com with SMTP id l2so13194484wrb.9 for ; Mon, 20 May 2019 00:00:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:subject:from:to:date:references:user-agent:mime-version :content-transfer-encoding; bh=4z9+6NlcRoHl09JEH9h0rJl2GECu55A7oiqP97xsYxo=; b=oZxbSIBqCdnpi/BOV7aUQeeGK7U7v2MExdoEdbI4kvaqwZv40zHTEM/wkdmDESdXDc AENS3ftnKCLXXVi8Z2DK/9NqQWm1HPQrFUPlQuP/DiimOLXsu7Kg5ODVc3iRPhmkftMb +nT6hOIqghxMFyGADv2w7FnrIX+BHm2lwTM41yGAfOpmlAVNcr172TxgwSHZaIKFgr2O TuQBxJNuYH4SpscAcSsNa6kEAKiHloKEHsYofEtqRDOVrtKxvAif/1BOAJ4Nd9yqcJ7P oMM/tY+pHU+G0jt9gAymAwNQ/yeNI0o6V8iI1yutzstX7j09KOki03lFnCZCWIGVV1U6 I4cw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:subject:from:to:date:references :user-agent:mime-version:content-transfer-encoding; bh=4z9+6NlcRoHl09JEH9h0rJl2GECu55A7oiqP97xsYxo=; b=n2umEyCQnPquuMGhGA0aE3NJmJ7Ajf7WPIZ+2kaxgqZrVI/R2+4K8ZGUryBvYBt7/L gaVOhawY6xnBEsCwd1AyNQoZOmV68RtsNggHbSldqh9aM2soo/5IhsGSnpekGwnusuoy qzVzGc1NLmo2QDmfiyBYALDNEAnVTUDpSJ5+wQFr5byy9B/5Nt9S5ZGUktr2unaXdZ83 RaefJXTzD7BStSvUxZ7zu893MT95xtxinSBRThug0K7IrZ2UPOQuj6uZX6Extb3/IJ5J mzGxyTE6PLHGuRP9QxAo2f5hp4B+0sPbi3GsB84JlQcASs1GEBIl0EC+F0PNx4RsP8n3 kV/g== X-Gm-Message-State: APjAAAXRotq4nB8GEtiDTQzKwCQQzL2SbcKimZHYvP1M5/IQrlYZBucP mYkogZi/3rz+PqM4OmOfKAI= X-Google-Smtp-Source: APXvYqwvkkKijXqsyY7Ap8Ps6jALBwVMfDg5Yk9ra3QPdZCYaeAy5o3W0efiBA9EnAKsTBXCkiRGYw== X-Received: by 2002:a5d:6812:: with SMTP id w18mr19182665wru.16.1558335606051; Mon, 20 May 2019 00:00:06 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3b1:9901:3172:f9c4:18f4:c9b5]) by smtp.gmail.com with ESMTPSA id b136sm17427892wmg.1.2019.05.20.00.00.03 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Mon, 20 May 2019 00:00:04 -0700 (PDT) Message-ID: <0ddde35420f9f21fe51f4794435fb88936c36b0c.camel@gmail.com> From: nevrenato@gmail.com To: "announcements@lists.artist-embedded.org" Date: Mon, 20 May 2019 08:00:02 +0100 References: <0ac32e156562095c99655481f24e3d0f6af72dad.camel@gmail.com> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] Second Dali Workshop: Second Call for Papers Reply-To: nevrenato@gmail.com X-Loop: caml-list@inria.fr X-Sequence: 17556 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: Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt Second Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIEW Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692 TOPICS Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to Dynamic logic, foundations and applications Logics with regular modalities Modal/temporal/epistemic logics Kleene and action algebras and their variants Quantum dynamic logic Coalgebraic modal/dynamic logics Graded and fuzzy dynamic logics Dynamic logics for cyber-physical systems Dynamic epistemic logic Complexity and decidability of variants of dynamic logics and temporal logics Model checking, model generation and theorem proving for dynamic logics SUBMISSION AND PUBLICATION Original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style. As in the previous edition, post-proceedings will be published by Springer in a Lecture Notes of Computer Science volume. We will also have a special issue with extended, revised contributions in the Journal of Logic and Algebraic Methods in Programming, Elsevier. Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019 INVITED SPEAKER Dexter Kozen, Cornell University IMPORTANT DATES Paper Submission: June 14, 2019 Notification: July 19, 2019 Camera Ready: September 2, 2019 Workshop: October 9, 2019 PROGRAMME COMMITTEE Guillaume Aucher (IRISA, FR) Carlos Areces (U Cordoba, AR) Alexandru Baltag, (UvA, NL) - PC co-chair Luis S. Barbosa, (U Minho, PT) - PC co-chair Mario Benevides (UFRJ, BR) Johan van Benthem (U Stanford, USA) Patrick Blackburn, (U Roskilde, DK) Thomas Bolander (DTU, Denmark) Zoe Christoff (U Bayreuth, Germany) Fredrik Dahlqvist (UCL, UK) Hans van Ditmarsch (LORIA, Nancy, FR) Nina Gierasimczuk (DTU, Denmark) Valentin Goranko (U Stockholm, SE) Davide Grossi (U Groningen, NL) Reiner Hahle (TU Darmstadt, DE) Rolf Hennicker (LMU, Munchen, DE) Andreas Herzig (U Toulouse, FR) Dexter Kozen (Cornell, USA) Clemens Kupke (U Strathclyde, UK) Alexandre Madeira (U Aveiro, PT) Manuel A. Martins (U Aveiro, PT) Paulo Mateus (IST, PT) Stefan Mitsch (CMU, USA) Renato Neves (U Minho, PT) Valeria de Paiva (Nuance Comms, USA) Aybuke Ozgun (ILLC, NL) Fernando Velazquez-Quesada (ILLC, NL) Olivier Roy (U Bayreuth, DE) Lutz Schroeder (FAU, Erlangen-Nurenberg, DE) Alexandra Silva (UCL, UK) Sonja Smets (UvA, NL) Rui Soares Barbosa (U Oxford, UK) Tinko Tinchev (Sofia U, BG) Renata Wassermann (USP, BR)