BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2021/newsitem/12616/12 -July-2021-Formal-Methods-Education-Online-Tips-Tr icks-Tools-FOMEO-21-Virtual DTSTAMP:20210328T230704 SUMMARY:Formal Methods Education Online: Tips, Tri cks & Tools (FOMEO'21), Virtual DTSTART;VALUE=DATE:20210712 DTEND;VALUE=DATE:20210712 LOCATION:Virtual DESCRIPTION:Online instruction of formal methods h as been a challenge in the last year, including te aching of basics of logics and automata theory, fo rmal verification, theorem proving etc. This satel lite workshop of ICALP brings together instructors of formal methods as well as developers of teachi ng support systems for formal methods to (1) prese nt tools supporting teaching of formal methods edu cation, and (2) discuss tips, tricks & experiences in online instruction gained in the last year. Y ou can submit your contribution at EasyChair. Subm issions should contain a title, a short abstract ( to be published as part of the program) as well as a short description of how you plan to present (e .g. talk/live demo and/or poster/demo exhibition b ooth). The time slots for presentations can vary, as we expect short presentations of tips&tricks bu t also some longer demos of tools. In the gather-t own-like sessions, every presenter/project will ha ve a presentation area where demos, poster present ation, etc. (presenters have complete freedom) are possible. X-ALT-DESC;FMTTYPE=text/html:
Online in struction of formal methods has been a challenge i n the last year, including teaching of basics of l ogics and automata theory, formal verification, th eorem proving etc. This satellite workshop of ICAL P brings together instructors of formal methods as well as developers of teaching support systems fo r formal methods to (1) present tools supporting t eaching of formal methods education, and (2) discu ss tips, tricks & experiences in online instru ction gained in the last year.