Visible to the public  SEFM 2019
Sep 16, 2019 7:00 am - Sep 20, 2019 6:00 pm CEST

17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:

Software Development Methods


Visible to the public Solicitation: NSF Secure and Trustworthy CyberSpace (SaTC) [Solicitation 19-603]

Secure and Trustworthy Cyberspace (SaTC)

NSF 19-603

NSF 18-572

National Science Foundation

Directorate for Computer and Information Science and Engineering
Division of Computer and Network Systems
Division of Computing and Communication Foundations
Division of Information and Intelligent Systems
Office of Advanced Cyberinfrastructure


Visible to the public Whos Calling You?