[PL-sem-jr] Talk 6/23: Carl's research

Aaron Turon turon at ccs.neu.edu
Sat Jun 21 14:17:37 EDT 2008

Previous message: [PL-sem-jr] Talk 6/16: Dimitris
Next message: [PL-sem-jr] Postponed: Carl's talk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This Monday, 6/23, Carl will talk about his ongoing research on module
systems for ACL2.  The talk will run from 1-3pm in WVH366.

Previous message: [PL-sem-jr] Talk 6/16: Dimitris
Next message: [PL-sem-jr] Postponed: Carl's talk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list