[fg-arc] FSEN 2023 Call for Participation - free virtual registration

[Maurice ter Beek]

##########################
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.terbeek at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20230423/40b9f886/attachment.htm>