[PL-sem-jr] Postponed: Carl's talk

Aaron Turon turon at ccs.neu.edu
Mon Jun 23 13:10:52 EDT 2008

Previous message: [PL-sem-jr] Talk 6/23: Carl's research
Next message: [PL-sem-jr] [Pl-seminar] Dino Distefano @ Harvard Mon 6/30
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Carl's talk about modular ACL2 is getting pushed back to next week,
Monday 6/30.  Same time and place: 1-3pm, WVH366.

Previous message: [PL-sem-jr] Talk 6/23: Carl's research
Next message: [PL-sem-jr] [Pl-seminar] Dino Distefano @ Harvard Mon 6/30
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list