This announcement is for the VAGUE list (I'm CCing VTFun). Here are a pair of talks for the end of this year. What seemed esoteric when we were all just Bashing away (a little pun for Flint there, see?) in Unix is becoming the mainstream. The ironic thing is that the whole point is to make it EASIER to program and maintain systems, the old imperative way is just too difficult and they doesn't scale, so buck up and put on your thinking caps. Better tackle this stuff among friends.
Engines of Logic http://www.meetup.com/VTCode/events/226387942/?a=ea1_grp&rv=ea1 Formal Verification of Distributed Systems http://www.meetup.com/VTCode/events/226386524/?a=ea1_grp&rv=ea1 PS. There is some talk of pizza or something. Not sure if that will pan out. -- Anthony Carrico
signature.asc
Description: OpenPGP digital signature
