From rzach at ucalgary.ca Thu Jan 3 17:14:20 2013 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Jan 3 17:14:32 2013 Subject: [Alta-Logic] Modal Logic Course Message-ID: <50E61EDC.3010603@ucalgary.ca> Hi, I'm teaching a course on modal logic this term (W 4-7 pm, 1253 Social Sciences). It's crosslisted as Phil 579.2 and 679.5. If you have any students who might be interested, send them my way, or point them to http://www.ucalgary.ca/rzach/513 Best Richard -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From jdgall84 at gmail.com Tue Jan 15 12:03:05 2013 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue Jan 15 12:05:05 2013 Subject: [Alta-Logic] peripatetic seminar meeting times Message-ID: Greetings, Below is a link to survey the best times for holding the peripatetic seminar this semester. http://doodle.com/dut6cn9hehpndu8p - Jonathan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20130115/ef86f8a7/attachment.html From robin at ucalgary.ca Tue Aug 27 15:48:37 2013 From: robin at ucalgary.ca (Robin Cockett) Date: Tue Aug 27 15:49:14 2013 Subject: [Alta-Logic] Peripatetic seminar Message-ID: When: Wednesday August 28th, 2013 11:00am -12:00am Where: ICT 616 Speaker: Michael St-Jules Title: Iteration and PCAs Abstract: I present my summer research under the supervision of Dr. Pieter Hofstra of the University of Ottawa. Restriction categories and the theory of partial combinatory algebras (PCAs) are introduced, with the goal of demonstrating how iteration (traces on coproducts or a Kleene wand) can be computable by a PCA. The relationship between a particular construction of PCAs from stack objects and such iteration, and the strongly normalizing terms is also explored. -robin -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20130827/58796951/attachment.html From rzach at ucalgary.ca Thu Nov 7 11:34:42 2013 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Nov 7 11:34:56 2013 Subject: [Alta-Logic] Logic Talk: Julia Knight (Notre Dame). Friday Nov 8, 3 pm. In-Reply-To: <41EDCECB-E0FF-42E5-93B9-CBBAE1E59E0A@ucalgary.ca> References: <41EDCECB-E0FF-42E5-93B9-CBBAE1E59E0A@ucalgary.ca> Message-ID: <527BDD42.6050801@ucalgary.ca> How hard is it to compute the floor function? Start: Nov 8 2013 - 3:00pm End: Nov 8 2013 - 4:00pm Speaker: Dr. Julia Knight, Notre Dame University Location: MS 431 *Abstract:* For the field of real numbers, we have the usual floor function, with range equal to the set of integers. If we expand the reals, adding the function 2^x, then for a positive integer x, 2^x is also a positive integer. Mourgues and Ressayre showed that every real closed field has an ``integer part''. The construction is complicated. Ressayre showed that every real closed exponential field has an ``exponential integer part''. This construction is even more complicated. The talk will describe results on the complexity of these constructions, from the point of view of computable structure theory. *Bio:* Dr. Julia Knight is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame. She is an AMS Fellow, has been a Fellow at the Newton Institute, holds an Honorary Professorship with the Siberian Branch of the Russian Academy of Sciences, has won the Silver Badge of Algebra and Logic, and won the James A. Burns, CSC, Graduate School Award in 2007 for her exemplary contribution to graduate education. She is the Editor of the AMS Proceedings and serves on the AMS Committee on Academic Freedon, Tenure and Employment Security, the AMS Fellows selection committee, and the Association for Symbolic Logic Nominating Committee. Dr. Knight is visiting Calgary en route from a BIRS workshop on computable model theory. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20131107/e6d3c74c/attachment.html