{
 "generated": "2026-08-13T11:47:39.242592+00:00",
 "source": "https://www.conferences-computer.science/dali/",
 "licence": "CC BY-SA 4.0",
 "acronym": "DaLí",
 "name": "Workshop on Dynamic Logic - New trends and applications",
 "count": 4,
 "editions": [
  {
   "slug": "dali",
   "acronym": "DaLí",
   "year": "2017",
   "edition": 1,
   "title": "Dynamic Logic: new trends and applications",
   "url": "http://workshop.dali.di.uminho.pt/",
   "page": "https://www.conferences-computer.science/dali/2017/",
   "status": null,
   "abstract_deadline": "2017-05-26",
   "paper_deadline": "2017-06-02",
   "paper_deadline_announced": "2017-06-02",
   "paper_extended_days": 0,
   "notification": "2017-07-14",
   "timezone": null,
   "event_start": "2017-09-24",
   "event_end": null,
   "city": "Brasília, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -15.7939,
   "lon": -47.8828,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": "dali"
  },
  {
   "slug": "dali",
   "acronym": "DaLí",
   "year": "2019",
   "edition": 2,
   "title": "Dynamic Logic: new trends and applications",
   "url": "https://workshop.dali.di.uminho.pt/",
   "page": "https://www.conferences-computer.science/dali/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-06-28",
   "paper_deadline_announced": "2019-06-28",
   "paper_extended_days": 0,
   "notification": "2019-07-19",
   "timezone": null,
   "event_start": "2019-10-09",
   "event_end": null,
   "city": "Porto, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 41.1579,
   "lon": -8.6291,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": "dali"
  },
  {
   "slug": "dali",
   "acronym": "DaLí",
   "year": "2023",
   "edition": 5,
   "title": "Dynamic Logic: new trends and applications",
   "url": "https://dali2023.compute.dtu.dk/",
   "page": "https://www.conferences-computer.science/dali/2023/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2023-01-01",
   "paper_deadline_announced": "2023-01-01",
   "paper_extended_days": 0,
   "notification": "2023-01-01",
   "timezone": null,
   "event_start": "2023-09-15",
   "event_end": "2023-09-16",
   "city": "Tbilisi, Georgia",
   "country": "GE",
   "continent": "AS",
   "lat": 41.7151,
   "lon": 44.8271,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": "dali"
  },
  {
   "slug": "dali",
   "acronym": "DaLí",
   "year": "2025",
   "edition": 6,
   "title": "6th Workshop on Dynamic Logic - New trends and applications",
   "url": "http://dali2025.web.ua.pt",
   "page": "https://www.conferences-computer.science/dali/2025/",
   "status": null,
   "abstract_deadline": "2025-06-15",
   "paper_deadline": "2025-06-20",
   "paper_deadline_announced": "2025-06-05",
   "paper_extended_days": 15,
   "notification": "2025-07-25",
   "timezone": null,
   "event_start": "2025-10-20",
   "event_end": "2025-10-21",
   "city": "Xi’An, China",
   "country": "CN",
   "continent": "AS",
   "lat": 34.3416,
   "lon": 108.9398,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) + bibliography / 6-8 pages (short) + 1p bibliography",
   "dblp": "dali"
  }
 ]
}