School of Computer Science

University of Waterloo

CS 697 Grad Skills

Fall 2019

General Information

Meetings

12:00–1:20 M in DC 2568.

Instructor

Richard Trefler (David R. Cheriton School of Computer Science)
Email: trefler at cs.uwaterloo.ca.
Office: DC 2336.
Office hours: after class and by appointment.

Class schedule and outline

Announcements

• Mental Health at UW: Kristine Meier. 

• Library Skills: Rebecca Hutchinson. 

• Using branching time temporal logic to synthesize synchronization skeletons, E.A. Emerson and E.M. Clarke, Science of Computer Programming, Vol 2, Issu 3, Dec. 1982. 

Hinton, G. E. and Salakhutdinov, R. R. (2006) Reducing the dimensionality of data with neural networks. Science, Vol. 313. no. 5786, pp. 504 - 507, 28 July 2006.. 

Symmetry Reduction for the Local Mu-Calculus, Kedar S. Namjoshi, Richard J. Trefler, ETAPS, TACAS (2) 2018: 379-395.