posted by organizer: Amadeira || 1392 views || tracked by 2 users: [display]

Dalí 2017 : DaLí - Dynamic Logic: new trends and applications

FacebookTwitterLinkedInGoogle

Link: http://workshop.dali.di.uminho.pt
 
When Sep 24, 2017 - Sep 24, 2017
Where Brasília
Abstract Registration Due May 26, 2017
Submission Deadline Jun 2, 2017
Notification Due Jul 14, 2017
 

Call For Papers

Second call for paper
Workshop DaLí – Dynamic Logic: new trends and applications
Brasília, 24 September, 2017
(co-located with FROCOS TABLEAUX and ITP 2017)
workshop.dali.di.uminho.pt


Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was intro- duced in the 70’s by Pratt as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This leads to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation.
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 heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.
The event is promoted by the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design
(POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology (http: //dali.di.uminho.pt).

***** Topics *****

We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to:
- Dynamic logic,foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- Quantum dynamic logic
- Coalgebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic logics

***** Submissions and publications ****

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.

Both kind of submissions should be done via the EasyChair link
https://easychair.org/conferences/?conf=dali17.
Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logical and Algebraic Methods in Programming, Elsevier.

***** Important Dates ****
- NEW DEADLINE June 18: 2017: Abstract deadline
- NEW DEADLINE June 18: Full paper deadline
- July 14, 2017: Author notification

**** Invited Speakers ****
- Alexandru Baltag, UVA, NL
- Edward Hermann Haeusler, PUC-Rio, BR


**** PC Chairs ****
- Alexandre Madeira (UM & UA, PT)
- Mário Benevides (UFRJ, BR)


**** Program Committee: ****
- Carlos Areces (U. Cordoba, AR)
- Phillippe Balbiani (U. Toulouse, FR)
- Alexandru Baltag (Uva, NL)
- Luís S. Barbosa (U.Minho, PT)
- Johan van Benthem (U.Stanford & U.Tsinghua)
- Patrick Blackburn (U. Roskilde, DK)
- Stéphane Demri (CNRS, FR)
- Hans van Ditmarsch (LORIA, Nancy, FR)
- Francicleber M. Ferreira (UFC, BR)
- Valentin Goranko (U. Stockholm, SE)
- Edward H. Hauesler (PUC-Rio, BR)
- Rolf Hennicker (LMU, Munchen, DE)
- Andreas Herzig (Toulouse, FR)
- Dexter Kozen (Cornell, USA)
- Clemens Kupke (U.Strathclyde, UK)
- Bruno Lopes Vieira (UFF, BR)
- Paulo Mateus (IST, PT)
- Manuel A. Martins (U.Aveiro, PT)
- Carlos Olarte (UFRN, BR)
- José N. Oliveira (U. Minho, PT)
- André Platzer (CMU, USA)
- Eugénio Rocha (U. Aveiro, PT)
- Valéria de Paiva (NC, USA)
- Regivan Santiago (UFRN, BR)
- Luis Menasche Schechter (UFRJ, BR)
- Tinko Tinchev (U. Sofia, BG)
- Petrucio Viana (UFF, BR)
- Yde Venema (ILLC, NL)
- Renata Wassermann (USP, BR)

Related Resources

CVPR&ML 2024   CFP - Special Issue New Trends in Computer Vision, Pattern Recognition and Machine Learning
ICNTSE 2024   The fourth International Conference on New Trends in Sustainable Energy
ICNEA 2024   2024 8th International Conference on New Energy and Applications (ICNEA 2024)
ICNEA--EI 2024   2024 8th International Conference on New Energy and Applications (ICNEA 2024)
SAND 2024   3rd Symposium on Algorithmic Foundations of Dynamic Networks
ICMLA 2024   23rd International Conference on Machine Learning and Applications
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
NYC-2024-AI 2024   New York Annual Conference on Artificial Intelligence 2024
ICONIP 2024   31st International Conference on Neural Information Processing
IAAI 2024   Innovative Applications of Artificial Intelligence