default search action

combined dblp search
author search
venue search
publication search

ask others

Dynamic Logic: New Trends and Applications Workshop (DaLí)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

5th DaLí 2023: Tbilisi, Georgia

- view
  authority control:
- export record
  dblp key:
  - conf/dali/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2023
Nina Gierasimczuk, Fernando R. Velázquez-Quesada:
Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14401, Springer 2024, ISBN 978-3-031-51776-1 [contents]

4th DaLí 2022: Haifa, Israel (Online)

- view
  authority control:
- export record
  dblp key:
  - conf/dali/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2022
Carlos Areces, Diana Costa:
Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13780, Springer 2023, ISBN 978-3-031-26621-8 [contents]

3rd DaLí 2020: Prague, Czech Republic (Online)

- view
  authority control:
- export record
  dblp key:
  - conf/dali/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2020
Manuel A. Martins, Igor Sedlár:
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12569, Springer 2020, ISBN 978-3-030-65839-7 [contents]

2nd DaLí 2019: Porto, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/dali/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2019
Luís Soares Barbosa, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents]

1st DaLí 2017: Brasilia, Brazil

- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/2017dali
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/2017dali
Alexandre Madeira, Mario R. F. Benevides:
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Lecture Notes in Computer Science 10669, Springer 2018, ISBN 978-3-319-73578-8 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.