From ggpayett at ucalgary.ca Wed Jan 4 13:09:53 2023 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Wed, 4 Jan 2023 20:09:53 +0000 Subject: [Alta-Logic] World Logic Day Jan 14th in Alberta and British Columbia Message-ID: Sorry for cross posting. Hello, We are now 10 days out from world logic day on January 14th. If you would like to attend the zoom meeting, please visit https://sites.google.com/view/world-logic-day-alberta/home?authuser=0 and register. Usually, this is a local affair, but I am using the opportunity of WLD to include some talks in honour of Peter Schotch who died on Dec 22nd, so I am letting people know about the meeting from further afield. If you would like to give a half-hour logic talk of some kind for Peter or otherwise, there is plenty of space still available. Or if you would just like to share some reminiscences about Peter, please email me ggpayett at ucalgary.ca. Feel free to send this to whomever you would like. Happy new year and warm regards, Gillman Payette Adjunct Assistant Professor and Sessional Instructor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Thu Jan 12 17:38:37 2023 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 13 Jan 2023 00:38:37 +0000 Subject: [Alta-Logic] World Logic Day in AB and BC (update) Message-ID: Hello everyone, My apologies if you get this message multiple times. Or if you are just seeing it for the first time (my email list has been growing as I am thinking of people who may want to attend). There is now a (close to) final schedule posted on the WLD in AB and BC website. If you have not already done so, please register on the website. I will be sending an email with the Zoom invite Friday night, and again Saturday morning. I will see you there Saturday! Gillman Payette Adjunct Assistant Professor and Sessional Instructor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Fri Jan 13 16:46:44 2023 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 13 Jan 2023 23:46:44 +0000 Subject: [Alta-Logic] World Logic Day in AB and BC Zoom Link Message-ID: Gillman Payette is inviting you to the Zoom meeting for World Logic Day in Alberta and British Columbia. Here is the website to check out the schedule and abstracts. If you wish to forward this to your colleagues, please go ahead. Again, I am sorry if you get this multiple times. Next year I will put together a better curated mailing list. Please make sure your Zoom is updated before attempting to join the meeting. The official start is 10am MST, but I have it set to begin a bit earlier for me to get organized. See you tomorrow! Topic: World Logic Day 2023 Time: Jan 14, 2023 09:30 AM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/93104877931?pwd=THhXNDlHWXRkU0lHcllvdjgvaklEZz09 Meeting ID: 931 0487 7931 Passcode: 136563 One tap mobile +17789072071,,93104877931#,,,,*136563# Canada +17806660144,,93104877931#,,,,*136563# Canada Dial by your location +1 778 907 2071 Canada +1 780 666 0144 Canada +1 204 272 7920 Canada +1 438 809 7799 Canada +1 587 328 1099 Canada +1 647 374 4685 Canada +1 647 558 0588 Canada +1 646 931 3860 US +1 301 715 8592 US (Washington DC) +1 305 224 1968 US +1 309 205 3325 US +1 312 626 6799 US (Chicago) +1 646 558 8656 US (New York) +1 253 215 8782 US (Tacoma) +1 346 248 7799 US (Houston) +1 360 209 5623 US +1 386 347 5053 US +1 507 473 4847 US +1 564 217 2000 US +1 669 444 9171 US +1 669 900 6833 US (San Jose) +1 689 278 1000 US +1 719 359 4580 US +1 253 205 0468 US Meeting ID: 931 0487 7931 Passcode: 136563 Find your local number: https://ucalgary.zoom.us/u/aKZmWOVUs Join by SIP 93104877931 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada Toronto) 65.39.152.160 (Canada Vancouver) Meeting ID: 931 0487 7931 Passcode: 136563 Gillman Payette Adjunct Assistant Professor and Sessional Instructor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Feb 2 17:53:28 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 2 Feb 2023 17:53:28 -0700 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <319f50de-5f98-3782-7140-3d21ba9dbf9d@ucalgary.ca> Dear all, *Tomorrow, the 3rd of February, at 1:00pm Calgary time* we will have the pleasure to hear Blake Whiting, from the University of Calgary: Title: Introduction to the de Rham Cohomology Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Looking forward to seeing you! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Feb 7 11:01:49 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 7 Feb 2023 11:01:49 -0700 Subject: [Alta-Logic] Fwd: This Thursday: 3:30PM ENC 70 - Mathematics & Philosophy Lecture - Emily Riehl In-Reply-To: References: Message-ID: Dear all, As you can see below, this Thursday Emily Riehl will give a lecture about Math and Philosophy. We recommend to go there. Best, Florian -------- Forwarded message -------- About: This Thursday: 3:30PM ENC 70 - Mathematics & Philosophy Lecture - Emily Riehl Time: Mon, 6 Feb 2023 03:22:02 +0000 From: Cristian Rios To: dept Math *Mathematics & Philosophy Lecture* *On the Art of Giving the Same Name to Different Things* ** Emily Riehl Johns Hopkins University Thursday, February 9, 2023, 3:30 ENC 70 and on Zoom Please register ahead of time: https://go.ucalgary.ca/2023-02-09-Mathematics-and-Philosophy-Lecture_LP-registration.html Mathematics has developed an increasingly ?higher dimensional? point of view of when different things deserve the same name, categorifying the traditional logical notion of equality to isomorphism (from Greek isos ?equal? and morphe ?form? or ?shape?) and equivalence (from Latin aequus ?equal? and valere ?be well, be worth?). In practice, mathematicians tend to become more flexible in determining when different things deserve the same name as those things become more complicated, as measured by the dimensions of the categories to which they belong. Unfortunately, these pervasive notions of sameness no longer satisfy Leibniz?s identity of indiscernibles ? the assertion that two objects are identical just when they share the same properties ? essentially because the traditional set theoretical foundations of mathematics make it too easy to formulate ?evil? statements. However, in a new proposed foundation system there are common rules that govern the meaning of identity for mathematical objects of any type that allow one to ?transport? information along any identification. Moreover, as a consequence of Voevodsky?s univalence axiom, these identity types are faithful to the meanings of sameness that have emerged from centuries of mathematical practice. Emily Riehl ?is Professor of Mathematics at Johns Hopkins University, working on higher category theory, abstract homotopy theory, and homotopy type theory. She studied at Harvard and Cambridge Universities, earned her Ph.D. at the University of Chicago, and was a Benjamin Pierce and NSF postdoctoral fellow at Harvard University. She has published over thirty papers and written three books: /Categorical Homotopy Theory/?(Cambridge 2014), /Category Theory in Context/?(Dover 2016), and /Elements of ?-Category Theory/?(Cambridge 2022, joint with Dominic Verity). She was recently elected as a member at large of the Council of the American Mathematical Society. In addition to her research, Dr. Riehl is active in promoting access to the world of mathematics through popular writing and in interviews and podcasts. She was also a co-founder of Spectra: the Association for LGBT Mathematicians. /The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. They are sponsored by the??Departments of Philosophy ?and Mathematics , PIMS , the Pacific Institute for the Mathematical Sciences, and the Faculty of Science. The events are free & open to the public; a reception follows./ Cristian Rios Associate Head - Research Department of Mathematics?and Statistics Faculty of Science University of Calgary 2500 University Drive NW Calgary, AB, T2N-1N4,?Canada (403) 220-3221 (403) 282-5150 (fax) crios at ucalgary.ca -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Wed Feb 8 15:18:21 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Wed, 8 Feb 2023 15:18:21 -0700 Subject: [Alta-Logic] Peripatetic seminar streaming on Friday Message-ID: Dear all, *On Friday, the 10th of February, at 2:30pm Calgary time* we will have the pleasure to hear Emily Riehl, from the Johns Hopkins University: Title: A reintroduction to proofs Abstract: https://logic.ucalgary.ca/ The seminar will be given as a PIMS Distinguished Lecture at the University of Regina. We will stream it in MS 325 and meet afterwards with cake. You can either come join us in person or sign up for a zoom link at https://uregina-ca.zoom.us/meeting/register/tJYrce6grzstHtPC6-JZKLPzbn_aFukL0I4l . You might also be interested in her Mathematics and Philosophy Lecture tomorrow at 3:30 in person in Calgary. You can register for it at https://go.ucalgary.ca/2023-02-09-Mathematics-and-Philosophy-Lecture_LP-registration.html . Looking forward to seeing you! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Fri Feb 17 12:20:50 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Fri, 17 Feb 2023 12:20:50 -0700 Subject: [Alta-Logic] mini conference on differential categories Message-ID: <3a2f419f-bc85-e66d-4462-b15fbdabb288@ucalgary.ca> Dear all, Next week, on Tuesday and Thursday we will have a mini-conference on differential categories, featuring Sacha Ikonicoff, Marcello Lanfranchi and Geoffrey Cruttwell. You can find the talks, titles and abstracts on our website: https://logic.ucalgary.ca We are looking forward to seeing you there. All the best Florian Schwarz From florian.schwarz at ucalgary.ca Tue Feb 21 10:06:20 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 21 Feb 2023 10:06:20 -0700 Subject: [Alta-Logic] reminder: talks today Message-ID: <8258e955-5360-0d4e-e90e-3cf7fae87f0d@ucalgary.ca> Dear all, This is a friendly reminder that we are having our mini-conference. The first talk is starting now at MS325. More information can be found at https://logic.ucalgary.ca/ All the best Florian Schwarz From florian.schwarz at ucalgary.ca Thu Mar 2 12:27:25 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 2 Mar 2023 12:27:25 -0700 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <428f2b1f-b8de-7abc-c2ce-03cee13f8239@ucalgary.ca> Dear all, *Tomorrow, the 3rd of March, at 1:00pm Calgary time* we will have the pleasure to hear Rachel Hardeman Morrill, from the University of Calgary: Title: Path Categories in A-Homotopy Theory Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Looking forward to seeing you! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon Mar 6 14:51:35 2023 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 6 Mar 2023 21:51:35 +0000 Subject: [Alta-Logic] =?utf-8?q?Fwd=3A_Invitation_to_International_Women?= =?utf-8?q?=E2=80=99s_Day_Event?= References: <54EC30E6-A1D3-4D17-89BC-4FDC45B7DB37@ucalgary.ca> Message-ID: <6BC3AA66-9582-47FA-B038-635BD00076FB@ucalgary.ca> Hi everyone, Sharing this non-research activity with this list since I think there are many people in this community who may be interested in support for women and girls in Iran. Kristine Begin forwarded message: From: Laleh Behjat > Subject: Invitation to International Women?s Day Event Date: March 6, 2023 at 2:48:29 PM MST To: Farhad Maleki >, Marina Gavrilova >, Jo-Anne Brown >, Ann Barcomb >, Kristine Bauer >, Cathryn Ryan >, Jaya Dixit > Hi everyone, In light of what is happening in Iran with regards to school girls, Schulich students have organized an event for IWD. Will you be able to send this event invitation to people you think who might be interested? Thanks, Laleh ------------------------------------------------------------------------------------------- We are delighted to invite to you for our forthcoming International Women?s Day event. Please find below the details of the event here: Date: March 8th Time: 7-9pm Location: Engineering main Atrium (ENG-Atrium) Speakers: Prominent speakers from different nations (In person and online), including: * Ms. Shirin Ebadi (Nobel Laureate and an Iranian political activist, lawyer, a former judge and human rights activist)- Video message * Ms. Masih Alinejad (an Iranian-American journalist, author, and women's rights activist)-Video message * Dr. Homira May Rezai (a Civil & Human Rights Activist focusing on Hazara and women's issues in Afghanistan and Pakistan and Leader of Hazare Committee in UK)- Video message * Dr. Svetlana Yanushkevich (U of C Professor and Associate Dean of EDI in Schulich School of Engineering) * Dr. Zahra Abbasi (U of C Assistant Professor) * Performance: We are thrilled to have a 50-minute live music performance with Dancer by the international music band, Hymmmelodies. * Light refreshments will also be provided for the audience to enjoy throughout the event. Please find attached the poster for the event, and we kindly ask you to follow us on our website with this link [https://www.jinars.ca/#h.pnaovs896anc] for further details and updates. We would be honored if you could join us in celebrating and recognizing the achievements and invaluable contributions of women worldwide. This event holds particular significance, as we aim to pay tribute to the Iranian women who are bravely fighting for their rights and freedoms in a remarkable revolution for Woman Life Freedom. Thank you for your time, and we hope to see you there. [334090477_1397466014350795_96776075486167910_n.jpeg] -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: 334090477_1397466014350795_96776075486167910_n.jpeg Type: image/jpeg Size: 64968 bytes Desc: 334090477_1397466014350795_96776075486167910_n.jpeg URL: From job.caminati at gmail.com Fri Mar 10 07:57:53 2023 From: job.caminati at gmail.com (Marco Caminati) Date: Fri, 10 Mar 2023 15:57:53 +0100 Subject: [Alta-Logic] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March Message-ID: [?EXTERNAL] [please circulate; apologies for cross/multiple postings] Dear colleagues, Please find the advert for up to three posts of Assistant Professor (Lecturer) in Computing and Software Engineering below: https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=0119-23 Kind regards, Marco Dr Marco Caminati | Assistant Professor (Lecturer) in Computer Science Lancaster University Leipzig Strohsack-Passage | Nikolaistra?e 10 | 04109 Leipzig Germany Landline: +49 341 339 77 646 www.lancasterleipzig.de GPS: 51.3410, 12.3782 From florian.schwarz at ucalgary.ca Mon Apr 24 15:31:45 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Mon, 24 Apr 2023 15:31:45 -0600 Subject: [Alta-Logic] Peripatetic Semianr on Thursday Message-ID: Dear all, On Thursday, the 27rd of April, at 11:00am Calgary time we will have a peripatetic seminar. The speaker will be myself, from the University of Calgary: Title: Path Partial monoids Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Looking forward to seeing you! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Wed Apr 26 16:50:57 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Wed, 26 Apr 2023 16:50:57 -0600 Subject: [Alta-Logic] peripatetic seminar tomorrow Message-ID: Dear all, This is a friendly reminder that tomorrow at 11am in ICT 616 I will speak at the peripatetic seminar. Title: Path Partial monoids Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Looking forward to seeing you! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Wed Jul 19 00:26:59 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Wed, 19 Jul 2023 00:26:59 -0600 Subject: [Alta-Logic] Peripatetic seminar this Friday Message-ID: <34c5f4f2-b32e-d8b0-e91d-c16cdf6ec420@ucalgary.ca> Dear all, I am pleased to announce that the Peripatetic Seminar will feature Priyaa Srinivasan this Friday, July 21st 2023 at 11:00am: Title: Normalizing resistor circuits Abstract: https://logic.ucalgary.ca/ The talk will be streamed in ICT616. Looking forward to seeing you there! All the Best, Florian -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Jul 20 16:37:27 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 20 Jul 2023 16:37:27 -0600 Subject: [Alta-Logic] Peripatetic tomorrow Message-ID: <893edb11-e4e2-2527-9078-29a7533d5efb@ucalgary.ca> Dear all, This is a friendly reminder that tomorrow at 11am in ICT 616 Priyaa Srinivasan will speak at the peripatetic seminar. Title: Normalizing resistor circuits Abstract: https://logic.ucalgary.ca/ Location: ICT 616 The virtual talk will be streamed in ICT 616, feel free to contact me for the zoom link if you can not come in person. Looking forward to seeing you! Florian Schwarz From florian.schwarz at ucalgary.ca Mon Jul 31 15:34:09 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Mon, 31 Jul 2023 15:34:09 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: <0d86be24-373d-ac99-e8e3-f061fb27cd5b@ucalgary.ca> Dear all, I am pleased to announce that the Peripatetic Seminar will feature Alexanna (Xanna) Little this Wednesday, August 2nd 2023 at 2:30 pm: Title: Semantics for Non-Determinism in Categorical Message Passing Language Abstract: https://logic.ucalgary.ca/ The talk will be in ICT616. Looking forward to seeing you there! All the Best, Florian -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Wed Aug 2 11:28:10 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Wed, 2 Aug 2023 11:28:10 -0600 Subject: [Alta-Logic] Peripatetic seminar today Message-ID: <50daa4a8-9c86-4536-166a-ff7eea203ad4@ucalgary.ca> Dear all, This is a friendly reminder that the Peripatetic Seminar will feature Alexanna (Xanna) Little today at 2:30 pm. Title: Semantics for Non-Determinism in Categorical Message Passing Language Abstract: https://logic.ucalgary.ca/ The talk will be in ICT616. Looking forward to seeing you there! All the Best, Florian -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Mon Aug 14 10:12:09 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Mon, 14 Aug 2023 10:12:09 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: <5da9e1e3-af5a-1f36-d6e0-45de301b820f@ucalgary.ca> Dear all, I am pleased to announce that the Peripatetic Seminar will feature Sacha Ikonicoff from the university of Ottawa this Wednesday, August 16th 2023 at 11:00 am: Title: Quillen-Barr-Beck cohomology of divided power algebras over an operad Abstract: https://logic.ucalgary.ca/ The talk will be in MS 325. Looking forward to seeing you there! All the Best, Florian -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Wed Aug 16 16:55:30 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Wed, 16 Aug 2023 16:55:30 -0600 Subject: [Alta-Logic] Peripatetic seminar times Message-ID: <239e5ead-7737-456a-2022-c95d29d86f4b@ucalgary.ca> Dear all, We are planing to have the peripatetic seminar more regularly again during fall. Our current plan is to have it on Wednesdays at 11am. Is that time good for all of you, or should we look for a better time? All the Best, Florian Schwarz From florian.schwarz at ucalgary.ca Tue Sep 5 14:29:29 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 5 Sep 2023 14:29:29 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: <11c1c516-587e-c975-48da-dd14eb6ac782@ucalgary.ca> Dear all, Tomorrow, Wednesday September 6th 2023 at 10:30 am (note the earlier than usual time) I will be speaking myself in the peripatetic seminar: Title: Categorically generalizing bundles Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Wed Sep 6 08:48:24 2023 From: rzach at ucalgary.ca (Richard Zach) Date: Wed, 6 Sep 2023 14:48:24 +0000 Subject: [Alta-Logic] LaTeX on logic.ucalgary.ca Message-ID: I've added MathJax to the WordPress setup so now you can use $\LaTeX$ in your peripatetic abstracts. -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Sep 12 10:39:27 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 12 Sep 2023 10:39:27 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: Dear all, Tomorrow, Wednesday September 13th 2023 at 11:00 am, we have the great pleasure to hear from Mohamar Rios Flores in the peripatetic seminar: Title: Counterfactual Logics via Comparative Possibility Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Wed Sep 13 10:40:55 2023 From: rzach at ucalgary.ca (Richard Zach) Date: Wed, 13 Sep 2023 16:40:55 +0000 Subject: [Alta-Logic] Peripatetic seminar this Wednesday In-Reply-To: References: Message-ID: Since our website seems to be down, here is the title and abstract for today's talk. The talk is in ICT 616 at 11am (in 20 minutes). Speaker: Mo Rios Flores Title: Counterfactual Logics via Comparative Possibility Abstract: In 1973, David Lewis published a landmark text developing a theory of counterfactual logics. The primary goal of the text was in providing a logical framework where one could reason about sentences of the form: "if P were true, then Q would be true". Such sentences were handled with a new connective and the majority of his text explores the semantics and behavior of this new connective. More general semantics and other connectives were introduced as well and briefly discussed, including a comparative possibility relation. It isn't until the last chapter of his book that Lewis actually described the syntax for the logics, a reformulation of the semantics, soundness and completeness theorems, and a list of axioms, among other things. This final chapter is unusual for many reasons, the logic and semantics rely on the comparative possibility relation instead of the counterfactual relation and all of the proofs and definitions are written in extremely terse prose. Moreover, this chapter discusses a large family of logics as well as their related modal logics. In this talk we'll first go over the sort of counterfactual logic and semantics that Lewis is primarily interested in. Then we'll discuss the semantics and logic in terms of the comparative possibility relation. Finally, we'll give an overview of how the soundness and completeness proofs work and where the difficulties lie. ________________________________ From: alta-logic-l on behalf of Florian Schwarz Sent: September 12, 2023 10:39 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic seminar this Wednesday Dear all, Tomorrow, Wednesday September 13th 2023 at 11:00 am, we have the great pleasure to hear from Mohamar Rios Flores in the peripatetic seminar: Title: Counterfactual Logics via Comparative Possibility Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Wed Sep 13 21:50:20 2023 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Thu, 14 Sep 2023 03:50:20 +0000 Subject: [Alta-Logic] Timing of the seminar Message-ID: Hi everyone, It was really nice to see everyone this morning at the Peripatetic Seminar. There was some discussion about moving the seminar to 10:30am. It is clear that keeping it at 11 am will mean that some people have to miss the end/discussion, and moving to to 10:30 am will mean some people will likely have to miss the first half hour. I have an idea for something we can do, would you kindly fill out this survey so that I can get a sense of who is attending the seminar this year? https://forms.office.com/r/MDYWaMcNYw Thanks, Kristine From florian.schwarz at ucalgary.ca Fri Sep 15 13:40:43 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Fri, 15 Sep 2023 13:40:43 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: Dear all, Next week, on Wednesday September 20th 2023 at 11:00 am, we will have the great pleasure to hear from Kristine in the peripatetic seminar: Title: CoCalculus from Monads Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Sep 19 12:14:44 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 19 Sep 2023 12:14:44 -0600 Subject: [Alta-Logic] Peripatetic tomorrow Message-ID: <44eeb83b-da33-a463-9912-b3662535d3d8@ucalgary.ca> Dear all, This is a friendly reminder that tomorrow at 11am in ICT 616 Kristine Bauer will speak at the peripatetic seminar. Title: **CoCalculus from Monads Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Looking forward to seeing you! Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Mon Sep 25 11:17:19 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Mon, 25 Sep 2023 11:17:19 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: Dear all, Next week, on Wednesday September 27th 2023 at 11:00 am, we will have the great pleasure to hear from Jason Parker in the peripatetic seminar: Title: **Enriched algebraic theories, monads, and varieties Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Mon Oct 2 15:30:45 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Mon, 2 Oct 2023 15:30:45 -0600 Subject: [Alta-Logic] Peripatetic seminar this Wednesday Message-ID: Dear all, This week, on Wednesday October 4th 2023 at 11:00 am, we will have the great pleasure to hear from Robin Cockett in the peripatetic seminar: Title: Grandad of all Computation Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Oct 10 10:59:20 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 10 Oct 2023 10:59:20 -0600 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <3b7ace49-4200-4033-b07b-f8e1a8da16cb@ucalgary.ca> Dear all, Tomorrow, on Wednesday October 11th 2023 at 11:00 am, we will have the great pleasure to hear from Jason Parker in the peripatetic seminar: Title: The pebbling comonad in finite model theory (an exposition) Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Oct 17 12:35:17 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 17 Oct 2023 12:35:17 -0600 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <79c207e4-460e-47ee-b30b-bcb5e941937d@ucalgary.ca> Dear all, Tomorrow, on Wednesday October 18th 2023 at 11:00 am, we will have the great pleasure to hear from Richard Zach in the peripatetic seminar: Title: Tutorial on Curry-Howard Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Sun Oct 22 11:55:00 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Sun, 22 Oct 2023 11:55:00 -0600 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday Message-ID: <8285caea-e892-4168-83c4-4a145498311a@ucalgary.ca> Dear all, On Wednesday October 25th 2023 at 11:00 am, we will have the great pleasure to hear from Priyaa Srinivasan in the peripatetic seminar: Title: Comonoids in Poly are categories Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Oct 24 15:06:30 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 24 Oct 2023 15:06:30 -0600 Subject: [Alta-Logic] Reminder: Peripatetic Seminar tomorrow Message-ID: Dear all, This is a friendly reminder that tomorrow, on Wednesday October 25th 2023 at 11:00 am, the peripatetic seminar will feature Priyaa Srinivasan: Title: Comonoids in Poly are categories Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Mon Oct 30 15:54:50 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Mon, 30 Oct 2023 15:54:50 -0600 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday Message-ID: <95fd470e-a1a1-46d7-b050-9fa09a69a7ac@ucalgary.ca> Dear all, On Wednesday November 1st 2023 at 11:00 am, we will have the great pleasure to hear from Blake Whiting in the peripatetic seminar: Title: The Many Faces of the Eilenberg-Zilber Theorem Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l From rzach at ucalgary.ca Tue Oct 31 12:56:40 2023 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 31 Oct 2023 18:56:40 +0000 Subject: [Alta-Logic] Course ad: PHIL 579/679 Modal logic Message-ID: FYI I'll be teaching PHIL 579/679 in W24. It's (Advanced) Topics in Logic, and the topic is modal logic (and related logics, i.e., intuitionistic and conditional logics). Might be of interest to graduate and undergraduate students in philosophy and computer science; will tailor topics to the interests of the audience. Richard Zach, Professor of Philosophy -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Nov 7 00:00:28 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 7 Nov 2023 00:00:28 -0700 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday Message-ID: Dear all, On Wednesday November 8th 2023 at 11:00 am, we will have the great pleasure to hear from Kristaps Balodis in the peripatetic seminar: Title: Reinventing the Wheel; An introduction to fibered categories through the eyes of a representation theorist Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Nov 21 16:00:01 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 21 Nov 2023 16:00:01 -0700 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday (tomorrow) Message-ID: <7fd93ff6-55cd-49e4-b93d-78a7c91a241f@ucalgary.ca> Dear all, I am sorry for sending out this message so late, but tomorrow on Wednesday November 22th 2023 at 11:00 am, we hear from Robin Cockett in the peripatetic seminar: Title: A categorical introduction to Drazin inverses Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Nov 28 11:28:29 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 28 Nov 2023 11:28:29 -0700 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday (tomorrow) Message-ID: <52aedc8a-a197-472d-8e58-b6c83b596f34@ucalgary.ca> Dear all, Tomorrow on Wednesday November 29th 2023 at 11:00 am, we hear from Richard Zach in the peripatetic seminar: Title: Tutorial on Curry-Howard Part II Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Thu Nov 30 11:06:16 2023 From: rzach at ucalgary.ca (Richard Zach) Date: Thu, 30 Nov 2023 18:06:16 +0000 Subject: [Alta-Logic] Philosophy Speaker Series talk Friday, December 1, , 3:00PM: "Conceptual Analysis in Math and Logic". In-Reply-To: References: Message-ID: FYI Last year's Math & Philosophy lecturer Paddy Blanchette will give an in-person talk to the Philosophy department tomorrow. This an announcement for the final Philosophy talk for Fall term 2023, ?Conceptual Analysis in Math and Logic.? The talk will be given by Patricia Blanchette at 3:00PM (Social Sciences 1153). Please see the poster with abstract and bio attached. Feel free to distribute to any colleagues who may be interested in attending. We look forward to seeing you there. Regards, Brigitte Brigitte Clarke, BA (she/her) Departments of History |Philosophy | Classics and Religion University of Calgary | Calgary AB Canada T2N 1N4 403.220.5886 | btclarke at ucalgary.ca I gratefully acknowledge the traditional territories of the people of the Treaty 7 region of Southern Alberta. The City of Calgary is also home to M?tis Nation of Alberta, Region 3. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Blanchette, Dec 1, 2023 poster.pdf Type: application/pdf Size: 112840 bytes Desc: Blanchette, Dec 1, 2023 poster.pdf URL: From florian.schwarz at ucalgary.ca Tue Dec 5 11:52:08 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 5 Dec 2023 11:52:08 -0700 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday (tomorrow) Message-ID: <01b842af-3a38-4f22-8db7-34319c851037@ucalgary.ca> Dear all, Tomorrow on Wednesday December 6th 2023 at 11:00 am, we hear from Xuefeng Wen in the peripatetic seminar: Title: A Ternary Notion of Logical Consequence Abstract: https://logic.ucalgary.ca/ The talk will be in ICT 616. Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Fri Dec 8 14:00:08 2023 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Fri, 8 Dec 2023 14:00:08 -0700 Subject: [Alta-Logic] Peripatetic Seminar on Wednesday Message-ID: Dear all, Next week on Wednesday December 13th 2023 at 3:00 pm, I will present myself in the peripatetic seminar: Title: Differential bundles as functors Abstract: https://logic.ucalgary.ca/ The talk will be at 3pm in MS 337 (please be aware of the unusual location and time) Looking forward to seeing you there! All the Best, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Sat Dec 16 10:08:37 2023 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Sat, 16 Dec 2023 17:08:37 +0000 Subject: [Alta-Logic] World Logic Day in AB and BC (and beyond) Message-ID: Hi everyone, (apologies for cross posting) World logic day is now less than a month away, and I am planning another session for January 14th, 2022. It will run the same as the last two (and most previous) years on zoom since it was nice to include many of those interested in logic from all over. The 14th falls on a Sunday, and unless there is substantial displeasure with that, I will stick to that day. The plan will be similar to previous years; short-ish talks running from 10am - 5pm Mountain Time. Not all of those time slots may be used, but it provides a wider set of options, and people can drop in on whichever talks interest them. If you are interested in giving a short talk (~25 min. + 5min. for questions) please send me an email with a topic/title and a few preferred times (ggpayett at ucalgary.ca). As I said last year, I want to cast a wide net topic-wise, so everything from argumentation theory to recursion theory or history of logic. If I must make choices about which talks to include, I will opt for more widely accessible topics. Of course, I have always treated this in a relaxed way, so works in progress are welcome. If you are interested in attending, please visit the website and register: https://sites.google.com/view/world-logic-day-alberta/home [https://lh6.googleusercontent.com/MniERHGQbt0JmwFR6rAgTRiEvGOPUU1YxPwlt4vQuHWeWMPn493onwNjj7Su3hx5j5j95P3PCf0P_cgUAiVI4uWJD2NmAQ-ozZ1-xV4kakLakpPP9kiZ-Z97cZizHn8fwg=w1280] World Logic Day AB and BC A day of logic talks in Alberta and British Columbia sites.google.com Please forward this invitation to whomever you think might be interested. Hope to see you in January, Gillman Payette Assistant Teaching Professor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: