Dynamic Logic: New Trends and Applications
workshop.dali.di.uminho.pt
Second Call for Papers
Porto, 9 October, 2019
(part of the 3rd World Congress on Formal Methods 2019)
OVERVIEW
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic
was introduced in the 70's as a suitable l
2nd Call for Papers
Formal Methods 2019 - Doctoral Symposium
Porto, Portugal, October 7th, 2019
http://formalmethods2019.inesctec.pt/?page_id=361
In conjunction with the
23rd International Symposium on Formal Methods and
3rd World Congress on Formal Methods
Porto, Portugal, October 7-11, 2019