Welcome to FormaliSE 2024!
FormaliSE 2024 will take place on Sunday 14 April and Monday 15 April 2024, in Lisbon, Portugal, as a co-hosted conference of the International Conference on Software Engineering (ICSE2024)
FormaliSE 2024 is sponsored by:
IMPORTANT DATES
- Abstract Submission:
01 Dec '2307 Dec '23 - Paper Submission:
08 Dec '2315 Dec '23 - Notifications: 12 Jan '24
- Camera ready copies: 28 Jan '24
- FormaliSE: 14-15 Apr '24
GENERAL CHAIRS
- Stefania Gnesi, Italy
- Nico Plat, the Netherlands
PC CO-CHAIRS
- Carlo A. Furia, Switzerland
- Antonia Lopes, Portugal
ARTIFACT EVALUATION CHAIRS
- Raúl Pardo, Denmark
- Tom van Dijk, the Netherlands
SOCIAL MEDIA/WEB CHAIRS
- Abhishek Tiwari, Germany
- Paulo Canelas, US