Modeling

The formalization of system engineering models and approaches.
event

Visible to the public  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/

forum

Visible to the public CfP: CyPhy '19 - Final Call

CALL FOR PAPERS - Final Call

Model-Based Design of Cyber-Physical Systems (CyPhy'19)

CyPhy'19 will be held as part of ESWeek in NYC, NY. The conference will take place at the Kimmel Center for University Life.

forum

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

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.