2019

event

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

news

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

Secure and Trustworthy Cyberspace (SaTC)

PROGRAM SOLICITATION
NSF 19-603

REPLACES DOCUMENT(S):
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

file

Visible to the public Whos Calling You?