From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9924 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Neil Ghani Newsgroups: gmane.science.mathematics.categories Subject: John Power Retirement Meeting Date: Tue, 4 Jun 2019 20:27:58 +0000 Message-ID: Reply-To: Neil Ghani Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="240338"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Wed Jun 05 03:05:39 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hYKN0-0010MB-M1 for gsmc-categories@m.gmane.org; Wed, 05 Jun 2019 03:05:38 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:51815) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hYKON-0004Rs-2m; Tue, 04 Jun 2019 22:07:03 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hYKLx-0006CT-Go for categories-list@mlist.mta.ca; Tue, 04 Jun 2019 22:04:33 -0300 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9924 Archived-At: Dear Category Theorists, In summer 2019, after a career in Mathematics and Computer Science spanning= more than thirty years, our friend and colleague John Power will retire an= d return to Australia. John has advanced our understanding of many topics i= n his career, including coherence problems, algebraic theories, algebraic e= ffects in computation, and logic programming. He has been instrumental in i= ntroducing and promulgating the effective use of categorical methods in com= puter science. As important as John=92s academic qualities, he has also bee= n a wonderful colleague. John has been an amazing mentor, supporter and fri= end to many of us and in particular to younger academics. We have all been = touched by his kindness and his humour. To celebrate all of John=92s achievements, and to inspire further work, we = will hold a small informal workshop at the University of Bath where John ha= s worked for the last decade, with confirmed attendance from several of his= collaborators, including Martin Hyland, Ekaterina Komendantskaya, Paul Lev= y, Edmund Robinson and Pino Rosolini. We are looking for further talks and = John has indicated he would particularly like to encourage younger members = of the academic community to volunteer talks. Attendance is free. There is = no formal registration process, but we do plan to supply tea and coffee, so= to help us gauge numbers please follow the instructions below. Please, als= o forward to others who might be interested. Date: Thursday 27 June Location: University of Bath, England Action: Please send an email to Guy McCusker (g.a.mccusker@bath.ac.uk) if you plan to attend and indicate if you would= like to give a talk Details: We will update the web page http://www.cs.bath.ac.uk/~gam23/JohnPo= werWorkshop/ All the best Guy McCusker and Neil Ghani [For admin and other information see: http://www.mta.ca/~cat-dist/ ]