My colleague Robin Cockett and I have been running a research group here at Calgary where the various computer scientists, mathematicians, and philosophers interested in logic, theory, foundations, etc. meet and present work. For a long time we’ve had weekly meetings and everything went great, but then both Robin and I went on leave and almost nothing happened the past year or so. But we’re starting up again! We have a fancy new website to prove it! So if you’re in the area, please come to our talks, and if you’re not in the area ordinarily but plan to come through, let me know because then we’d love you to be one of the outside speakers.
We start today at 12:30 in ICT 616, and I’m giving a history of logic talk.