December 2018 - Categories - categories.org.au

Videos of "Toposes in Como"
by Olivia Caramello 26 Dec '18

26 Dec '18

Dear All, I am glad to inform you that all the videos of the school and conference "Toposes in Como" are now available from Youtube at the address https://www.youtube.com/playlist?list=PLh_3Q6ZRqWs0LBptMGClJ8OArR0fBT6Pp Best wishes, Olivia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SECOND ANNOUNCEMENT: HoTT 2019
by Steve Awodey 25 Dec '18

25 Dec '18

There will be an *International Conference on Homotopy Type Theory (HoTT 2019)* from August 12th to 17th, 2019 at Carnegie Mellon University in Pittsburgh, USA. The Invited Speakers will be: - Ulrik Buchholtz (TU Darmstadt, Germany) - Dan Licata (Wesleyan University, USA) - Andrew Pitts (University of Cambridge, UK) - Emily Riehl (Johns Hopkins University, USA) - Christian Sattler (University of Gothenburg, Sweden) - Karol Szumilo (University of Leeds, UK) Submissions of contributed talks will open in January and conclude in March; registration will open sometime in the spring. There will also be an associated *Homotopy Type Theory Summer School* in the preceding week, August 7th to 10th. The topics and Instructors are: - Cubical methods: Anders Mortberg - Formalization in Agda: Guillaume Brunerie - Formalization in Coq: Kristina Sojakova - Higher topos theory: Mathieu Anel - Semantics of type theory: Jonas Frey - Synthetic homotopy theory: Egbert Rijke We expect some funding to be available for students to attend the summer school and conference. Looking forward to seeing you in Pittsburgh! The Scientific Committee Steven Awodey Andrej Bauer Thierry Coquand Nicola Gambino Peter LeFanu Lumsdaine Michael Shulman, chair [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Lawvere theories and Monads
by Jade Master 24 Dec '18

24 Dec '18

I have a question about the relationship between Lawvere theories and monads. Every morphism of Lawvere theories f: T ->T' induces a morphism of monads M_f: M_T => M_T' which can be calculated by using the universal property of the coend formula for M_T (this can be found in Hyland's <https://www.irif.fr/~mellies/mpri/mpri-ens/articles/hyland-power-lawvere-th…> paper on Lawvere theories and monads). On the other hand f: T->T' gives a functor f* : Mod(T') -> Mod(T) given by composition with f. Because everything is nice enough, f* always has a left adjoint f_* : Mod(T) -> Mod(T') (details of this can be found here <http://web.science.mq.edu.au/~street/MitchB.pdf> or in Toposes, Triples and Theories). My question is the following: What relationship is there between the adjunction f_* \dashv f*: Mod(T) ->Mod(T') and the morphism of monads computed using coends M_f : M_T => M_T'? In the examples I can think of the components of M_f are given by the unit of the adjunction f_* \dashv f* but I cannot find a reference explaining this. It doesn't seem to be in Toposes, Triples, and Theories. <http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html> Thank you, Jade Master [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Category Theory 2019: call for contributions
by Category Theory 24 Dec '18

24 Dec '18

********************************************************* ****** SECOND ANNOUNCEMENT ****** ****** and ****** ****** EARLY CALL FOR PAPERS ****** ****** ****** ****** CATEGORY THEORY 2019 ****** ****** (CT2019) ****** ****** UNIVERSITY OF EDINBURGH ****** ****** ****** ****** 7-13 JULY 2019 ****** ********************************************************* Dear Colleagues, We are pleased to announce the 2019 International Conference on Category Theory (CT2019), which will take place at the University of Edinburgh from 7-13 July 2019. The preliminary *Invited Speakers* are as follows: • John Baez (Riverside) • Neil Ghani (Strathclyde) • Marco Grandis (Genoa) • Simona Paoli (Leicester) • Emily Riehl (Johns Hopkins) • Mike Shulman (San Diego) • Manuela Sobral (Coimbra) Further invited speakers to be confirmed. We are offering an early round of submissions and decisions to allow for those who need an early decision or want preliminary feedback for a possible resubmission. The *Timetable* is as follows: Early submission opens: January 1 Early submission deadline: March 1 Early decision notifications: April 1 Submission opens: March 1 Submission deadline: May 1 Notifications: June 1 *Submission* for CT2019 is handled by EasyChair through the link: https://easychair.org/conferences/?conf=ct20190 In order to submit, you will need to make an EasyChair account, which is a simple process. Submissions should be in the form of a brief (1pp.) abstract. *Registration* is independent of paper submission and will be open at a later date. More details can be found on the conference website: http://conferences.inf.ed.ac.uk/ct2019/ *Inquiries* may be directed to the following email address: categorytheory2019(a)gmail.com We look forward to seeing you in Edinburgh! The Organizing Committee: Steve Awodey, Richard Garner, Chris Heunen (chair), Tom Leinster, Christina Vasilakopoulou The Scientific Committee: Steve Awodey (chair), Julie Bergner, Bohm Gabriella, John Bourke, Eugenia Cheng, Robin Cockett, Chris Heunen, Zurab Janelidze, Dominic Verity [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Videos of the New York City Category Theory Seminar
by Noson Yanofsky 23 Dec '18

23 Dec '18

Dear All, This semester we videoed five talks and placed them on YouTube. https://www.youtube.com/channel/UCNOfhimbNwZwJO2ltv1AZOw/videos _____ · Speaker: André Joyal, Université du Québec à Montréal · Title: Homotopy type theory: a new bridge between logic, category theory and topology. · Slides of the talk. <http://www.sci.brooklyn.cuny.edu/~noson/JoyalOctFest.pdf> _____ · Speaker: Ieke Moerdijk, University of Utrecht. · Title: The topos of dendroidal sets. _____ · Speaker: John Connor, The Graduate Center, CUNY. · Title: Intuitionistic Epistemic Logic and Propositional Truncation in the Type Theory. _____ · Speaker: Micah Miller, Borough of Manhattan Community College, CUNY. · Title: Primer on Homotopy Limits. _____ · Speaker: Alex Martsinkovsky, Northeastern University. · Title: Stabilization of additive functors. · Slides of the talk. <http://www.sci.brooklyn.cuny.edu/~noson/Martsinkovsky2018.pdf> _____ Happy Holidays to all! All the best, Noson Yanofsky [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS XXXV - Call for Papers
by Barbara Koenig 19 Dec '18

19 Dec '18

====================================================================== CALL FOR PAPERS: MFPS XXXV https://www.coalg.org/calco-mfps-2019/mfps/ Thirty-fifth Conference on the Mathematical Foundations of Programming Semantics University College London, UK June 4-7, 2019 Co-located with CALCO 2019 ====================================================================== April 1, 2019: Abstract Submission April 4, 2019: Paper Submission May 10, 2019: Notification May 24, 2019: Final Papers Deadline ====================================================================== The 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2019) takes place at University College London, UK, from June 4–7, 2019. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. ---------------------------------------------------------------------- INVITED SPEAKERS & SPECIAL SESSIONS: As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. Invited speakers and special sessions will be announced soon. ---------------------------------------------------------------------- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps35 ---------------------------------------------------------------------- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ---------------------------------------------------------------------- PROGRAMME COMMITTEE: Andrej Bauer, University of Ljubljana, Slovenia Adriana Balan, University Politehnica of Bucharest, Romania Harsh Beohar, University of Duisburg-Essen, Germany Steve Brookes, Carnegie Mellon University, USA Roberto Bruni, Universita’ di Pisa, Italy Yuxin Deng, East China Normal University, China Ilias Garnier, Nomadic Labs, France Chris Heunen, University of Edinburgh, UK Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France Bart Jacobs, Radboud Universiteit Nijmegen, Netherlands Shin-Ya Katsumata, National Institute of Informatics, Japan Barbara König, University of Duisburg-Essen, Germany (chair) Ekaterina Komendantskaya, Heriot-Watt University, UK Achim Jung, University of Birmingham, UK Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, UK Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Oxford, UK Tarmo Uustalu, Reykjavik University, Iceland ---------------------------------------------------------------------- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). ---------------------------------------------------------------------- LOCAL ORGANIZERS: * Philippa Gardner (Imperial College London, UK) * Alexandra Silva (University College London, UK) * Fabio Zanasi (University College London, UK)  Web site & publicity: Henning Basold (CNRS, ENS Lyon, France) ---------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Associate Professor of Computer Science (Quantum Computing), Oxford.
by Bob Coecke 19 Dec '18

19 Dec '18

Associate Professor of Computer Science (Quantum Computing) Department of Computer Science, Parks Road, Oxford Salary on a scale from: £47,263 p.a. (plus additional benefits) PLEASE NOTE: THE CLOSING DATE HAS BEEN EXTENDED Applications are invited for the post of Associate Professor (or Professor) of Quantum Computing to be held in the Department of Computer Science, to be appointed as soon as possible. The successful candidate will also be appointed as a Fellow of St Hilda’s College, and will be a member of both the University and the college community. This is a lively and intellectually stimulating research community with access to the excellent research facilities which Oxford offers. You will have a role to play in the running of the College as a member of the Governing Body and a trustee of the College as a charity. The Department of Computer Science is a vibrant and growing academic department, which has a research profile across the entire spectrum of contemporary computing. You will be expected to engage in independent and original research, to secure funding and engage in the management of research projects and disseminate research of the highest international standard through publications, conferences and seminars. You will also contribute to teaching on the Department’s highly successful undergraduate and graduate programmes. You will hold a doctorate in Computer Science, Mathematics, Physics or closely-related discipline, have the ability to teach across a range of Computer Science subjects in general and Quantum Computing in particular, the ability to attract research funding and develop an independent programme of research, have a proven research record of high quality at international level related to Quantum Computing, and experience of research collaborations at both national and international level. The successful applicant will be able to relate their work to the existing quantum research within the department, and will engage with some of its wide spectrum of existing activities. The salary for this position is offered on a scale from £47,263 per annum, plus additional benefits including a pensionable academic allowance of £732 per annum. An allowance of £2,754 p.a. would be payable upon award of Full Professor title. Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave. We are committed to ensuring an inclusive interview process and will reimburse up to £250 towards any additional care costs (for a dependent child or adult) incurred as a result of attending an interview for this position. The closing date for applications is 12.00 noon on 13 February 2019. Interviews are expected to be held on 3 April 2019. Contact Person : Recruitment Team Vacancy ID : 137787 Contact Number : Closing Date : 13-Feb-2019 Contact Email : recruitmentenquiries(a)cs.ox.ac.uk <mailto:recruitmentenquiries@cs.ox.ac.uk?subject=Associate%20Professor%20of%20Computer%20Science%20(Quantum%20Computing)> LINK: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_details_form.j… <https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_details_form.j…> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for papers: GaLoP 2019
by Pierre Clairambault 15 Dec '18

15 Dec '18

14th Workshop on Games for Logic and Programming Languages (GaLoP 2019), Prague, 6-7 April, 2019. http://www.gamesemantics.org GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials. GaLoP XIV will be held in Prague, Czech Republic on 6-7 April 2019 as a satellite workshop of ETAPS (http://www.etaps.org/) Areas of interest include: * Games and other interaction-based denotational models; * Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of game semantics; * Categorical aspects of game semantics; * Programming languages and full abstraction; * Higher-order automata and Petri nets; * Geometry of interaction; * Ludics; * Epistemic game theory; * Logics of dependence and independence; * Computational linguistics; * Games and multi-valued logics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered (the 2005, 2008, 2011 and 2014 workshops led to special issues in Annals of Pure and Applied Logic). // Submission Instructions // Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC. https://easychair.org/conferences/?conf=galop2019 // Important Dates // * Submission: February 1, 2019 * Notification: February 22, 2019 * Workshop: April 6-7, 2019 // Invited talks // * Nathana??l Fijalkow (CNRS & LaBRI, Bordeaux) * Jules Hedges (University of Oxford) * Paul-Andr?? Melli??s (CNRS & IRIF, Paris) // Program Committee // * Pierre Clairambault (CNRS & ENS Lyon, chair) * Claudia Faggian (CNRS & IRIF) * Pietro Galliani (University of Bozen-Bolzano) * Guy McCusker (University of Bath) * Koko Muroya (RIMS, Kyoto University & University of Birmingham) * Gabriel Sandu (University of Helsinki) * Thomas Seiller (CNRS & LIPN) * Nikos Tzevelekos (Queen Mary University of London) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Caleidoscope Complexity School: Call for Participation
by Damiano Mazza 14 Dec '18

14 Dec '18

*** Call for participation*** Caleidoscope: Research School in Computational Complexity Institut Henri Poincar??, Paris, 17-21 June 2019 http://caleidoscope.sciencesconf.org/ Dear all, We are delighted to announce the Caleidoscope Research School in Computational Complexity, to take place at the Institut Henri Poincar??, Paris 17-21 June 2019. The school is aimed at graduate students and researchers who already work in some aspects of computational complexity and/or who would like to learn about the various approaches. DESCRIPTION Computational complexity theory was born more than 50 years ago when researchers started asking themselves what could be computed efficiently. Classifying problems/functions with respect to the amount of resources (e.g. time and/or space) needed to solve/compute them turned out to be an extremely difficult question. This has led researchers to develop a remarkable variety of approaches, employing different mathematical methods and theories. The future development of complexity theory will require a subtle understanding of the similarities, differences and limitations of the many current approaches. In fact, even though these study the same phenomenon, they are developed today within disjoint communities, with little or no communication between them (algorithms, logic, programming theory, algebra...). This dispersion is unfortunate since it hinders the development of hybrid methods and more generally the advancement of computational complexity as a whole. The goal (and peculiarity) of the Caleidoscope school is to reunite in a single event as many different takes on computational complexity as can reasonably be fit in one week. It is intended for graduate students as well as established researchers who wish to learn more about neighbouring areas. LECTURES 1. Boolean circuits and lower bounds. (Rahul Santhanam, University of Oxford) 2. Algebraic circuits and geometric complexity. (Peter B??rgisser, Technical University Berlin) 3. Proof complexity and bounded arithmetic. (Sam Buss, University of California San Diego) 4. Machine-free complexity (descriptive and implicit complexity). (Anuj Dawar, University of Cambridge and Ugo Dal Lago, University of Bologna) In addition to these broad-ranging themes, there will also be three more focussed topics, providing examples of (already established or potential) interactions between logic, algebra and complexity: 5. Constraint satisfaction problems. (Libor Barto, Charles University in Prague) 6. Communication complexity. (Sophie Laplante, Paris 7 University) 7. Duality in formal languages and logic. (Daniela Petrisan, Paris 7 University) REGISTRATION Registration to the school is free but mandatory. This is to help us plan tea/coffee breaks and social activities. https://caleidoscope.sciencesconf.org/registration/index FINANCIAL SUPPORT There may be opportunities for financial support for participants. We will make relevant information available via the webpage. https://caleidoscope.sciencesconf.org/ SPONSORS European Association for Computer Science Logic (http://www.eacsl.org/) DIM RFSI - R??gion ??le-de-France (https://dim-rfsi.fr/) Universit?? Paris 13 (https://www.univ-paris13.fr/) Laboratoire d'Informatique de Paris Nord (https://lipn.univ-paris13.fr/) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Several vacancies in mathematics at Utrecht
by Oosten, J. van (Jaap) 11 Dec '18

11 Dec '18

We have several openings in mathematics at Utrecht, see the short advertisement and the link to the official application website below. Please circulate this announcement as widely as possible. ************************************************************** The Mathematical Institute of Utrecht University invites applications for several positions of Tenure Track Assistant Professors in Mathematics,including Westerdijk Fellowships. In the Division of Fundamental Mathematics, we are searching for candidates whose expertise is in algebraic, arithmetic or differential geometry, including number theory, automorphic forms, algebraic topology, geometric analysis, Lie theory, and mathematical logic. In the Division of Mathematical Modelling, we are searching for candidates whose expertise is in applied analysis or scientific computing, including data science, machine learning, networks, complex systems, imaging, high performance computing, and mathematical biology. The appointment?is at the level of assistant professor (?universitair docent?, lecturer), initially for a period of 5 years. The position will be subject to a mid-term evaluation after approximately 2.5 years and an end-term evaluation. Following a positive evaluation the position will become permanent after 5 years. In case of sufficient seniority, the position can be tenured at a higher level. Female candidates are strongly urged to apply and will be considered for a Westerdijk Fellowship, an attractive startup package created by the Faculty of Science in order to increase its number of female scientists. Apply before 1 Feb 2019 ************************************************************** Complete job descriptions and information on how to apply can be found by searching on https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs or directly by following these links: Pure: https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?Po… Applied: https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?Po… [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0