Research Workshop in Formal Modeling  

A forum for the presentation and discussion of research in formal modeling. Anyone working on formal modeling or empirical testing of formal models is welcome to attend. To receive credit for the course, a student must attend regularly, participate actively, and make at least two presentations per semester. Presentations can be of the student's own work-in-progress or of work by other scholars (including both influential/classic works or interesting current working papers).