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.