[PL-sem-jr] Tentative schedule and tomorrow: Ian on prioritizing ACL2 rules
dimvar at ccs.neu.edu
Wed Jan 13 13:36:23 EST 2010
On Wed, Jan 13, 2010 at 1:25 PM, Vincent St-Amour <stamourv at ccs.neu.edu> wrote:
> Hey everyone,
> Following this morning's meeting, the schedule we agreed on is now
> It's also available on google calendar (link on the wiki page). Is
> anyone using it?
> There has been a minor change of schedule: instead of beginning at 12,
> as we discussed, seminars will begin at 11:45 to align with other
> classes and seminars.
> Finally, the first seminar will be held tomorrow. Ian will talk about
> his current research on prioritizing rules in ACL2. I'll send you the
> room as soon as I know it (likely 166 or 164).
> See you there,
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
More information about the Pl-sem-jr