[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FROM 2020 Working Formal Methods Symposium
is kindly inviting you to participate. The conference is online and free
of charge, so we hope that you will take advantage of this opportunity to
follow the presentations of our distinguished list of invited speakers.
The final program is available here:
http://www.cs.ubbcluj.ro/from2020/conference-programme/
Please register following the link:
http://www.cs.ubbcluj.ro/from2020/conference-registration/
The conference will be hosted on Zoom and the details will be available here:
http://www.cs.ubbcluj.ro/from2020/connect-to-the-conference/
General chairs
Simona Motogna and Florin Craciun
