[Alta-Logic] talks this Friday

[Jonathan Gallagher]

When: Friday 3-4:30
Where: MS 427
Why: 3 half hour talks

Talk 1: Chad Nester
Title: A Summary of Incompleteness Results
Abstract:
We will look briefly at a number of ways to prove that formal systems are
incomplete.

Talk 2: JS Lemay
Title: Introduction to Differential Categories
Abstract:
We will introduce the categorical axioms for differentiation.

Talk 3: Jonathan Gallagher
Title: Internal Categories part 2
Abstract:
We will review externalization and full internal subcategories.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150914/f0f308f7/attachment.html