Welcome to FormaliSE 2023!
FormaliSE 2023 will take place on Sunday 14 May and Monday 15 May 2023, in Melbourne, Victoria, Australia, as a co-hosted conference of the International Conference on Software Engineering (ICSE2023)
FormaliSE 2023 is sponsored by:
IMPORTANT DATES
- Abstracts due:
09 January '2316 January '23 - Submissions due:
16 January '2327 January '23 - Notifications: 21 February '23
- Camera ready copies: 13 March '23
- Artifact Registration (optional):
16 January '2327 January '23 - Artifact Submission:
23 January '2331 January '23 - Artifact Notification: 21 February '23
- FormaliSE: 14 and 15 May '23
GENERAL CHAIRS
- Stefania Gnesi, Italy
- Nico Plat, the Netherlands
PC CO-CHAIRS
- Marie-Christine Jakobs, Germany
- Toby Murray, Australia
ARTIFACT EVALUATION CHAIR
- Alessio Ferrari, Italy
SOCIAL MEDIA/WEB CHAIR
- Giovanna Broccia, Italy