Toggle navigation
About
About CIDMA
Mission and Rules
Administration
External Scientific Advisory Commissions
Financial Support and Equality Policy
Welcome to CIDMA (useful info)
Funding
Calls
Current Projects
Research Positions
People
Coordinator
Members
Collaborators
Former Members
Visitors
From 2010 to 2012
From 2013 to 2015
From 2016 to 2018
2019
2020
2021
2022
2023
From 2020 to 2023
Organization
Algebra and Geometry Group
Complex and Hipercomplex Analysis Group
Functional Analysis and Applications Group
Gravitational Geometry and Dynamics Group
History of Mathematics and Mathematical Education Group
Optimization, Graph Theory and Combinatorics Group
Probability and Statistics Group
Systems and Control Group
Thematic Lines (or Thematic Strands)
Publications
Highlights
highlights2019-2022
From 2010 to 2012
From 2013 to 2015
From 2016 to 2018
Publications 2019
Publications 2020
Publications 2021
From 2020 to 2024
Highlights
From 2010 to 2012
From 2013 to 2015
From 2016 to 2018
CIDMA Posters
CIDMA Young Doctorate Awards
Events
Annual Meeting
From 2010 to 2018
Seminars and Courses (2010 to 2012)
Seminars and Courses (2015 to 2013)
Seminars and Courses (2016 to 2018)
Other Events (2010 to 2012)
Other Events (2013 to 2015)
Other Events (2016 to 2018)
2019
Colloquiums
Conferences and Workshops
Seminars
Courses
PhD/MSc Public Defenses
Visits
Communications
2020
Colloquiums
Conferences and Workshops
Seminars
Courses
PhD/MSc Public Defenses
Visits
Communications
2021
Colloquiums
Conferences and Workshops
Seminars
Courses
PhD/MSc Public Defenses
Visits
Communications
2022
Colloquiums
Conferences and Workshops
Seminars
Courses
PhD/MSc Public Defenses
Visits
Communications
2023
Colloquiums
Conferences and Workshops
Seminars
Courses
PhD/MSc Public Defenses
Visits
Communications
Outreach
Transfer
Society
COVID-19
Reports
Login
Login
recover password?
SEFM — 22nd International Conference on Software Engineering and Formal Methods
04/11/2024 to 08/11/2024
University of Aveiro
more information
Published/edited at: 02/11/2024