From ggpayett at ucalgary.ca Fri Jan 7 12:38:05 2022 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 7 Jan 2022 19:38:05 +0000 Subject: [Alta-Logic] World Logic Day Jan 14th Message-ID: [Apologies for cross posting, and please forward this to your departments.] Hi everyone, World Logic Day is Just a week away, and I am writing to remind people about the event. If you are interested in giving a talk, please let me know by 4pm mountain time January 12th---there is still plenty of room. Also, if you interested in attending the online event, please register on the event's website: https://sites.google.com/view/world-logic-day-alberta/home I will update the schedule early next week. Regards, Gillman Payette Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Wed Jan 12 10:04:36 2022 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Wed, 12 Jan 2022 17:04:36 +0000 Subject: [Alta-Logic] World Logic Day in Alberta Message-ID: [Please forward to your respective email lists, apologies for cross posting] Hi everyone, Please remember to register on the meeting's website: https://sites.google.com/view/world-logic-day-alberta/home That list will be used to send out the Zoom link invitation tomorrow night. The schedule for Friday's series of talks is as follows: 10:45 Welcome 11-11:55am Kent Peacock (Lethbridge): A problem with denotation 12-12:55pm Bernie Linsky (Alberta): On the use of Dots in Principia Mathematica 1-1:55pm Allen Hazen (Alberta): Potential analyses of potential infinity 2:15-3pm Mark Migotti (Calgary): Why study logic? Regards, Gillman Payette Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Thu Jan 13 21:09:54 2022 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 14 Jan 2022 04:09:54 +0000 Subject: [Alta-Logic] World Logic Day in AB Zoom Message-ID: Hi everyone, (apologies for cross posting) Here is the link to the website with the schedule: https://sites.google.com/view/world-logic-day-alberta/home Below is the invitation to the zoom session for tomorrow's WLD meeting. Gillman Payette is inviting you to a scheduled Zoom meeting. Topic: World Logic Day in Alberta Time: Jan 14, 2022 10:45 AM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/95119304103 Meeting ID: 951 1930 4103 Passcode: 609413 One tap mobile +16473744685,,95119304103#,,,,*609413# Canada +16475580588,,95119304103#,,,,*609413# Canada Dial by your location +1 647 374 4685 Canada +1 647 558 0588 Canada +1 778 907 2071 Canada +1 204 272 7920 Canada +1 438 809 7799 Canada +1 587 328 1099 Canada +1 301 715 8592 US (Washington DC) +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 669 900 6833 US (San Jose) Meeting ID: 951 1930 4103 Passcode: 609413 Find your local number: https://ucalgary.zoom.us/u/abF6cWRY6O Join by SIP 95119304103 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: 951 1930 4103 Passcode: 609413 Gillman Payette Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Fri Jan 14 11:13:08 2022 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 14 Jan 2022 18:13:08 +0000 Subject: [Alta-Logic] World Logic Day in Alberta Message-ID: Hi everyone, If you missed the invitation last night, here it is again. (apologies for cross posting) Here is the link to the website with the schedule: https://sites.google.com/view/world-logic-day-alberta/home Below is the invitation to the zoom session for tomorrow's WLD meeting. Gillman Payette is inviting you to a scheduled Zoom meeting. Topic: World Logic Day in Alberta Time: Jan 14, 2022 10:45 AM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/95119304103 Meeting ID: 951 1930 4103 Passcode: 609413 One tap mobile +16473744685,,95119304103#,,,,*609413# Canada +16475580588,,95119304103#,,,,*609413# Canada Dial by your location +1 647 374 4685 Canada +1 647 558 0588 Canada +1 778 907 2071 Canada +1 204 272 7920 Canada +1 438 809 7799 Canada +1 587 328 1099 Canada +1 301 715 8592 US (Washington DC) +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 669 900 6833 US (San Jose) Meeting ID: 951 1930 4103 Passcode: 609413 Find your local number: https://ucalgary.zoom.us/u/abF6cWRY6O Join by SIP 95119304103 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: 951 1930 4103 Passcode: 609413 Gillman Payette Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Fri Jan 14 13:09:37 2022 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 14 Jan 2022 20:09:37 +0000 Subject: [Alta-Logic] WLD in Alberta Schedule Update Message-ID: Hi everyone, Mark's talk today will be starting at 2pm MST rather than 2:15. Regards, Gillman Payette Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Jan 20 13:28:34 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 20 Jan 2022 20:28:34 +0000 Subject: [Alta-Logic] Peripatetic SeminarS next week Message-ID: Dear all, The Peripatetic Seminar is starting again next week, and for this first week, we will have two sessions! Monday, January 24th, 1pm Mountain time: Cole Comfort, University of Oxford Title: Measurement in the symplectic setting. Thursday January 27th, 10am Mountain time: ?ric Hoffbeck, Universit? Sorbonne Paris Nord Title: From trees to infinity-operads For both of these talks, you can find the abstract on https://logic.ucalgary.ca/ , and the zoom invitation is as follows: Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Jan 24 10:58:41 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 24 Jan 2022 17:58:41 +0000 Subject: [Alta-Logic] Peripatetic seminar today Message-ID: Dear all, This is a kind reminder that today at 1pm we will host Cole Comfort, from the University of Oxford. Title and abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Jan 26 10:09:50 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 26 Jan 2022 17:09:50 +0000 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: Dear all, This is a kind reminder that Tomorrow, Thursday January 27th, at 10am Mountain time, we are hosting ?ric Hoffbeck, from Universit? Sorbonne Paris Nord Title: From trees to infinity-operads Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: The recording for Cole Comfort's talk is now available on our website. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Jan 31 12:49:38 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 31 Jan 2022 19:49:38 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday Message-ID: Dear All, This Thursday, the 3rd of February, at 10am Mountain Time, we will have the pleasure to hear Florian Schwarz. Title: Describing principal bundles and pushing TQFTs forward Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Feb 2 14:00:20 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 2 Feb 2022 21:00:20 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday In-Reply-To: References: Message-ID: Dear All, This is a kind reminder that Tomorrow, Thursday, the 3rd of February, at 10am Mountain Time, we will have the pleasure to hear Florian Schwarz. Title: Describing principal bundles and pushing TQFTs forward Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Monday 31 January 2022 12:49 To: alta-logic-l at mailman.ucalgary.ca Subject: Peripatetic seminar this Thursday Dear All, This Thursday, the 3rd of February, at 10am Mountain Time, we will have the pleasure to hear Florian Schwarz. Title: Describing principal bundles and pushing TQFTs forward Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Feb 7 15:27:07 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 7 Feb 2022 22:27:07 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Thursday Message-ID: Dear All, This Thursday, the 10th of February, at 10am Mountain Time, we will have the pleasure to hear Martina Rovelli, from University of Massachusetts Amherst. Title: An (?,2)-categorical pasting theorem Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Wed Feb 9 06:57:14 2022 From: rzach at ucalgary.ca (Richard Zach) Date: Wed, 9 Feb 2022 06:57:14 -0700 Subject: [Alta-Logic] Fwd: summer workshop on interactive theorem proving In-Reply-To: References: Message-ID: Jeremy Avigad sent me this and I thought I'd pass it on to all of you: I hope this note finds you well. I am writing to draw your attention to a summer workshop, *Lean for the Curious Mathematician 2022*, at the Institute for Computational and Experimental Research in Mathematics (ICERM) in Providence, RI this summer, July 11-15. https://icerm.brown.edu/topical_workshops/tw-22-lean/ The goal of the workshop is to introduce mathematicians to interactive?proof assistants, a new technology for writing and checking mathematical proofs. No background in the area is needed, and it should be fun. ICERM provides funding for travel and lodging. Please consider applying, and please share this information with anyone you know who might be interested. I believe the application deadline is March 1, though that information seems to be absent from the web page. We would especially like to encourage participation from underrepresented communities in mathematics. From carlomaria.scandolo at ucalgary.ca Wed Feb 9 08:08:49 2022 From: carlomaria.scandolo at ucalgary.ca (Carlo Maria Scandolo) Date: Wed, 9 Feb 2022 16:08:49 +0100 Subject: [Alta-Logic] Fwd: Call for Papers: 19th International Conference on Quantum Physics and Logic (QPL 2022) In-Reply-To: References: Message-ID: <7242c5fe-59b9-1bbb-2a83-5bf0395efab3@ucalgary.ca> Dear all, apologies for cross-posting. Please find below the call for papers for the international conference on Quantum Physics and Logic, to be held in Oxford at the end of June 2022, of which I am in the program committee. The scope of this conference is for theoretical and foundational contributions in quantum information theory, and also for works on category theory, compositionality, categorical quantum mechanics and logic. Please consider submitting! Best regards, Carlo Maria Scandolo -------- Messaggio Inoltrato -------- Oggetto: [quantum] Call for Papers: 19th International Conference on Quantum Physics and Logic (QPL 2022) Data: Tue, 8 Feb 2022 00:46:20 +0000 Mittente: Stefano Gogioso A: quantum-foundations at maillist.ox.ac.uk, quantum-foundations-owner at maillist.ox.ac.uk, quantum at cs.ox.ac.uk We are pleased to announce that the 19th International Conference on Quantum Physics and Logic (QPL 2022) will take place in Oxford, UK from the 27th of June to the 1st of July 2022. Please find the Call for Papers below, and refer to the conference website for regular updates. All the best, -- Stefano Gogioso and Matty Hoban, on behalf of the Organisers Important Links --------------- Conference Website: https://qplconference.org Call for Papers: https://www.easychair.org/cfp/qpl2022 Submission Page: https://www.easychair.org/conferences/?conf=qpl2022 Important Dates --------------- Abstract submission: 18 Apr 2022 Paper submission: 24 Apr 2022 Author notification: 1 Jun 2022 Final papers ready: 13 Jun 2022 Registration: 13 Jun 2022 Conference: 27 Jun ? 1 Jul 2022 About the Conference -------------------- Quantum Physics and Logic is an annual conference that brings together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition. Work applying quantum-inspired techniques and structures to other fields (such as linguistics, artificial intelligence, and causality) is also welcome. See https://qplconference.org for full conference details. Submissions ----------- Prospective speakers are invited to submit one (or more) of the following: - **Proceedings submissions** consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submissions of work in progress are encouraged, but must be more substantial than a research proposal. - **Non-proceedings submissions** consist of a 3 page description of work submitted or published elsewhere and must include a link to a separate published paper or preprint. - **Poster submissions** consist of a 3 abstract of partial results or work in progress. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2022 Presentations ------------- Authors of accepted proceedings and non-proceedings submissions will be invited to give a long or short talk, depending on the quality and maturity of the work as assessed by the Program Committee. Authors of accepted poster submissions will be invited to present their work at the poster session. There will be an award for Best Student Paper at the discretion of the Program Committee. Papers eligible for the award are those where all the authors are students at the time of submission. Conference Proceedings ---------------------- Conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. _______________________________________________ quantum mailing list -- quantum at cs.ox.ac.uk To unsubscribe send an email to quantum-leave at cs.ox.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Feb 9 10:28:07 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 9 Feb 2022 17:28:07 +0000 Subject: [Alta-Logic] Peripatetic Seminar Tomorrow In-Reply-To: References: Message-ID: Dear All, This is a kind reminder that Tomorrow, the 10th of February, at 10am Mountain Time, we will have the pleasure to hear Martina Rovelli, from University of Massachusetts Amherst. Title: An (?,2)-categorical pasting theorem Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue Feb 15 11:27:13 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 15 Feb 2022 18:27:13 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Thursday Message-ID: Dear All, This Thursday, the 17th of February, at 10am Mountain Time, we will have the pleasure to hear Jean-Baptiste Vienney, from ?cole Centrale de Marseille, Title: Graded (co-)Differential Categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Feb 17 08:14:26 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 17 Feb 2022 15:14:26 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Today In-Reply-To: References: Message-ID: Dear All, This is a kind reminder that Today, the 17th of February, at 10am Mountain Time, we will have the pleasure to hear Jean-Baptiste Vienney, from ?cole Centrale de Marseille, Title: Graded (co-)Differential Categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue Mar 1 08:05:57 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 1 Mar 2022 15:05:57 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday Message-ID: Dear All, This Thursday, the 3rd of February, at 10am Mountain Time, we will have the pleasure to hear Kate Ponto, from University of Kentucky, Title: Iterated Traces Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: If you know someone who would like to give a talk soon, I am happy to take suggestion. If this person is local, we can arrange an in-person session. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Mar 3 09:36:50 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 3 Mar 2022 16:36:50 +0000 Subject: [Alta-Logic] peripatetic seminar today Message-ID: Dear All, This is a kind reminder that Today, the 3rd of March, at 10am Mountain Time, we will have the pleasure to hear Kate Ponto, from University of Kentucky, Title: Iterated Traces Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Mar 7 07:40:58 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 7 Mar 2022 14:40:58 +0000 Subject: [Alta-Logic] Peripatetic seminar this Friday Message-ID: Dear all, This Friday, the 11th of March, at 1pm Calgary time we will have the pleasure to host Marcelo Aguiar, from Cornell University: Title: The Eckmann-Hilton argument in duoidal categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: Note the change of time for this particular session! -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Mar 10 11:42:06 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 10 Mar 2022 18:42:06 +0000 Subject: [Alta-Logic] peripatetic seminar tomorrow Message-ID: Dear all, This is a kind reminder that Tomorrow, Friday, the 11th of March, at 1pm Calgary time we will have the pleasure to host Marcelo Aguiar, from Cornell University: Title: The Eckmann-Hilton argument in duoidal categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Mar 14 15:07:34 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 14 Mar 2022 21:07:34 +0000 Subject: [Alta-Logic] Peripatetic this Thursday Message-ID: Dear all, This Thursday, the 17th of March, at 10am Calgary time we will have the pleasure to host Michael Lambert, from Mount Allison University: Title: Regular logic in a `double category of relations? Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: Next week is free so far, don't hesitate to contact me if you want to give a talk, online or in person. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Mar 16 16:14:57 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 16 Mar 2022 22:14:57 +0000 Subject: [Alta-Logic] Peripatetic tomorrow Message-ID: Dear all, This is a kind reminder that Tomorrow, the 17th of March, at 10am Calgary time we will have the pleasure to host Michael Lambert, from Mount Allison University: Title: Regular logic in a `double category of relations? Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Mar 23 12:32:34 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 23 Mar 2022 18:32:34 +0000 Subject: [Alta-Logic] No Peripatetic this week Message-ID: Dear all, There will be no peripatetic seminar this week. If you would like to give a talk next week (on Thursday 10am or Friday 1pm, either in person or online), please let me know. Kind regards, Sacha Ikonicoff -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Apr 4 15:24:14 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 4 Apr 2022 21:24:14 +0000 Subject: [Alta-Logic] peripatetic seminar this Thursday Message-ID: Dear All, This Thursday, the 7th of April, at 10am Mountain Time, we will have the pleasure to hear Gijs Heuts, from University of Kentucky, Title: Koszul duality of algebras for operads Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: We still have open slots at the end of the month and in May, please contact me if you would like to give a talk. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Apr 4 15:28:14 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 4 Apr 2022 21:28:14 +0000 Subject: [Alta-Logic] Erratum: peripatetic seminar this Thursday In-Reply-To: References: Message-ID: A small error slipped in my last email. Gijs Heuts is a professor at Universiteit Utrecht, and not University of Kentucky. Sorry about the double email. Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: Monday 4 April 2022 15:24 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] peripatetic seminar this Thursday Dear All, This Thursday, the 7th of April, at 10am Mountain Time, we will have the pleasure to hear Gijs Heuts, from University of Kentucky, Title: Koszul duality of algebras for operads Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: We still have open slots at the end of the month and in May, please contact me if you would like to give a talk. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Apr 6 16:25:59 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 6 Apr 2022 22:25:59 +0000 Subject: [Alta-Logic] peripatetic seminar tomorrow In-Reply-To: References: Message-ID: Dear All, This is a kind reminder that Tomorrow, the 7th of April, at 10am Mountain Time, we will have the pleasure to hear Gijs Heuts, from Universiteit Utrecht, Title: Koszul duality of algebras for operads Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary PS: We still have open slots at the end of the month and in May, please contact me if you would like to give a talk. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue Apr 12 08:12:08 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 12 Apr 2022 14:12:08 +0000 Subject: [Alta-Logic] Peripatetic this Thursday Message-ID: Dear all, This Thursday, the 14th of April, at 10am Calgary time we will have the pleasure to host Niny Arcila-Maya from Duke University: Title: Decomposition of topological Azumaya algebras in the stable range Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Apr 14 09:10:40 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 14 Apr 2022 15:10:40 +0000 Subject: [Alta-Logic] Peripatetic this morning! Message-ID: Dear all, This is a kind reminder that this morning, the 14th of April, at 10am Calgary time we will have the pleasure to host Niny Arcila-Maya from Duke University: Title: Decomposition of topological Azumaya algebras in the stable range Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Apr 18 13:20:32 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 18 Apr 2022 19:20:32 +0000 Subject: [Alta-Logic] peripatetic this Thursday Message-ID: Dear all, This Thursday, the 21st of April, at 10am Calgary time we will have the pleasure to host Marcello Lanfranchi from Mount Allison University: Title: Operadic Tangent Categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Apr 20 12:34:14 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 20 Apr 2022 18:34:14 +0000 Subject: [Alta-Logic] peripatetic Tomorrow Message-ID: Dear all, This is a kind reminder that tomorrow, the 21st of April, at 10am Calgary time we will have the pleasure to host Marcello Lanfranchi from Mount Allison University. The speaker has informed me that he will be using an online white board app that you will be able to access during the talk under the following link: https://miro.com/app/board/uXjVO7Al9tk=/?share_link_id=701893828261 Title: Operadic Tangent Categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Apr 25 11:30:02 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 25 Apr 2022 17:30:02 +0000 Subject: [Alta-Logic] Peripatetic in-person this Friday Message-ID: Dear all, This Friday, the 29th of April, at 11am Calgary time we will have the pleasure to have the first in-person session of the Peripatetic seminar in two years! We will have the pleasure to hear Sacha Ikonicoff, from the University of Calgary: Title: Cartesian Differential Monads Abstract: https://logic.ucalgary.ca/ Location: MS325 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Apr 28 13:37:37 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 28 Apr 2022 19:37:37 +0000 Subject: [Alta-Logic] Peripatetic in-person tomorrow morning! In-Reply-To: References: Message-ID: Dear all, This is a kind reminded that Tomorrow, Friday, the 29th of April, at 11am Calgary time we will have the pleasure to have the first in-person session of the Peripatetic seminar in two years! We will have the pleasure to hear Sacha Ikonicoff, from the University of Calgary: Title: Cartesian Differential Monads Abstract: https://logic.ucalgary.ca/ Location: MS325 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue May 3 13:24:06 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 3 May 2022 19:24:06 +0000 Subject: [Alta-Logic] Peripatetic in person this Friday Message-ID: Dear all, This Friday, the 6th of May, at 1pm Calgary time we will have the pleasure to hear Amolak Ratan Kalra, from the University of Calgary: Title: Categories of Kirchoff Relations Abstract: https://logic.ucalgary.ca/ The Calgary Peripatetic Seminar ? University of Calgary's seminar on logic, mathematics, and computer science Title: Decomposition of topological Azumaya algebras in the stable range Abstract: Topological Azumaya algebras are topological shadows of more complicated algebraic Azumaya algebras defined over, for example, schemes.Tensor product is a well-defined operation on topological Azumaya algebras. Hence given a topological Azumaya algebra A of degree mn, where m and n are positive integers, it is a ... logic.ucalgary.ca Location: MS325 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Fri May 6 08:28:45 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Fri, 6 May 2022 14:28:45 +0000 Subject: [Alta-Logic] Hybrid Peripatetic Today Message-ID: Dear all, This Friday, the 6th of May, at 1pm Calgary time we will have the pleasure to hear Amolak Ratan Kalra, from the University of Calgary. The talk will be in person and online through zoom. Title: Categories of Kirchoff Relations Abstract: https://logic.ucalgary.ca/ Location: MS325 Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon May 9 16:28:02 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 9 May 2022 22:28:02 +0000 Subject: [Alta-Logic] Peripatetic this Friday Message-ID: Dear all, This Friday, the 13th of May, at 1pm Calgary time we will have the pleasure to hear Florian Schwarz, from the University of Calgary. The talk will be given in a hybrid form, both in person and online through Zoom. Title: Tangent categories, Cartesian differential categories and how they are related Abstract: https://logic.ucalgary.ca/ Location: MS325 Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Fri May 13 08:20:26 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Fri, 13 May 2022 14:20:26 +0000 Subject: [Alta-Logic] Peripatetic Today Message-ID: Dear all, This is a kind reminder that Today, Friday, the 13th of May, at 1pm Calgary time we will have the pleasure to hear Florian Schwarz, from the University of Calgary. The talk will be given in a hybrid form, both in person and online through Zoom. Title: Tangent categories, Cartesian differential categories and how they are related Abstract: https://logic.ucalgary.ca/ Location: MS325 Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon May 16 12:44:32 2022 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 16 May 2022 18:44:32 +0000 Subject: [Alta-Logic] =?utf-8?q?Fwd=3A_Reminder!_May_18=2C_Rapha=C3=ABl_B?= =?utf-8?q?elliard_-_PIMS_PDF_Seminar?= References: Message-ID: Some members of the Peripatetic Seminar may be interested in this talk on Wednesday @ 10:30AM ?Exact results in Quantum Field Theory from Differential Systems?, Raphael Belliard, University of Alberta. Kristine Dr. Kristine Bauer Calgary Site Director, Pacific Institute for the Mathematical Sciences Associate Professor, Mathematics and Statistics University of Calgary Begin forwarded message: From: PIMS Communications > Subject: Reminder! May 18, Rapha?l Belliard - PIMS PDF Seminar Date: May 16, 2022 at 11:59:59 AM MDT To: > Reply-To: PIMS Communications > [?EXTERNAL] View this email in your browser [https://gallery.mailchimp.com/c9cc3beec9fa57d7299ac161c/images/5d2cba9d-1897-4546-96e3-0fa9093946c6.jpg] Emergent Research: The PIMS Postdoctoral Fellow Seminar Rapha?l Belliard, University of Alberta Wednesday, May 18, 2022 9:30 AM Pacific / 10:30 AM Mountain / 11:30 AM Central Join our ongoing lecture series, Emergent Research: The PIMS Postdoctoral Fellow Seminars. PIMS PDFs are amongst the top young researchers in Canada, and this is an excellent opportunity to learn about them and their work. [https://mcusercontent.com/c9cc3beec9fa57d7299ac161c/images/7065ec44-d990-bfbe-b8b3-2e983b255b91.jpg] Exact results in quantum field theory from differential systems. Abstract: Despite being the most efficient set of computational techniques available to the theoretical physicist, quantum field theory (QFT) does not describe all the observed features of the quantum interactions of our universe. At the same time, its mathematical formulation beyond the approximation scheme of perturbation theory is yet to be understood as a whole. I am following a path that tries to solve these two parallel problems at once and I will tell the story of how that way is paved by the study of equivariant differential systems and homology with local coefficients. More precisely, I will introduce these main characters in two space-time dimensions and describe how their symplectic geometry contains the data of correlation functions in conformally invariant QFT. If time allows, I will discuss how the Lax formulation of integrable systems in terms of Higgs bundles gives us hints as per how to extend the method to cases with four space-time dimensions. Speaker Biography: Rapha?l Belliard obtained his PhD at the CEA of Saclay, the French historical nuclear physics research center. Under the supervision of Dr. Bertrand Eynard, he studied geometric features of solvable symmetry constraints in two-dimensional quantum field theory using methods directly inspired from statistical models of heavy atom spectroscopy. They involved mathematics ranging from combinatorics to intersection theory and representations of infinite dimensional algebras. In particular extensions of the Virasoro algebra, relevant for conformal field theories that he studied at DESY Hamburg under the supervision of Dr. Joerg Teschner. He is currently a PIMS PDF at the University of Alberta, Edmonton, where he works with Dr. Vincent Bouchard and others on algebraic and geometric structures that could allow to generalise fruitful aspects of his approach to four-dimensional models. The poster for this session can be found here. Read our Medium feature on Rapha?l: From Math, to Physics and back again. Meet our PIMS CNRS PDF at UAlberta, Rapha?l Belliard. Register for this talk and for more in the Postdoctoral Fellow Seminar Series PDF Seminar: 2022 Schedule Date PDF Institution January 12 Puttipong Pongtanapaisan Saskatchewan January 26 Venkata Pantangi Lethbridge/Regina February 9 Wenzhao Chen UBC February 16 Evan Miller UBC February 23 K?bra Benli Lethbridge March 9 Josh Males Manitoba March 23 Anirudh Asuri Mukundan UBC April 6 Prateek Vishwakarma Regina April 20 Amy Wiebe SFU April 27 Meredith Sargent Manitoba May 4 Jordan Culp Calgary May 18 Rapha?l Belliard Alberta May 25 Natalie Behague Victoria Follow PIMS: [Facebook] [Twitter] [LinkedIn] [Medium] [GitHub] [Website] This email was sent to bauerk at ucalgary.ca why did I get this? unsubscribe from this list update subscription preferences Pacific Institute for the Mathematical Sciences ? 4173-2207 Main Mall ? University of British Columbia ? Vancouver, Bc V6T 1Z4 ? Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Mon Sep 19 16:36:47 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 19 Sep 2022 22:36:47 +0000 Subject: [Alta-Logic] Peripatetic is back! Message-ID: Dear all, I am pleased to announce the return of the Peripatetic Seminar for a special in-person session. Next Monday, the 26th of September, at 10:30am Calgary time we will have the pleasure to hear Priyaa Srinivasan: Title: Kan extensions as a framework to extend resource monotones Abstract: https://logic.ucalgary.ca/ Location: ICT616 Looking forward to seeing you there! PS: For the rest of this term, we are considering having more recurrent sessions on Fridays at 10:30am. I will pass the torch of seminar organiser very soon, keep an eye out for more information! Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue Sep 20 10:38:51 2022 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 20 Sep 2022 16:38:51 +0000 Subject: [Alta-Logic] Erratum! Peripatetic is back! In-Reply-To: References: Message-ID: Dear all, Erratum: Priyaa's talk will in fact take place on Friday September 30th at 10:30 am! The location is still ICT616. Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Monday 19 September 2022 16:36 To: alta-logic-l at mailman.ucalgary.ca Subject: Peripatetic is back! Dear all, I am pleased to announce the return of the Peripatetic Seminar for a special in-person session. Next Monday, the 26th of September, at 10:30am Calgary time we will have the pleasure to hear Priyaa Srinivasan: Title: Kan extensions as a framework to extend resource monotones Abstract: https://logic.ucalgary.ca/ Location: ICT616 Looking forward to seeing you there! PS: For the rest of this term, we are considering having more recurrent sessions on Fridays at 10:30am. I will pass the torch of seminar organiser very soon, keep an eye out for more information! Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Sep 27 16:56:22 2022 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 27 Sep 2022 22:56:22 +0000 Subject: [Alta-Logic] Erratum! Peripatetic is back! In-Reply-To: References: Message-ID: Dear all, Please apologize that the time changes again: Priyaa's talk will in fact take place on Monday, October 3rd at 10:00am! The location is still ICT616. Kind regards, Florian Schwarz PhD student, University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: September 20, 2022 10:38 AM To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Erratum! Peripatetic is back! Dear all, Erratum: Priyaa's talk will in fact take place on Friday September 30th at 10:30 am! The location is still ICT616. Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Monday 19 September 2022 16:36 To: alta-logic-l at mailman.ucalgary.ca Subject: Peripatetic is back! Dear all, I am pleased to announce the return of the Peripatetic Seminar for a special in-person session. Next Monday, the 26th of September, at 10:30am Calgary time we will have the pleasure to hear Priyaa Srinivasan: Title: Kan extensions as a framework to extend resource monotones Abstract: https://logic.ucalgary.ca/ Location: ICT616 Looking forward to seeing you there! PS: For the rest of this term, we are considering having more recurrent sessions on Fridays at 10:30am. I will pass the torch of seminar organiser very soon, keep an eye out for more information! Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Sun Oct 9 13:04:17 2022 From: rzach at ucalgary.ca (Richard Zach) Date: Sun, 9 Oct 2022 19:04:17 +0000 Subject: [Alta-Logic] A Special Seminar in Honor's of Dana Scott's 90th Birthday In-Reply-To: <9eb262e0-238-ea20-e25e-96e811d7faaf@cs.rice.edu> References: <9eb262e0-238-ea20-e25e-96e811d7faaf@cs.rice.edu> Message-ID: Some of you might be interested.... -R On Tuesday, October 11th, we'll be celebrating Dana Scott's 90th birthday with a special seminar by Gordon Plotkin, titled "Does recursion help?". The seminar will be held both online and in person at the Topos Institute's Berkeley office, with Gordon and Dana both present in person. Dana will say some opening words before Gordon's talk. An abstract for Gordon's talk, and links to join via Zoom or YouTube livestream, are below. If you would like to attend in person, please email juliet at topos.institute to register as a visitor. See https://topos.site/berkeley-seminar/ ---------------------------------------------------------------------------- Date: Tuesday October 11th, 2022 Time: 1700 UTC (10am Berkeley time) Zoom Link: https://topos-institute.zoom.us/j/87874851972?pwd=eWRjZlUvQWJoNmJFdHgycE1mUDEvQT09 Password: happybday YouTube stream: https://youtu.be/n7moEQtv3qU -- Title: Does recursion help? Speaker: Gordon Plotkin Abstract: As everyone knows, Alonzo Church proposed that the effectively calculable natural number functions are those definable in the untyped lambda calculus. (He used Church numerals to represent natural numbers.) The lambda-definable functions were shown to be the same as the G?del-Herbrand general recursive functions and the same as the functions computable by Turing machines. The fixed-point combinator Y is crucial for the proofs, as it enables functions to be defined recursively. If we switch to the typed lambda-calculus the situation changes drastically. Helmut Schwichtenberg and Richard Statman showed that only the extended polynomials can then be defined (they used a typed version of the Church numerals). It is natural, therefore, to ask what happens if one adds typed fixed-point combinators to the typed lambda calculus. We present an answer to this question. Our answer makes essential use of Dana Scott's domain theory to model the fixed-point combinators. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ATT00001.txt URL: From florian.schwarz at ucalgary.ca Thu Oct 20 11:14:46 2022 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 20 Oct 2022 11:14:46 -0600 Subject: [Alta-Logic] Perpiatetic talk tomorrow Message-ID: <0b4edca9-1ab5-ab6c-0580-f7b03836a45f@ucalgary.ca> Dear all, *Tomorrow, _Friday_, the 21^th of October, at 10am Calgary time* we will have the pleasure to hear Robin Cockett, from the University of Calgary. The talk will be in person in ICT 616. Title: Turing Categories Abstract: https://logic.ucalgary.ca/ Looking forward to seeing you there! Florian Schwarz PhD student University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Tue Nov 1 15:09:25 2022 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Tue, 1 Nov 2022 15:09:25 -0600 Subject: [Alta-Logic] Peripatetic seminar this Friday Message-ID: Dear all, *This Friday, the 4th of November, at 10:30am Calgary time* we will have the pleasure to hear Laura Scull, from the Fort Lewis College: Title: Morita equivalence and bicategories of fractions:? a simple geometric idea gets out of hand Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Also, Laura is giving a more introductory talk (Title: Spider Web Graphs) on Thursday at 11am in MS 478. Some of you might be interested in that. Looking forward to seeing you on Friday! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Tue Nov 1 15:21:40 2022 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Tue, 1 Nov 2022 21:21:40 +0000 Subject: [Alta-Logic] Peripatetic seminar this Friday In-Reply-To: References: Message-ID: <15E87D36-80F5-4A21-BD6D-05960834A33B@ucalgary.ca> Hello Peripatetic seminar participants, I would like to propose that we take Dr. Laura Scull to dinner in Calgary during her visit. If you are interested in joining for dinner on Thursday, November 3 please email me by end of day on Wednesday, November 2. It would be great to know if you are able to drive to/from dinner (it will make the selection of a restaurant easier). I am aiming for a 6:30pm reservation. Dinner is free for students and postdocs who attend the Peripatetic Seminar (not including alcohol, not including non-seminar guests). I aim to ensure that everyone who would like to network with Dr. Scull and other future visitors is able to participate - if you are unable to attend dinner (this week or in general), please let me know and we will adjust. Dr. Scull is here for more than a week so there is plenty of time. There will be other visitors this year, so it would be good to know your preferences in general. Kristine On Nov 1, 2022, at 3:09 PM, Florian Schwarz > wrote: Dear all, This Friday, the 4th of November, at 10:30am Calgary time we will have the pleasure to hear Laura Scull, from the Fort Lewis College: Title: Morita equivalence and bicategories of fractions: a simple geometric idea gets out of hand Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Also, Laura is giving a more introductory talk (Title: Spider Web Graphs) on Thursday at 11am in MS 478. Some of you might be interested in that. Looking forward to seeing you on Friday! Florian Schwarz PhD student _______________________________________________ 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Wed Nov 2 15:41:02 2022 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Wed, 2 Nov 2022 21:41:02 +0000 Subject: [Alta-Logic] Peripatetic seminar this Friday In-Reply-To: <15E87D36-80F5-4A21-BD6D-05960834A33B@ucalgary.ca> References: <15E87D36-80F5-4A21-BD6D-05960834A33B@ucalgary.ca> Message-ID: <70A8BF13-4042-4143-9795-91E35328085E@ucalgary.ca> Just a reminder to email me by end of day today if you want to join us for dinner at 6:30 pm tomorrow night. Kristine Dr. Kristine Bauer Co Director Industry, Pacific Institute for the Mathematical Sciences Associate Professor, Mathematics and Statistics University of Calgary On Nov 1, 2022, at 3:21 PM, Kristine Bauer > wrote: Hello Peripatetic seminar participants, I would like to propose that we take Dr. Laura Scull to dinner in Calgary during her visit. If you are interested in joining for dinner on Thursday, November 3 please email me by end of day on Wednesday, November 2. It would be great to know if you are able to drive to/from dinner (it will make the selection of a restaurant easier). I am aiming for a 6:30pm reservation. Dinner is free for students and postdocs who attend the Peripatetic Seminar (not including alcohol, not including non-seminar guests). I aim to ensure that everyone who would like to network with Dr. Scull and other future visitors is able to participate - if you are unable to attend dinner (this week or in general), please let me know and we will adjust. Dr. Scull is here for more than a week so there is plenty of time. There will be other visitors this year, so it would be good to know your preferences in general. Kristine On Nov 1, 2022, at 3:09 PM, Florian Schwarz > wrote: Dear all, This Friday, the 4th of November, at 10:30am Calgary time we will have the pleasure to hear Laura Scull, from the Fort Lewis College: Title: Morita equivalence and bicategories of fractions: a simple geometric idea gets out of hand Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Also, Laura is giving a more introductory talk (Title: Spider Web Graphs) on Thursday at 11am in MS 478. Some of you might be interested in that. Looking forward to seeing you on Friday! Florian Schwarz PhD student _______________________________________________ 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Nov 3 15:49:13 2022 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 3 Nov 2022 15:49:13 -0600 Subject: [Alta-Logic] Peripatetic seminar this Friday In-Reply-To: References: Message-ID: <014b65f1-c718-0b02-862b-3aacc07f8408@ucalgary.ca> Dear all, This is a friendly reminder that *tomorrow**, Friday the 4th of November, at 10:30am Calgary time* Laura Scull, from the Fort Lewis Colledge, will give a talk in the peripatetic seminar: Title: Morita equivalence and bicategories of fractions:? a simple geometric idea gets out of hand Abstract: https://logic.ucalgary.ca/ Location: ICT 616 Additionally to taking place in person the talk will be also streamed on zoom, please contact me for the link and passcode. Looking forward to seeing you tomorrow! Florian Schwarz PhD student > Dear all, > > *This Friday, the 4th of November, at 10:30am Calgary time* we will > have the pleasure to hear Laura Scull, from the Fort Lewis College: > > Title: Morita equivalence and bicategories of fractions:? a simple > geometric idea gets out of hand > Abstract: https://logic.ucalgary.ca/ > Location: ICT 616 > > Also, Laura is giving a more introductory talk (Title: Spider Web > Graphs) on Thursday at 11am in MS 478. Some of you might be interested > in that. > Looking forward to seeing you on Friday! > > Florian Schwarz > PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon Nov 7 10:20:53 2022 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 7 Nov 2022 17:20:53 +0000 Subject: [Alta-Logic] Lunch with Laura Message-ID: <94FFF8C1-3288-4A0D-B14E-DE9F08197C62@ucalgary.ca> Hi everyone, As you all know, Laura Scull is visiting us from Fort Lewis College this week. We will try to have lunch in the math lounge between 12 - 1pm daily (except for Thursday) this week. Please drop in and join us any time if you?d like to have a chance to chat with her. Otherwise, she is in an office adjacent to Robin Cockett?s office on the 6th floor of ICT and you might be able to catch her there, or by emailing her at the address above. Kristine Dr. Kristine Bauer Co Director Industry, Pacific Institute for the Mathematical Sciences Associate Professor, Mathematics and Statistics University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Nov 17 12:15:24 2022 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 17 Nov 2022 12:15:24 -0700 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <88cfdea4-d454-8b03-56fe-da78184752d8@ucalgary.ca> Dear all, *Tomorrow, Friday the 18th of November, at 10:30am Calgary time* we will have the pleasure to hear Kristine Bauer, from the University of Calgary: Title: Tangent infinity categories revisited Abstract: https://logic.ucalgary.ca/ Location: ICT 616 The talk will be in person only, there will be no zoom version. Looking forward to seeing you tomorrow! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Nov 24 16:39:40 2022 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 24 Nov 2022 16:39:40 -0700 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <994d487e-a016-eb99-45f8-1332bcbbb896@ucalgary.ca> Dear all, *Tomorrow, Friday the 25th of November, at 10:30am Calgary time* we will have the pleasure to hear Kristine Bauer, from the University of Calgary: Title: Tangent infinity categories revisited (Part 2) Abstract: https://logic.ucalgary.ca/ Location: ICT 616 The talk will be in person only, there will be no zoom version. Looking forward to seeing you tomorrow! Florian Schwarz PhD student -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Fri Dec 16 15:42:23 2022 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 16 Dec 2022 22:42:23 +0000 Subject: [Alta-Logic] World Logic Day in AB and BC: Jan 14th Message-ID: Please forward this email to your departments/anyone that you think might be interested in attending or giving a short talk about logic. Hi everyone, (apologies for cross posting) World logic day is now less than a month away, and we (Gillman Payette, Nic Fillion & Kent Peacock) are planning another session for January 14th, 2023. It will run the same as previous years on zoom since it was nice to include many of those interested in logic from all over Alberta. This year, since the time zones work fairly well, we will be celebrating world logic day for those in both British Columbia and Alberta. Yes, we have decided to hold the online meeting on Saturday January 14th and unless there is an overwhelming dissatisfaction with this plan, we will stick with the 14th. The format will be similar to previous years; short talks running from 10am - 5pm mountain time (perhaps with zoom drinks afterward). All of those time slots may not 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. Regards, Gillman Payette Adjunct Assistant Professor and Sessional Instructor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: