Conference

event

Visible to the public  ICST 2023
Apr 16, 2023 7:00 am - Apr 20, 2023 7:00 pm CEST

Submitted by Anonymous on Wed, 12/07/2022 - 12:39pm

16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)

The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2023 will include keynote addresses by eminent scientists as well as special, regular, and poster sessions.

event

Visible to the public  ETAPS 2023
Apr 22, 2023 7:00 am - Apr 27, 2023 7:15 pm CEST

Submitted by Anonymous on Wed, 12/07/2022 - 12:27pm

European Joint Conferences on Theory and Practice of Software

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS, and TACAS, accompanied by satellite workshops.

ETAPS is supported by the ETAPS Association.

ETAPS 2023, scheduled to happen in Paris at Campus Pierre & Marie Curie, organized by Sorbonne Universite and Sorbonne Paris Nord, is the 26th event of the series.

event

Visible to the public  ANT 2023
Mar 15, 2023 7:00 am - Mar 17, 2023 7:00 pm CET

Submitted by akarns on Wed, 12/07/2022 - 12:02pm

The 14th International Conference on Ambient Systems, Networks and Technologies

The 14th International Conference on Ambient Systems, Networks and Technologies (ANT 2023) is a leading international conference for researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all Ambient Systems, Networks and Technologies related areas. ANT 2023 will be held in conjunction with the 6th International Conference on Emerging Data and Industry (EDI40).

event

Visible to the public  ICCPS 2023 - 14th ACM/IEEE International Conference on Cyber-Physical Systems
May 09, 2023 12:00 am - May 12, 2023 11:00 pm UTC

Submitted by nicopao on Thu, 09/08/2022 - 9: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

 

 

event

Visible to the public  SPLASH 2022
Dec 05, 2022 7:00 am - Dec 10, 2022 8:00 pm NZDT

Submitted by Anonymous on Fri, 06/03/2022 - 4:59pm

The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.

event

Visible to the public  COORDINATION 2022
Jun 13, 2022 6:45 am - Jun 17, 2022 7:45 pm CEST

Submitted by Anonymous on Fri, 06/03/2022 - 4:54pm

24th International Conference on Coordination Models and Languages

COORDINATION 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.

Scope

event

Visible to the public  TASE 2022
Jul 08, 2022 6:45 am - Jul 10, 2022 7:45 pm EEST

Submitted by Anonymous on Fri, 06/03/2022 - 4:51pm

16th Theoretical Aspects of Software Engineering Conference (TASE 2022)

The 16th Theoretical Aspects of Software Engineering Conference (TASE 2022) will be held in Cluj-Napoca, Romania on July 8-10, 2022. TASE 2022 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex.

event

Visible to the public  ICFEM 2022
Oct 24, 2022 6:30 pm - Oct 27, 2022 7:30 pm CEST

Submitted by Anonymous on Fri, 06/03/2022 - 4:37pm

event

Visible to the public  FACS 2022
Nov 10, 2022 7:00 am - Nov 11, 2022 7:00 pm CET

Submitted by Anonymous on Fri, 06/03/2022 - 4:07pm

18th International Conference on Formal Aspects of Component Software

The Formal Aspects of Component Software (FACS) conference series targets research in formal approaches for distributed components and services. The conferences cover topics including models, languages, analysis and verification techniques for component-based systems such as service-oriented architecture, cloud and edge computing, safety-critical, hybrid and cyber physical systems, etc.

Topics

event

Visible to the public  FORMATS 2022
Sep 12, 2022 6:00 pm - Sep 17, 2022 7:00 pm CEST

Submitted by Anonymous on Fri, 06/03/2022 - 4:02pm

20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)

FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems.