Universiteit van Amsterdam


Institute for Logic, Language and Computation

24 September 2017, Workshop DaLí – Dynamic Logic: new trends and applications

Date: Sunday 24 September 2017
Location: Brasilia, Brazil
Deadline: Sunday 18 June 2017

Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.

Invited Speakers: Alexandru Baltag (UvA), Edward Hermann Haeusler (PUC-Rio, BR).

We invite submissions on the general field of Dynamic Logic, its variants and applications. Authors are invited to submit original papers (un-published and not submitted for publication elsewhere) up to 15 pages in lncs style. Accepted papers will be published in a Springer’s Lecture Notes of Computer Science volume. Submissions with work in progress (abstracts with 2-5 pag) are also welcomed for short presentations. They are subject of a light reviewing and will be available at conference in a informal booklet.

For more information, see http://workshop.dali.di.uminho.pt/ or contact Alexandre Madeira at .