[Apologies for multiple postings]
** Abstract submission extended: the ASYDE @ SEFM'19 abstract submission
deadline is extended to June 17th, 2019
** Paper submission extended: the ASYDE @ SEFM'19 paper submission deadline is
extended to June 24th, 2019
More on http://asyde2019.disim.univaq.it/
Dear colleagues,
Please consider submitting a paper on your experiences with formal methods
teaching to our FMTea19 workshop affiliated with the FM conference in Porto in
October. We are encouraging a wide spectrum discussion on how we should teach
formal methods in the 21st century, so your co
*** Call for participation ***
*** LFMTP 2019: 14th Int. Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice ***
Vancouver, 22 June 2019 --- Affiliated with LICS 2019
Workshop page: https://lfmtp.org/workshops/2019
Registration page
Call for Papers
FTSCS 2019
7th International Workshop on Formal Techniques for Safety-Critical Systems
Shenzhen, China, November, 9, 2019
The submission deadline of ARCADE 2019 has been extended to 23 June 2019!
ARCADE is a lively informal workshop, intended to discuss ideas, challenges
and directions related to the future of automated reasoning. Make it more
interesting and fun by contributing your ideas!
*** CALL FO
CONCUR 2019 - Call for Participation
Early Registration Deadline: 7 July 2019
https://event.cwi.nl/concur2019/
The 30th International Conference on Concurrency Theory (CONCUR) will take
place in Amsterdam, the Netherlands, on 27
