Theoretical aspects of cyber-physical systems.
event
Submitted by akarns on Tue, 04/18/2023 - 10:07am
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2023)
FormaliSE 2023 will take place on Sunday 14 May and Monday 15 May 2023, in Melbourne, Victoria, Australia, as a co-hosted conference of the International Conference on Software Engineering (ICSE2023)
event
Submitted by akarns on Mon, 04/17/2023 - 2:45pm
Privacy + Security Forum - Spring 2022
The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.
event
Submitted by akarns on Mon, 04/17/2023 - 2:38pm
Privacy + Security Forum - Spring 2023
The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.
forum
Submitted by Andre Platzer on Mon, 12/19/2022 - 2:22pm
The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT, Karlsruhe, is recruiting a PhD Student or Doctoral Researcher (full-time, about EU4200-4800 gross by TVL E13 depending on experience). Exceptionally qualified applicants for postdoc positions may be considered as well.
news
Submitted by Nazli Choucri on Fri, 09/30/2022 - 1:00am
A foundational analysis of the co-evolution of the internet and international relations, examining resultant challenges for individuals, organizations, firms, and states.
forum
Submitted by nicopao on Thu, 09/08/2022 - 10:22am
14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023)
May 9-12, 2023
San Antonio, Texas, USA
URL: https://iccps.acm.org/2023/
[IMPORTANT DATES]
Abstract registration: Oct 24, 2022
Paper submission: Oct 31, 2022
Decision notification: Jan 20, 2023
Camera-ready: Mar 10, 2023
event
Submitted by nicopao on Thu, 09/08/2022 - 10:20am
14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023)
May 9-12, 2023
San Antonio, Texas, USA
URL: https://iccps.acm.org/2023/
[IMPORTANT DATES]
Abstract registration: Oct 24, 2022
Paper submission: Oct 31, 2022
Decision notification: Jan 20, 2023
Camera-ready: Mar 10, 2023
tearline
Submitted by Katie Dey on Wed, 08/03/2022 - 11:41am
event
Submitted by moishi on Fri, 05/06/2022 - 2:54pm
tearline
Submitted by Katie Dey on Thu, 04/21/2022 - 2:47pm
