##########################
FSEN 2023 Call for Participation
Tenth International Conference on
Fundamentals of Software Engineering 2023 Theory and Practice (FSEN 2023)
http://fsen.ir/2023/
Tehran, Iran (Hybrid - virtual participation possible)
4 - 5 May, 2023
##########################
FSEN is an international conference that aims to bring together researchers,
engineers, developers, and practitioners from the academia and the industry
to present and discuss their research work in the area of formal methods for
software engineering.
This year, FSEN will be held in hybrid format on Thursday, May 4th and
Friday, May 5th, 2023.
The two-day event includes four keynote talks and four sessions.
The preliminary conference programme can be found at:
http://fsen.ir/2023/Programme.aspx
Attendance is free of charge but requires registration. Please register
no later
than May 1st at:
http://fsen.ir/2023/Registration.aspx
Keynote Speakers
------------------------
Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Dines Bjørner, Technical University of Denmark, Denmark
Mohammad Reza Mousavi, King's College London, UK
Heike Wehrheim, University of Oldenburg, Germany
PC Co-Chairs
-------------------
Hossein Hojjat, Tehran Institute for Advanced Studies, Iran
Erika Abraham, RWTH Aachen University, Germany
--
Maurice H. ter Beek
head FMT lab, ISTI-CNR, Pisa, Italy
e-mail: maurice.terb...@isti.cnr.it
homepage: fmt.isti.cnr.it/~mtbeek <http://fmt.isti.cnr.it/~mtbeek/>
office phone: +39-050-6213471
mobile phone: +39-348-2436998
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
