{"product_id":"dynamic-logic-new-trends-and-applications-third-international-workshop-dali-2020-prague-czech-republic-october-9-10-2020-revised-selected-papers-von-igor-sedlar-manuel-a-martins-igor-sedlar-hrsg","title":"Dynamic Logic. New Trends and Applications","description":"\n                                \n                \u003cp\u003eThis book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. \u003c\/p\u003e\n                                The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.\n                \n                \u003cp\u003e\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.\u003c\/p\u003e\n                                \n                \u003cbr\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030658397\"\u003e\u003ch3\u003eThird International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030658397","offer_id":39424020086877,"sku":"9783030658397","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_ecbd76c4-d958-4d83-82a3-9289d550510c.jpg?v=1786507597","url":"https:\/\/shop.autorenwelt.de\/products\/dynamic-logic-new-trends-and-applications-third-international-workshop-dali-2020-prague-czech-republic-october-9-10-2020-revised-selected-papers-von-igor-sedlar-manuel-a-martins-igor-sedlar-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}