[PL-sem-jr] NE Symposium on Formal HW Verification

[Dimitris Vardoulakis]

I 'll probably go to the symposium, so it would be nice to reschedule
pl-jr if possible

Dimitris


On 10/22/07, Richard Cobbe <cobbe at ccs.neu.edu> wrote:
> The New England Symposium on Formal Hardware Verification (for which you
> should have all received an invitation) overlaps with PL Jr next Friday,
> Nov 2.
>
> I'll ask again this Friday morning, but I'd like to get a sense of how many
> people are interested in attending both, so I can reschedule if necessary.
>
> If you're interested in going to NESFHV, or more specfically, interested in
> attending the talks between 11 to 1:30ish, would you send me an email and
> let me know?
>
> Thanks,
>
> Richard
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>