2021

file

Visible to the public AIRMAIL: Scaling Mobile Vulnerabilities through the AI Supply Chain

Submitted by Bradley Potteiger on Fri, 03/12/2021 - 4:51pm. Contributors:
file

Visible to the public A Dependently Typed Attestation Protocol Language

Submitted by Anonymous on Fri, 03/12/2021 - 4:51pm. Contributors:
page

Visible to the public HotSoS 2021 Program Agenda

Submitted by Katie Dey on Sun, 03/07/2021 - 10:10pm

 

TIMES ARE LISTED IN EDT
2021 (2022 Forthcoming)		 PRINT-FRIENDLY VERSIONS BY TIME ZONE:
event

Visible to the public  MODELS 2021
Oct 10, 2021 7:00 am - Oct 15, 2021 6:00 pm HKT

Submitted by Anonymous on Wed, 02/10/2021 - 4:45pm

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021)

October 10 - 15, 2021 | Fukuoka City, Japan | https://conf.researchr.org/home/models-2021

event

Visible to the public  AI/ML for Cybersecurity at SDM '21
Apr 29, 2021 7:00 am - May 01, 2021 7:00 pm EDT

Submitted by Anonymous on Tue, 02/09/2021 - 5:24pm

Researchers at NSA, MIT-Lincoln Laboratory (MIT-LL), and MIT-Computer Science and Artificial Intelligence Laboratory (MIT-CSAIL) are leading an AI/ML for Cybersecurity workshop at the International SIAM Conference on Data Mining (SDM) between April 29th and May 1st, 2021.

The workshop details can be found here: https://sites.google.com/view/ai4cs-sdm2021

event

Visible to the public  ECRTS '21
Jul 05, 2021 7:00 am - Jul 09, 2021 6:00 pm CEST

Submitted by Anonymous on Mon, 02/08/2021 - 12:37pm

33rd Euromicro Conference on Real-Time Systems (ECRTS'21)

ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.

Owing to the uncertain pandemic outlook, ECRTS 2021 will be held online as a virtual conference on July 7-9, 2021.

file

Visible to the public Formal Methods at Scale: Workshops and Opportunity Motivations

Submitted by brad_martin on Thu, 01/14/2021 - 3:05pm. Contributor:

Presentation by Brad Martin at the Winter '21 SoS Lablet Quarterly Meeting