23 - 24 May 2021

FormaliSE: International Conference on Formal Methods in Software Engineering



09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100


May 2021


Newly Listed
Claim event to edit details

The main objective of the conference is to foster the integration between the formal methods and the software engineering communities, to strengthen .. Read more the --- still too weak --- links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. Originally a successful satellite workshop of ICSE, since 2018 FormaliSE is organised as a conference co-located with ICSE. The 9th edition of FormaliSE will be held online. The conference will be co-located with ICSE 2021.

  • Share your Experience
  • Organizer
LogoRequest a Booth


Spain1 Upcoming Events