From ggpayett at ucalgary.ca Thu Jan 7 12:09:13 2021 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Thu, 7 Jan 2021 19:09:13 +0000 Subject: [Alta-Logic] World Logic Day in Alberta Message-ID: On January 14th, to celebrate World Logic Day, between 11:00 and 16:30 MST, there will be a series of half hour talks on various topics in logic from researchers working in Alberta. If you would like to join us in Alberta via Zoom for some or all the talks please visit https://sites.google.com/view/world-logic-day-alberta/home to register. Once registered, at 23:59 January 13th MST an email with the Zoom invitation will be sent to the email submitted. Schedule: Kickoff for World Logic Day in Alberta 11:10 - 11:15am Demonstrative Arguments and Petitio Principii 11:15 - 11:45am Victor Rodych - University of Lethbridge Bertrand Russell's two Lectures on Logic in Beijing, 1921 12 - 12:30pm Bernard Linsky - University of Alberta Laws, Worlds and Consequence 12:45 - 1:15pm Bryson Brown - University of Lethbridge Fooling the Victim - Of Strawmen and Those Who Fall for Them 1:30 - 2pm Katharina Stevens - University of Lethbridge A Theorem of Infinity for Principia Mathematica 2:15 - 2:45pm Landon Elkind - University of Alberta On Denotating; or, What Part of 'indefinite' did you not Understand? 3 - 3:30pm Kent Peacock - University of Lethbridge Doxastic Logic vs. Ideal Rationality 3:45 - 4:15pm Gillman Payette - University of Calgary January 14th is now World Logic Day, which is a UNESCO recognized day for the celebration of logic. If you would like to learn more about World Logic Day and how it will be celebrated elsewhere, visit: https://wld.cipsh.international/ Hope to see you on the 14th. Apologies for cross-posting, Gillman Payette Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Jan 13 08:32:49 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Wed, 13 Jan 2021 15:32:49 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: <910869a4-93df-4e74-a658-c3028fb38e81@Spark> Message-ID: Hi Everyone, Priyaa will be kicking of the Peripatetic seminar this semester. (I?m having some trouble with the website, so the details are attached to the email). Date and Time: 1:00PM, Friday, January 15, 2021. (Calgary time) Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Speaker: Priyaa Srinivasan Title: Measurement for Mixed Unitary Categories Abstract: Mixed Unitary Categories (MUCs) [1] provide a generalization for the finite-dimensional categorical quantum mechanic framework of dagger compact closed categories (dagger KCCs) by introducing dagger structure to Linearly Distributive Categories (LDCs). The goal of this generalization is to develop a framework that will accommodate quantum systems of arbitrary dimensions without forgoing the rich structures of dagger-KCCs. In our previous work, we demonstrated that one can describe quantum processes a.k.a. completely positive maps in the MUC framework. In this talk, I will show how one can describe quantum measurements with this framework. We observe that in the MUC framework, a measurement occurs in two steps ? compaction into a unitary core followed by traditional measurement. We also note that, while compacting, structures on the domain type can be transferred to the codomain type. Finally, in alignment with the purpose of MUCs, we note that in the presence of free exponential modalities, every pair of complementary measurements within a unitary core, arises as a compaction of a ?linear bialgbera? on exponential modalities. References: [1]. Cockett, Robin, Cole Comfort, and Priyaa Srinivasan. "Dagger linear logic for categorical quantum mechanics." arXiv preprint arXiv:1809.00275 (2018). Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Jan 20 10:55:29 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Wed, 20 Jan 2021 17:55:29 +0000 Subject: [Alta-Logic] Peripatetic on Friday References: Message-ID: <49ddc2bd-5a7d-46d8-970f-c018c32e1e0a@Spark> Hi Everyone, There will be a peripatetic seminar this Friday: Date and Time: 1:00PM on Friday, January 22 Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Speaker: JS Lemay Title: Characterizing Cofree Cartesian Differential Categories Abstract: Cartesian differential categories come equipped with a differential operator which formalizes the derivative from multivariable calculus. There has recently been renewed interest in cofree Cartesian differential categories. For any Cartesian left additive category X there exists a cofree Cartesian differential category Faa(X) over it, which satisfies the expected couniversal property, and this construction is known as the Faa di Bruno construction. A natural question to ask is whether well-known examples of Cartesian differential categories? Therefore, we would like to answer the following: starting with only an arbitrary Cartesian differential category, how can we check if it is a cofree Cartesian differential category without knowing the base Cartesian left additive category? In this talk, we will provide a characterization of cofree Cartesian differential categories using only internal structure, that is, as categories enriched over complete ultrametric spaces (where the metric is similar to that of power series) and whose base Cartesian left additive category is induced by maps whose derivative is zero. A consequence of this result is that the induced cofree Cartesian differential category comonad is of effective descent type. Furthermore, we also explain how many well-known Cartesian differential categories are NOT cofree. This talk should be accessible to everyone! Even those unfamiliar with differential categories. Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeansimon.lemay at ucalgary.ca Fri Jan 22 14:34:50 2021 From: jeansimon.lemay at ucalgary.ca (JS Lemay) Date: Fri, 22 Jan 2021 21:34:50 +0000 Subject: [Alta-Logic] Peripatetic on Friday In-Reply-To: <49ddc2bd-5a7d-46d8-970f-c018c32e1e0a@Spark> References: <49ddc2bd-5a7d-46d8-970f-c018c32e1e0a@Spark> Message-ID: <44D125BE-9B64-450E-BC82-93E6987A5FBB@ucalgary.ca> Hi all, Thank you to those who attended my talk. And for those that couldn?t (and those that did) I?m attaching the notes from today and as well as some slides I gave on the topic at another seminar, YAMCATS. Have a great weekend everyone! JS On Jan 20, 2021, at 5:55 PM, Ben MacAdam > wrote: Hi Everyone, There will be a peripatetic seminar this Friday: Date and Time: 1:00PM on Friday, January 22 Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Speaker: JS Lemay Title: Characterizing Cofree Cartesian Differential Categories Abstract: Cartesian differential categories come equipped with a differential operator which formalizes the derivative from multivariable calculus. There has recently been renewed interest in cofree Cartesian differential categories. For any Cartesian left additive category X there exists a cofree Cartesian differential category Faa(X) over it, which satisfies the expected couniversal property, and this construction is known as the Faa di Bruno construction. A natural question to ask is whether well-known examples of Cartesian differential categories? Therefore, we would like to answer the following: starting with only an arbitrary Cartesian differential category, how can we check if it is a cofree Cartesian differential category without knowing the base Cartesian left additive category? In this talk, we will provide a characterization of cofree Cartesian differential categories using only internal structure, that is, as categories enriched over complete ultrametric spaces (where the metric is similar to that of power series) and whose base Cartesian left additive category is induced by maps whose derivative is zero. A consequence of this result is that the induced cofree Cartesian differential category comonad is of effective descent type. Furthermore, we also explain how many well-known Cartesian differential categories are NOT cofree. This talk should be accessible to everyone! Even those unfamiliar with differential categories. Regards, Ben _______________________________________________ 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: -------------- next part -------------- A non-text attachment was scrubbed... Name: YAMCATS2020.pdf Type: application/pdf Size: 584446 bytes Desc: YAMCATS2020.pdf URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: My Note 25.pdf Type: application/pdf Size: 5392873 bytes Desc: My Note 25.pdf URL: From bauerk at ucalgary.ca Tue Feb 2 15:10:13 2021 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Tue, 2 Feb 2021 22:10:13 +0000 Subject: [Alta-Logic] Fwd: Leicester Pure Maths crisis References: <1463969342.180282.1612277949507@mail1.virgilio.it> Message-ID: Hi everyone, I thought this letter from Simona Paoli about the (re)current situation at Leicester would be of interest to folks on this mailing list. In short: Leicester is once again threatening to close down the pure mathematics research group, eliminating a number of positions and converting the remaining ones to teaching-only positions. See details in the attached email. Dr. Kristine Bauer Calgary Site Director, Pacific Institute for the Mathematical Sciences Associate Professor, Mathematics and Statistics University of Calgary Begin forwarded message: From: simona.paoli at virgilio.it Subject: Leicester Pure Maths crisis Date: February 2, 2021 at 7:59:09 AM MST To: "wit at groupes.epfl.ch" > [?EXTERNAL] Dear All, many of you have probably already heard of the terrible situation at the University of Leicester, where the whole of the Pure mathematics group (in the School of Mathematics and Actuarial Science) consisting of eight research active members of staff are at risk of redundancy. More details about this can be found on our petition page, where you can sign and comment to express your support: https://www.ipetitions.com/petition/mathematics-is-not-redundant I would like to highlight a couple of points about this situation which I think are particularly relevant to this mailing list: Our group is extremely active in areas which are of particular interest to this list: algebra, algebraic geometry, algebraic topology, category theory, differential geometry. Further, the only research active women with a full-time permanent position in our School are in the Pure Mathematics group (two at present, three in the original redundancy pool consisting of nine people, before one recently left). If the VC plans go through, there will be no women left in full time permanent positions in Mathematics at Leicester allowed to do research. Both myself and my female colleagues in our School have been very active in promoting women in mathematics. Our loss will therefore indirectly impact the younger female mathematicians in the scientific community that we would like to continue to support but will no longer be able to if we are made redundant. We would be extremely grateful for your support. Do not hesitate to contact me directly if you would like further elucidations. Best wishes, Simona --------------------------------------- Dr Simona Paoli Associate Professor School of Mathematics and Actuarial Science, University of Leicester, UK. -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Feb 4 08:44:32 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Thu, 4 Feb 2021 15:44:32 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: <6a55a70b-5bf8-4635-92a0-46ef5ec09d47@Spark> Hi Everyone, Cole will be giving a peripatetic seminar this Friday: Talk info: https://logic.ucalgary.ca/event/cole-comfort-7/ Time: 1:00 PM, MST Date: Friday, February 5, 2021 Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Feb 10 11:53:56 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Wed, 10 Feb 2021 18:53:56 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: <4f3c94da-6154-4e5d-b8a9-499b99e9bece@Spark> Hi Everyone, Michael Lambert will be giving a peripatetic seminar this Friday: Talk info: https://logic.ucalgary.ca/event/michael-lambert/ Dat and Time: Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon Feb 22 09:57:27 2021 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 22 Feb 2021 16:57:27 +0000 Subject: [Alta-Logic] Fwd: Connection Details: Emergent Research: The PIMS Postdoctoral Fellow Seminar References: Message-ID: <91BBBAE5-B8C3-4D41-994F-FFE1B02959DF@ucalgary.ca> Hello all, The talk advertised in the poster below may be of interest to some folks on this list. Kristine View this email in your browser [https://mcusercontent.com/c9cc3beec9fa57d7299ac161c/images/df43192d-ec07-4610-91b2-95e8a3b6bbd8.png] Emergent Research: The PIMS Postdoctoral Fellow Seminar This is a reminder that Emergent Research: The PIMS Postdoctoral Fellow Seminar, takes place on, Wednesday, February 24 at 9:30 AM Pacific / 10:30 AM Mountain / 11:30 AM Central. The poster for this session can be found here. Please find the connection details below. Join: https://ubc.zoom.us/j/62046141033?pwd=d3FrWmNQdnZmWUZ6ek91MVN6c1V1dz09 Meeting ID: 620 4614 1033 Passcode: 642675 [https://mcusercontent.com/c9cc3beec9fa57d7299ac161c/images/5473dbc6-7253-442e-90da-cfb1a4367572.png] Andrew Schopieray, University of Alberta Fusion rings and their categorifications Fusion rings are a special class of associative unital rings with nonnegative integer structure constants and a notion of duality. For example, the group ring of a finite group is a fusion ring. We study fusion rings mainly because they arise as Grothendieck rings of categories associated to Hopf algebras, semisimple Lie algebras, vertex operator algebras, etc. In turn, these categories have application to topological quantum field theory, invariants of knots and links, and quantum computation, to name a few. In this talk we will discuss the brief history of the classification of categorifiable fusion rings and how number-theoretic properties of fusion rings dictate the existence of, or properties of, their categorifications. Speaker Biography: Andrew Schopieray is a PIMS PDF (2020) working with Terry Gannon at the University of Alberta. He obtained his Ph.D. from the University of Oregon (Eugene, United States) in 2017 under the supervision of Victor Ostrik. He previously held postdoctoral positions at the University of New South Wales (Sydney, Australia) and the Mathematical Sciences Research Institute (Berkeley, United States). His research is in the study of tensor categories and draws inspiration from representation theory, category theory, number theory, and mathematical physics. Find out more about Andrew Schioperay and his work in our Medium post here. Seminar Schedule Date PDF Institution March 17 Peter Kristel Manitoba April 7 Sajad Fathi Hafshejani Lethbridge April 28 Eric Jones SFU May 19 Chandra Rajulapati Saskatchewan 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 ? Univ. Of British Columbia ? 4173-2207 Main Mall ? Vancouver, BC V6T 1Z4 ? Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Feb 26 10:22:32 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Fri, 26 Feb 2021 17:22:32 +0000 Subject: [Alta-Logic] FW: Peripatetic Seminar In-Reply-To: <4D47EF68-9B12-476F-8499-E0E7031BE2BF@ucalgary.ca> References: <4D47EF68-9B12-476F-8499-E0E7031BE2BF@ucalgary.ca> Message-ID: <3E5C8591-3B07-4631-B8FA-DE07B63738C4@ucalgary.ca> Hi Everyone, I?ll trying to send this out again! -Ben From: Ben MacAdam Date: Wednesday, February 24, 2021 at 11:57 AM To: alta-logic-l Subject: Peripatetic Seminar Hi Everyone, Melvin Vaupel will be giving a peripatetic seminar talk this Friday. Title: Field theories in synthetic differential geometry Talk info: https://logic.ucalgary.ca/event/melvin-vaupel/ Date and time: 1:00 PM MST, Friday, February 26, 2021 Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 Regards, Benjamin ? will be a peripatetic seminar this Friday. Title: ? Talk info: ? Date and time: ? Zoom link: -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Mon Mar 1 10:05:58 2021 From: rzach at ucalgary.ca (Richard Zach) Date: Mon, 1 Mar 2021 10:05:58 -0700 Subject: [Alta-Logic] Save the date: annual Math Philosophy Lecture Message-ID: <26459f07-42cf-6d43-eec2-39b362cb3472@ucalgary.ca> Hello All: This is a short note to ask you to mark March 18 @ 3:30pm on your calendar?s for the Annual Math Philosophy Lecture. ?Last year?s lecture was cancelled due to COVID, and we have now rescheduled this as a virtual event. ?Announcements with more details (such as registration information) will be coming soon. Geometry, Logic, and Philosophy:? The Case of the Parallels Postulate Patricia Blanchette University of Notre Dame One of the most important techniques provided by modern logic is the use of models to show the consistency of theories. The technique burst onto the scene in the late 19th century, and had its most important early instance in demonstrating the consistency of non-Euclidean geometries. This talk investigates the development of that technique as it transitions from a geometric tool to an all-purpose tool of logic. Prof. Blanchette argues that the standard narrative, according to which our modern technique provides answers to centuries-old questions, is mistaken. Once we understand how modern models work, she'll argue, we see important differences between the kinds of consistency-claims that would have made sense, e.g., to Kant and the kinds of consistency-claims that we can demonstrate today. We?ll also see some philosophically-interesting shifts, over this time period, in the kinds of things that we take proofs to demonstrate. Patricia Blanchette ?is Professor of Philosophy and Glynn Family Honors Collegiate Chair in the Department of Philosophy at the University of Notre Dame. Prior to coming to Notre Dame, Blanchette taught in the Department of Philosophy at Yale University. Blanchette works in the history and philosophy of logic, philosophy of mathematics, history of analytic philosophy, and philosophy of language. She is an editor of the /Bulletin of Symbolic Logic/, and serves on the editorial boards of the /Notre Dame Journal of Formal Logic/?and of /Philosophia Mathematica/. She is the author of /Frege?s Conception of Logic/(Oxford University Press 2012). /This talk is the sixth annual Calgary Mathematics & Philosophy Lecture , co-sponsored by the ///?Departments of Philosophy ?and /Mathematics ,/ /PIMS , the Pacific Institute for the Mathematical Sciences, and the Faculty of Science. The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. The event is free & open to the public./ _______________________________________________ *Dr. Kristine Bauer* *Calgary Site Director, Pacific Institute for the Mathematical Sciences* *Associate Professor, Mathematics and Statistics* *University of Calgary* -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Mar 5 10:14:07 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Fri, 5 Mar 2021 17:14:07 +0000 Subject: [Alta-Logic] No peripatetic this week Message-ID: Hi Everyone, There is no seminar this week, but we should have a speaker lined up next week. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Mar 9 15:51:59 2021 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 9 Mar 2021 15:51:59 -0700 Subject: [Alta-Logic] Register Now: Calgary Mathematics and Philosophy Lectures Message-ID: <31231155-5b63-2e8f-ec97-5d8b2711751a@ucalgary.ca> Message not displaying properly? Try the web version . *You're invited* Join us on March 18, 2021?for the Calgary Mathematics and Philosophy Lectures. We are pleased to welcome *Dr. Patricia Blanchette* from the University of Notre Dame to talk about: /Geometry, Logic, and Philosophy: The Case of the Parallels Postulate./ This annual event is presented in partnership with the departments of Mathematics and Statistics in the Faculty of Science, Philosophy in the Faculty of Arts, and the Pacific Institute for the Mathematical Sciences (PIMS). RSVP NOW! /Interested in this talk, but unable to attend the webinar?Sign-up here?and we'll send you a link to the?webinar?recording when it's available./ *Geometry, Logic, and Philosophy: The Case of the Parallels Postulate <#>* Dr. Patricia Blanchette, University of Notre Dame *Date:* Thursday, March 18, 2021 *Time / Location:* 3:30 - 4:30 p.m. | Online *Abstract* One of the most important techniques provided by modern logic is the use of models to show the consistency of theories. The technique burst onto the scene in the late 19th century and had its most important early instance in demonstrating the consistency of non-Euclidean geometries. This talk investigates the development of that technique as it transitions from a geometric tool to an all-purpose tool of logic. Dr. Blanchette will argue that the standard narrative, according to which our modern technique provides answers to centuries-old questions, is mistaken. Once we understand how modern models work,?she'll?argue, we see important differences between the kinds of consistency-claims that would have made sense e.g. to Kant and the kinds of consistency-claims that we can demonstrate today. We?ll also see some philosophically-interesting shifts, over this time period, in the kinds of things that we take proofs to demonstrate. *About the speaker: * Patricia Blanchette is Professor of Philosophy and Glynn Family Honors Collegiate Chair in the Department of Philosophy at the University of Notre Dame. Prior to coming to Notre Dame, Blanchette taught in the Department of Philosophy at Yale University. Blanchette works in the history and philosophy of logic, philosophy of mathematics, history of analytic philosophy, and philosophy of language. She is an editor of the Bulletin of Symbolic Logic, and serves on the editorial boards of the Notre Dame Journal of Formal Logic and of Philosophia Mathematica. She is the author of Frege?s Conception of Logic (Oxford University Press 2012). science.ucalgary.ca You have received this message because you are a member of the phildept-l at mailman.ucalgary.ca Mailman list at the University of Calgary. University of Calgary 2500 University Drive NW Calgary, AB ?T2N 1N4 CANADA ? University of Calgary 2021 Privacy Policy facebook Twitter LinkedIn YouTube Instagram -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Mar 10 15:01:39 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Wed, 10 Mar 2021 22:01:39 +0000 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <273C3C50-4E59-4ACC-805E-D8050A6FE501@ucalgary.ca> Hi Everyone, I?m going to give a (mostly) expository talk this week. Title: (Commutative) theories and (monoidal) monads Talk info: https://logic.ucalgary.ca/event/benjamin-macadam-3/ Date and time: 1:00 PM, MST, Friday March 12 Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Sat Mar 13 07:41:27 2021 From: rzach at ucalgary.ca (Richard Zach) Date: Sat, 13 Mar 2021 07:41:27 -0700 Subject: [Alta-Logic] Fwd: [PT] Research Programmer in HoTT and Cubical Type Theory In-Reply-To: References: Message-ID: <95485c72-0679-5b78-b467-576f4045b7c2@ucalgary.ca> Maybe this is of interest to one of you! -R We are hiring a research programmer at University of Minnesota to work with us on building next-generation proof assistant technology (broadly defined) based on homotopy type theory and cubical type theory. The ideal candidate would have some knowledge and interest in homotopy and cubical type theory, combined with concrete experience implementing type theoretic proof assistants using modern algorithms, such as bidirectional type checking and normalization-by-evaluation. You will be exposed to the latest research in the field and can get involved in theoretical development of the research ideas. We welcome applicants who do not have a Ph.D. degree---a BA/BS degree is sufficient. The research project is funded by the AFOSR through their MURI program, and your official affiliation would be the University of Minnesota with Favonia being your supervisor. However, you will frequently meet and collaborate with other researchers from Carnegie Mellon University, Wesleyan University, University of San Diego, and other institutions. Especially during the COVID-19 pandemic, most activities will be online, though you will have to be physically in the US. (We may be able to sponsor visas. Contact Favonia > for details.) We are interviewing candidates on a rolling basis until a match is found. Candidates applying by the end of March (2021/3/31) would be given priority. Here is the official link for application: https://hr.myu.umn.edu/jobs/ext/339220 Please also drop an email to Favonia > so that we can confirm that your application correctly enters the system. If you are a current employee of the University of Minnesota, please use https://hr.myu.umn.edu/jobs/int/339220 instead. # Some further information - What is the annual salary? About $60,000 USD. - When is the expected start date? As soon as you are ready. - How long does this position last? The position will last as long as the project can support it and benefit from it. However, the expectation is that you will be in this position around 1-3 years (negotiable) and may choose to leave early (for example, to start a Ph.D.). Your official contract will be one-year but renewable. - I see that there?s a ?work experience? requirement. What counts as ?work experience?? This requirement exists to satisfy an administrative requirement of the job code at the University of Minnesota. We will recognize a wide range of activities as ?work experience?, such as contributions on GitHub during weekends. **Please document related activities in your CV.** If you are not sure if something counts as work experience, please ask Favonia >. - I have more questions! Please send an email to Favonia >. Best, Favonia they/them/theirs -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Tue Mar 16 09:43:34 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Tue, 16 Mar 2021 15:43:34 +0000 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <98A17A05-4B94-4B37-834C-F29CB9A1DF59@ucalgary.ca> Hi Everyone, We are pleased to have Martin Frankland from the University of Regina giving a peripatetic seminar this Friday. Title: The monoidal fibered category of Beck modules Talk info: https://logic.ucalgary.ca/event/martin-frankland/ Date and time: 1:00 PM MST, Friday, March 19 20201 Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Mon Mar 22 18:22:49 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Tue, 23 Mar 2021 00:22:49 +0000 Subject: [Alta-Logic] Peripatetic Seminar on Friday Message-ID: Hi Everyone, This week we?ll have Macquarie?s Bryce Clark speaking at the seminar. To handle the time difference, we?ll have the talk a bit later in the evening. Speaker: Bryce Clark Title: The Grothendieck construction for lenses. Talk info: https://logic.ucalgary.ca/event/bryce-clark/ Date and time: 4:00 PM MDT, Friday March 26, 2021 Zoom info: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 Best, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Mar 25 16:51:46 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Thu, 25 Mar 2021 22:51:46 +0000 Subject: [Alta-Logic] Additive bundle notes Message-ID: Hi everyone, I managed to dig up my notes on Beck modules/additive bundles and gave them a quick re-write (though I?d probably take everything in them with a grain of salt). Following Kristine?s suggestion I?ll send them out on the mailing list here in case anyone is interested. There does seem to be a connection with algebra, as there seems to be a natural flat, torsion-free vertical connection on Lex. Following the abelian category/differential object metaphor, it looks like the affine objects (those where the vertical connection induces a full connection) seem to be related to (something like) semi-abelian categories (so far I?ve only managed to check that the category of commutative rings are affine). Best, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Weil1_modules.pdf Type: application/pdf Size: 301068 bytes Desc: Weil1_modules.pdf URL: From benjamin.macadam at ucalgary.ca Fri Mar 26 12:24:05 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Fri, 26 Mar 2021 18:24:05 +0000 Subject: [Alta-Logic] Reminder: Message-ID: Hi everyone, Just a reminder that Bryce?s talk will be at 4:00 PM MDT time today. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Tue Apr 6 11:43:31 2021 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Tue, 6 Apr 2021 17:43:31 +0000 Subject: [Alta-Logic] Fwd: ALGTOP-L Digest, Vol 2339, Issue 1 References: Message-ID: Hi everyone, Please find a message below regarding Categories and Companions Symposium 2021. Probably most of you received this through another means, but forwarding just in case... Cheers, Kristine Dr. Kristine Bauer Calgary Site Director, Pacific Institute for the Mathematical Sciences Associate Professor, Mathematics and Statistics University of Calgary Today's Topics: 1. Categories and Companions Symposium 2021 ? First announcement and call for talks from research students (Categories and Companions 2021) ---------------------------------------------------------------------- Message: 1 Date: Sun, 4 Apr 2021 07:23:31 +1000 From: Categories and Companions 2021 > To: algtop-l at lists.lehigh.edu Subject: [ALGTOP-L] Categories and Companions Symposium 2021 ? First announcement and call for talks from research students Message-ID: > Content-Type: text/plain; charset="utf-8" ================================================================= FIRST ANNOUNCEMENT AND CALL FOR TALKS FROM RESEARCH STUDENTS Categories and Companions Symposium 2021 (CaCS2021) 08:00?10:30 and 20:00?22:30, June 8?12, 2021 (UTC+10) on Zoom http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/ ================================================================= BACKGROUND CaCS2021 is an event for research students (Honours/Masters/PhD) in category theory and related disciplines from around the world to meet each other and share their work. Everyone is welcome to attend the event. Each day will feature a 50 minute talk by an invited speaker and a series of 20 minute contributed talks by research students, split across two sessions ? the first aimed at Australasian and American time zones and the second at Australasian, African and European time zones. Attendees will also have the opportunity to meet and talk to each other in smaller groups at various times throughout the symposium. This symposium is supported by MATRIX and AMSI. To support post-symposium research collaboration between PhD student participants, MATRIX and AMSI are providing funding through the MATRIX-AMSI PhD Student Research Collaboration Scheme. For more information, see https://www.matrix-inst.org.au/phd-student-research-collaboration-scheme-guidelines/ . Please share the details of this event with research students in your local academic community. ================================================================= IMPORTANT DATES - Submission of abstracts: Friday, May 7, 2021 23:59:59 Anywhere on Earth. - Acceptance/rejection notification: mid-May. - Registration for attendance: Friday, June 4, 2021 23:59:59 Anywhere on Earth. - Symposium: Tuesday, June 8 to Saturday, June 12, 2021. ================================================================= REGISTRATION & ABSTRACT SUBMISSION Registration is now open (for both research students and the wider community) via the linked Google Form https://forms.gle/ZdEfrpzeaD3zkUzT8. When registering, all research students (Honours/Masters/PhD) are invited to propose a title and abstract for a 20 minute talk in category theory or category theory adjacent topics. Talks about work in progress, and talks by those who usually have fewer opportunities to present internationally, are very welcome and especially encouraged. Upon submitting the registration form, a link titled "Edit your response" will be presented; talk proposals may be edited using this link up until the May 7 deadline. ================================================================= INVITED SPEAKERS The following invited speakers will each deliver an extended 50 minute talk. Further information, including the titles and abstracts of their talks can be found on the CaCS2021 website: http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/. - John Baez (University of California, Riverside) - Eugenia Cheng (School of the Art Institute of Chicago) - Tobias Fritz (University of Innsbruck) - Emily Riehl (Johns Hopkins University) - Ross Street (Macquarie University) ================================================================= ORGANISERS Bryce Clarke (Macquarie University) Matthew Di Meglio (Macquarie University) Nicola Di Vittorio (Macquarie University) Eli Hazel (Macquarie University) Yuki Maehara (Kyushu University) Adrian Miranda (Macquarie University) Giacomo Tendas (Macquarie University) Paula Verdugo (Macquarie University) Giulian Wiggins (University of Sydney) For any additional information, please contact us at catscomps2021 at gmail.com -------------- next part --------------
=================================================================

FIRST ANNOUNCEMENT AND CALL FOR TALKS FROM RESEARCH STUDENTS

Categories and Companions Symposium 2021 (CaCS2021)?
08:00?10:30 and 20:00?22:30, June 8?12, 2021 (UTC+10) on Zoom

=================================================================

BACKGROUND?

CaCS2021 is an event for research students (Honours/Masters/PhD) in category theory and related disciplines from around the world to meet each other and share their work. Everyone is welcome to attend the event. Each day will feature a 50 minute talk by an invited speaker and a series of 20 minute contributed talks by research students, split across two sessions ? the first aimed at Australasian and American time zones and the second at Australasian, African and European time zones. Attendees will also have the opportunity to meet and talk to each other in smaller groups at various times throughout the symposium.

This symposium is supported by MATRIX and AMSI. To support post-symposium research collaboration between PhD student participants, MATRIX and AMSI are providing funding through the MATRIX-AMSI PhD Student Research Collaboration Scheme. For more information, see https://www.matrix-inst.org.au/phd-student-research-collaboration-scheme-guidelines/.

Please share the details of this event with research students in your local academic community.

=================================================================

IMPORTANT DATES?

- Submission of abstracts: Friday, May 7, 2021 23:59:59 Anywhere on Earth.?
- Acceptance/rejection notification: mid-May.
- Registration for attendance: Friday, June 4, 2021 23:59:59 Anywhere on Earth.?
- Symposium: Tuesday, June 8 to Saturday, June 12, 2021.

=================================================================

REGISTRATION & ABSTRACT SUBMISSION?

Registration is now open (for both research students and the wider community) via the linked Google Form https://forms.gle/ZdEfrpzeaD3zkUzT8.?

When registering, all research students (Honours/Masters/PhD) are invited to propose a title and abstract for a 20 minute talk in category theory or category theory adjacent topics. Talks about work in progress, and talks by those who usually have fewer opportunities to present internationally, are very welcome and especially encouraged. Upon submitting the registration form, a link titled "Edit your response" will be presented; talk proposals may be edited using this link up until the May 7 deadline.

=================================================================

INVITED SPEAKERS?

The following invited speakers will each deliver an extended 50 minute talk. Further information, including the titles and abstracts of their talks can be found on the CaCS2021 website: http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/.?

- John Baez (University of California, Riverside)?
- Eugenia Cheng (School of the Art Institute of Chicago)?
- Tobias Fritz (University of Innsbruck)?
- Emily Riehl (Johns Hopkins University)?
- Ross Street (Macquarie University)

=================================================================??

ORGANISERS
Bryce Clarke (Macquarie University)?
Matthew Di Meglio (Macquarie University)?
Nicola Di Vittorio (Macquarie University)?
Eli Hazel (Macquarie University)?
Yuki Maehara (Kyushu University)?
Adrian Miranda (Macquarie University)?
Giacomo Tendas (Macquarie University)?
Paula Verdugo (Macquarie University)?
Giulian Wiggins (University of Sydney)?

For any additional information, please contact us at catscomps2021 at gmail.com

------------------------------ Subject: Digest Footer _______________________________________________ ALGTOP-L mailing list ALGTOP-L at lists.lehigh.edu https://lists.lehigh.edu/mailman/listinfo/algtop-l ------------------------------ End of ALGTOP-L Digest, Vol 2339, Issue 1 ***************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Apr 9 12:14:46 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Fri, 9 Apr 2021 18:14:46 +0000 Subject: [Alta-Logic] Seminar today Message-ID: Hi everyone, There?s no seminar, we should be back in action next week. Best Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Apr 16 12:44:44 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Fri, 16 Apr 2021 18:44:44 +0000 Subject: [Alta-Logic] No seminar today Message-ID: Hi everyone, I promise, we?ll have talks the next two weeks! -Ben Get Outlook for iOS -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Mon Apr 19 21:08:09 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Tue, 20 Apr 2021 03:08:09 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday Message-ID: Hi Everyone, We?re very happy to host Chris Rogers from the University of Nevada this this Friday. Title: Homotopy theory for Kan simplicial manifolds and a smooth analog of Sullivan's realization functor Talk info: https://logic.ucalgary.ca/event/chris-rogers/ Date and time: 1:00 PM MDT Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 Best Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Apr 23 12:47:11 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Fri, 23 Apr 2021 18:47:11 +0000 Subject: [Alta-Logic] Reminder Message-ID: Hi Everyone, Just a reminder that there is, in fact, a Peripatetic seminar today! Title: Homotopy theory for Kan simplicial manifolds and a smooth analog of Sullivan's realization functor Talk info: https://logic.ucalgary.ca/event/chris-rogers/ Date and time: 1:00 PM MDT Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Apr 28 14:08:13 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Wed, 28 Apr 2021 20:08:13 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday Message-ID: Hi Everybody, I?m very pleased to announce Rory Lucyshyn-Wright will be giving a peripatetic seminar this Friday. Title: Homotopy theory for Kan simplicial manifolds and a smooth analog of Sullivan's realization functor Talk info: https://logic.ucalgary.ca/event/rory-lucyshyn-wright/ Date and time: 1:00 PM MDT Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Apr 28 14:30:37 2021 From: benjamin.macadam at ucalgary.ca (Ben MacAdam) Date: Wed, 28 Apr 2021 20:30:37 +0000 Subject: [Alta-Logic] FW: Peripatetic Seminar this Friday In-Reply-To: References: Message-ID: Hi Everyone, Sorry about the mix-up! I?ve fixed the title. -Ben From: Ben MacAdam Date: Wednesday, April 28, 2021 at 1:08 PM To: Alta-logic mailing list Subject: Peripatetic Seminar this Friday Hi Everybody, I?m very pleased to announce Rory Lucyshyn-Wright will be giving a peripatetic seminar this Friday. Title: Bifold algebras Talk info: https://logic.ucalgary.ca/event/rory-lucyshyn-wright/ Date and time: 1:00 PM MDT Zoom link: https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Passcode: 248135 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu May 6 09:50:48 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 6 May 2021 15:50:48 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday Message-ID: Hello everyone, I have the pleasure to announce that this Friday, Geoff Vooys will give a talk at the Peripatetic Seminar. Title: Equivariant Categories on Varieties Talk info: https://logic.ucalgary.ca/ Date and time: 1:00 PM MDT Zoom link: https://ucalgary.zoom.us/j/96213702527 Meeting ID: 962 1370 2527 Passcode: 459072 Looking forward to seeing you there. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu May 20 15:58:29 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 20 May 2021 21:58:29 +0000 Subject: [Alta-Logic] No Peripatetic Seminar this Friday In-Reply-To: References: Message-ID: Dear all, There will be no Peripatetic seminar this Friday. Sorry for forgetting to send such a message last Thursday. For information, so far, the next peripatetic seminar will be on the 25th of June, and I accept all volunteers who want to give a talk. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu May 27 16:37:15 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 27 May 2021 22:37:15 +0000 Subject: [Alta-Logic] No Peripatetic Seminar this Friday In-Reply-To: References: , Message-ID: Dear all, There will be no Peripatetic seminar this Friday, but I wanted to tell you that the schedule is slowly filling up. Here is the current tentative schedule: * Joost Nuiten, scheduled to speak on the 25th of June, * Pedro Tamarov, scheduled to speak on the 2nd of July, * Steve Rayan, scheduled to speak on the 24th of September, * Christine Vespa, scheduled to speak on the 1st of October, * Marcelo Aguiar, scheduled to speak on the 15th of October, * Ioannis Dokas, scheduled to speak somewhere in September/October. I am searching for local speakers to complete this schedule, especially for the two coming weeks and from the beginning of September. It seems like the seminar will take a summer break between the 2nd of July and the beginning of September. I will keep everyone updated in due time! Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Thursday 20 May 2021 15:58 To: alta-logic-l at mailman.ucalgary.ca Subject: No Peripatetic Seminar this Friday Dear all, There will be no Peripatetic seminar this Friday. Sorry for forgetting to send such a message last Thursday. For information, so far, the next peripatetic seminar will be on the 25th of June, and I accept all volunteers who want to give a talk. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Thu May 27 22:04:17 2021 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Fri, 28 May 2021 04:04:17 +0000 Subject: [Alta-Logic] No Peripatetic Seminar this Friday In-Reply-To: References: Message-ID: <7C7B12BD-19FB-4723-87BC-694E7F678F48@ucalgary.ca> Hi all, Perhaps it is also worth mentioning that during the week June 14-18, there is a BIRS workshop called Tangent Categories and their Applications, online. If anyone would like to attend this workshop but has not received an invitation, please just let me or Robin know and we?ll make sure to send you and invite. Thanks! Kristine On May 27, 2021, at 4:37 PM, Sacha Ikonicoff > wrote: Dear all, There will be no Peripatetic seminar this Friday, but I wanted to tell you that the schedule is slowly filling up. Here is the current tentative schedule: * Joost Nuiten, scheduled to speak on the 25th of June, * Pedro Tamarov, scheduled to speak on the 2nd of July, * Steve Rayan, scheduled to speak on the 24th of September, * Christine Vespa, scheduled to speak on the 1st of October, * Marcelo Aguiar, scheduled to speak on the 15th of October, * Ioannis Dokas, scheduled to speak somewhere in September/October. I am searching for local speakers to complete this schedule, especially for the two coming weeks and from the beginning of September. It seems like the seminar will take a summer break between the 2nd of July and the beginning of September. I will keep everyone updated in due time! Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary ________________________________ From: Sacha Ikonicoff > Sent: Thursday 20 May 2021 15:58 To: alta-logic-l at mailman.ucalgary.ca > Subject: No Peripatetic Seminar this Friday Dear all, There will be no Peripatetic seminar this Friday. Sorry for forgetting to send such a message last Thursday. For information, so far, the next peripatetic seminar will be on the 25th of June, and I accept all volunteers who want to give a talk. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary _______________________________________________ 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 sacha.ikonicoff at ucalgary.ca Wed Jun 23 12:01:15 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 23 Jun 2021 18:01:15 +0000 Subject: [Alta-Logic] Peripatetic Seminar Triple Announcement Message-ID: Dear all, This message contains three announcements regarding the Peripatetic seminar: This Friday We're happy to host Joost Nuiten from the Institut Montpelli?rain Alexander Grothendieck, Universit? de Montpellier, this Friday, at 1pm Calgary time. Title: PD operads and partition Lie algebras. Zoom coordinates: https://ucalgary.zoom.us/j/93149345188 Meeting ID: 931 4934 5188 Password: 806060 Next Monday, the 28th of June Since the 2nd of July has been declared a day off, we will instead have a special session of the Peripatetic Seminar on this Monday, the 28th of June, at 9am Calgary time, please save the date! We're happy to host Pedro Tamaroff, from the Max Planck Institute for Mathematics in the Sciences in Leipzig. Title: The Diamond Lemma through homotopical algebra. Zoom coordinates: https://ucalgary.zoom.us/j/91849727404 Meeting ID: 918 4972 7404 Password: 031825 Summer Break After these two almost back-to-back sessions, the seminar will undergo a summer break, and come back at the beginning of September, or late August. We have a few external speakers already booked, and I am looking forward to schedule some local speakers, so do not hesitate to volunteer yourselves or to denounce your new students who need to make themselves known. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Jun 23 12:02:25 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 23 Jun 2021 18:02:25 +0000 Subject: [Alta-Logic] Peripatetic Seminar Triple Announcement In-Reply-To: References: Message-ID: Dear all, I forgot to precise that the information regarding the talks is available here: https://logic.ucalgary.ca/ Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: Wednesday 23 June 2021 12:01 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Seminar Triple Announcement Dear all, This message contains three announcements regarding the Peripatetic seminar: This Friday We're happy to host Joost Nuiten from the Institut Montpelli?rain Alexander Grothendieck, Universit? de Montpellier, this Friday, at 1pm Calgary time. Title: PD operads and partition Lie algebras. Zoom coordinates: https://ucalgary.zoom.us/j/93149345188 Meeting ID: 931 4934 5188 Password: 806060 Next Monday, the 28th of June Since the 2nd of July has been declared a day off, we will instead have a special session of the Peripatetic Seminar on this Monday, the 28th of June, at 9am Calgary time, please save the date! We're happy to host Pedro Tamaroff, from the Max Planck Institute for Mathematics in the Sciences in Leipzig. Title: The Diamond Lemma through homotopical algebra. Zoom coordinates: https://ucalgary.zoom.us/j/91849727404 Meeting ID: 918 4972 7404 Password: 031825 Summer Break After these two almost back-to-back sessions, the seminar will undergo a summer break, and come back at the beginning of September, or late August. We have a few external speakers already booked, and I am looking forward to schedule some local speakers, so do not hesitate to volunteer yourselves or to denounce your new students who need to make themselves known. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Jul 6 21:25:22 2021 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 6 Jul 2021 21:25:22 -0600 Subject: [Alta-Logic] Fwd: 24 hours for Inclusive Logic, 12 July 2021 (UTC) In-Reply-To: <6C1A7655-F42D-4F14-80A8-0CDC9B3E77B2@gmail.com> References: <6C1A7655-F42D-4F14-80A8-0CDC9B3E77B2@gmail.com> Message-ID: <3d343664-c19a-e6f1-1368-2710de1f71a8@ucalgary.ca> Subject: 24 hours for Inclusive Logic, 12 July 2021 (UTC) Date: Tue, 6 Jul 2021 17:46:27 -0400 From: Marcus Rossberg To: logic-supergroup at googlegroups.com CC: Logic Supergroup [?EXTERNAL] Hi all, The date of the second Day of Inclusive Logic is near! Check out the tentative schedule with many exciting topics here: https://sites.google.com/view/logicsupergroup/inclusive-logic We start 12 July, 0:00 UTC (which you can translate into your local time for example here )?and go for 24 hours. (E.g., that?s on 11 July 2pm HST, 5pm PDT, 8pm EDT, 9pm ART/BRT, on July 12 1am WAT, 2am CEST, 3am MSK, 5:30am IST, 8am HKT, 10am AEST.) Below, please find the log-in formation for Zoom. ?Please help us in advertising the event widely, but don?t post the Zoom link to mailing lists, on social media, or such like, to keep the risk of Zoom bombing at a minimum. ?Please just include the link above. If you?re willing to help chair one of the open discussions (i.e., keep an eye on things and kick out Zoom bombers?)?hurray! Thank you, thanks you. ?(Please let us know!) We hope to see you all! Damian, Johanna, Shawn, Shay, and Marcus The Logic Supergroup is inviting you to a scheduled Zoom meeting. Topic: 24h for Inclusive Logic II Time: Jul 12, 2021 12:00 AM UTC Join Zoom Meeting https://us02web.zoom.us/j/87588065823?pwd=dlZzcG1LOWkvYmtLYjhiOWpVNWdrdz09 Meeting ID: 875 8806 5823 Passcode: 136735 One tap mobile +13017158592,,87588065823#,,,,*136735# US (Washington DC) +13126266799,,87588065823#,,,,*136735# US (Chicago) Dial by your location ? ? ? ? +1 301 715 8592 US (Washington DC) ? ? ? ? +1 312 626 6799 US (Chicago) ? ? ? ? +1 929 205 6099 US (New York) ? ? ? ? +1 253 215 8782 US (Tacoma) ? ? ? ? +1 346 248 7799 US (Houston) ? ? ? ? +1 669 900 6833 US (San Jose) Meeting ID: 875 8806 5823 Passcode: 136735 Find your local number: https://us02web.zoom.us/u/kexQ0FybUQ > On Jun 17, 2021, at 8:51 AM, Marcus Rossberg > > wrote: > > Hi all, > > About a year ago (9/10 June 2020), we #ShutDownLogic and had our 24 > hours for inclusive logic. (See Teresa?s write-up here: > https://sites.google.com/site/teresakouri/shutdownlogic > ) We > revisited the event on World Logic Day (14 January 2012) with an eight > hour session. > > The first event was productive. The letter we drafted during the event > (and polished and sent soon after) may have played a role regarding a > recent changes to the ASL website: an ?Inclusiveness? statement was > added, and linked from the front page menu. > > We are holding another Day of Inclusive Logic next month, on 12/13 > July 2021 (depending on your timezone). There will be times for open > discussion of topics to do with diversity and inclusiveness, but this > time there will also be dedicated sessions on specific, pre-announced > topics. Moreover, there will be some sessions in languages other than > English. > > We obviously hope all of you will attend the online event, so please > make a note in your calendar. If you would like to organize a session > on a specific topic (one or two hours long), or host an > open-discussion hour (or two hours): ?great! ?Please get in touch. > > Cheers, > Damian, Johanna, Shawn, Shay, and Marcus -- You received this message because you are subscribed to the Google Groups "Logic Supergroup" group. To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergroup+unsubscribe at googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/6C1A7655-F42D-4F14-80A8-0CDC9B3E77B2%40gmail.com . -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue Aug 17 13:33:49 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 17 Aug 2021 19:33:49 +0000 Subject: [Alta-Logic] peripatetic seminar this Friday 11am Message-ID: Dear all, As an early back-to-school peripatetic seminar session, this Friday, 20th of August, ?Priyaa Srinivasan will give a talk on her PhD work. Please note that the time for this seminar is 11am Mountain time. Title: Dagger linear logic and Categorical Quantum Mechanics Zoom coordinates: https://ucalgary.zoom.us/j/95337723930 Meeting ID: 953 3772 3930 Passcode: calgary More info, including abstract, available at https://logic.ucalgary.ca/ Looking forward to seeing you all, Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Fri Aug 20 09:26:16 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Fri, 20 Aug 2021 15:26:16 +0000 Subject: [Alta-Logic] peripatetic seminar this Friday 11am In-Reply-To: References: Message-ID: Dear all, This is a kind reminder that Priyaa Srinivasan's talk at the peripatetic seminar is this morning, at 11am. Here are the Zoom coordinates: Zoom coordinates: https://ucalgary.zoom.us/j/95337723930 Meeting ID: 953 3772 3930 Passcode: calgary See you soon, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Tuesday 17 August 2021 13:33 To: alta-logic-l at mailman.ucalgary.ca Subject: peripatetic seminar this Friday 11am Dear all, As an early back-to-school peripatetic seminar session, this Friday, 20th of August, ?Priyaa Srinivasan will give a talk on her PhD work. Please note that the time for this seminar is 11am Mountain time. Title: Dagger linear logic and Categorical Quantum Mechanics Zoom coordinates: https://ucalgary.zoom.us/j/95337723930 Meeting ID: 953 3772 3930 Passcode: calgary More info, including abstract, available at https://logic.ucalgary.ca/ Looking forward to seeing you all, Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Fri Sep 3 11:31:48 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Fri, 3 Sep 2021 17:31:48 +0000 Subject: [Alta-Logic] No Peripatetic seminar this week Message-ID: Dear all, There will be no peripatetic seminar this week. We have a very exciting full schedule between the 24th of September and the 15th of October, so I encourage you to denounce yourselves and volunteer to give a talk either for one of the two next Fridays, or any Friday from the 22nd October. Do not hesitate to write to me if you would like to give a talk. Kind regards, Sacha Ikonicoff PIMS/CNRS Postdoctoral associate University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Sep 9 12:55:16 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 9 Sep 2021 18:55:16 +0000 Subject: [Alta-Logic] Harris E. Valentine Lecture next week - no peripatetic this week Message-ID: Dear all, There will be no peripatetic seminar this Friday, or next Friday. The next peripatetic seminar will be on Friday the 24th of September. In the meantime, I would like to advertise for the Harris E. Valentine Lecture that will be given on Thursday, next week, at 2:30pm Central Time (1:30pm Mountain Time) by Emily Riehl. Information regarding this talk follows my signature. Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary The Kansas State University Department of Mathematics is hosting a Women Lecture Series in celebration of the 50th anniversary of the Association for Women in Mathematics. The WLS includes Distinguished Lectures and colloquium talks by women mathematicians planned throughout 2021. During Fall 2021, the talks will be in-person and/or streamed live. The talks will be held at 2:30pm-3:20pm Central Time on a Tuesday or a Thursday; there will be time for Q&A at the end of each talk. HARRY E. VALENTINE LECTURE EMILY RIEHL (Johns Hopkins University) Thursday, September 16th, 2021, 2:30pm (Central Time) Streamed live at https://youtu.be/s3Fnn-hbXL8 (No registration or sign in is needed, unless you would like to ask questions through the chat; in that case, you must login with a gmail account.) Title: Contractibility asuniqueness Abstract: What does it mean for something to exist uniquely? Classically, to say that a set A has a unique element means that there is an element x of A and any other element y of A equals x. When this assertion is applied to a space A, instead of a mere set, and interpreted in a continuous fashion, it encodes the statement that the space is contractible, i.e., that A is continuously deformable to a point. This talk will explore this notion of contractibility as uniqueness and its role in generalizing from ordinary categories to infinite-dimensional categories. Emily Riehl is an Associate Professor of Mathematics at Johns Hopkins University in Baltimore. Prior to coming to JHU, she was a Benjamin Peirce and NSF Postdoctoral Fellow at Harvard. She earned her PhD in 2011 from the University of Chicago, a Certificate of Advanced Study in 2007 from the University of Cambridge, and a BA in 2006 from Harvard. She is the author of two books, Categorical Homotopy Theory and Category Theory in Context, and a coauthor of a forthcoming research manuscript, Elements of ?-Category Theory, co-written with her longtime collaborator Dominic Verity. Link to poster To learn more about the Harris E. Valentine Lecture click here. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Sep 23 11:25:33 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 23 Sep 2021 17:25:33 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday Message-ID: Dear all, This Friday (Tomorrow) at 1pm Calgary time, we are pleased to host Mahmud Azam, from the University of Toronto. Title: TQFTs through Parallel Transport and Quantum Computing Zoom link: https://ucalgary.zoom.us/j/93271090905 Meeting ID : 932 7109 0905 Password : 611592 All the information regarding the talk, including the abstract, can be found at https://logic.ucalgary.ca/ . 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 Mon Sep 27 13:35:53 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 27 Sep 2021 19:35:53 +0000 Subject: [Alta-Logic] Peripatetic seminar this Friday + change of time Message-ID: Dear all, This is an early announcement for Friday's peripatetic seminar. On Friday, the 1st of October, at 2pm, Mountain Time, we will have the pleasure to hear Jason Parker, from Brandon University: Title: Locally bounded enriched categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/96009857722 Meeting ID: 960 0985 7722 Password: 887800 In other news, the audience has suggested a shift in the usual time for the seminar. The new usual time will be on Thursdays at 10am. This is of course not valid for this week's session, and the next few sessions might be at slightly different time slots before stabilising, so please bear with me and pay attention to the following week's announcements. 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 Fri Oct 1 08:48:28 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Fri, 1 Oct 2021 14:48:28 +0000 Subject: [Alta-Logic] Peripatetic seminar this Friday + change of time In-Reply-To: References: Message-ID: Dear all, This is a kind reminder that later today, at 2pm, we are happy to host Jason Parker, from Brandon University: Title: Locally bounded enriched categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/96009857722 Meeting ID: 960 0985 7722 Password: 887800 Looking forward to seeing you there, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Monday 27 September 2021 13:35 To: alta-logic-l at mailman.ucalgary.ca Subject: Peripatetic seminar this Friday + change of time Dear all, This is an early announcement for Friday's peripatetic seminar. On Friday, the 1st of October, at 2pm, Mountain Time, we will have the pleasure to hear Jason Parker, from Brandon University: Title: Locally bounded enriched categories Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/96009857722 Meeting ID: 960 0985 7722 Password: 887800 In other news, the audience has suggested a shift in the usual time for the seminar. The new usual time will be on Thursdays at 10am. This is of course not valid for this week's session, and the next few sessions might be at slightly different time slots before stabilising, so please bear with me and pay attention to the following week's announcements. 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 Mon Oct 4 14:04:23 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 4 Oct 2021 20:04:23 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday Message-ID: Dear all, This is an early announcement for Thursday's peripatetic seminar. On Thursday, the 7th of Ocotber, at 9am, Mountain Time, we will have the pleasure to host Yiannis Dokas, from the National and Kapodistrian University of Athens: Title: Quillen-Barr-Beck cohomology for restricted Lie algebras Abstract: https://logic.ucalgary.ca/ Zoom Link: https://ucalgary.zoom.us/j/95284768721 Meeting ID : 952 8476 8721 Password : 030612 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 Wed Oct 6 12:41:38 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 6 Oct 2021 18:41:38 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday In-Reply-To: References: Message-ID: Dear all, This is a kind reminder that tomorrow morning, Thursday, the 7th of Ocotber, at 9am, Mountain Time, we will have the pleasure to host Yiannis Dokas, from the National and Kapodistrian University of Athens: Title: Quillen-Barr-Beck cohomology for restricted Lie algebras Abstract: https://logic.ucalgary.ca/ Zoom Link: https://ucalgary.zoom.us/j/95284768721 Meeting ID : 952 8476 8721 Password : 030612 Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: Monday 4 October 2021 14:04 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic seminar this Thursday Dear all, This is an early announcement for Thursday's peripatetic seminar. On Thursday, the 7th of Ocotber, at 9am, Mountain Time, we will have the pleasure to host Yiannis Dokas, from the National and Kapodistrian University of Athens: Title: Quillen-Barr-Beck cohomology for restricted Lie algebras Abstract: https://logic.ucalgary.ca/ Zoom Link: https://ucalgary.zoom.us/j/95284768721 Meeting ID : 952 8476 8721 Password : 030612 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 Thu Oct 7 08:58:13 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 7 Oct 2021 14:58:13 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday In-Reply-To: References: Message-ID: Dear all, This is a kind reminder that the peripatetic seminar is now! Title: Quillen-Barr-Beck cohomology for restricted Lie algebras Abstract: https://logic.ucalgary.ca/ Zoom Link: https://ucalgary.zoom.us/j/95284768721 Meeting ID : 952 8476 8721 Password : 030612 Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: Wednesday 6 October 2021 12:41 To: alta-logic-l at mailman.ucalgary.ca Subject: Re: [Alta-Logic] Peripatetic seminar this Thursday Dear all, This is a kind reminder that tomorrow morning, Thursday, the 7th of Ocotber, at 9am, Mountain Time, we will have the pleasure to host Yiannis Dokas, from the National and Kapodistrian University of Athens: Title: Quillen-Barr-Beck cohomology for restricted Lie algebras Abstract: https://logic.ucalgary.ca/ Zoom Link: https://ucalgary.zoom.us/j/95284768721 Meeting ID : 952 8476 8721 Password : 030612 Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: Monday 4 October 2021 14:04 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic seminar this Thursday Dear all, This is an early announcement for Thursday's peripatetic seminar. On Thursday, the 7th of Ocotber, at 9am, Mountain Time, we will have the pleasure to host Yiannis Dokas, from the National and Kapodistrian University of Athens: Title: Quillen-Barr-Beck cohomology for restricted Lie algebras Abstract: https://logic.ucalgary.ca/ Zoom Link: https://ucalgary.zoom.us/j/95284768721 Meeting ID : 952 8476 8721 Password : 030612 Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Oct 12 09:32:41 2021 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 12 Oct 2021 09:32:41 -0600 Subject: [Alta-Logic] Fwd: Supergroup Early Career Researcher Conference In-Reply-To: References: Message-ID: <22ba8130-2bee-a7d8-c79b-6b2f113ba859@ucalgary.ca> Happening this week on Thursday and Friday! You might find something of interest on the program. -------- Forwarded Message -------- Subject: Supergroup Early Career Researcher Conference Date: Sun, 10 Oct 2021 11:57:45 -0500 From: Shay Logan To: logic-supergroup at googlegroups.com Dear Cheerful Logicians and Friends of Logic, We are happy to (re)announce the Supergroup Early Career Researcher Conference, which is being held by zoom this week on Thursday and Friday. More details, including the schedule of talks and abstracts, can be found here: https://sites.google.com/view/logicsupergroup/ecr-workshop Here is the zoom link for Thursday's talks: https://ksu.zoom.us/j/94514575080 And here is the zoom link for Friday's talks: https://ksu.zoom.us/j/92293396259 The password for Thursday's session is RuthBar The password for Friday's session is can-Marcus Please come! Tell your friends to come. Tell your students to come. Tell your parents and children and partners and gurus to come. The lineup is impressive! You won't want to miss it! Yay for logic! Shay -- You received this message because you are subscribed to the Google Groups "Logic Supergroup" group. To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergroup+unsubscribe at googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/CAMTR990LC2pVY1b%2B4LSCp0LNapV8yS9%3D854aXB%2BxVG87Hz2nnA%40mail.gmail.com . -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Oct 12 09:33:36 2021 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 12 Oct 2021 09:33:36 -0600 Subject: [Alta-Logic] Supergroup Early Career Researcher Conference Message-ID: Dear Cheerful Logicians and Friends of Logic, We are happy to (re)announce the Supergroup Early Career Researcher Conference, which is being held by zoom this week on Thursday and Friday. More details, including the schedule of talks and abstracts, can be found here: https://sites.google.com/view/logicsupergroup/ecr-workshop Here is the zoom link for Thursday's talks: https://ksu.zoom.us/j/94514575080 And here is the zoom link for Friday's talks: https://ksu.zoom.us/j/92293396259 The password for Thursday's session is RuthBar The password for Friday's session is can-Marcus Please come! Tell your friends to come. Tell your students to come. Tell your parents and children and partners and gurus to come. The lineup is impressive! You won't want to miss it! Yay for logic! Shay -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Tue Oct 12 09:35:18 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 12 Oct 2021 15:35:18 +0000 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: Dear All, This Thursday, at 10am Mountain time, we have the pleasure to host JS Lemay. Title: Building Cartesian Differential Categories as Kleisli Categories Zoom link: https://ucalgary.zoom.us/j/98722143698 Meeting ID: 987 2214 3698 Password: 131841 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 Thu Oct 14 09:20:23 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 14 Oct 2021 15:20:23 +0000 Subject: [Alta-Logic] Peripatetic Seminar In-Reply-To: References: Message-ID: Dear all, This is a kind reminder that the peripatetic seminar will be held today at 10am mountain time. We have the pleasure to host JS Lemay. Title: Building Cartesian Differential Categories as Kleisli Categories Zoom link: https://ucalgary.zoom.us/j/98722143698 Meeting ID: 987 2214 3698 Password: 131841 Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Tuesday 12 October 2021 09:35 To: alta-logic-l at mailman.ucalgary.ca Subject: Peripatetic Seminar Dear All, This Thursday, at 10am Mountain time, we have the pleasure to host JS Lemay. Title: Building Cartesian Differential Categories as Kleisli Categories Zoom link: https://ucalgary.zoom.us/j/98722143698 Meeting ID: 987 2214 3698 Password: 131841 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 Mon Oct 18 09:23:06 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 18 Oct 2021 15:23:06 +0000 Subject: [Alta-Logic] Fw: Colloquium this Thursday: Wenjun Jiang "Revisiting optimal insurance under adverse selection" In-Reply-To: References: Message-ID: Dear Peripatetic researchers, I thought I would forward you the Math & Stat Department colloquium announcement for the term. With the exception of Clifton, these are all new Math/Stat faculty members who have been hired in the last few years. It would be a good chance to see what they do. Carlo Maria, in particular, may have overlapping interests with members of our seminar. Thanks, Kristine and Sacha ________________________________ From: mathdept-L on behalf of Cristian Rios Sent: Thursday 7 October 2021 01:05 To: dept Math Subject: Colloquium this Thursday: Wenjun Jiang "Revisiting optimal insurance under adverse selection" Department of Mathematics and Statistics Colloquium Series 2020-2021 Thursday October 21st - 2:00PM Zoom Meeting ID: 918 3739 5415 Passcode: 280846 Dr. Wenjun Jiang Assistant Professor Department of Mathematics and Statistics Faculty of Science University of Calgary Revisiting optimal insurance under adverse selection This paper revisits the design of optimal insurance from an insurer's perspective when subject to adverse selection issue. Different from the literature, the insureds who are exposed to different types of risks are allowed to apply different preference measures. By assuming that the insureds' preferences are dictated by distortion risk measures that always over-estimate the tail risk, we figure out the optimal policy menu without assuming the parametric form of indemnity functions. We also find that the insureds who deem their losses more risky than those of others will always purchase full insurance, which is consistent with the results in past studies. Furthermore, we show that in the presence of adverse selection the optimal policy menu always outperforms the optimal single policy in the sense that the former can yield a larger expected profit for the insurer. This outcome also echoes some existing results in the literature. Upcoming Colloquia: * October 28th - Carlo Maria Scandolo * November 4th ? Clifton Cunningham * November 18th ? Tracey Balehowsky * December 2nd ? Mike Jacobson 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 sacha.ikonicoff at ucalgary.ca Wed Oct 27 13:33:05 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 27 Oct 2021 19:33:05 +0000 Subject: [Alta-Logic] Peripatetic seminar Tomorrow! Message-ID: Dear all, Tomorrow, Thursday the 28th of October, at 10am Calgary time, we have the pleasure to host Rachel Hardeman, from the University of Calgary. Title: A-Homotopy Theory and Universal Covers Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/97764942558 Meeting ID: 977 6494 2558 Password: 255303 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 Nov 3 08:49:38 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 3 Nov 2021 14:49:38 +0000 Subject: [Alta-Logic] Peripatetic Seminar Tomorrow! Message-ID: Dear all, Tomorrow, Thursday the 4th of November, at 11am Calgary time, we have the pleasure to host Christine Vespa, from Universit? de Strasbourg. Title: Wheeled PROP structure on stable cohomology Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/93320002197 Meeting ID: 933 2000 2197 Password: 294066 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 Wed Nov 3 10:29:10 2021 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Wed, 3 Nov 2021 16:29:10 +0000 Subject: [Alta-Logic] Peripatetic Seminar Tomorrow! In-Reply-To: References: Message-ID: Thank you for the reminder about the time change, Sacha! Kristine On Nov 3, 2021, at 8:49 AM, Sacha Ikonicoff > wrote: Dear all, Tomorrow, Thursday the 4th of November, at 11am Calgary time, we have the pleasure to host Christine Vespa, from Universit? de Strasbourg. Title: Wheeled PROP structure on stable cohomology Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/93320002197 Meeting ID: 933 2000 2197 Password: 294066 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary _______________________________________________ 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 sacha.ikonicoff at ucalgary.ca Thu Nov 4 08:38:53 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 4 Nov 2021 14:38:53 +0000 Subject: [Alta-Logic] Peripatetic Seminar Today 11am In-Reply-To: References: Message-ID: Dear All, This is a kind reminder that this week's peripatetic seminar will be today at 11am. We have the pleasure to host Christine Vespa, from Universit? de Strasbourg. Title: Wheeled PROP structure on stable cohomology Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/93320002197 Meeting ID: 933 2000 2197 Password: 294066 Looking forward to seeing you there! Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: alta-logic-l on behalf of Sacha Ikonicoff Sent: Wednesday 3 November 2021 08:49 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Seminar Tomorrow! Dear all, Tomorrow, Thursday the 4th of November, at 11am Calgary time, we have the pleasure to host Christine Vespa, from Universit? de Strasbourg. Title: Wheeled PROP structure on stable cohomology Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/93320002197 Meeting ID: 933 2000 2197 Password: 294066 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 Nov 16 08:51:24 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 16 Nov 2021 15:51:24 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Thursday Message-ID: Dear all, This Thursday, the 18th of November, at 10am Calgary time, we have the pleasure to host Ben MacAdam, from the University of Calgary. Title: New tangent structure on Lie algebroids and Lie groupoids 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 Nov 17 14:47:10 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Wed, 17 Nov 2021 21:47:10 +0000 Subject: [Alta-Logic] Seminar Time Slot For Winter Message-ID: Dear all, We are starting to plan sessions of the Peripatetic Seminar for the beginning of 2022, and I would like to check with the audience which time slot suits best. As you probably noticed, the seminar is running each Thursdays at 10am at the moment. I am suggesting that we keep the same weekly timeslot. However, if this is incompatible with your teaching schedule for the Winter term, please let me know, and we will try to find a time that works for everybody. Best regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Wed Nov 17 18:31:13 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 18 Nov 2021 01:31:13 +0000 Subject: [Alta-Logic] CANCELLED Peripatetic Seminar this Thursday In-Reply-To: References: Message-ID: Dear all, Due to unforeseen circumstances, tomorrow's peripatetic seminar session is cancelled. Kind regards, Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary ________________________________ From: Sacha Ikonicoff Sent: Tuesday 16 November 2021 08:51 To: alta-logic-l at mailman.ucalgary.ca Subject: Peripatetic Seminar this Thursday Dear all, This Thursday, the 18th of November, at 10am Calgary time, we have the pleasure to host Ben MacAdam, from the University of Calgary. Title: New tangent structure on Lie algebroids and Lie groupoids 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 Nov 22 07:20:03 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 22 Nov 2021 14:20:03 +0000 Subject: [Alta-Logic] Rescheduled Peripatetic Seminar this Thursday In-Reply-To: References: Message-ID: Dear all, This Thursday, the 25th of November, at 10am Calgary time, we have the pleasure to host Ben MacAdam, from the University of Calgary. Title: New tangent structure on Lie algebroids and Lie groupoids 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 Nov 25 07:14:55 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 25 Nov 2021 14:14:55 +0000 Subject: [Alta-Logic] Peripatetic Seminar TODAY In-Reply-To: References: Message-ID: Dear all, Today, Thursday, the 25th of November, at 10am Calgary time, we have the pleasure to host Ben MacAdam, from the University of Calgary. Title: New tangent structure on Lie algebroids and Lie groupoids 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 Nov 30 11:33:28 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 30 Nov 2021 18:33:28 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday Message-ID: Dear all, This Thursday, the 2nd of December, at 10am Calgary time, we have the pleasure to host Guillaume Laplante-Anfossi, from Universit? Sorbonne Paris Nord. Title: The diagonal of the operahedra 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 Dec 2 06:59:53 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 2 Dec 2021 13:59:53 +0000 Subject: [Alta-Logic] Peripatetic seminar and organisational chat today Message-ID: Dear all, This is a kind reminder that today, Thursday, the 2nd of December, at 10am Calgary time, we have the pleasure to host Guillaume Laplante-Anfossi, from Universit? Sorbonne Paris Nord. Title: The diagonal of the operahedra Abstract: https://logic.ucalgary.ca/ Zoom link: https://ucalgary.zoom.us/j/98538010142 Meeting ID : 985 3801 0142 Password : 436164 After this session, I would like to discuss the organisation of the seminar for the coming winter semester with you, so please stay around at the end of the talk if you can. 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 Dec 7 16:25:53 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Tue, 7 Dec 2021 23:25:53 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Thursday AT 4 PM Message-ID: Dear all, This Thursday, the 9th of December, at 4pm Calgary time (note the different timeslot), we have the pleasure to host Marcy Robertson, from the University of Melbourne. Title: Automorphisms of seemed surfaces, modular operads and Galois actions 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! PS: The Peripatetic Seminar is now advertised on researchseminar.org at the following link: https://researchseminars.org/seminar/Peripatetic This provides you with one very nice option to export the calendar to your usual agenda app, and this will be updated every time I'll add information about upcoming talks. Sacha Ikonicoff PIMS/CNRS postdoctoral scholar University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From sacha.ikonicoff at ucalgary.ca Thu Dec 9 14:15:42 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 9 Dec 2021 21:15:42 +0000 Subject: [Alta-Logic] Peripatetic Seminar Today AT 4 PM In-Reply-To: References: Message-ID: Dear all, This is a kind reminder that Today, the 9th of December, at 4pm Calgary time, we have the pleasure to host Marcy Robertson, from the University of Melbourne. Title: Automorphisms of seemed surfaces, modular operads and Galois actions 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 Dec 13 07:58:47 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Mon, 13 Dec 2021 14:58:47 +0000 Subject: [Alta-Logic] Peripatetic seminar this Thursday Message-ID: Dear colleagues, This Thursday, the 16th of December, at 10am Calgary time, we have the pleasure to host Igor Sikora, from the University of Warwick. Title: RO(C_2)-graded coefficients of C_2-Eilenberg-MacLane spectra 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 Dec 16 06:53:32 2021 From: sacha.ikonicoff at ucalgary.ca (Sacha Ikonicoff) Date: Thu, 16 Dec 2021 13:53:32 +0000 Subject: [Alta-Logic] Peripatetic seminar today Message-ID: Dear all, This is a kind reminder that today, Thursday, the 16th of December, at 10am Calgary time, we have the pleasure to host Igor Sikora, from the University of Warwick. Title: RO(C_2)-graded coefficients of C_2-Eilenberg-MacLane spectra 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 ggpayett at ucalgary.ca Fri Dec 17 15:38:19 2021 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Fri, 17 Dec 2021 22:38:19 +0000 Subject: [Alta-Logic] World Logic Day in Alberta: Jan 14th 2022 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 I am planning another session for January 14th, 2022. It will run the same as last year on zoom since it was nice to include many of those interested in logic from all over Alberta. The plan will be similar to last year; short talks running from 10am - 5pm (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 Sessional Instructor University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: