Announcement

forum

Visible to the public Call for Papers: Elsevier Computer Networks, Special Issue on 5G-Enabled Internet of Things, Applications and Services

Submitted by willirn1 on Fri, 06/28/2019 - 3:54pm

Call for Papers

Special Issue on 5G-Enabled Internet of Things, Applications and Services

Elsevier Computer Networks

forum

Visible to the public Call for Papers: CyPhy’19 (EXTENDED DEADLINE)

Submitted by willirn1 on Mon, 06/17/2019 - 3:28pm

Call for Papers -- Extended Deadline

The Ninth International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy'19)

October 17-18th, 2019 | New York, NY | www.cyphy.org

Part of ESWeek (www.esweek.org) in NYC, NY. The conference will take place at the Kimmel Center for University Life.

forum

Visible to the public Call for Papers: ICFEM'2019 (EXTENDED DEADLINE)

Submitted by willirn1 on Mon, 06/17/2019 - 3:13pm

Call For Papers -- Extended Deadline

21st International Conference on Formal Engineering Methods (ICFEM 2019)

November 5th-9th | Shenzhen, China | http://csse.szu.edu.cn/icfem2019/

Submission Website

https://easychair.org/conferences/?conf=icfem2019

forum

Visible to the public Call for Papers: The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

Submitted by willirn1 on Mon, 06/17/2019 - 12:23pm

CALL FOR PAPERS

The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019/

OVERVIEW

forum

Visible to the public Extended Deadline: MeTRiD 2019 (ETAPS 2019 satellite workshop)

Submitted by Katie Dey on Thu, 02/07/2019 - 11:59am

Papers submission: 11 February 2019 (extended)

CALL FOR PAPERS