From rzach at ucalgary.ca Tue Jan 20 15:50:03 2015 From: rzach at ucalgary.ca (Richard Zach) Date: Tue Jan 20 15:50:11 2015 Subject: [Alta-Logic] Website news Message-ID: <54BEDB9B.60002@ucalgary.ca> Hi! After months of struggles with IT, the new website is now functional. http://ucalgary.ca/logic - Every user account has a "member information" section where people should add their name, website, etc., and especially whether they want to be listed on the website as members of the CPRGLCT, the Vendler Group, or both. - This information populates the "People" page on http://ucalgary.ca/logic - There are sub-areas for the CPRGLCT & VRG, with their own info page, people listing, and contact page. The CPRGLCT also has a legacy "research" page. New pages can be added. - The "events" and "news" pages provide calendar views of events and blog posts which any registered member of the site can add. So far they aren't filtered by research group/interest because IT apparently isn't capable of making that work. What you need to know: - If you or your department links to either or both of the groups, make sure your links are updated. ucalgary.ca/logic for the umbrella page, ucalgary.ca/logic/cprglct and ucalgary.ca/logic/vendler for the subpages. - If you already have an account (ie, logged in on the site with your UofC id/password), please make sure your member information is current and you have selected the group(s) you want to be listed under. - If you don't already have an account, please go to http://ucalgary.ca/logic/logon and log in, then click on "edit", then on "member information," then fill out the form and save it. - If you're in charge of scheduling talks, please add them to the calendar; you can also announce other items of note as a blog post. - If you're one of the organizers and don't alread have permission to edit or add pages, let me know. (When logged in, an "edit" tab should appear.) - More info at http://www.ucalgary.ca/logic/members -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From chad.nester at gmail.com Wed May 20 21:13:54 2015 From: chad.nester at gmail.com (Chad Nester) Date: Wed May 20 21:14:00 2015 Subject: [Alta-Logic] Series of lectures on basic recursion theory Message-ID: We're planning to hold an informal "introduction to computability theory" series of lectures this summer, beginning this Friday with primitive recursive functions. Anyone interested is welcome to attend. I'll send out the time and place tomorrow after organizing a room. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150521/462863e9/attachment.html From chad.nester at gmail.com Thu May 21 21:50:39 2015 From: chad.nester at gmail.com (Chad Nester) Date: Thu May 21 21:50:45 2015 Subject: [Alta-Logic] May 22nd 2015: Primitive recursive functions in ICT 638 at 3:00pm Message-ID: The date and time are set! I don't know which room we'll end up in but 638 is usually free. If we get a different room I'll send an update as soon as possible. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150522/c516489f/attachment.html From athomasb at ucalgary.ca Mon Jul 20 15:49:35 2015 From: athomasb at ucalgary.ca (Aaron T-B) Date: Mon Jul 20 15:49:45 2015 Subject: [Alta-Logic] Talk TOMORROW Message-ID: <55AD6CEF.2090905@ucalgary.ca> Hi, Gillman Payette ( Banting Postdoc at UBC, PhD in Philosophy from UofC) will be giving a short talk /tomorrow/ (Tuesday, July 21st) at 3pm in the philosophy department on the 12th floor of Social Sciences. The title of the talk is: An Argument for Determinism. Gillman will be presenting an argument for determinism using modal logic. The talk should be accessible to anyone interested in such things. We apologize for the short notice, but hope to see you there. All the Best, Aaron Thomas-Bolduc -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150720/f660b76b/attachment.html From chad.nester at gmail.com Thu Jul 23 14:20:18 2015 From: chad.nester at gmail.com (Chad Nester) Date: Thu Jul 23 14:20:22 2015 Subject: [Alta-Logic] Computability Theory Seminar Message-ID: We're going to start doing this again. The next talk is tomorrow (Friday, July 24th) in ICT 616 at 3:00 pm. we'll be picking up where we left off last time, when we covered the primitive recursive functions and constructions using them. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150723/4c769fd5/attachment.html From jdgall84 at gmail.com Wed Aug 19 11:09:00 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Wed Aug 19 11:09:46 2015 Subject: [Alta-Logic] two talks this week Message-ID: who: Jonathan Gallagher what: Internal Categories part 1 where: ICT 616 2 pm Today abstract: This will be the first part of an at least three part series on internal categories. Our end goal is to understand when a category \X contains an internal category \C with the property that \X \simeq \C. Today's talk will focus on proving that the collection of internal categories, functors, and natural transformations form a 2-category. who: Jonathan Gallagher what: Categorical Models of MELL where: ICT 616 11:30 August 20 abstract: In this talk we will review the answer to the question: "What is a categorical model of (the multiplicative, exponential fragment of) linear logic?" In particular we will show how and when comonads on a monoidal category lead to products on the category of coalgebras for the comonad. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20150819/a0cb68ef/attachment.html From jdgall84 at gmail.com Mon Sep 14 12:39:32 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Sep 14 12:40:18 2015 Subject: [Alta-Logic] talks this Friday Message-ID: 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 From rzach at ucalgary.ca Thu Sep 24 20:17:17 2015 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Sep 24 20:17:26 2015 Subject: [Alta-Logic] Talk Friday on Carnap Message-ID: <5604AEAD.8020209@ucalgary.ca> If you find yourself with nothing better to do, I'm talking about Carnap's early work on logic tomorrow at 3pm. http://phil.ucalgary.ca/event/2015-09-25/philosophy-speakers-richard-zach-ucalgary-carnaps-general-axiomatics -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From jdgall84 at gmail.com Thu Oct 1 14:51:40 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Oct 1 14:52:45 2015 Subject: [Alta-Logic] Seminar tomorrow Message-ID: There will be two talks tomorrow at 3:00 in MS 427! Talk1: Jonathan Gallagher Abstract: This talk will continue the investigation into internal categories. We will review externalization and internal base valued functors. Talk2: Ben MacAdam Abstract: This talk will introduce synthetic differential geometry! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151001/9dcbbd4d/attachment.html From jdgall84 at gmail.com Thu Oct 15 16:06:20 2015 From: jdgall84 at gmail.com (Jonathan) Date: Thu Oct 15 16:06:28 2015 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <5620235C.5030202@gmail.com> Two talks. When: Friday October 16 starting at 3 pm Where: MS 427 Talk 1: Chad Nester Title: Realizability part 1 Abstract: In this talk, we introduce partial combinatory algebras and look at some of their properties. We will also look at Kleene's notion of realizability. Talk 2: Prashant Kumar Title: An Assembly Language for Concurrency Abstract: We will introduce AMPL -- the abstract machine for the concurrent programming language MPL. From jdgall84 at gmail.com Mon Oct 19 09:27:59 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Oct 19 09:28:47 2015 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: Sorry for the short notice, but be delighted that there is a peripatetic seminar today from 3:00-4:30 pm in ICT 616. Chad Nester will continue from Friday's talk on realizability theory and partial combinatory algebra. Since this looks like a better time for many people, go ahead and book your calendar! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151019/780ea35c/attachment.html From jdgall84 at gmail.com Mon Oct 26 13:17:45 2015 From: jdgall84 at gmail.com (Jonathan) Date: Mon Oct 26 13:17:52 2015 Subject: [Alta-Logic] peripatetic seminar room update Message-ID: <562E7C59.3050305@gmail.com> There was a scheduling conflict with ICT 616 this week only. We will meet on the 6th floor of ICT by the printers, and move to the theory library ("Jabberwocky") for the seminar today. From rzach at ucalgary.ca Mon Oct 26 13:23:59 2015 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Oct 26 13:24:10 2015 Subject: [Alta-Logic] Logic Website Message-ID: <562E7DCF.10909@ucalgary.ca> Hi, Reminder that the Peripatetic Group and the Vendler Group now have a joint website: http://www.ucalgary.ca/logic/ You can log in (ling in the sidebar) with your UofC id, add your details and affiliations in your profile ("edit" tab, then "Member Information" tab) -- this will update the "People" pages for both groups automatically. If you are on this email list but don't show up at https://www.ucalgary.ca/logic/people please go and add yourself! When logged in, there's a "Add Content" link in the sidebar which you can use to post events to the calendar and "blog entries" for the "News" pages. Events can be assigned to CPRGLCT, vendler, or General Interest if you want it to show up in both calendars. -R -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From jdgall84 at gmail.com Mon Nov 23 11:10:21 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Nov 23 11:11:08 2015 Subject: [Alta-Logic] peripatetic seminar today Message-ID: Speaker: Chad Nester Title: Realizability (continued) Location: ICT 616 at 3:00 pm. We will continue developing the story of realizability toposes. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151123/87a66eba/attachment.html From jdgall84 at gmail.com Sun Nov 29 16:50:26 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Sun Nov 29 16:51:11 2015 Subject: [Alta-Logic] peripatetic seminar Message-ID: Monday, November 30, 3:00pm, ICT 616 Speaker: Robin Cockett Title: Introduction to Tangent Categories -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151129/219084e0/attachment.html From jdgall84 at gmail.com Mon Dec 7 03:00:15 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Dec 7 03:01:17 2015 Subject: [Alta-Logic] peripatetic seminar Message-ID: ICT 616 @ 3:00 pm Speaker: Emily Riehl Title: Homotopy Coherent Monads -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151207/92c0685a/attachment.html From jdgall84 at gmail.com Mon Dec 14 04:09:03 2015 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Dec 14 04:10:15 2015 Subject: [Alta-Logic] final seminar of 2015 Message-ID: at 11:00 am Monday the 14th, in ICT 616 Speaker: Robin Cockett Title: Differential and Tangent Categories part 2 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151214/a2f61592/attachment.html