*
The 12th NASA Formal Methods Symposium (NFM2020)
https://ti.arc.nasa.gov/events/nfm-2020/
NFM2020 is virtual and organized by the
NASA Ames Research Center, Moffett Field, CA, USA
May
BigDat 2020 Autumn: early registration May 9*To be removed from our mailing
list, please respond to this message with UNSUBSCRIBE in the subject line*
**
7th INTERNATIONAL SCHOOL ON BIG DATA
BigDat 2020 Autumn
Beersheba, Israel
October
[apologies for multiple copies]
==
35th Italian Conference on Computational Logic (CILC 2020)
24-25 September 2020, Rende, Italy
https://cilc2020.demacs.unical.it/
CO-LOCATED with the 36th International Conference on
We apology for possible cross posting, and appreciate your support and
distribution.
*International Conference on Security and Privacy in Digital Economy
(SPDE2020)*
http://spde2020.csp.escience.cn/
*Scope and Topics of Interest*
We are in the age of digital economy. Information technology
PPDP 2020 Call For Papers
=
The 22nd International Symposium on
Principles and Practice of Declarative Programming,
[PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/),
hosted 8-10 September 2020 by the University of Bologna, Italy.
**Due to the COVID-19 pandemic,
# DEADLINE EXTENDED - CALL FOR PAPERS
Extended submission deadline: Friday 8 May (AoE)
22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020)
https://2020.ecoop.org/track/FTfJP-2020-papers
Co-located with ECOOP 2020, July 13-17, Berlin, Germany
## About FTfJP 2020
Formal
CALL FOR PAPERS
KR 2020 -- RECENT PUBLISHED RESEARCH TRACK
A special track of the 17th Conference on Principles of Knowledge
Representation and Reasoning (KR2020)
September 12-18th, 2020
Rhodes, Greece
--
Important Dates
--
Submission deadline: 15 June 2020