2023

event

Visible to the public  MODPROD & OpenModelica 2023
Feb 06, 2023 7:00 am - Feb 08, 2023 7:00 pm CET

17th MODPROD Workshop on Model-Based Cyber-Physical Product Development, February 7-8, 2023

and

15th OpenModelica Annual Workshop, February 6, 2023

Location: Linkoping University

In cooperation with IEEE Computer Society Swedish Chapter

Keynotes for MODPROD Workshop 2023 (preliminary):

event

Visible to the public  DeepLearn 2023 Winter
Jan 16, 2023 7:00 am - Jan 20, 2023 7:00 pm GMT

8th International School on Deep Learning

DeepLearn 2023 Winter will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning.

ADDRESSED TO

Graduate students, postgraduate students and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees, so people less or more advanced in their career will be welcome as well.

event

Visible to the public  SPIN 2023
Apr 26, 2023 7:00 am - Apr 27, 2023 7:00 pm CEST

The 29th edition of the SPIN symposium aims to bring together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation. The proceedings of SPIN 2023 will be published in Springer's Lecture Notes in Computer Science series.

event

Visible to the public  CPS-IoT Week 2023
May 09, 2023 7:00 am - May 12, 2023 7:00 pm CDT

CPS-IoT Week is the premier event on Cyber-Physical Systems and the Internet-of-Things. It brings together five top conferences, HSCC, ICCPS, IoTDI, IPSN, and RTAS, multiple workshops, tutorials, and competitions.


CPS-IoT Week 2023 is planned as an in-person event, and will be held on the Main Campus of The University of Texas at San Antonio (UTSA). In case the pandemic situation gets worse than expected in early 2023, the Organizing Committee reserves the right to hold the event in hybrid or full-virtual modes.

event

Visible to the public  DATE 2023
Apr 17, 2023 7:00 am - Apr 19, 2023 7:00 pm CEST

Design, Automation and Test in Europe Conference | The European Event for Electronic System Design & Test

17 - 19 April 2023 | Antwerp, Belgium

The DATE conference is the main European event bringing together designers and design automation users, researchers and vendors as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems. DATE puts a strong emphasis on both technology and systems, covering ICs/SoCs, reconfigurable hardware and embedded systems as well as embedded software.

event

Visible to the public  Nullcon Berlin 2023
Mar 06, 2023 7:00 am - Mar 10, 2023 7:00 pm CET

Nullcon since inception in 2010 has been successfully running the annual security conference in Goa. To give that same zeal & experience to our International community, We organized the 1st ever edition of Nullcon at Berlin in April 2022. The focus of the Conference is to bring in the elite security researchers showcasing their offensive & defensive security technology to share exceptional insights on "neXt Big Thing in Security".

event

Visible to the public  HiPEAC 2023
Jan 16, 2023 6:00 am - Jan 18, 2023 7:00 pm CET

The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for general-purpose, embedded and cyber-physical systems. Areas of focus and integration include safety-critical dependencies, cybersecurity, energy efficiency and machine learning.

The HiPEAC 2023 conference will take place in Toulouse, France. Associated workshops, tutorials, special sessions, several large poster session and an industrial exhibition will run in parallel with the conference.

event

Visible to the public  FM 2023
Mar 06, 2023 8:00 am - Mar 10, 2023 8:00 pm CET

25th International Symposium on Formal Methods

University of Lübeck, Germany
Main conference: March, 7th – 9th, 2023
Workshops, Tutorial, etc. March 6th, 10th 2023

FM 2023 is the 25th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.

Vision for the Event