ACM SIGBED (@acmsigbed) 's Twitter Profile
ACM SIGBED

@acmsigbed

ACM SIGBED is a focal point within the Association for Computing Machinery (ACM) for all aspects of embedded computing systems and cyber-physical systems.

ID: 1192274508012556295

calendar_today07-11-2019 02:56:40

71 Tweet

214 Takipçi

76 Takip Edilen

ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

FlyOS: Integrated Modular Avionics for Autonomous Multicopters" by Anam Farrukh and Richard West won the best student paper award at RTAS 2022. Read an overview of the work on the ACM SIGBED blog: sigbed.org/2022/07/25/rta…

ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

Big congratulations to our awardees for receiving the prestigious SIGBED awards 2022. - SIGBED Technical Achievement Award​: Prof. Edward Lee, University of California, Berkeley, USA. - SIGBED Distinguished Leadership Award​: Prof. University of Pennsylvania, USA​.

ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

Also big congratulations to - SIGBED Early Career Award​: Marco Zimmerling (2022), University of Freiburg, Germany - Paul Caspi Memorial Dissertation Award: Tanya Amert (2022), UNC Chapel Hill, US

ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

2023 Heidelberg Laureate Forum Young Researchers - Applications now open heidelberg-laureate-forum.org Read more about how to apply in the FAQ, heidelberg-laureate-forum.org/faq/

ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

The Cyber-Physical Systems and Internet of Things (CPS-IoT) Week Steering Committee solicits proposals for hosting the 2024 edition of this multi-conference event.

The Cyber-Physical Systems and Internet of Things (CPS-IoT) Week Steering Committee solicits proposals for hosting the 2024 edition of this multi-conference event.
ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

SIGBED Distinguished Lecture Series Speaker: Prof. Edward A. Lee (UC Berkeley) Date: Thursday, June 15th, 2023 Time: 11:00 am – 12:30pm EST Zoom Registration link: us06web.zoom.us/meeting/regist… Talk Title: Deterministic Concurrency in Cyber-Physical Systems

SIGBED Distinguished Lecture Series
Speaker: Prof. Edward A. Lee (UC Berkeley)
Date: Thursday, June 15th, 2023
Time: 11:00 am – 12:30pm EST

Zoom Registration link: us06web.zoom.us/meeting/regist…

Talk Title: Deterministic Concurrency in Cyber-Physical Systems
ACM SIGBED (@acmsigbed) 's Twitter Profile Photo

[HSCC 23 Test of Time Award] Verification of Linear Hybrid Automata through Set Propagation sigbed.org/2023/12/04/hsc…