2019

event

Visible to the public  ARCH 2019
Apr 15, 2019 7:00 am - 6:00 pm EDT

Submitted by Anonymous on Thu, 07/30/2020 - 10:10am

6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19)

This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

event

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

Submitted by Anonymous on Tue, 07/28/2020 - 3:07pm

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]

Submitted by willirn1 on Wed, 02/12/2020 - 4:38pm

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?

Submitted by Jeongbin Oh on Wed, 02/05/2020 - 4:15pm. Contributor: