June 2019 - Categories - categories.org.au

New book on higher category theory
by Paoli, Simona (Dr.) 25 Jun '19

25 Jun '19

Dear Colleagues, a new book on higher category theory has just appeared with Springer: S. Paoli, Simplicial Methods for Higher Categories: Segal-Type Models of Weak n-Categories, Algebra and Applications 26, Springer 2019 https://www.springer.com/gb/book/9783030056735<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…> This is a research monograph introducing a new model of higher categories, called weakly globular n-fold categories, and proving its equivalence with the Tamsamani-Simpson model. The book also contains an introduction to higher category theory and a detailed background chapter on multi-simplicial techniques, rendering the material relatively self-contained and accessible to researchers entering the area. I hope the book will be of interest both to category theorists and algebraic topologists. Best wishes, Simona. Dr Simona Paoli, Department of Mathematics, University of Leicester (UK) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final Call for Papers - Computer Science Logic (CSL 2020)
by EACSL Mail-Account 20 Jun '19

20 Jun '19

Final Call for Papers - Computer Science Logic (CSL 2020) 13-16 January 2020, Barcelona, Spain Paper Submission: 4 July 2019 https://easychair.org/cfp/CSL2020 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. Submission Guidelines: Submitted papers must be 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 clearly marked 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. The CSL 2020 conference proceedings will be published by LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may 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. Dates: paper submission: 4 July 2019 notifications: 30 September 2019 Invited Speakers Veronique Cortier, LORIA, France Anuj Dawar, University of Cambridge, UK Artur Jez, University of Wroclaw, Poland Delia Kesner, University Paris Diderot, France Iddo Tzameret, Royal Holloway, UK Program Committee Sandra Alves, University of Porto, Portugal Takahito Aoto, Niigata University, Japan Albert Atserias, Technical University of Catalonia, Spain Manuel Bodirsky, TU Dresden, Germany James Brotherston, University College London, UK Rohit Chadha, University of Missouri, USA Krishnendu Chatterjee, Institute of Science and Technology, Austria Adriana Compagnoni, Stevens Institute of Technology, USA Arnaud Durand, University Paris Diderot, France Maribel Fernandez, King's College London, UK (co-chair) Bernd Finkbeiner, Saarland University, Germany Masahito Hasegawa, Kyoto University, Japan Dietrich Kuske, TU Ilmenau, Germany Salvador Lucas, Technical University of Valencia, Spain Angelo Montanari, University of Udine, Italy Anca Muscholl, University of Bordeaux, France (co-chair) Prakash Panangaden, McGill University, Canada Elaine Pimentel, University of Rio Grande do Norte, Brazil Damien Pous, CNRS - ENS Lyon, France Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands Simona Ronchi Della Rocca, University of Torino, Italy Manfred Schmidt-Schauss, Goethe University, Germany Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Lidia Tendera, Opole University, Poland Szymon Torunczyk, University of Warsaw, Poland Glynn Winskel, University of Cambridge, UK Organizing committee Albert Atserias, Technical University of Catalonia (co-chair) Ilario Bonacina, Technical University of Catalonia Michal Garlik, Technical University of Catalonia Tuomas Hakoniemi, Technical University of Catalonia Joost Joosten, University of Barcelona Juan Carlos Martínez, University of Barcelona (co-chair) Moritz Müller, Technical University of Catalonia Venue The conference will be held in the University of Barcelona, Spain. Contact All questions about submissions should be emailed to the PC co-chairs: Maribel Fernandez: Maribel.Fernandez(a)kcl.ac.uk Anca Muscholl: anca(a)labri.fr [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc position on quantified effects at Reykjavik University
by Tarmo Uustalu 19 Jun '19

19 Jun '19

Quantified computational effects and interaction *epartment of Computer Science, Reykjavik University One postdoc position Applications are invited for one postdoctoral position at the Department of Computer Science, Reykjavik University. The position is part of a three-year research project funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded monads, monad-like structures and interaction laws. Interested applicants should contact the PI (email tarmo(a)ru.is) for closer details on the research proposal. The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), with research groups on concurrency, logic and semantics, algorithms, combinatorics. For information about ICE-TCS and its activities, see http://icetcs.ru.is/. Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej Piróg during the project work and will benefit from the interaction with their research groups at the National Institute of Informatics in Tokyo and the University of Wroclaw. *Qualification requirements* Applicants for the postdoctoral position should have, or be about to defend, a PhD degree in Computer Science or a closely related field. Previous knowledge of at least one of lambda calculus and functional programming, proof theory/type theory, programming language semantics, category theory in computer science, proof assistants is a prerequisite. *Remuneration* The wage will be approx 500 kISK per month before income tax, but depend on the qualifications and experience of the postdoc. Check http://payroll.is/en/ for what this means in terms of take-home pay. A tax relief for foreign experts may apply. The position is for two years, to start in autumn 2019 (the start date is negotiable), and is renewable for another year, based on good performance and mutual satisfaction. *Application details* Interested applicants should send their CV, including a list of publications, to the PI (email tarmo(a)ru.is) together with a statement outlining their suitability for the project and the names of at least two references. Informal inquiries about the project and the conditions of work are very welcome. We will review applications as they arrive. Please apply before 5 July 2019. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

About "Coequalizers and free triples, II"
by Michael Barr, Prof. 15 Jun '19

15 Jun '19

About a month ago, I inquired whether any of you had a copy of a preprint by that name from 1979. Then I found a copy and offered to send a scan of it to anyone who asked and I sent out maybe 8 or 10 of them. To most of the recipients I noted that in looking at the paper, there were serious problems. Now, aided by John Kennison and Bob Raphael, we have written a new paper, deciphering and thoroughly revising the old one. I invite anyone who is interested to download it from www.math.mcgill.ca/barr/<http://www.math.mcgill.ca/barr/>. All the papers I ever wrote are found there too. Michael Index of pdf files - Mathematics and Statistics<http://www.math.mcgill.ca/barr/> www.math.mcgill.ca 2010–present. Michael Barr, John Kennison, and Robert Raphael, Contractible simplicial objects To appear in a memorial volume honouring Vera Trnkova. Michael Barr, Topological *-autonomous categories, revisited. Tbilisi Math. J., 10.3, 51–64.This is an updated version of Topological *-autonomous categories, Theory Appl. Categories, 16 (2006), 700–708. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CFP: JOINT SYCO-STRING WORKSHOP
by Dan Ghica 11 Jun '19

11 Jun '19

============================================= CALL FOR PAPERS JOINT SYCO-STRING WORKSHOP 3rd Annual Workshop on String Diagrams in Computation, Logic, and Physics (STRING 2019) and the Fifth Symposium on Compositional Structures (SYCO 5) http://events.cs.bham.ac.uk/syco/strings3-syco5/ University of Birmingham, UK 4-6 September 2019 ============================================= STRING diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy. The Symposium on Compositional Structures is a new interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. You could submit work-in-progress, or a recently completed paper, or even a PhD or Masters thesis. While no list of topics could be exhaustive, SYCO-STRING welcomes submissions with a compositional focus related to any of the following areas, in particular (but not necessarily) from the perspective of category theory: * logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; * graphical calculi, including string diagrams, Petri nets and reaction networks; * languages and frameworks, including process algebras, proof nets, type theory and game semantics; * abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; * quantum algebra, including quantum computation and representation theory; * tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; * industrial applications, including case studies and real-world problem descriptions. Invited speakers ---------------- * Aleks Kissinger, Oxford * Jean Krivine, CNRS Paris * Koko Muroya, RIMS Kyoto * Detlef Plump, York * Mehrnoosh Sadrzadeh, QMU London * (more TBA) Important dates --------------- All deadlines are 23:59 anywhere-on-earth on the given dates. Submission deadline: 24 July 2019 Author notification: 7 August 2019 Travel support application deadline: To be announced Registration: To be announced Event dates: Wednesday 4 September to Friday 6 September 2019. SYCO will take place on Wednesday 4 September and the morning of Thursday 5 September. STRING will take place on the afternoon of Thursday 5 September and all day on Friday 6 September. Submissions ----------- Submission for both meetings will be by a single EasyChair page. There will be a single programme committee. Submission is not yet open. Submissions should present research results in sufficient detail to allow them to be properly considered. We encourage the submission of work in progress, as well as mature results. There are no proceedings, so work can be submitted even if it has been previously published, or has been submitted for consideration elsewhere. There is no specific formatting requirement, and no page limit, although for long submissions authors should be aware that reviewers will not be able to read the entire document in detail. Think creatively—you could submit a recent paper, draft notes of a project in progress, or even a recent Masters or PhD thesis. To indicate the meeting for which you would like your submission to be considered, append "(STRING)" or "(SYCO)" in the title field of the EasyChair submission page. If you would be happy for it to be presented at either meeting, you may append both. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 5; you still need to submit it again explicitly. Such a submission will be prioritised for inclusion in the SYCO 5 programme. When submitting, append "(DEFERRED FROM SYCO X)" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Second Dali Workshop: Final Call for Papers (deadline extension)
by nevrenato＠gmail.com 11 Jun '19

11 Jun '19

Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIEW Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692 TOPICS Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to Dynamic logic, foundations and applications Logics with regular modalities Modal/temporal/epistemic logics Kleene and action algebras and their variants Quantum dynamic logic Coalgebraic modal/dynamic logics Graded and fuzzy dynamic logics Dynamic logics for cyber-physical systems Dynamic epistemic logic Complexity and decidability of variants of dynamic logics and temporal logics Model checking, model generation and theorem proving for dynamic logics SUBMISSION AND PUBLICATION Original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style. As in the previous edition, post-proceedings will be published by Springer in a Lecture Notes of Computer Science volume. We will also have a special issue with extended, revised contributions in the Journal of Logic and Algebraic Methods in Programming, Elsevier Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019 INVITED SPEAKER Dexter Kozen, Cornell University IMPORTANT DATES Paper Submission: June 28, 2019 (EXTENDED) Notification: July 19, 2019 Camera Ready: September 2, 2019 Workshop: October 9, 2019 PROGRAMME COMMITTEE Guillaume Aucher (IRISA, FR) Carlos Areces (U Cordoba, AR) Alexandru Baltag, (UvA, NL) - PC co-chair Luis S. Barbosa, (U Minho, PT) - PC co-chair Mario Benevides (UFRJ, BR) Johan van Benthem (U Stanford, USA) Patrick Blackburn, (U Roskilde, DK) Thomas Bolander (DTU, Denmark) Zoe Christoff (U Bayreuth, Germany) Fredrik Dahlqvist (UCL, UK) Hans van Ditmarsch (LORIA, Nancy, FR) Nina Gierasimczuk (DTU, Denmark) Valentin Goranko (U Stockholm, SE) Davide Grossi (U Groningen, NL) Reiner Hahle (TU Darmstadt, DE) Rolf Hennicker (LMU, Munchen, DE) Andreas Herzig (U Toulouse, FR) Dexter Kozen (Cornell, USA) Clemens Kupke (U Strathclyde, UK) Alexandre Madeira (U Aveiro, PT) Manuel A. Martins (U Aveiro, PT) Paulo Mateus (IST, PT) Stefan Mitsch (CMU, USA) Renato Neves (U Minho, PT) Valeria de Paiva (Nuance Comms, USA) Aybuke Ozgun (ILLC, NL) Fernando Velazquez-Quesada (ILLC, NL) Olivier Roy (U Bayreuth, DE) Lutz Schroeder (FAU, Erlangen-Nurenberg, DE) Alexandra Silva (UCL, UK) Sonja Smets (UvA, NL) Rui Soares Barbosa (U Oxford, UK) Tinko Tinchev (Sofia U, BG) Renata Wassermann (USP, BR) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD position - Birkbeck, University of London
by HUBERT MING CHEN 07 Jun '19

07 Jun '19

Applications are currently invited for a Graduate Teaching Assistant, in the Department of Computer Science & Information Systems, Birkbeck, University of London. This position would support the pursuit of a Ph.D. degree. There are a number of faculty members in the department working on theoretical computer science and related topics (a full list of faculty is available at https://www.dcs.bbk.ac.uk/about/people/academic-staff/) and we would welcome applications from those interested in pursuing this area. To apply, one needs to follow the instructions given at: https://cis7.bbk.ac.uk/vacancy/graduate-teaching-assistant-387971.html#utm_… [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Canada Research Chair Positions at Western - Special Call for Designated Groups
by Chris Kapulkin 07 Jun '19

07 Jun '19

Fellow category theorists, The University of Western Ontario is advertising 10 Canada Research Chair positions for members of underrepresented minorities. The CRC program is highly prestigious and it's a pretty sweet deal. This is a competition across all university disciplines and we would love to see many mathematicians apply. The application deadline is June 19 (yes, in 2 weeks). You may not be able to submit your strongest application, but don't worry - no-one will have enough time to properly prepare it, so it's still worth putting one in. A couple of paragraphs from the ad: To address Western’s commitment to equity, diversity and inclusion [...], *only* applicants who self-identify as a woman, Indigenous person or person with a disability will be considered for these CRC opportunities. For Tier 2 Chairs, candidates must be exceptional emerging world-class researchers (i.e., candidates must have less than 10 years of experience as an active researcher in their field at the time of nomination) who have demonstrated particular research creativity and have demonstrated the potential to achieve international recognition in their fields within five to ten years. For Tier 1 Chairs, candidates must be outstanding and innovative world-class researchers who have made a major impact and are recognized internationally as leaders in their fields. Full ad: https://www.uwo.ca/facultyrelations/careers/pdf/crc-special-call-advertisem… Information about the CRC program: http://www.chairs-chaires.gc.ca/program-programme/index-eng.aspx Best, Chris [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Facets of realizability - call for participation
by Valentin Blot 05 Jun '19

05 Jun '19

CALL FOR PARTICIPATION To the FACETS OF REALIZABILITY workshop. https://project.inria.fr/realizability2019 Cachan (Paris), France, 1 - 3 July 2019. REGISTRATION: *** BEFORE JUNE 15TH *** Registration is free but mandatory. We cover lunches and coffee breaks for all participants. You can register by sending an e-mail to both organizers with subject line ???[facets of realizability] registration???. BACKGROUND: The goal of the workshop is to bring together researchers interested in realizability or whose research involves applications of realizability. Here, ???realizability??? is to be understood in a very broad sense to foster new ideas from interaction of people working on its different aspects. The main focus will be realizability interpretations, arithmetic, function and categorical realizability and in particular work on the boundary between any of these. An example of a concept that lies at the border between arithmetic and function realizability is the principle of bar induction. INVITED SPEAKER: Paulo Oliva PROGRAM: https://project.inria.fr/realizability2019/program the organizers, Valentin Blot & Florian Steinberg [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

John Power Retirement Meeting
by Neil Ghani 05 Jun '19

05 Jun '19

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 and return to Australia. John has advanced our understanding of many topics in his career, including coherence problems, algebraic theories, algebraic effects in computation, and logic programming. He has been instrumental in introducing and promulgating the effective use of categorical methods in computer science. As important as John’s academic qualities, he has also been a wonderful colleague. John has been an amazing mentor, supporter and friend 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’s achievements, and to inspire further work, we will hold a small informal workshop at the University of Bath where John has worked for the last decade, with confirmed attendance from several of his collaborators, including Martin Hyland, Ekaterina Komendantskaya, Paul Levy, 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, also 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(a)bath.ac.uk<mailto: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/JohnPowerWorkshop/ All the best Guy McCusker and Neil Ghani [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0