Conference

event

Visible to the public  ENERGYCON 2022
May 09, 2022 7:00 am - May 12, 2022 6:00 pm MSK

Submitted by akarns on Tue, 04/18/2023 - 10:09am

5th IEEE International Energy Conference

ENERGYCON covers a broad range of electric power and energy systems topics and is open to contributions that are related to the theme "Towards Self-healing, Resilient and Green Electric Power and Energy Systems".

event

Visible to the public  SEFM 2021 - Virtual
Dec 06, 2021 7:00 am - Dec 10, 2021 6:00 pm CET

Submitted by akarns on Tue, 04/18/2023 - 9:36am

Software Engineering and Formal Methods (SEFM 2021)

Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)

The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.

event

Visible to the public  SEFM 2023
Nov 06, 2023 7:00 am - Nov 10, 2023 6:00 pm CET

Submitted by akarns on Tue, 04/18/2023 - 9:32am

21st International Conference on Software Engineering and Formal Methods

Organised by Eindhoven University of Technology, The Netherlands

The 21st edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 10 November 2023.

event

Visible to the public  FormaliSE 2021
May 17, 2021 7:00 am - May 21, 2021 6:00 pm CEST

Submitted by akarns on Tue, 04/18/2023 - 9: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

Visible to the public  FormaliSE 2022
May 22, 2022 7:00 am - May 23, 2022 6:00 pm AEST

Submitted by akarns on Tue, 04/18/2023 - 9: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

Visible to the public  VECoS 2023
Oct 19, 2023 7:00 am - Oct 20, 2023 6:00 pm CEST

Submitted by akarns on Tue, 04/18/2023 - 9:03am

17TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS

19-20 October 2023, Marrakech, Morocco
part of the Computational Logic Autumn Summit (CLAS 2022)

VECoS 2023 is planned as a physical, in-person event to be held October 18-20, 2023 in Marrakech, Morocco.
However, in a limited number of cases, there will be remote participation support for speakers and other participants who cannot come for a number of reasons.

event

Visible to the public  VECoS 2021
Nov 22, 2021 7:00 am - Nov 23, 2021 6:00 pm +07

Submitted by akarns on Tue, 04/18/2023 - 8:59am

15TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS

VECoS 2021 is planned to take place on 22-23 November 2021 at the Institute of Software, Chinese Academy of Sciences in Beijing, China (co-located with FM 2021).

event

Visible to the public  Privacy + Security Forum - Spring 2022
Mar 23, 2022 7:00 am - Mar 25, 2022 6:00 pm EDT

Submitted by akarns on Mon, 04/17/2023 - 1: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

Visible to the public  Privacy + Security Forum - Spring 2023
May 10, 2023 7:00 am - May 12, 2023 6:00 pm EDT

Submitted by akarns on Mon, 04/17/2023 - 1: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.

event

Visible to the public  CyberSec 2021
Sep 01, 2021 7:15 am - Sep 03, 2021 7:15 pm EDT

Submitted by akarns on Mon, 04/17/2023 - 1:36pm