Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event
Submitted by akarns on Tue, 04/18/2023 - 10:16am
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2021)
FormaliSE 2021 will take place from May 17 2021 to May 21 2021, in Madrid, Spain, as a co-hosted conference of the International Conference on Software Engineering (ICSE2021)
event
Submitted by akarns on Tue, 04/18/2023 - 10:13am
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2022)
FormaliSE 2022 will take place from May 22 2022 to May 23 2022, in Pittsburgh, PA, USA, as a co-hosted conference of the International Conference on Software Engineering (ICSE2023)
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 Anonymous on Wed, 02/01/2023 - 11:07am
event
Submitted by mitras on Tue, 01/24/2023 - 10:50am
Generalized RAcing Intelligence Competition (GRAIC) is a simulated vehicle race co-located with CPS-IOT Week 2023. GRAIC brings together researchers in AI, planning, synthesis, and control to create a platform for comparing different algorithms for controlling vehicles in dynamic and uncertain environments.
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.
event
Submitted by Anonymous on Thu, 12/08/2022 - 11:12am
11th International Conference on Cyber-Physical Systems
Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
event
Submitted by Anonymous on Wed, 12/07/2022 - 3:50pm
The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023 aka Ada-Europe 2023) will take place in Lisbon, Portugal. The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.
