FormaliSE

International Conference on Formal Methods in Software Engineering

FormaliSE
  • Home
  • About
  • Attending
    Accepted Papers Program Keynotes Registration
  • Organization
  • Submission
  • Artifacts
  • Previous Editions

FormaliSE 2024

International Conference on Formal Methods in Software Engineering

WHEN 14-15 Apr '24

WHERE Lisbon, Portugal

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 '23
    07 Dec '23
  • Paper Submission: 08 Dec '23
    15 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

FormaliSE 2024

About FormaliSE

International Conference on Formal Methods in Software Engineering

© 2022 | Website by Giovanna Broccia