[DL] Call for participation DaLí 2022

Carlos Areces carlos.areces at gmail.com
Wed Jul 13 22:26:38 CEST 2022


*** Call for participation ***

DaLí - Dynamic Logic: new trends and applications (DaLí 2022)
Workshop affiliated with LICS, as part of FLOC
http://dali2022.campus.ciencias.ulisboa.pt/

A *free* and *online* event on the 31 July and 1 August 2022

DaLí is an online event exclusively dedicated to Dynamic Logics (broadly
conceived). Its aim is to bring together the community of colleagues which
share an interest in Dynamic logic - from Academia to Industry, from
Mathematics to Computer Science, - to promote their works, and  to foster
great discussions and new collaborations.

Follow the link below to register (free)

       https://forms.gle/1RLxcE9R9TDqLbrf9

List of Invited Speakers
   * Marta Bílková (Institute of Computer Science, Czech Academy of
Sciences, CZ)
   * Nina Gierasimczuk (Technical University of Denmark, DK)
   * Elaine Pimentel (University College London, UK)
   * Fernando Velázquez Quesada (University of Bergen, NO)

List of Accepted Papers (alphabetical, by first author)
   * C. Areces, R. Fervari, A. Saravia and F. Velázquez-Quesada. First
Steps in Updating Knowing How
   * P. Balbiani. Parametrized modal logic: the unidimensional case
   * B. Bedregal, R. Santiago, M. Martins and A. Madeira. Relating Kleene
algebras with pseudo uninorms
   * V. Dolgorukov and M. Gladyshev. Dynamic Epistemic Logic for
Budget-Constrained Agents
   * R. Galimullin and T. Ågotnes. Action Models for Coalition Logic
   * T. Kawano. Quantum Logic for Observation of Physical Quantities
   * J. Lindqvist, F. Velázquez-Quesada and T. Ågotnes. Cautious
distributed belief
   * A. Ramírez Abarca and J. Broersen. A Stit Logic of Intentionality

List of Accepted Short Papers (alphabetical, by first author)
   * M. Tashiro, E. Pacuit and I. Canavotto. Public Announcement Logic with
Misinterpretations
   * E. Ternovska. Dynamic Logic for Descriptive Complexity
   * H. Wu, H. van Ditmarsch and J. Chen. A Labelled Sequent Calculus for
Public Announcement Logic

We look forward to meeting you all at DaLI 2022.

Diana Costa and Carlos Areces
DaLI 2021 Chairs.

Program Committee: T. Ågotnes (U. Bergen, NO), N. Alechina (Utrecht U.,
NL), C. Areces (U. Córdoba, AR), P. Balbiani (IRIT, FR), D. Costa (U.
Lisbon, PT), G. D'Agostino (U. Udine, IT), S. Demri (CNRS, FR), H. van
Ditmarsch (Open University, NL), R. Fervari (U. Córdoba, AR), S. Frittella
(LIFO, FR), N. Gierasimczuk (TU Denmark, DK), R. Goré (Vienna U. of
Technology, AU and Polish A. of Science, PO), R. Hennicker (LMU Munich,
DE), R. Hähnle (TU Darmstadt, DE), S. Knight (U. Minnesota, USA), C. Kupke
(U. Strathclyde, UK), S. Kuznetsov (Steklov Mathematical Institute, RU), A.
Madeira (U. Aveiro, PT), S. Marin (U. Birmingham, UK), M. Martins (U.
Aveiro, PT), L. Moss (Indiana University Bloomington, USA), C. Nalon (U.
Brasília, BR), N. Olivetti (Aix-Marseille U., FR), E. Pacuit (U. Maryland,
USA),
A. Palmigiano (Vrije Universiteit Amsterdam, NL), V. Punčochář (Czech
Academy of Sciences, CZ), K. Sano (Hokkaido U., JP), I. Sedlár (Czech
Academy of Sciences, CZ), R. Verbrugge (U. Groningen, NL), F. Wolter (U.
Liverpool, UK), S. Cerrito (U. d'Evry Val d'Essonne, FR),

Steering Committee: A. Baltag (U. Amsterdam, NL), A. Madeira (U. Aveiro,
PT), A. Herzig (IRIT, U. Paul Sabatier, FR), D. Harel (The Weizmann
Institute of Science, IL)
Dexter Kozen (Cornell U., USA), F. Liu (Tsinghua U., CH), J. van Benthem
(U. Amsterdam, NL), H. van Ditmarsch (Open University, NL), I. Sedlár
(Czech Academy of Sciences, CZ), L. Soares Barbosa (U. Minho, PT), M.
Martins (U. Aveiro, PT), M. Benevides (Federal U. Rio de Janeiro, BR), N.
Gierasimczuk (Technical University of Denmark, DM), S. Smets (U. Amsterdam,
NL), V. Pratt (Stanford U., USA)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20220713/d1897813/attachment.htm>


More information about the dl mailing list