Dynamic Logic: New Trends and Applications
workshop.dali.di.uminho.pt
First 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, and a special issue with extended, revised
contributions is planed.
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)
Dynamic Logic: New Trends and Applications
workshop.dali.di.uminho.pt
First 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, and a special issue with extended, revised
contributions is planed.
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)
The thirteenth TbiLLC may be of interest to finite model theorists.
This second call for papers has added information on location and
workshops.
---
THE THIRTEENTH INTERNATIONAL TBILISI SYMPOSIUM
ON LOGIC, LANGUAGE AND COMPUTATION
Second Call for Papers
16-20 September, 2019
Batumi, Georgia
http://events.illc.uva.nl/Tbilisi/Tbilisi2019/
***********************************************************************
CALL FOR PAPERS
The Thirteenth International Tbilisi Symposium on Logic, Language, and
Computation will be held 16-20 September 2019 in Batumi, Georgia. The
Programme Committee invites submissions for contributions
on all aspects of logic, language, and computation. Work of an
interdisciplinary nature is particularly welcome. Areas of interest
include, but are not limited to:
* Natural language syntax, semantics, and pragmatics
* Linguistic typology and semantic universals
* Language evolution and learnability
* Historical linguistics, history of logic
* Natural logic, inference and entailment in natural language
* Logic, games, and formal pragmatics
* Logics for artificial intelligence and computer science
* Constructive, modal and algebraic logic
* Categorical logic
* Algorithmic game theory
* Computational social choice
* Formal models of multiagent systems
* Information retrieval, query answer systems
* Distributional and probabilistic models of information, meaning and
computation
* Models of computation
Authors can submit an abstract of three pages (including references) at
the
EasyChair conference system here:
https://easychair.org/conferences/?conf=tbillc2019
PROGRAMME
The programme will include tutorials and a series of invited lectures.
Tutorials:
Logic: Graham Leigh (University of Gothenburg)
Language: Fabian Bross (University of Stuttgart)
Computation: Daniela Petrisan (CNRS, Université Paris Diderot)
Invited speakers:
Logic:
Philippe Balbiani (CNRS, Université Toulouse III),
Adam Bjorndahl (Carnegie Mellon University)
Language:
Berit Gehrke (HU Berlin),
Thomas Ede Zimmermann (University of Frankfurt)
Computation:
Libor Barto (Charles University Prague),
Elham Kashefi (CNRS, University of Edinburgh)
WORKSHOPS
There will be two workshops:
"Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM)"
Conveners: Berit Gehrke (HU Berlin) and Fabian Bross (University
Stuttgart)
For more details see the workshop webpage
https://sites.google.com/view/sspam2019/call-for-papers
and
"Topology and Modal Logic"
Convener: Adam Bjorndahl (Carnegie Mellon University)
More information will be available on the TbiLLC website:
http://events.illc.uva.nl/Tbilisi/Tbilisi2019/
Programme Committee
Bahareh Afshari (University of Gothenburg)
Rusiko Asatiani (Tbilisi State University)
Guram Bezhanishvili (New Mexico State University)
Nick Bezhanishvili (University of Amsterdam)
Valeria de Paiva (Nuance Communications)
David Gabelaia (TSU Rasmadze Mathematical Institute)
Katharina Hartmann (University of Frankfurt/Main)
Jules Hedges (University of Oxford)
Daniel Hole (co-chair, University of Stuttgart)
Sebastian Löbner (University of Düsseldorf)
Matteo Mio (CNRS/ENS-Lyon)
Sara Negri (University of Helsinki)
Sebastian Padó (University of Stuttgart)
Alessandra Palmigiano (Technical University of Delft)
Roland Pfau (University of Amsterdam)
Martin Schäfer (University of Anglia Ruskin)
Lutz Schröder (University of Erlangen-Nürnberg)
Kerstin Schwabe (Leibniz-ZAS Berlin)
Alexandra Silva (UC London)
Alex Simpson (co-chair, University of Ljubljana)
Luca Spada (University of Salerno)
Ronnie B. Wilbur (Purdue University)
Fan Yang (University of Helsinki)
PUBLICATION INFORMATION
Post-proceedings of the symposium will be published in
the LNCS series of Springer.
IMPORTANT DATES
Submission deadline: 1 April 2019
Notification: 3 June 2019
Final abstracts due: 1 July 2019
Registration deadline: 1 August 2019
Symposium: 16-20 September 2019
Programme and submission details can be found at:
http://events.illc.uva.nl/Tbilisi/Tbilisi2019/
LOCATION
Castello Mare Hotel & Wellness Resort - Tsikhisdziri, Batumi, Georgia
http://castellomare.com
ACKERMANN AWARD 2019 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
FINAL CALL FOR NOMINATIONS
Nominations are now invited for the 2019 Ackermann Award.
PhD dissertations in topics specified by the CSL and LICS
conferences, which were formally accepted as PhD theses at a
university or equivalent institution between 1.1.2017 and 31.12.2018
are eligible for nomination for the award. The deadline for submission
is 1 April 2019. Submission details follow below.
Nominations can be submitted from 1 January 2019 and should be sent
to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de
The Award
The 2019 Ackermann award will be presented to the recipient(s) at CSL
2020, the annual conference of the EACSL, 13-16 January 2020, in Barcelona.
The award consists of
* a certificate,
* an invitation to present the thesis at the CSL conference,
* the publication of the laudatio in the CSL proceedings,
* an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and
* financial support to attend the conference.
The jury is entitled to give the award to more (or less) than one
dissertation in a year.
Jury
The jury consists of:
* Christel Baier (TU Dresden);
* Michael Benedikt (Oxford University);
* Mikolaj Bojanczyk (University of Warsaw);
* Jean Goubault-Larrecq (ENS Paris-Saclay);
* Dexter Kozen (Cornell University);
* Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative;
* Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
* Thomas Schwentick (TU Dortmund) , the president of EACSL.
How to submit
The candidate or his/her supervisor should submit
1. the thesis (ps or pdf file);
2. a detailed description (not longer than 20 pages) of the thesis
in ENGLISH (ps or pdf file);
3. a supporting letter by the PhD advisor and two supporting letters
by other senior researchers (in English);
supporting letters can also be sent directly to Thomas Schwentick
(thomas.schwentick(a)tu-dortmund.de);
4. a short CV of the candidate;
5. a copy of the document asserting that the thesis was accepted as
a PhD thesis at a recognized University (or equivalent institution) and
that the candidate has received his/her PhD within the specified period.
The submission should be sent by e-mail as attachments to the chairman
of the jury, Thomas Schwentick:
thomas.schwentick(a)tu-dortmund.de
With the following subject line and text:
* Subject: Ackermann Award 2019 Submission
* Text: Name of candidate, list of attachments
Submission can be sent via several e-mail messages. If this is the case,
please indicate it in the text.