The scheduled talk for this week (nominal logic) will be postponed due to illness. The upcoming schedule is as follows: 2/16 Holiday (President's day) 2/23 Dimitris - control-flow analysis 3/2 Spring break (postponed talk might be moved here)