The 2021 SEFM Workshops and Symposia provide a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering
and formal methods.

The workshops below will be co-located with SEFM 2021:

CoSim-CPS 2021: Tuesday 7 December 2021

5th Workshop on Formal Co-Simulation of Cyber-Physical Systems

ASYDE 2021: Monday 6 December 2021

3rd International Workshop on Automated and verifiable Software sYstem DEvelopment

OpenCERT 2021: Tuesday 7 December 2021

10th International Workshop on Open Community approaches to Education, Research and Technology

CIFMA 2021: Monday 6 December 2021

3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications

DataMod 2021: Monday 6 and Tuesday 7 December 2021

10th International Symposium From Data to Models and Back

Program

MONDAY 6 DECEMBER 2021 - DataMod programme
(Zoom link: https://nu-edu-kz.zoom.us/j/93264784092)

GMT Time

08:40-08:50 (CET: 09:40-09:50; East Kazakhstan: 14:40-14:50)

• DataMod - Opening

08:50-09:50 (CET: 09:50-10:50; East Kazakhstan: 14:50-15:50)

• DataMod - INVITED TALK: Andrea Vandin

09:50-10:30 (CET: 10:50-11:30; East Kazakhstan: 15:50-16:30)

• DataMod - Break

10:30-12:30 (CET: 11:30-13:30; East Kazakhstan: 16:30-18:30)

• DataMod - accepted papers 1-4

MONDAY 6 DECEMBER 2021 - CIFMA programme
(Zoom link: https://nu-edu-kz.zoom.us/j/92622447716)

GMT Time

09:50-10:00 (CET: 10:50-11:00; East Kazakhstan: 15:50-16:00)

• CIFMA- Opening

10:00-11:30 (CET: 11:00-12:30; East Kazakhstan: 16:00-17:30)

• CIFMA - Session 1 (accepted papers 1-3)

11:30-12:30 (CET: 12:30-13:30; East Kazakhstan: 17:30-18:30)

• CIFMA - Break

12:30-13:00 (CET: 13:00-14:00; East Kazakhstan: 18:00-19:00)

• CIFMA - Break, Attending ASYDE invited talk

13:00-13:30 (CET: 14:00-14:30; East Kazakhstan: 19:00-19:30)

• CIFMA - Break

13:30-15:00 (CET: 14:30-16:00; East Kazakhstan: 19:30-21:00)

• CIFMA - Section 2 (accepted papers 4-6)

15:00-15:30 (CET: 16:00-16:30; East Kazakhstan: 21:00-21:30)

• CIFMA - Break

15:30-17:30 (CET: 16:30-18:30; East Kazakhstan: 21:30-23:30)

• CIFMA - Section 3 (accepted papers 7-10)

17:30-18:00 (CET: 18:30-19:00; East Kazakhstan: 23:30-24:00)

• CIFMA - Break

18:00-19:00 (CET: 19:00-20:00; East Kazakhstan: 00:00-01:00 + 1 day)

• CIFMA - INVITED TALK: Martin Davis

19:00-19:05 (CET: 20:00-20:05; East Kazakhstan: 00:10-01:05 + 1 day)

• CIFMA - Closing

MONDAY 6 DECEMBER 2021 - ASYDE programme
(Zoom link: https://nu-edu-kz.zoom.us/j/95918344553)

GMT Time

12:30-13:00 (CET: 13:30-14:00; East Kazakhstan: 18:30-19:00)

• ASYDE - INVITED TALK: Patrizio Pelliccione

13:00-14:00 (CET: 14:00-15:00; East Kazakhstan: 19:00-20:00)

• ASYDE - accepted papers 1-2

TUESDAY 7 DECEMBER 2021 - DataMod programme
(Zoom link: https://newcastleuniversity.zoom.us/j/83246651635?pwd=MGw3Tm1CU0VLa2FHcis1YWRNeHBnUT09)

GMT Time

08:40-08:50 (CET: 09:40-09:50; East Kazakhstan: 14:40-14:50)

• DataMod - Opening

08:50-09:50 (CET: 09:50-10:50; East Kazakhstan: 14:50-15:50)

• DataMod - INVITED TALK: Antonio Cerone

10:00-11:00 (CET: 11:00-12:00; East Kazakhstan: 16:00-17:00)

• DataMod - Presentations 1-3 (reports)

11:00-12:00 (CET: 12:00-13:00; East Kazakhstan: 17:00-18:00)

• DataMod - Attending OpenCERT invited talk

12:00-13:00 (CET: 13:00-14:00; East Kazakhstan: 18:00-19:00)

• DataMod - Attending CoSim-CPS invited talk

13:00-14:20 (CET: 14:00-15:20; East Kazakhstan: 19:00-20:20)

• DataMod - Presentations 4-7 (reports)

14:20-15:00 (CET: 15:20-16:00; East Kazakhstan: 20:20-21:00)

• DataMod - Discussion and Closing

TUESDAY 7 DECEMBER 2021 - CoSim-CPS programme
(Zoom link: https://nu-edu-kz.zoom.us/j/96630723580)

GMT Time

09:55-10:00 (CET: 10:55-11:00; East Kazakhstan: 15:55-16:00)

• CoSim-CPS - Opening

10:00-11:00 (CET: 11:00-12:00; East Kazakhstan: 16:00-17:00)

• CoSim-CPS - Session 1: Convergence and Stability of Co-simulations (2 papers)

11:00-12:00 (CET: 12:00-13:00; East Kazakhstan: 17:00-18:00)

• CoSim-CPS - Attending OpenCERT invited talk

12:00-13:00 (CET: 13:00-14:00; East Kazakhstan: 18:00-19:00)

• CoSim-CPS - INVITED TALK: Paolo Bellavista

13:00-14:00 (CET: 14:00-15:00; East Kazakhstan: 19:00-20:00)

• CoSim-CPS - Session 2: Maritime Applications

14:00-14:20 (CET: 15:00-15:20; East Kazakhstan: 20:00-20:20)

• CoSim-CPS - Break

14:20-15:40 (CET: 15:20-16:40; East Kazakhstan: 20:20-21:40)

• CoSim-CPS - Session 3: Automotive and Aircraft Applications & Frameworks

15:40-15:45 (CET: 16:40-16:45; East Kazakhstan: 21:40-21:45)

• CoSim-CPS - Discussion and Closing

TUESDAY 7 DECEMBER 2021 - OpenCERT programme
(Zoom link: https://nu-edu-kz.zoom.us/j/92707374699)

GMT Time

10:45-11:00 (CET: 11:45-12:00; East Kazakhstan: 16:45-17:00)

• OpenCERT - Opening

11:00-12:00 (CET: 12:00-13:00; East Kazakhstan: 17:00-18:00)

• OpenCERT - INVITED TALK: Ioannis Stamelos

12:00-13:00 (CET: 13:00-14:00; East Kazakhstan: 18:00-19:00)

• OpenCERT - Attending CoSim-CPS invited talk

13:00-13:30 (CET: 14:00-14:30; East Kazakhstan: 19:00-19:30)

• OpenCERT - Break

13:30-15:30 (CET: 14:30-16:30; East Kazakhstan: 19:30-21:30)

• OpenCERT - Contributed papers (paper 1-4)

15:30-16:00 (CET: 16:30-17:00; East Kazakhstan: 21:30-22:00)

• OpenCERT - Break

16:00 -17:00 (CET: 17:00-18:00; East Kazakhstan: 22:00-23:00)

• OpenCERT: INVITED TALK: Tony Wasserman invited talk

17:00-17:30 (CET: 18:00-18:30; East Kazakhstan: 23:00-23:30)

• OpenCERT: Discussion and Closing