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:<div>\n  <p>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 &amp; experiences in online instru
 ction gained in the last year.</p>\n</div><div>\n 
  <p>You can submit your contribution at EasyChair.
  Submissions should contain a title, a short abstr
 act (to be published as part of the program) as we
 ll as a short description of how you plan to prese
 nt (e.g. talk/live demo and/or poster/demo exhibit
 ion booth). The time slots for presentations can v
 ary, as we expect short presentations of tips&amp;
 tricks but also some longer demos of tools. In the
  gather-town-like sessions, every presenter/projec
 t will have a presentation area where demos, poste
 r presentation, etc. (presenters have complete fre
 edom) are possible.</p>\n</div>
URL:https://www7.in.tum.de/~kretinsk/fomeo.html
END:VEVENT
END:VCALENDAR