BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:DaLí — deadlines and dates X-WR-CALDESC:Every recorded edition of DaLí. https://www.conferences-compu ter.science/dali/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:dali-2017-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170526 DTEND;VALUE=DATE:20170527 SUMMARY:DaLí 2017 — abstract deadline DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Brasília\, Brazil.\nConference dates: 2 4 Sep 2017.\nhttps://www.conferences-computer.science/dali/2017/ URL:https://www.conferences-computer.science/dali/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2017-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170602 DTEND;VALUE=DATE:20170603 SUMMARY:DaLí 2017 — paper deadline DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Brasília\, Brazil.\nConference dates: 2 4 Sep 2017.\nhttps://www.conferences-computer.science/dali/2017/ URL:https://www.conferences-computer.science/dali/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2017-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170714 DTEND;VALUE=DATE:20170715 SUMMARY:DaLí 2017 — notification DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Brasília\, Brazil.\nConference dates: 2 4 Sep 2017.\nhttps://www.conferences-computer.science/dali/2017/ URL:https://www.conferences-computer.science/dali/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2019-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20190628 DTEND;VALUE=DATE:20190629 SUMMARY:DaLí 2019 — paper deadline DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Porto\, Portugal.\nConference dates: 9 O ct 2019.\nhttps://www.conferences-computer.science/dali/2019/ URL:https://www.conferences-computer.science/dali/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2019-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20190719 DTEND;VALUE=DATE:20190720 SUMMARY:DaLí 2019 — notification DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Porto\, Portugal.\nConference dates: 9 O ct 2019.\nhttps://www.conferences-computer.science/dali/2019/ URL:https://www.conferences-computer.science/dali/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2023-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20230101 DTEND;VALUE=DATE:20230102 SUMMARY:DaLí 2023 — paper deadline DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Tbilisi\, Georgia.\nConference dates: 15 –16 Sep 2023.\nhttps://www.conferences-computer.science/dali/2023/ URL:https://www.conferences-computer.science/dali/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2023-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20230101 DTEND;VALUE=DATE:20230102 SUMMARY:DaLí 2023 — notification DESCRIPTION:Dynamic Logic: new trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Tbilisi\, Georgia.\nConference dates: 15 –16 Sep 2023.\nhttps://www.conferences-computer.science/dali/2023/ URL:https://www.conferences-computer.science/dali/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250615 DTEND;VALUE=DATE:20250616 SUMMARY:DaLí 2025 — abstract deadline DESCRIPTION:6th Workshop on Dynamic Logic - New trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth. \nShown as an all-day event: the deadline is a moment\, not a day\, so che ck the exact time on the conference site.\nExtended from 01 June 2025.\nHe ld in Xi’An\, China.\nConference dates: 20–21 Oct 2025.\nhttps://www.c onferences-computer.science/dali/2025/ URL:https://www.conferences-computer.science/dali/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250620 DTEND;VALUE=DATE:20250621 SUMMARY:DaLí 2025 — paper deadline DESCRIPTION:6th Workshop on Dynamic Logic - New trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth. \nShown as an all-day event: the deadline is a moment\, not a day\, so che ck the exact time on the conference site.\nExtended from 05 June 2025.\nHe ld in Xi’An\, China.\nConference dates: 20–21 Oct 2025.\nhttps://www.c onferences-computer.science/dali/2025/ URL:https://www.conferences-computer.science/dali/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250725 DTEND;VALUE=DATE:20250726 SUMMARY:DaLí 2025 — notification DESCRIPTION:6th Workshop on Dynamic Logic - New trends and applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth. \nShown as an all-day event: the deadline is a moment\, not a day\, so che ck the exact time on the conference site.\nExtended from 15 July 2025.\nHe ld in Xi’An\, China.\nConference dates: 20–21 Oct 2025.\nhttps://www.c onferences-computer.science/dali/2025/ URL:https://www.conferences-computer.science/dali/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2017-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170924 DTEND;VALUE=DATE:20170925 SUMMARY:DaLí 2017 — Brasília\, Brazil DESCRIPTION:Dynamic Logic: new trends and applications\nHeld in Brasília\, Brazil.\nPaper deadline was 02 June 2017.\nhttps://www.conferences-comput er.science/dali/2017/ URL:https://www.conferences-computer.science/dali/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2019-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20191009 DTEND;VALUE=DATE:20191010 SUMMARY:DaLí 2019 — Porto\, Portugal DESCRIPTION:Dynamic Logic: new trends and applications\nHeld in Porto\, Por tugal.\nPaper deadline was 28 June 2019.\nhttps://www.conferences-computer .science/dali/2019/ URL:https://www.conferences-computer.science/dali/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2023-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20230915 DTEND;VALUE=DATE:20230917 SUMMARY:DaLí 2023 — Tbilisi\, Georgia DESCRIPTION:Dynamic Logic: new trends and applications\nHeld in Tbilisi\, G eorgia.\nPaper deadline was 01 January 2023.\nhttps://www.conferences-comp uter.science/dali/2023/ URL:https://www.conferences-computer.science/dali/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DaLí END:VEVENT BEGIN:VEVENT UID:dali-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251020 DTEND;VALUE=DATE:20251022 SUMMARY:DaLí 2025 — Xi’An\, China DESCRIPTION:6th Workshop on Dynamic Logic - New trends and applications\nHe ld in Xi’An\, China.\nPaper deadline was 20 June 2025.\nhttps://www.conf erences-computer.science/dali/2025/ URL:https://www.conferences-computer.science/dali/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DaLí END:VEVENT END:VCALENDAR