FormaliSE

International Conference on Formal Methods in Software Engineering

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

FormaliSE 2023

International Conference on Formal Methods in Software Engineering

WHEN 14-15 May 2023

WHERE Melbourne, Victoria, Australia

The FormaliSE Social Event will be held on Sunday 14 May from 6 PM to 9 PM at Meat Market, South Wharf.

The event will include dinner and a 3 hour beverage package (no spirits).

Please inform the staff upon arrival that you are there for the FormaliSE Social Function.

Bang Pop

SUNDAY 14 May (6PM - 9PM)

IMPORTANT DATES

  • Abstracts due: 09 January '23
    16 January '23
  • Submissions due: 16 January '23
    27 January '23
  • Notifications: 21 February '23
  • Camera ready copies: 13 March '23
  • Artifact Registration (optional): 16 January '23
    27 January '23
  • Artifact Submission: 23 January '23
    31 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

FormaliSE 2023

About FormaliSE

International Conference on Formal Methods in Software Engineering

© 2022 | Website by Giovanna Broccia

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