[PL-sem-jr] There is room

[turon at ccs.neu.edu]

I'm happy to report that we have a room at the desired time (Thursdays 12-2). I am unhappy to report it is *not* WVH366. 

More neutrally: we'll be meeting in WVH166 for the semester. 

Jesse will kick off the seminar this week with a talk about Agda, "a dependently typed programming language with good support for programming with inductively defined families of types." (www.cs.chalmers.se/~ulfn/Agda)