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 ESMTP id 09D635D5 for ; Tue, 11 Jun 2019 10:01:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,578,1557180000"; d="scan'208,217";a="386846396" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jun 2019 12:01:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5D66A826E5; Tue, 11 Jun 2019 12:01:29 +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 CF3647ED69 for ; Tue, 11 Jun 2019 11:59:49 +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-wm1-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A02P6iByCUWtBpjvXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+0eIJqq85mqBkHD//Il1AaPAdyCrasZ1qGO7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmTaxe65+IRW2oAneqsUbjpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLzli?= =?us-ascii?q?wJKyA2/33WisxojaJUvhShpwBkw4XJZI2ZLedycr/Bcd8fQ2dOWdpcWiJdDo+h?= =?us-ascii?q?docDE/cNNvtco4Xgp1YCqB2zDhSuCuzy0D9Fnnz407A63eo/Hw/JwAIvEN0VvX?= =?us-ascii?q?vOsNn4Lr0fXfyvwaTKyzjIcvNY2S366IjNah0hp++DXaxqccXPz0kgDR/FjlKL?= =?us-ascii?q?pIzqOjOazOUNs2yB4+V8UuKvjmgqoBx/rDiow8cjkIjJhoQNx1/a7yp524Y0Ks?= =?us-ascii?q?G4SEFhYN6kCoFctyaAN4t5Ws8iXmRouCc8yr0Gvp63ZjAKyIghyhXCaPKHa5CF?= =?us-ascii?q?7gz/WOuVOzt1h3JodKiiixqs8kWs0OzxW8ms3FpUsiZJjsTAu3UO2hDO6cWKT+?= =?us-ascii?q?Zy8Vyv1DqR0g3c8P1ILVwxmKfbK5Msw7o9m58XvEvfHiL7lkD7g7OYe0gk/+Wn?= =?us-ascii?q?8Orqb7T9qZKaKoR6kBvxMr40lcy6Gek4MhYBX2yc+emk0b3s50z5QLFTgvw4l6?= =?us-ascii?q?nVrYnWJcoaq6O5GQNV3YEj6xGwDzeiztsUh2UILFVAeB6fjojpPU/BIOzgAPuh?= =?us-ascii?q?n1ihlC1nyvPGM7H7H5nBMHvOnK3gcLt980JczRA8zdFb55JaELEBJ/fzV1f3tN?= =?us-ascii?q?PGEB85KRK7w+D9B9Vh0YMTQm2PAqqDP6PTtV+E/P4gI+6JZIMNojbyN+Al5+Ly?= =?us-ascii?q?jX8+gVISYbOm3Z4TaHyhGvRmIl6ZYWb3j9caEWYKuxI+Q/bwhF2DVz5TfXeyUL?= =?us-ascii?q?gm6jE1EoL1RbvEE7qghrWd22+dE4NbfSgSDF2SC3rufpmDc/gJYSOWZMRml2pX?= =?us-ascii?q?e6KmTton2A+0uQnz171PIe/d+ylevpXmh4s93PHaiRxnrW88NM+ayWzYCjEpxz?= =?us-ascii?q?9ad3oNxKl65HdF5BKby6Eh2q5XENVS47VCVQJobceBndw/MMj7X0f6RvnMSFui?= =?us-ascii?q?RY/7UzQ4T9Z03NpXJkgjRpOtiRfM2yfsCLgQxeTSVc4Et5nE1n20HP5TjnPP1a?= =?us-ascii?q?0vlV4jG5IdOmivh6o5/A/WVdfE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzAQCpev9cf0GAVdFlHgEGBwaBUwcLA?= =?us-ascii?q?YE9JAWBFFJGFIQVg3uOeIxViBiGAYF7CQEDAQoBAQUeCgIBAYFLgnWCexsHAQQ?= =?us-ascii?q?yBw4BAwEBBAEBAgEBAwETAQEJCwsIJyUMgjopgwsGHQEbDBIDEhADNAIlEQEFA?= =?us-ascii?q?SIngkNMgWkBAx0BDplbgx88iyCBFAUBFx+CWwWCSYF4ChknDWATgScCBwkBCIE?= =?us-ascii?q?iiRiCRReBf4ERg1CCYQQYgXSCXYJYBI4mhWiVIgmHfVqNABuDDoliijCUKotkg?= =?us-ascii?q?0YCCgcGDyGBHBkNgXxwgQGCOwmBDniDcIUUTYRzPjMBAYEDPo5NAQE?= X-IPAS-Result: =?us-ascii?q?A0AzAQCpev9cf0GAVdFlHgEGBwaBUwcLAYE9JAWBFFJGFIQ?= =?us-ascii?q?Vg3uOeIxViBiGAYF7CQEDAQoBAQUeCgIBAYFLgnWCexsHAQQyBw4BAwEBBAEBA?= =?us-ascii?q?gEBAwETAQEJCwsIJyUMgjopgwsGHQEbDBIDEhADNAIlEQEFASIngkNMgWkBAx0?= =?us-ascii?q?BDplbgx88iyCBFAUBFx+CWwWCSYF4ChknDWATgScCBwkBCIEiiRiCRReBf4ERg?= =?us-ascii?q?1CCYQQYgXSCXYJYBI4mhWiVIgmHfVqNABuDDoliijCUKotkg0YCCgcGDyGBHBk?= =?us-ascii?q?NgXxwgQGCOwmBDniDcIUUTYRzPjMBAYEDPo5NAQE?= X-IronPort-AV: E=Sophos;i="5.63,578,1557180000"; d="scan'208,217";a="386845898" X-MGA-submission: =?us-ascii?q?MDE2y+cl2iW9VNru5f50EosU91kt5ScMNMKbOo?= =?us-ascii?q?iEzoCdj9YWnxYnOUR34npaGKa6mdUthzu9Nd/bh3TjcKXcqSryfSf6Lr?= =?us-ascii?q?f+ULkGJxXKepix+6qb+1CQS8SlPi8K2f47jF7E5IV8SeVRLZy5RONJ8S?= =?us-ascii?q?E9X8FlITOYh7a10tvlMGKNyQ=3D=3D?= Received: from mail-wm1-f65.google.com ([209.85.128.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jun 2019 11:59:49 +0200 Received: by mail-wm1-f65.google.com with SMTP id g135so2230616wme.4 for ; Tue, 11 Jun 2019 02:59:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:subject:from:to:date:user-agent:mime-version; bh=KEzi5QqM9K9F7Ke2fr6gHcFWdfkEX9Fn7KfMR7/a+Q8=; b=Y9uwCjdF4JWy9SRRJhZKCdxyAl/RECzSSaw2fa7/rgwy4d1u45iwa2ENPrLRapAxjC +zcXsQ52Xifis5Psv4uXPz+qWZJClOJKClZyOLyl+JQNyb/hm6LMKKutcDhv1K75TywZ dgCwMFRmhxqr2KSxM/NvV2kDjUQnytfwTR1GBUypD7BA2TZYgxqbk11uc8FgSUPeZroc cS/X5Tb2T4m52ymp1E6CtZVZKuA7Z1eVWPMFyNG1bz9Vw7uzQs3+RXniQEKJWADX+LLL N32X6P0WlmLw+vWglyqZNMfLghlPqoGgXe8TsEuNZJ+Joyn/r+WoJIZcc9tY31ppzMPo NJsg== 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:user-agent :mime-version; bh=KEzi5QqM9K9F7Ke2fr6gHcFWdfkEX9Fn7KfMR7/a+Q8=; b=Y5/uFFoXTXd2r9S9NjZtMDV8Xp9q7bwB7VAfFBlCey6cSL+SWViQF/Jj5Tg/MtXrGm 6fMfkLp0VMswiG3FPm3ojW1BvPKrhtCBIJPDmzYL2s3n62MX4GwTI7bXTp6KZy8vINOY oaccg1On5TKnQcV5pbz8+u4pPnDEDu9nfcnhcUARvaVxXPURN4p5763nhMitUj1T+sas jOS4uyE3FiTkNylxeoiRJ6qdgJg7m5iENjfeGke/t4+QVLn5SAnDnPtLKQZNeX5TjvO+ FjEr0eTKWGCipW0iyoglJ9G9auhEMqvRDuJrkHkiaIAkjOA5hzXcjxK08r8QP/0OT8oP a/Cw== X-Gm-Message-State: APjAAAXFeKv+MIX7+CT1SlXKm246kWseADTNPSMn5AmTQlvENt4CQ4fW kBgDmKIhgU/vM5bDWIXtD8eCKvdZlx1y7Q== X-Google-Smtp-Source: APXvYqwEFl2r1czBoNBBeRpU2lBjUrtaJb0n1ci1GNHZQ4B6lyTXUw8C+/uwpG9x/VcAUAkS2z8UVA== X-Received: by 2002:a05:600c:1008:: with SMTP id c8mr17620823wmc.133.1560247188543; Tue, 11 Jun 2019 02:59:48 -0700 (PDT) Received: from localhost.localdomain ([2001:818:db32:a00:5569:9c53:c35:b36b]) by smtp.gmail.com with ESMTPSA id e9sm4717551wrr.56.2019.06.11.02.59.46 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Tue, 11 Jun 2019 02:59:47 -0700 (PDT) Message-ID: <71e15df3705e7380029706a59fb2d1869f530a4a.camel@gmail.com> From: nevrenato@gmail.com To: Renato Neves Date: Tue, 11 Jun 2019 10:59:45 +0100 Content-Type: multipart/alternative; boundary="=-BfNgSgw787PtVEV64z+c" User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Mime-Version: 1.0 X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] Second Dali Workshop: Final Call for Papers (deadline extension) Reply-To: nevrenato@gmail.com X-Loop: caml-list@inria.fr X-Sequence: 17615 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: --=-BfNgSgw787PtVEV64z+c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt 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 28, 2019 (EXTENDED) 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) --=-BfNgSgw787PtVEV64z+c Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable
Dynamic Logic: New Trends and Applications

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, d= ynamic 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 a= bout 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, incl= uding 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 softwa= re engineering conferences to modal
logic sp= ecific events. However, no specific event is exclusively
dedicated to it. This workshop aims at filling fill such a gap= ,
joining an heterogeneous community of coll= eagues, from Academia to
Industry, from Math= ematics to Computer Science.


Support: PT-FLAD C= hair & DaLi - POCI-01-0145-FEDER-016692
=

TOP= ICS

Subm= issions are invited on the general field of dynamic logic, its
variants and applications, including, but not restricted= to

&nbs= p;        Dynamic logic, foundation= s and applications
Logics w= ith regular modalities
Moda= l/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 varian= ts of dynamic logics
 &= nbsp;and temporal logics
Mo= del checking, model generation and theorem proving for
  dynamic logics

SUBMISSION AND PUBLICATION

Original p= apers (unpublished and not submitted for publication
elsewhere), up to 15 pages in LNCS style. As in the previous editi= on,
post-proceedings will be published by Sp= ringer in a Lecture Notes of
Computer Scienc= e volume. We will also have a special issue with extended, 
revised contributions in the Journal of Logic and Alge= braic Methods in 
Programming, Elsevier=



INVITED SPEAKER

Dexter Kozen, Cornell Univer= sity

IMPORTANT DATES

Paper Submission: June 28, 2019&nb= sp;(EXTENDED)
Notification: July 19, 2019
Camera Ready: September 2, 2019
Workshop: October 9, 2019
<= br>

PROG= RAMME COMMITTEE

Guillaume Aucher (IRISA, FR)
Carlos = Areces (U Cordoba, AR)
Alexandru Baltag, (Uv= A, NL) - PC co-chair
Luis S. Barbosa, (U Min= ho, 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)
F= redrik Dahlqvist (UCL, UK)
Hans van Ditmarsc= h (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)
An= dreas 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 M= itsch (CMU, USA)
Renato Neves (U Minho, PT)<= /div>
Valeria de Paiva (Nuance Comms, USA)
Aybuke Ozgun (ILLC, NL)
Fernando Velazquez-Quesada (ILLC, NL)
Ol= ivier Roy (U Bayreuth, DE)
Lutz Schroeder (F= AU, 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)
--=-BfNgSgw787PtVEV64z+c--