Call for Workshops, Tutorials and Competitions: Cyber-Physical Systems and Internet-of-Things Week

Call for Workshops & Tutorials

Call for Workshops, Tutorials and Competitions

Researchers from academia and industry are invited to submit proposals for workshops, tutorials, and competitions to be held as part of CPS-IoT Week 2024 in Hong Kong, China on May 13-16, 2024.

Important Dates:

  • Proposal submission deadline: November 7th, 2023­­
  • Notification of acceptance: November 14th, 2023

1. Workshop Proposals

Workshop proposals should include:

Call for Papers: Hybrid Systems: Computation and Control (HSCC) 2024

Call for Papers

Scope

Hybrid Systems: Computation and Control (HSCC) 2024 is the 27th in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems, with an emphasis on computational aspects.

"Signal Jamming Defense Not up to the Task? These Researchers Have a Solution"

"Signal Jamming Defense Not up to the Task? These Researchers Have a Solution"

As growing and maturing data services demand faster Internet speeds and operating systems call for better security, hackers and adversaries continue to interfere. For some, this involves infiltrating home and office wireless networks to steal personal or business information. These attackers often use high-powered signal jamming devices, which are wireless portable devices that impede devices' communication with each other. These jammers also serve as a defense for users trying to avoid these attacks.

Submitted by Amy Karns on

CPS PI Meeting 2024 (Save the Dates!)

Submitted by Regan Williams on

Visit the CPS PI Meeting 2024 Site

The thirteenth annual Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '24) will be held Tuesday, March 19th (arrival night) - Wednesday, March 20 & Thursday, March 21 (meeting days) in Nashville, Tennessee at Vanderbilt University's Student Life Center located at 310 25th Ave S, Nashville, TN 37212.

CAREER: Certifiable Perception for Autonomous Cyber-Physical Systems
Luca Carloni
Lead PI:
Luca Carloni
Abstract

Perception systems are a key component of modern autonomous cyber-physical systems (CPS), from self-driving vehicles to autonomous robots and drones. For instance, for a self-driving vehicle, perception systems provide functionalities such as estimating the state of the vehicle, building a map of obstacles in its surroundings, and detecting and tracking external objects and pedestrians. As exemplified by recent self-driving car accidents, perception failures can cascade to catastrophic system failures and compromise human safety.

Luca Carloni

Luca Carloni is an Associate Professor of Computer Science at Columbia University in the City of New York, where he leads the System-Level Design Group. He holds a Laurea Degree Summa cum Laude in Electronics Engineering from the University of Bologna, Italy, a Master of Science in Engineering from the University of California at Berkeley, and a Ph.D. in Electrical Engineering and Computer Sciences from the University of California at Berkeley.

At Berkeley Luca was the 2002 recipient of the Demetri Angelakos Memorial Achievement Award in recognition of altruistic attitude towards fellow graduate students. Luca received the Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2006, was selected as an Alfred P. Sloan Research Fellow in 2008, received the ONR Young Investigator Award in 2010 and the IEEE CEDA Early Career Award in 2012.

His research interests include methodologies and tools for multi-core system-on-chip platforms with emphasis on system-level design and communication synthesis, design and optimization of networks-on-chip, embedded software and distributed embedded systems. Luca coauthored over ninety refereed papers and is the holder of one patent.

Luca is an associate editor of the ACM Transactions in Embedded Computing Systems and the Elsevier Journal of Sustainable Computing. He has served in the technical program committee of several conferences including DAC, DATE, ICCAD, and EMSOFT. In 2010 he served as technical program co-chair of the International Conference on Embedded Software (EMSOFT), the International Symposium on Networks-on-Chip (NOCS), and the International Conference on Formal Methods and Models for Codesign (MEMOCODE).

In 2013 Luca serves as general chair of Embedded Systems Week (ESWeek), the premier event covering all aspects of embedded systems and software.

Luca participates in the Gigascale Systems Research Center (GSRC).

Performance Period: 03/15/2021 - 02/28/2026
Institution: Massachusetts Institute of Technology
Sponsor: National Science Foundation
Award Number: 2044973

Call for Presentations: 2022 HCSS

Call for Presentations: 2022 HCSS

The twenty-second annual High Confidence Software and Systems (HCSS) Conference will be held the week of May 16, 2022. We solicit proposals to present talks at the conference.
Submitted by Eric Hall on
Subscribe to