February 23-24, 2018, FME Teaching Committee, first meeting: Agenda and references Agenda Welcome and introductions What does Teaching FM will focus on? Database of courses Resources BoK (body of knowledge) Examples/Case Studies repositories Short term goals Database of formal methods courses What is a formal methods course Format of database (pointers to courses, not content) Assign person(s) to design the database and maintain it on some webpage, should be yearly updated and made available to FME Some deadline for all of us populating it with what we know of so far (May-June 2018?