[Alta-Logic] peripatetic seminars this week

[Jonathan Gallagher]

Just a reminder, Brenda Johnson is speaking *tomorrow* at *2pm* in *ICT 616*
on Functor Calculus and Precalculus.

Also, on Thursday, there will be another peripatetic seminar on the models
of the untyped
lambda calculus, and the modernization of the Scott-Koymans theorem.  This
will
again be a lunchtime talk: *Thursday 12:15 pm *in *ICT 616.*  The title and
abstract
are the same as today's talk.  And again, bring your lunch.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20170815/08b3f0be/attachment.html