[PRL] Logic Course at BU

[Mitchell Wand]

On 12/21/2005 Assaf Kfoury wrote:

> Hello Mitch,
>
> I will run a weekly seminar at BU in the Spring 2006 semester, an 
> introduction to Modal Logic and Linear Logic, in roughly equal parts 
> (first half of the semester, second half of the semester), for 
> first-year graduate students in CS. See the attached announcement. The 
> two texts tell you the level of the coverage. Students will take turn 
> to make weekly presentations, which I will assign. It is now marked as 
> a 2-hour seminar, but will be best run as a 3-hour seminar with a 
> short break in the middle. But I want to see who will show up at the 
> first meeting and what are the restrictions.
>
> You are on the quarter system, we on the semester system. But I think 
> I can make adjustments to accomodate students who are interested.
>
> Best,
> Assaf 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: CS792-announcement.pdf
Type: application/pdf
Size: 28438 bytes
Desc: not available
Url : https://lists.ccs.neu.edu/pipermail/prl/attachments/20051221/e56f9d2a/CS792-announcement-0001.pdf