Second Meeting: Friday April 13th at 11am ("Termination Proofs for System Code")

6 views
Skip to first unread message

Matt Russell

unread,
Apr 4, 2012, 11:13:14 PM4/4/12
to tufts-cs-re...@googlegroups.com
Hey everyone,

So I've been charged with setting up the next meeting since the seniors who typically plan these meetings are extremely busy writings awards, winning awards, and the like. We had an interesting discussion in the Faculty Candidate Lecture and the "Terminator" came up as a tool to determine (in many but not all cases) termination in programs. There was a lot of interest in this paper among many undergraduates so I thought I'd pick a date and see if there any major objections. I'm assuming pizza as well if we give the front office the heads up.

Paper:

Matt

Taylor Lentz

unread,
Apr 5, 2012, 12:04:39 AM4/5/12
to tufts-cs-re...@googlegroups.com
YES

--
You received this message because you are subscribed to the Google Groups "Tufts CS Reading Group" group.
To view this discussion on the web visit https://groups.google.com/d/msg/tufts-cs-reading-group/-/OQoW0YV84BoJ.
To post to this group, send email to tufts-cs-re...@googlegroups.com.
To unsubscribe from this group, send email to tufts-cs-reading-...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/tufts-cs-reading-group?hl=en.



--
Taylor Lentz | Tufts University School of Engineering - 2014 | B.S. in Computer Science and Math

Phil Tang

unread,
Apr 5, 2012, 11:20:08 AM4/5/12
to tufts-cs-re...@googlegroups.com
I'll be out of town, but have fun with the paper! It sounds like a fun one.

Phil
--
Reply all
Reply to author
Forward
0 new messages