From rzach at ucalgary.ca Tue Jan 7 17:29:49 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Tue Jan 7 17:30:04 2014 Subject: [Alta-Logic] Logic & category theory courses Message-ID: <52CC9BFD.5070209@ucalgary.ca> Posted on http://www.ucalgary.ca/cprglct/node/49 -- did I miss any? CPSC 617: Category Theory for CS - Robin Cockett http://www.cpsc.ucalgary.ca/grad/coursedesc.php?info_id=CPSC%20617 PHIL 473 - Philosophy of Logic - Anders Kraal https://phil.ucalgary.ca/courses/w14/PHIL473?destination=courses PMAT 415 - Foundations - Robert Woodrow http://math.ucalgary.ca/courses/w14/PMAT415?destination=courses%2Ffiles%2Fmath249-f08-lec7-outline.pdf PHIL 579/679 - Proof Theory - Richard Zach http://www.ucalgary.ca/rzach/579.3 -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From robin at ucalgary.ca Fri Jan 10 15:30:52 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Fri Jan 10 15:31:29 2014 Subject: [Alta-Logic] Category theory seminars Message-ID: This semester it has been proposed to run a joint Category Theory and Algebraic Geometry Seminar Wednesdays: 10:30 - 12:00 Hilbert Seminar Room (Math 337) Starting next week January 13th I will try and finish the series of talks i was giving on abstract Galois theory. -robin -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140110/86164a5b/attachment.html From ccunning at ucalgary.ca Fri Jan 10 16:53:01 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Fri Jan 10 16:54:38 2014 Subject: [Alta-Logic] Category theory seminars In-Reply-To: References: Message-ID: <6FB21DE1-F21B-48AC-9506-32120270ED5E@ucalgary.ca> Would 12:00-13:30 work, instead? I just noticed a conflict with a joint UBC-UC seminar. Clifton On 2014 Jan 10, at 15:30 , Robin Cockett wrote: > This semester it has been proposed to run a joint Category Theory and Algebraic Geometry Seminar > > Wednesdays: 10:30 - 12:00 > Hilbert Seminar Room (Math 337) > > Starting next week January 13th > > I will try and finish the series of talks i was giving on abstract Galois theory. > > > -robin > > > _______________________________________________ > 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@mailman.ucalgary.ca > Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l From robin at ucalgary.ca Mon Jan 13 17:12:14 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Mon Jan 13 17:12:50 2014 Subject: [Alta-Logic] Joint Category Theory and Algebraic Geometry Seminar Message-ID: Apologies for the continued rescheduling: We are going to go forward with an organizational meeting this Wednesday, 15th January 12:00am - 13:00am in MS 452 NOTE THE ROOM CHANGE We will be in the Hilbert seminar room 12:00am -> 13:30pm on Wednesdays for the remainder of the semester (this way we fit into Clifton's tight seminar schedule!) Clifton cannot make it so I thought a) we could organize ourselves b) collect suggestions for talks and schedule c) I could review where I had got to last year on abstract Galois theory Please forward to any other interested parties! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140113/6505216d/attachment.html From robin at ucalgary.ca Mon Jan 20 10:30:30 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Mon Jan 20 10:31:04 2014 Subject: [Alta-Logic] Category theory and algebraic geometry seminar ... Message-ID: WHEN: Monday (today) 1:00pm-2:00pm WHERE: MS522 WHAT: Abstract Galois theory: fundamental functors WHO: Robin Cockett This will be our regular meeting time for this semester ... -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140120/8ef0f7db/attachment.html From ccunning at ucalgary.ca Sun Mar 2 17:34:07 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Sun Mar 2 17:34:25 2014 Subject: [Alta-Logic] seminar bifurcation Message-ID: <5F1B38A5-3D48-4783-9E62-2F3E2F497337@ucalgary.ca> Dear Geometers, I?d like to revisit the schedule for the Algebraic Geometry seminar, currently running Mondays at 1pm, since that time is not convenient for Mark Bauer. Does anyone mind if we go back to Wednesdays 9:00-10:30? If Wednesdays 9:00-10:30 is not convenient, please let me know and I?ll make a doodle poll to find a new time; otherwise, in a few days I?ll assume Wednesdays 9:00-10:30 works as a new time for the Algebraic Geometry seminar. Cheers, Clifton From ccunning at ucalgary.ca Mon Mar 3 07:59:11 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Mon Mar 3 07:59:27 2014 Subject: [Alta-Logic] Re: seminar bifurcation Message-ID: Since Wednesdays 9:00-10:30 is not convenient for some people, let's leave the Algebraic Geometry seminar where it is for now. I believe Adam has prepared some material for today. See you at 13:00! Clifton ----- Reply message ----- From: "Clifton Cunningham" To: "algebraic-geometry-l@mailman.ucalgary.ca" Cc: "alta-logic-l@mailman.ucalgary.ca" Subject: seminar bifurcation Date: Sun, Mar 2, 2014 17:34 Dear Geometers, I?d like to revisit the schedule for the Algebraic Geometry seminar, currently running Mondays at 1pm, since that time is not convenient for Mark Bauer. Does anyone mind if we go back to Wednesdays 9:00-10:30? If Wednesdays 9:00-10:30 is not convenient, please let me know and I?ll make a doodle poll to find a new time; otherwise, in a few days I?ll assume Wednesdays 9:00-10:30 works as a new time for the Algebraic Geometry seminar. Cheers, Clifton -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140303/e2a64aeb/attachment.html From ccunning at ucalgary.ca Mon Mar 3 18:31:32 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Mon Mar 3 18:31:47 2014 Subject: [Alta-Logic] seminar bifurcation In-Reply-To: References: Message-ID: <858ABF89-6D11-45D3-B412-E5B5C867E9DE@ucalgary.ca> Dear Colleagues, Please vote for a new Algebraic Geometry Seminar time at http://doodle.com/wf9zwq6p52n3hw6i Clifton On 2014, Mar 3, at 07:59 , Clifton Cunningham > wrote: Since Wednesdays 9:00-10:30 is not convenient for some people, let's leave the Algebraic Geometry seminar where it is for now. I believe Adam has prepared some material for today. See you at 13:00! Clifton ----- Reply message ----- From: "Clifton Cunningham" > To: "algebraic-geometry-l@mailman.ucalgary.ca" > Cc: "alta-logic-l@mailman.ucalgary.ca" > Subject: seminar bifurcation Date: Sun, Mar 2, 2014 17:34 Dear Geometers, I?d like to revisit the schedule for the Algebraic Geometry seminar, currently running Mondays at 1pm, since that time is not convenient for Mark Bauer. Does anyone mind if we go back to Wednesdays 9:00-10:30? If Wednesdays 9:00-10:30 is not convenient, please let me know and I?ll make a doodle poll to find a new time; otherwise, in a few days I?ll assume Wednesdays 9:00-10:30 works as a new time for the Algebraic Geometry seminar. Cheers, Clifton _______________________________________________ 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@mailman.ucalgary.ca Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140303/6f7bf6ea/attachment.html From robin at ucalgary.ca Wed Mar 5 11:15:09 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Wed Mar 5 11:15:59 2014 Subject: [Alta-Logic] Category Theory Seminar Message-ID: Time: Friday 7th March, 11:00am Place: ICT 616 Speaker: Brett Giles Title: Discrete inverse categories Note: We have this slot for the remainder of the semester EXCEPT March 21st when a conflict has forced us to 12:30pm: if you wish to give a talk please come prepared to book your slot! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140305/d048eff7/attachment.html From ccunning at ucalgary.ca Wed Mar 5 14:46:50 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Wed Mar 5 14:47:04 2014 Subject: [Alta-Logic] seminar bifurcation In-Reply-To: <858ABF89-6D11-45D3-B412-E5B5C867E9DE@ucalgary.ca> References: <858ABF89-6D11-45D3-B412-E5B5C867E9DE@ucalgary.ca> Message-ID: <38346D75-6E0D-4750-A2E5-FD3F670FDE67@ucalgary.ca> The new time for the Algebraic Geometry Seminar is Thursdays, 09:00-10:00, starting next week. Location TBD. Next week Marie-Andr?e with speak on projective modules and projective algebras, following Chapter 4 in Lenstra?s notes. MATH 511/611 students are particularly encouraged to attend. Cheers, Clifton On 2014, Mar 3, at 18:31 , Clifton Cunningham > wrote: Dear Colleagues, Please vote for a new Algebraic Geometry Seminar time at http://doodle.com/wf9zwq6p52n3hw6i Clifton On 2014, Mar 3, at 07:59 , Clifton Cunningham > wrote: Since Wednesdays 9:00-10:30 is not convenient for some people, let's leave the Algebraic Geometry seminar where it is for now. I believe Adam has prepared some material for today. See you at 13:00! Clifton ----- Reply message ----- From: "Clifton Cunningham" > To: "algebraic-geometry-l@mailman.ucalgary.ca" > Cc: "alta-logic-l@mailman.ucalgary.ca" > Subject: seminar bifurcation Date: Sun, Mar 2, 2014 17:34 Dear Geometers, I?d like to revisit the schedule for the Algebraic Geometry seminar, currently running Mondays at 1pm, since that time is not convenient for Mark Bauer. Does anyone mind if we go back to Wednesdays 9:00-10:30? If Wednesdays 9:00-10:30 is not convenient, please let me know and I?ll make a doodle poll to find a new time; otherwise, in a few days I?ll assume Wednesdays 9:00-10:30 works as a new time for the Algebraic Geometry seminar. Cheers, Clifton _______________________________________________ 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@mailman.ucalgary.ca Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140305/7f2fdb2b/attachment.html From ccunning at ucalgary.ca Wed Mar 12 18:50:45 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Wed Mar 12 18:51:00 2014 Subject: [Alta-Logic] Algebraic Geometry Seminar: projective modules and algebras Message-ID: <08703834-3F06-40FD-B047-4772CEDF4435@ucalgary.ca> Tomorrow morning (Thursday, March 12) from 9am to 10am, Marie-Andr?e Langlois will give a talk in room MS 522 on projective modules and algebras in the Algebraic Geometry Seminar. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140312/a9173b45/attachment.html From ccunning at ucalgary.ca Wed Mar 12 18:59:25 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Wed Mar 12 18:59:51 2014 Subject: [Alta-Logic] Re: [Algebraic Geometry] Algebraic Geometry Seminar: projective modules and algebras In-Reply-To: <08703834-3F06-40FD-B047-4772CEDF4435@ucalgary.ca> References: <08703834-3F06-40FD-B047-4772CEDF4435@ucalgary.ca> Message-ID: <44C7E828-6C1E-41D2-B611-E061E4D0A68B@ucalgary.ca> Correction: the seminar tomorrow will be held in the Hilbert Seminar Room, MS 337. CC On 2014, Mar 12, at 18:50 , Clifton Cunningham > wrote: Tomorrow morning (Thursday, March 12) from 9am to 10am, Marie-Andr?e Langlois will give a talk in room MS 522 on projective modules and algebras in the Algebraic Geometry Seminar. _______________________________________________ This message was sent to all subscribers of algebraic-geometry-L To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: algebraic-geometry-L@mailman.ucalgary.ca Homepage: http://mailman.ucalgary.ca/mailman/listinfo/algebraic-geometry-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140312/729f4805/attachment.html From robin at ucalgary.ca Thu Mar 13 11:52:04 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Thu Mar 13 11:52:49 2014 Subject: [Alta-Logic] Category theory seminar, Friday, 12:30 --1:30pm, ICT616 Message-ID: *** please note the time change**** When: Friday, 12:30--1:30pm, 14th March 2014 Where: ICT 616 What: Speaker: Brett Giles Title: Discrete inverse categories (cont.) [Hoping this time works a little better for folk!! Bring lunch! -robin] -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140313/375b36ff/attachment.html From ccunning at ucalgary.ca Thu Mar 20 07:24:12 2014 From: ccunning at ucalgary.ca (Clifton Cunningham) Date: Thu Mar 20 07:24:29 2014 Subject: [Alta-Logic] Re: [Algebraic Geometry] Algebraic Geometry Seminar: projective modules and algebras In-Reply-To: <44C7E828-6C1E-41D2-B611-E061E4D0A68B@ucalgary.ca> References: <08703834-3F06-40FD-B047-4772CEDF4435@ucalgary.ca> <44C7E828-6C1E-41D2-B611-E061E4D0A68B@ucalgary.ca> Message-ID: <8739872E-431E-491E-89BA-B39CC9DC2CDF@ucalgary.ca> Reminder: Marie-Andr?e Langlois will continue her talk on projective modules and algebras this morning at 9am in MS 337. Clifton From robin at ucalgary.ca Thu Mar 20 21:20:10 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Thu Mar 20 21:20:58 2014 Subject: [Alta-Logic] Category theory seminar Message-ID: When: Friday, 12:30--1:30pm, 21th March 2014 Where: ICT 616 What: Speaker: Brett Giles Title: Discrete inverse categories (cont.) (probably last talk in this series!!) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140320/0ddb25f3/attachment.html From robin at ucalgary.ca Thu Mar 27 16:14:14 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Thu Mar 27 16:14:58 2014 Subject: [Alta-Logic] Category seminar Message-ID: When: Friday, 12:30--1:30pm, 28th March 2014 Where: ICT 616 What: Speaker: Brett Giles Title: Discrete inverse categories (cont.) (absolutely the last talk in this series!!) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140327/81640522/attachment.html From robin at ucalgary.ca Wed Apr 2 15:44:06 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Wed Apr 2 15:44:55 2014 Subject: [Alta-Logic] Category Seminar Message-ID: When: Friday, 12:30--1:30pm, 14th March 2014 Where: ICT 616 What: Speaker: Mike Pors Title: A brief introduction to Model Categories Abstract: The study of algebraic topology is concerned with the study of which spaces which can be deformed into which others in a continuous manner. This notion is made rigorous via the homotopy relation. The study of homotopy has proved to be fruitful in the category of topological spaces. While homotopy is motivated by very geometric notions, it is possible to develop homotopy in categories with little -or no- apparent geometric structure via the notion of model categores. In this talk we will define model categories and sketch how to generate homotopy and homotopy groups from those axioms. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140402/711bcc73/attachment.html From robin at ucalgary.ca Tue Aug 5 10:05:33 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Tue Aug 5 10:07:05 2014 Subject: [Alta-Logic] Friday talk: logic for concurrent programs Message-ID: Time: Friday 8th August, 3:00pm Speaker: Aurore Alcolei Title: A compact logic for concurrent program Abstract: > Cockett and Pastro provided, in previous work, a term logic, a proof > theory, and a categorical semantic for concurrency. The proof theory was > essentially linear logic with the addition of message passing primitives > and the categorical semantics was that of a linear actegory. The term logic > associated to the proof theory can be viewed as a minimalist programming > language for message-passing. This language has the good property of > producing programs that always terminate without deadlock. However, the > proposed setting does not match the predominate view of the semantics of > concurrency or distributed systems, since it does not allowed for multiple > interconnections between processes and it is completely deterministic. > > In this talk we investigate a compact version of Cockett and Pastro's > setting, in which the "tensor" and the "par" operators of the linear > actegory are made equal. We will show how this allows for the full range of > connection topologies and how this necessarily introduces non-determinism > in the setting. > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140805/8c8379a6/attachment.html From rzach at ucalgary.ca Wed Aug 6 11:04:51 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Wed Aug 6 11:05:14 2014 Subject: [Alta-Logic] Fwd: Philosophy Visiting Speaker: Monday, August 25, MAX CRESSWELL "Scope and Notation" Message-ID: <2n56lvk50rte62w18xggg6jc.1407344691054@email.android.com> -------- Original Message -------- Subject: Philosophy Visiting Speaker: Monday, August 25, MAX CRESSWELL "Scope and Notation" From: Merlette Schnell To: Merlette Schnell CC: The Department of Philosophy presents MAX CRESSWELL (Victoria University at Wellington) "Scope and Notation" MONDAY, AUGUST 25, 3:00-5:00 pm in Social Sciences Building, Room 1253 About the Talk My aim in this paper is to make some remarks connecting the awareness of scope in mediaeval logic with the role of the symbolic resources of contemporary logic. In particular I will look at the Summa Logicae of William of Ockham. I am not a mediaeval scholar, and what I say about Ockham ought to be well-known. I have chosen Ockham since he represents one of the highpoints of mediaeval logic, and his description of the truth conditions of various statements in Book II is in almost every case identical with at least one--sometimes more--of the meanings that you get when you interpret the formulae of modern predicate logic which represent them. About the Speaker Well known for his work in logic (primarily philosophy of logic, modal logic and formal semantics), Max Cresswell co-authored, with G. E. Hughes, what are considered two classic studies of modal logic: An Introduction to Modal Logic (Methuen 1968) and A New Introduction to Modal Logic (Routledge 1996). He also has researched and published on Greek philosophy and the philosophy of John Locke and F. H. Bradley. At Victoria University of Wellington since 1963, Cresswell is now professor emeritus and a member of the Centre for Logic, Language and Computation. He became a Fellow of the Royal Society of New Zealand in 2011. Max Cresswell's web page Merlette Schnell Manager, Budget & Administration Department of Philosophy The University of Calgary SS 1256 | 2500 University Drive NW, Calgary, Alberta T2N 1N4 Tel: 403-220-5531 | Email: schnell@ucalgary.ca -------------- next part -------------- A non-text attachment was scrubbed... Name: image002.jpg Type: application/octet-stream Size: 18805 bytes Desc: not available Url : http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140806/e09521ba/image002.obj -------------- next part -------------- A non-text attachment was scrubbed... Name: image001.jpg Type: application/octet-stream Size: 143393 bytes Desc: not available Url : http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140806/e09521ba/image001.obj From robin at ucalgary.ca Wed Aug 6 11:56:47 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Wed Aug 6 11:57:06 2014 Subject: [Alta-Logic] Re: Friday talk: logic for concurrent programs In-Reply-To: References: Message-ID: Ooops Place: ICT 617!!! On Tue, Aug 5, 2014 at 8:31 PM, Robin Cockett wrote: > > In case you are not on alta-logic here is an important announcement :-) > > Also because this is Aurore's last day at work here I am hoping you can > all come and celebrate after at the graduate lounge. > > -robin > > > ---------- Forwarded message ---------- > From: Robin Cockett > Date: Tue, Aug 5, 2014 at 10:05 AM > Subject: Friday talk: logic for concurrent programs > To: alta-logic-l@mailman.ucalgary.ca > > > Time: Friday 8th August, 3:00pm > > Speaker: Aurore Alcolei > > Title: A compact logic for concurrent program > > Abstract: > >> Cockett and Pastro provided, in previous work, a term logic, a proof >> theory, and a categorical semantic for concurrency. The proof theory was >> essentially linear logic with the addition of message passing primitives >> and the categorical semantics was that of a linear actegory. The term logic >> associated to the proof theory can be viewed as a minimalist programming >> language for message-passing. This language has the good property of >> producing programs that always terminate without deadlock. However, the >> proposed setting does not match the predominate view of the semantics of >> concurrency or distributed systems, since it does not allowed for multiple >> interconnections between processes and it is completely deterministic. >> > > >> In this talk we investigate a compact version of Cockett and Pastro's >> setting, in which the "tensor" and the "par" operators of the linear >> actegory are made equal. We will show how this allows for the full range of >> connection topologies and how this necessarily introduces non-determinism >> in the setting. >> > > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140806/fb920b80/attachment.html From rzach at ucalgary.ca Mon Sep 15 11:51:02 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Sep 15 11:51:09 2014 Subject: [Alta-Logic] Fwd: Number Nosh: Alexandra Shlapentokh, Tuesday 9/16 at noon In-Reply-To: <8F19EE0F441BCF4DBCCF102C3C91F4AD08C076D4@ITCIMEXCH01.uc.ucalgary.ca> References: <8F19EE0F441BCF4DBCCF102C3C91F4AD08C076D4@ITCIMEXCH01.uc.ucalgary.ca> Message-ID: <54172706.5080004@ucalgary.ca> From Ander Steele : Hi everyone, I am pleased to announce a special guest-talk this Tuesday, September 16--details below. The Nosh will meet as usual at 11:30 in the research collection, then move to MS 522 for a full-length talk. Speaker: Alexandra Shlapentokh (East Carolina University) Title: As easy as Q Abstract: We discuss new results concerning the existence of big subrings of the rational numbers Q which are not close to Q but where Hilbert's Tenth Problem is equivalent to H10 over Q. Spacio-temporal coordinates: 2014 September 16, 12:00-1:00, MS 522 Best, Ander From rzach at ucalgary.ca Wed Sep 24 14:44:10 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Wed Sep 24 14:44:21 2014 Subject: [Alta-Logic] Logic Group Message-ID: <54232D1A.1060100@ucalgary.ca> Hi! We're about to revive the Logic and Category Theory Group, which has brought together people from the math, CS, linguistics, and philosophy departments to report on their work, for guest speakers, and sometimes for logic-related reading groups. Our website is a bit out of date, and we're hoping to fix that soon. You can help: If you would like to be listed as a member of this research group, please: - got to http://ucalgary.ca/cprglct/logon - log in with your UofC credentials (or request a new account if you're not at the UofC) - on the next page, click "Edit", then "Member Information" and fill out that form - Click "Save" You can then also post events on the site. We have an email list you might want to subscribe to, and there is an RSS feed of events and updates from the website. All that info is at http://ucalgary.ca/cprglct/members Please forward this email to people you think might be interested (new colleagues, students, etc.) Best Richard -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From spam.caminati at gmail.com Thu Sep 25 08:47:42 2014 From: spam.caminati at gmail.com (marco caminati) Date: Thu Sep 25 08:47:50 2014 Subject: [Alta-Logic] Logic Group In-Reply-To: <54232D1A.1060100@ucalgary.ca> References: <54232D1A.1060100@ucalgary.ca> Message-ID: On 9/24/14, Richard Zach wrote: > Hi! > > We're about to revive the Logic and Category Theory Group, which has > brought together people from the math, CS, linguistics, and philosophy > departments to report on their work, for guest speakers, and sometimes > for logic-related reading groups. > > Our website is a bit out of date, and we're hoping to fix that soon. You > can help: If you would like to be listed as a member of this research > group, please: > > - got to http://ucalgary.ca/cprglct/logon > - log in with your UofC credentials (or request a new account if you're > not at the UofC) Hi, is this open also to people from outside UofC? If yes, how can I subscribe? Thanks, Marco Caminati Research Fellow School of Computer Science University of Birmingham http://caminati.co.nr From rzach at ucalgary.ca Thu Sep 25 09:24:14 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Sep 25 09:24:30 2014 Subject: [Alta-Logic] Logic Group In-Reply-To: References: <54232D1A.1060100@ucalgary.ca> Message-ID: <5424339E.1000101@ucalgary.ca> Subscription to the email list is open to anyone. Go here: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l You'll get emailed announcements of talks, and be involved in planning times for meetings. Being listed on the web page is for people in Calgary. If you're not at the UofC but want an account on the webpage, please email me. With the following information: Name Homepage Research Interests Whether you're faculty, postdoc, grad student, undergrad, or visitor in Calgary Thanks! -R On 14-09-25 08:47 AM, marco caminati wrote: > On 9/24/14, Richard Zach wrote: >> Hi! >> >> We're about to revive the Logic and Category Theory Group, which has >> brought together people from the math, CS, linguistics, and philosophy >> departments to report on their work, for guest speakers, and sometimes >> for logic-related reading groups. >> >> Our website is a bit out of date, and we're hoping to fix that soon. You >> can help: If you would like to be listed as a member of this research >> group, please: >> >> - got to http://ucalgary.ca/cprglct/logon >> - log in with your UofC credentials (or request a new account if you're >> not at the UofC) > Hi, > is this open also to people from outside UofC? > If yes, how can I subscribe? > > Thanks, > > Marco Caminati > Research Fellow > School of Computer Science > University of Birmingham > http://caminati.co.nr > > -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From rzach at ucalgary.ca Mon Sep 29 12:31:22 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Sep 29 12:31:29 2014 Subject: [Alta-Logic] Thursday: 2014 Calgary Mathematics & Philosophy Lecture: S. Awodey (CMU) Message-ID: <5429A57A.5040205@ucalgary.ca> Univalence as a New Principle of Logic Steve Awodey Carnegie Mellon University Thursday, October 2, 2014, 3:30 pm ENA 101 It is often convenient or useful in mathematics to treat isomorphic structures as the same. The Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of Homotopy Type Theory. It states, roughly, that isomorphic structures can be identified. In his talk, Prof. Awodey will explain this principle and how it can be taken as an axiom, and explore the motivations and consequences, both mathematical and philosophical, of making such an assumption. *Steve Awodey* is an internationally recognized researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He received his Ph.D. in mathematics from the University of Chicago in 1997 under the direction of Saunders Mac Lane. In 2012-13, he was a member of the School of Mathematics at the Institute for Advanced Study, where he co-organized a special year devoted to Univalent Foundations of Mathematics along with T. Coquand and V. Voevodsky. Awodey is one of the inventors of Homotopy Type Theory and leads an active research group on that subject at Carnegie Mellon University, where he is a professor of philosophy and mathematics. /This talk is the inaugural Calgary Mathematics & Philosophy Lecture, co-sponsored by PIMS , the Pacific Institute for the Mathematical Sciences, and the Department of Philosophy . 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; a reception follows./ http://ucalgary.ca/mathphil/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20140929/96b28d61/attachment.html From rzach at ucalgary.ca Mon Sep 29 23:16:31 2014 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Sep 29 23:16:42 2014 Subject: [Alta-Logic] Friday: Awodey on Homotopy Type Theory in the Math Colloquium In-Reply-To: References: Message-ID: <542A3CAF.9070504@ucalgary.ca> Date & Time: Friday, October 3, 2014 from 2:00pm to 3:00pm. Location: MS 211 Speaker: Prof. Steve Awodey (Carnegie Mellon University) Title: Homotopy Type Theory Abstract. Homotopy type theory is a homotopical interpretation of a system of formal logic, providing a new framework for the foundations of mathematics with intrinsic homotopical content and a computational implementation. It forms the basis of the Univalent Foundations program, which was the subject of a recent special year at IAS. In this survey talk, I will introduce this system and show how it can be used to give new logical proofs of some classical theorems from algebraic topology, making use of the new ideas of higher inductive types and the univalence axiom. Biography. Dr. Steve Awodey is an internationally recognized researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He received his Ph.D. in mathematics from the University of Chicago in 1997 under the direction of Saunders Mac Lane. In 2012-13, he was a member of the School of Mathematics at the Institute for Advanced Study, where he co-organized a special year devoted to Univalent Foundations of Mathematics along with V. Voevodsky and T. Coquand. Dr. Awodey is one of the inventors of Homotopy Type Theory and leads an active research group on that subject at Carnegie Mellon University, where he is a professor of philosophy and mathematics. All are welcome! Coffee and cookies will be served in the Department Lounge (MS 461) after the presentation. From jdgall84 at gmail.com Thu Oct 2 10:34:46 2014 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Oct 2 10:35:34 2014 Subject: [Alta-Logic] Fall 2014 -- Peripatetic Seminar Message-ID: Welcome back everyone! We will be holding the peripatetic seminar on Wednesdays at 10:00. Also, this time is not completely rigid, so if it does not work for you, feel free to send me a reply, and we'll try to move the time around to accommodate everyone. If you haven't already scheduled a talk, feel free to send me a title and abstract whenever you're ready! - Jonathan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141002/1a8c3d78/attachment.html From robin at ucalgary.ca Tue Oct 7 11:53:32 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Tue Oct 7 11:53:44 2014 Subject: [Alta-Logic] Fwd: talk In-Reply-To: References: Message-ID: Peripatetic Seminar talk: Wednesday: 8 October Time: 10:00am Place: ICT 616 Speaker: Jonathan Gallager Title:The Use of Liquid Types for Patching in Safety and "Compositionality" Abstract: Two challenges to security are that a complete definition of "safe" for an arbitrary system is impossible to arrive at, and that often systems that are secure in isolation are exploitable once composed. We assume that the threats to software safety come in the form of bugs. We will see how to use liquid types to ensure that bugs really are fixed, and that the fix produces a safety guarantee that can be composed at the level of functions (as opposed to processes). -robin On Tue, Oct 7, 2014 at 10:53 AM, Jonathan Gallagher wrote: > Title: The Use of Liquid Types for Patching in Safety and > "Compositionality" > Abstract: > Two challenges to security are that a complete definition of "safe" for an > arbitrary system is impossible to arrive at, and that often systems that > are secure in isolation are exploitable once composed. > > We assume that the threats to software safety come in the form of bugs. > We will see how to use liquid types to ensure that bugs really are fixed, > and that the fix produces a safety guarantee that can be composed at the > level of functions (as opposed to processes). > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141007/c2b07139/attachment.html From jdgall84 at gmail.com Wed Nov 5 10:05:14 2014 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Wed Nov 5 10:06:02 2014 Subject: [Alta-Logic] =?utf-8?q?Peripatetic_Seminar=3A_Germ=C3=A1n_Luna_-?= =?utf-8?q?-_This_Friday?= Message-ID: Speaker: Germ?n Luna Time and Date: Friday at 11 am. Location: ICT 638 Title: On the decidability of 3-coloring a graph using polynomial rings Abstract: NP-complete problems abound in the world. Their infamy extends far beyond the limits of any one discipline. Their polymorphic structure makes the search for efficient solutions elusive, should they even exist! In this talk I will provide an explicit construction of an algorithm that solves the decision problem of 3-colorability exactly, but whose running time depends on our ability to compute certain products of polynomials. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141105/079b0467/attachment.html From chad.nester at gmail.com Thu Nov 13 14:53:06 2014 From: chad.nester at gmail.com (Chad Nester) Date: Thu Nov 13 14:53:10 2014 Subject: [Alta-Logic] Peripatetic Seminar: Chad Nester -- Tomorrow! Message-ID: Speaker: Chad Nester Time and Date: Friday Nov 14th at 11am Location: ICT 638 Abstract: In Hindley-Milner style languages, such as Haskell and ML, there is a clear separation between types and values. In dependently typed languages the distinction is less clear. Types can contain (depend on) arbitrary values and appear as arguments and results of ordinary functions. Additionally, the theory of dependent types provides a constructive foundation for mathematics under a Martin-L?f style interpretation, allowing dependently typed languages to serve as proof verification systems in addition to programming languages. In this talk I will give a brief introduction to the dependently typed language Agda, including examples of some common dependent types, and some simple verified proofs in the system. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141113/bd74ba33/attachment.html From athomasb at ucalgary.ca Sun Nov 16 18:22:00 2014 From: athomasb at ucalgary.ca (Aaron T-B) Date: Sun Nov 16 18:22:10 2014 Subject: [Alta-Logic] Peripatetic Talk Dec. 3rd In-Reply-To: <54694CA4.1060303@yahoo.com> References: <54694CA4.1060303@yahoo.com> Message-ID: <54694DB8.9000802@ucalgary.ca> -------- Original Message -------- Subject: Peripatetic Talk Dec. 3rd Date: Sun, 16 Nov 2014 18:17:24 -0700 From: Aaron T-B To: alta-logic-l@mailman.ucalgary.ca, phildept-l@mailman.ucalgary.ca Hi All, Nicole Wyatt and Gillman Payette will be giving a talk provisionally entitled "Logical Pluralism and Logical Form" on Wednesday, December 3rd at 10:00am in SS1253 (Philosophy Department). Mark your calenders. I will send out another reminder closer to the time. All the Best, Aaron Thomas-Bolduc -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141116/c8a50dff/attachment.html From jdgall84 at gmail.com Tue Nov 18 08:49:47 2014 From: jdgall84 at gmail.com (Jonathan) Date: Tue Nov 18 08:49:59 2014 Subject: [Alta-Logic] peripatetic seminar tomorrow Message-ID: <001201d00347$49001d50$db0057f0$@gmail.com> Where: ICT 616 When: 10:01 am Who: Jonathan Gallagher What: Title: Linear Turing Categories Why: Abstract: We revisit Abramsky et al's Linear Combinatory Algebras. The models of linear combinatory algebras they describe arise from combinatory systems in a symmetric monoidal category with a weak comonad (weak in the sense that counit and comultiplication are pointwise natural), that lifts via standardization, to a normal combinatory algebra. This allowed a bridge from a "geometry of interaction situation" to a combinatory algebra, as geometry of interaction situations naturally give rise to such combinatory systems. We will revisit and simplify the notion of linear combinatory algebra to sort out some of the finer points of the structural story behind linear combinatory algebras. We will do so by dropping the comonad altogether and focusing on just the "linear" maps. We will introduce the notion of a linear Turing category, which generalizes the Abramsky et al's class of examples, and show that there is a nice correspondence between linear Turing categories and our simplified linear combinatory algebras. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141118/8a6b0be6/attachment.html From chad.nester at gmail.com Thu Nov 20 12:40:36 2014 From: chad.nester at gmail.com (Chad Nester) Date: Thu Nov 20 12:40:43 2014 Subject: [Alta-Logic] Weekly Agda Session Message-ID: So we're planning to do what we did last week every week. Bring your laptop! Date: Friday , Nov 20th Time: 11am Location: ICT638 (possibly another room on the 6th floor of ICT) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141120/ea2c0c0c/attachment.html From robin at ucalgary.ca Tue Nov 25 16:17:04 2014 From: robin at ucalgary.ca (Robin Cockett) Date: Tue Nov 25 16:17:09 2014 Subject: [Alta-Logic] Peripatetic talk: Wed., November 26 th Message-ID: Time: 10:00am - 11:00am Place: ICT 616 Date: Wednesday, 26th November Title: Curry Howard Isomorphism Speaker: Prashant Kumar, University of Calgary Abstract: In this talk , we will explore an interesting connection between logic and programming languages. In brief, logical proofs embody certain constructions which may be interpreted as programs. Under this interpretation,propositions become types. It was first observed by the logicians Haskell Curry[1960] and William Howard [1969] in different contexts that this is in fact an isomorphism: in a certain fragment of logic, every proof describes a program and every program describes a proof. Although Curry Howard can be interpreted at various levels , we will look into the relationship using Simply Typed Lambda calculus from the programming side and Intuitionistic Natural Deduction from the logic side. A natural question to ask here is what is such a relationship good for. Like any isomorphism, it allows us to switch back and forth and think in whichever system suits our intuition in a given situation. Moreover, we can save a lot of work by transferring theorems that were proved about the lambda calculus to logic, and vice versa.Proof assistants like Coq , Agda etc make use of Curry Howard Isomorphism to extract programs from proofs and vice versa. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141125/6e808b5a/attachment.html From athomasb at ucalgary.ca Fri Nov 28 13:42:26 2014 From: athomasb at ucalgary.ca (Aaron T-B) Date: Fri Nov 28 13:42:29 2014 Subject: [Alta-Logic] Wednesday's talk Postponed Message-ID: <5478DE32.3060201@ucalgary.ca> Hi, We have had to postpone the talk scheduled for Wednesday the 3rd. It will be rescheduled for early next semester. Sorry for any inconvenience. -Aaron Thomas-Bolduc From chad.nester at gmail.com Thu Dec 4 16:31:15 2014 From: chad.nester at gmail.com (Chad Nester) Date: Thu Dec 4 16:31:22 2014 Subject: [Alta-Logic] No Agda session tomorrow Message-ID: Everyone is pretty busy so we'll just start meeting again after the break. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141204/ea3fdcdc/attachment.html From jdgall84 at gmail.com Thu Dec 18 21:00:46 2014 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Dec 18 21:01:38 2014 Subject: [Alta-Logic] next semester and storage basics Message-ID: We will give a highly informal introduction to storage modalities. Before doing so, it may be helpful to develop a bit of organization for next semester. Title: A storage story (part 1) Abstract: A storage modality is a monoidal comonad on a symmetric monoidal category that gives objects a comonoidal structure. Such comonads turn out to be essential to describing a categorical model of linear logic. We will review storage and some of the basic results about storage modalities. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20141218/8a886325/attachment.html