March 2016 - Categories - categories.org.au

Update on scanned notes of Mac Lane at Bowdoin 1969
by Colin McLarty 31 Mar '16

31 Mar '16

The notes are now being hosted on the nLab. https://ncatlab.org/nlab/show/Lectures+on+category+theory Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Offering scanned notes of Mac Lane at Bowdoin 1969
by Colin McLarty 31 Mar '16

31 Mar '16

Ellis Cooper gave me a copy of extensive notes he took of Mac Lane's lectures at Bowdoin in 1969. They are rather like the eventual Categories for the Working Mathematician. One difference is long discussion of Lawvere's dissertation results on algebraic theories. Ellis also says I can send a scan of them to anyone who wants. They are around 11MB. Anyone who would like a copy should let me know. best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD positions, application deadline May 1, 2016=
by Lars Birkedal 29 Mar '16

29 Mar '16

Dear All, We have openings for PhD students, with application deadline on May 1, 2015. The positions are fully funded and come with a generous scholarship. Please help circulate this call to potential applicants. We are looking for candidates interested in (1) Modular reasoning about concurrent higher-order imperative programs (see http://users-cs.au.dk/birke/modures/) Contact: Lars Birkedal, birkedal(a)cs.au.dk (2) Guarded homotopy theory, a new project aimed at developing type theories combining ideas from guarded type theory and homotopy type theory. Contacts: Lars Birkedal, birkedal(a)cs.au.dk and Bas Spitters, spitters(a)cs.au.dk. (3) Language-based Security, in particular mitigating timing attacks. Contact: Aslan Askarov, aslan(a)cs.au.dk. Please see=0A= http://talent.au.dk/phd/scienceandtechnology/opencalls/ for how to apply. Best wishes, Lars Birkedal [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Categories Logic And Physics Scotland
by Chris Heunen 29 Mar '16

29 Mar '16

CATEGORIES LOGIC AND PHYSICS SCOTLAND Thursday 14 April 2016 School of Informatics, University of Edinburgh http://homepages.inf.ed.ac.uk/cheunen/clapscotland/ Programme: * Stefano Gogioso (University of Oxford): Fully graphical treatment of the Hidden Subgroup Problem * Sean Tull (University of Oxford): Operational physics, logic and categories * Sander Uijlen (Radboud University): Indefinite causal structures using diagrammatic methods * Nick Behr (University of Edinburgh): Graph rewriting and combinatorial Hopf algebra * Mark Lawson (Heriot-Watt University): Inverse semigroups and etale groupoids * Bob Atkey (University of Strathclyde): From parametricity to conservation laws, via Noether's theorem * Christian Saemann (Heriot-Watt University): Categorical description of gauge theory * Gwendolyn Barnes (Heriot-Watt University): A category and topos theoretic framework for noncommutative and nonassociative geometry Thanks to financial support from the Scottish Informatics and Computer Science Alliance, registration is free. For catering purposes, please email the local organiser <chris.heunen(a)ed.ac.uk> as soon as possible when you plan to attend. Best wishes, Chris Heunen Ross Duncan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ICMS 2016
by Vladimir Voevodsky 24 Mar '16

24 Mar '16

Dear All, I am organizing a special session “Univalent Foundations and Proof Assistants” at the International Congress of Mathematical Software (ICMS) 2016 in Berlin. The Congress will be from July 11 until July 14. I am also giving at the congress a plenary talk on July 14 about the UniMath. Here is the site of the congress: http://icms2016.zib.de/index.html The description of our session as well as of other sessions is here: http://icms2016.zib.de/sessions.html By clicking at the session name you get to the webpage of the session that will be eventually populated with the titles and abstracts of the talks. The list of speakers who have agreed to speak at our session is: Benedikt Ahrens (IAS/HoTT-Coq), Torsten Altenkirch (Nottingtham), Abishek Anand (Cornell), Marc Bezem (Bergen), Guillaume Brunerie (Nice/IAS), Mark Bickford (Cornell), Jason Gross (MIT), Catherine Lelay (IAS), Anders Mortberg (IAS), Vincent Rahli (Cornell), Floris van Doorn (CMU), Jacob von Raumer (KIT/CMU). We probably won’t be allowed to have more speakers but if you want to speak at the session please write to me and I’ll see what can be done. Hope to see you in Berlin, Vladimir Voevodsky. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Topological *-autonomous categories,revisited
by Michael Barr 18 Mar '16

18 Mar '16

During February, I gave a series of talks based on a paper published ten years ago in TAC, called "Topological *-autonomous categories". While preparing the lectures I came on a number of serious defects in that paper. One curious fact is that I mentioned as motivation is a question from Andre Joyal whether the results for real and complex topological vector spaces were also valid for vector spaces over the p-adic completions of the rationals. But I never addressed that question in the paper, let alone solved it. I have now prepared a paper, "Topological *-autonomous categories, revisited" which fixes all the deficiencies and also answers Joyal's question (it is valid for all locally compact fields, which includes those p-adic completions as well as their finite extensions. Similar results hold for the t-adic completions of the Laurent series rings Z_p{t}. The paper is on my web site. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ronnie Brown's web site url change
by RONALD BROWN 13 Mar '16

13 Mar '16

Dear Colleagues, I have this month to move my web site http://pages.bangor.ac.uk/~mas010 from Bangor University; the new web site (but still under construction!) is www.groupoids.org.uk So if you wish to keep links they should be changed as illustrated below html or htm files http://pages.bangor.ac.uk/~mas010/pstacks.htm/.html to http://groupoids.org.uk/pstacks.html pdf files http://pages.bangor.ac.uk/~mas010/pdffiles/groupoidsurvey.pdf to http://groupoids.org.uk/pdffiles/groupoidsurvey.pdf images (jpg, gif,..) http://pages.bangor.ac.uk/~mas010/composition2.jpg to http://groupoids.org.uk/images/composition2.jpg One consequence of this is that the many links from mathoverflow and mathstackexchange will not work, and should be changed manually as above. If anyone wants to help on their own initiative in this I'd be grateful indeed (and I hope also the readers)! I have checked at http://mathoverflow.net/questions/3656/cubical-vs-simplicial-singular-homol… that these changes work. My son Marcus has done the new web design and I am gradually getting used to it, but there is still work to be done on it. Please let me know of problems. The old site has had over 700 page views in the last 30 days, with quite a lot of pdf downloads. I hope the new site will in the end be more useful. The old site did need revision to modern standards, and the new one and its separate hosting has also the advantage of the capability of outlasting me. Regards Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ackermann Award 2016
by European Association of Computer Science Logic 12 Mar '16

12 Mar '16

ACKERMANN AWARD 2016 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2016 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2014 and 31.12.2015 are eligible for nomination for the award. The deadline for submission is 15 April 2016. Submission details follow below. Nominations can be submitted from 1 January 2016 and should be sent to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar(a)cl.cam.ac.uk The Award The 2016 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 29 August - 2 September 2016, in Marseille (France). The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * travel support to attend the conference, and * an invitation to present the work to the Kurt Gödel Society in Vienna. The jury is entitled to give the award to more (or less) than one dissertation in a year. Jury The jury consists of: * Thierry Coquand (Chalmers University of Gothenburg); * Anuj Dawar (University of Cambridge), the president of EACSL; * Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative; * Orna Kupferman (Hebrew University of Jerusalem); * Daniel Leivant (Indiana University, Bloomington); * Luke Ong (University of Oxford); * Jean-Eric Pin (CNRS and University of Paris 7); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Anuj Dawar (anuj.dawar(a)cl.cam.ac.uk) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Anuj Dawar: anuj.dawar(a)cl.cam.ac.uk With the following subject line and text: * Subject: Ackermann Award Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. Letters of support and documents can also be faxed to: Anuj Dawar Ackermann Award +44 1223 334678 The Jury has the right to declare submissions to be out of scope or not to meet the requirements. The Award is sponsored by the Kurt Gödel Society. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CSL 2016 - 2nd call for papers
by European Association of Computer Science Logic 11 Mar '16

11 Mar '16

CALL FOR PAPERS CSL 2016 25th EACSL Annual Conference on Computer Science Logic August 29 -- September 1, 2016, Marseille, France http://csl16.lif.univ-mrs.fr/ ------------------------------------------------------------------------ Abstract submission: April 8, 2016 Paper submission: April 15, 2016 Notification: June 11, 2016 ------------------------------------------------------------------------ Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL 2016 is the 25th EACSL annual conference, and will be organized by Aix-Marseille Université in Marseille, France. Scope ----- Suggested topics of interest include (but are not limited to): * automated deduction and interactive theorem proving, * constructive mathematics and type theory, * equational logic and term rewriting, * automata and games, game semantics, * modal and temporal logic, * model checking, * decision procedures, * logical aspects of computational complexity, * finite model theory, * computational proof theory, * bounded arithmetic and propositional proof complexity, * logic programming and constraints, * lambda calculus and combinatory logic, * domain theory, * categorical logic and topological semantics, * database theory, * specification, extraction and transformation of programs, * logical aspects of quantum computing, * logical foundations of programming paradigms, * verification and program analysis, * linear logic, * higher-order logic, * nonmonotonic reasoning. Invited Speakers ---------------- Libor Barto - University of Prague, Czech Republic Agata Ciabattoni - University of Vienna, Austria Anca Muscholl - University of Bordeaux, France Alexandra Silva - University College, London, UK Satellite events ---------------- Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2-3) PLRR: Parametricity, Logical Relations and Realizability (September 2) QSLC: Quantitative Semantics of Logic and Computation (September 2-3) Submission guidelines --------------------- The CSL 2016 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs). Authors are invited to submit papers of no more than 15 pages in LIPIcs style (including references) presenting work not previously published, fitting the scope of the conference. The submission is in two stages: * abstracts are due on April 8, 2016 (AoE); * final papers are due on April 15, 2016 (AoE). Both stages must be done via the EasyChair page for the conference: https://easychair.org/conferences/?conf=csl2016 Submitted papers must be written in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewers’ discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. Papers must not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. Special Issue ------------- Authors of a selection of the best accepted papers for CSL 2016 will be invited to submit a revised and extended version of their article to a special issue for publishing in Logical Methods in Computer Science. Programme Committee ------------------- Christel Baier – Technische Universität Dresden, Germany Mickael Benedikt – University of Oxford, UK Manuel Bodirsky – Technische Universität Dresden, Germany Sam Buss – University of California, USA Luis Caires – Universidade Nova de Lisboa, Portugal Giovanna D’Agostino – University of Udine, Italy Thomas Ehrhard – CNRS Université Paris Diderot, France Emmanuel Filiot – Université Libre de Bruxelles, Belgium Silvio Ghilardi – Università degli Studi di Milano, Italy Valentin Goranko – Stockholm University, Sweden Anna Ingólfsdóttir – Reykjavik University, Iceland Laura Kovács – Chalmers University of Technology, Sweden Marta Kwiatkowska – University of Oxford, UK Christof Löding – RWTH Aachen University, Germany Assia Mahboubi – INRIA Saclay Ile-de-France, France Guy McCusker – University of Bath, UK Magdalena Ortiz – TU Wien, Austria Sophie Pinchinat – Université de Rennes 1, France Laurent Regnier – Aix-Marseille Université, France (co-chair) Sylvain Salvati – Université de Bordeaux, France Ulrike Sattler – University of Manchester, UK Peter Selinger – Dalhousie University, Canada Thomas Streicher – Technische Universität Darmstadt, Germany Jean-Marc Talbot – Aix-Marseille Université, France (co-chair) Paweł Urzyczyn – Uniwersytet Warszawski, Poland Luca Viganò – King’s College London, UK Organising Committee -------------------- * Emmanuel Beffara * Benjamin Monmege * Luigi Santocanale * Laurent Regnier (co-chair) * Pierre-Alain Reynier * Jean-Marc Talbot (co-chair) * Lionel Vaux (all from Aix-Marseille Université, Marseille, France) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on Categorical Methods in Non-Abelian Algebra
by Maria Manuel Clementino 10 Mar '16

10 Mar '16

Dear Colleagues, A Workshop on Categorical Methods in Non-Abelian Algebra will be held in Coimbra, from May 30 to June 01, 2016. In case you want to participate please send a message tommc(a)mat.uc.pt, as soon as possible, and not later than April 30, 2016. Participants are warmly invited to present talks. Deadline for abstract submission (by email tommc(a)mat.uc.pt) April 15. Updated information on the scientific program can be found at the workshop webpage: www.mat.uc.pt/~mmc/mcana/MCANAfourthworkshop.html The Organizers: Maria Manuel Clementino Mathieu Duckerts-Antoine Gon?alo Gutierres Andrea Montoli [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0