August 2018 - Categories - categories.org.au

RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science
by Walter Guttmann 30 Aug '18

30 Aug '18

CALL FOR PARTICIPATION 17th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2018 29 October to 1 November 2018, Groningen, The Netherlands http://www.ramics-conference.org/ GENERAL INFORMATION: Recurrent topics of RAMiCS conferences, held since 1994, include semiring- and lattice-based structures such as relation algebras and Kleene algebras, their connections with program logics and other logics, their use in theories of computing, their formalisation with theorem provers, and their application to modelling and reasoning about computing systems and processes. INVITED TALKS: Philippa Gardner (Imperial College London, UK) Scalable reasoning about concurrent programs Manuel Bodirsky (Technische Universit?t Dresden, Germany) Finite relation algebras with normal representations Roland Backhouse (University of Nottingham, UK) The importance of factorisation in algorithm design ACCEPTED PAPERS: Sarah Alexander, Peter Jipsen and Nadiya Upegui On the structure of generalized effect algebras and separation algebras Callum Bannister and Peter H?fner False failure: creating failure models for separation logic Stefano Bonzio, Michele Pra Baldi and Diego Valota Counting finite linearly ordered involutive bisemilattices Maximiliano Cristi? and Gianfranco Rossi A set solver for finite set relation algebra Jessica Ertel, Roland Gl?ck and Bernhard M?ller Algebraic derivation of Until rules and application to timer verification Simon Foster, Kangfeng Ye, Ana Cavalcanti and Jim Woodcock Calculational verification of reactive programs with reactive relations and Kleene algebra Malvin Gattinger and Jana Wagemaker Towards an analysis of dynamic gossip in NetKAT Roland Gl?ck Distances, norms and error propagation in idempotent semirings Maria Jo?o Gouveia and Luigi Santocanale MIX star-autonomous quantales and the continuous weak Bruhat order Robin Hirsch Decidability of equational theories for sub-signatures of relation algebra Mark Hopkins and Hans Lei? Coequalizers and tensor products for continuous idempotent semirings Jonathan Huerta y Munive and Georg Struth Verifying hybrid systems with modal Kleene algebra Wolfram Kahl Calculational relation-algebraic proofs in the teaching tool CalcCheck Lefteris Kirousis, Phokion Kolaitis and John Livieratos On the computational complexity of non-dictatorial aggregation Dexter Kozen and Matvey Soloviev Coalgebraic tools for randomness-conserving protocols Nikolai Krivulin Algebraic solution of weighted minimax single-facility constrained location problems Pranab Kumar Ghosh and Michael Winter A modal and relevance logic for qualitative spatial reasoning Hans Lei? and Mark Hopkins C-dioids and ?-continuous Chomsky-algebras Koki Nishizawa and Norihiro Tsumagari Composition of different-type relations via the Kleisli category for the continuation monad Giulia Sindoni, Katsuhiko Sano and John G. Stell Axiomatizing discrete spatial relations Michael Winter T-norm based operations in arrow categories PROGRAMME: http://www.ramics-conference.org/?page_id=270 REGISTRATION (early fee before 15 September 2018): http://www.ramics-conference.org/?page_id=202 COMMITTEES: Organising Committee -------------------- Conference Chair: Stef Joosten, Open Universiteit, The Netherlands PC Co-Chair: Jules Desharnais, Universit? Laval, Canada PC Co-Chair: Walter Guttmann, University of Canterbury, New Zealand Publicity Chair: Sebastiaan Joosten, Universiteit Twente, The Netherlands Programme Committee ------------------- Luca Aceto, Reykjav?k University, Iceland/Gran Sasso Science Institute, Italy Rudolf Berghammer, Christian-Albrechts-Universit?t zu Kiel, Germany Jules Desharnais, Universit? Laval, Canada Uli Fahrenberg, ?cole Polytechnique, France Hitoshi Furusawa, Kagoshima University, Japan Walter Guttmann, University of Canterbury, New Zealand Robin Hirsch, University College London, UK Peter H?fner, Data61, CSIRO, Australia Marcel Jackson, La Trobe University, Australia Jean-Baptiste Jeannin, University of Michigan, USA Peter Jipsen, Chapman University, USA Stef Joosten, Open Universiteit, The Netherlands Wolfram Kahl, McMaster University, Canada Barbara K?nig, Universit?t Duisburg-Essen, Germany Dexter Kozen, Cornell University, USA Agi Kurucz, King's College London, UK Tadeusz Litak, Friedrich-Alexander Universit?t Erlangen-N?rnberg, Germany Roger Maddux, Iowa State University, USA Annabelle McIver, Macquarie University, Australia Szabolcs Mikul?s, Birkbeck, University of London, UK Ali Mili, New Jersey Institute of Technology, USA Bernhard M?ller, Universit?t Augsburg, Germany Jos? N. Oliveira, Universidade do Minho, Portugal Alessandra Palmigiano, Technische Universiteit Delft, The Netherlands Damien Pous, CNRS, France Mehrnoosh Sadrzadeh, Queen Mary University of London, UK John Stell, University of Leeds, UK Georg Struth, University of Sheffield, UK Michael Winter, Brock University, Canada [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc vacancy in **Quantum Circuit Optimisation and Graphical Calculus** at Radboud University, Nijmegen
by Aleks Kissinger 30 Aug '18

30 Aug '18

Dear colleagues, I would like to advertise a postdoc vacancy in the Institute for Computing and Information Sciences at Radboud University in Nijmegen on the topic of: ** Quantum Circuit Optimisation and Graphical Calculus ** This is a one-year position, with a possible extension to 2 years (conditional on available funding). The research will entail applying graphical techniques (notably string diagrams, tensor networks, and the ZX-calculus / related graphical calculi) to quantum circuits for the sake of gate count minimisation, routing of multi-qubit operations, and fault-tolerance. This project consists both of theoretical work and implementation in relevant software tools, e.g. Quantomatic and PyZX. Candidates should have (or will shortly obtain) a PhD degree, and should have experience in at least one of the following areas: - quantum computation, especially circuit optimisation or quantum error correction - graphical calculi, the ZX-calculus, rewrite theory and/or categorical quantum mechanics To apply, please send a CV and short cover letter to <aleks(a)cs.ru.nl>. Start dates are flexible, but ideally a candidate should be willing to begin no later than January 2019. The accepted candidate will be classified as a Postdoctoral Researcher, Level 4 in the Dutch university job-ranking system (UFO), with a gross salary of 3173-4033 EUR per month, depending on years of experience since PhD. Best, Aleks Kissinger Assistant Professor iCIS, Radboud University aleks(a)cs.ru.nl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: a copy of Bunge's "Categories of set-valued functors"
by Marta Bunge 29 Aug '18

29 Aug '18

Hi Fosco Loregian, I suppose that my thesis must be stored in microfilm at the University of Pennsylvania. I only have my own copy and never bothered to try to obtain one such. In Research Gate (my page) I uploaded portions of a couple of chapters for specific reasons, one on Regular Categories (my version which includes exactness conditions but not stability) and another on Adoint Functors (between such categories of “presheaves”). I did not publish my 1966 thesis as such, but at least a relative (to a symmetric monoidal category) version of the characterization theorem was included in my 1969 Journal of Algebra paper and communicated by Saunders MacLane. That is all I have. In those days it was not customary to post electronic versions. My own thesis was typed by myself in a typewriter with symbols inserted by hand. Is there anything specific you would like to have or know? Regards, Marta Bunge ________________________________ From: loregianf(a)math.muni.cz Sent: Tuesday, August 28, 2018 7:46 PM To: Categories Subject: categories: a copy of Bunge's "Categories of set-valued functors" Hello everyone! I was wondering: is there any chance to find an electronic copy of Marta Bunge's PhD thesis "Categories of Set-Valued Functors", University of Pennsylvania, 1966 Best, Fosco Loregian [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation
by Tarmo Uustalu 28 Aug '18

28 Aug '18

* A TCS spring school and conference in Stellenbosch, South Africa, 12-19 October 2018. * 7 spring school tutorials and 4 invited talks by Yves Bertot, Vincent Cheval, Martin Leucker, Tommie Meyer, Gennaro Parlato, Ina Schaefer (with Loek Cleophas), Peter Thiemann, Willem Visser, 25 contributed papers. * A single, very affordable fee covers both the summer school and the conference and includes a full-day excursion to the Cape Peninsula. * Early registration ends 12 September. CALL FOR PARTICIPATION CARI/ICTAC Spring School and 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 12-19 October 2018 https://www.ictac.org.za/ Established by UNU IIST in 2004, the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2018 will take place in Stellenbosch, South Africa, colocated with the 14th African Conference on Research in Computer Science and Applied Mathematics, CARI 2018, 14-16 October 2018. SPRING SCHOOL TUTORIALS Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR): Interactive Theorem Proving and Program Development Vincent Cheval (Inria Nancy - Grand Est, FR): Verification of Security Protocols: From Confidentiality to Privacy Martin Leucker (Universität zu Lübeck, DE): Runtime Verification: Some Basics and Some Latest Developments Tommie Meyer (University of Cape Town, ZA): An Introduction to Description Logics Ina Schaefer (Technische Universität Braunschweig, DE) and Loek Cleophas (Technische Universiteit Eindhoven, NL): The Correctness-by-Construction Approach to Programming Peter Thiemann (Universität Freiburg, DE): Derivation beyond Regular Languages Willem Visser (Stellenbosch University, ZA): Symbolic Execution for Java ICTAC INVITED TALKS Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR): Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs Tommie Meyer (University of Cape Town, ZA): What is Knowledge Representation and Reasoning? Gennaro Parlato (University of Southampton, UK): Finding Rare Concurrent Programming Bugs: An Automatic, Symbolic, Randomized, and Parallelizable Approach Peter Thiemann (Universität Freiburg, DE): >>From Logic to Automata by Derivation ICTAC CONTRIBUTED PAPERS 25 papers selected from 58 submissions INFORMAL WORKSHOP ON (CO)ALGEBRAIC LANGUAGE AND AUTOMATA THEORY In the afternoon of 15 October, we will have an informal workshop on (co)algebraic language and automata theory. To propose a talk, please send a title and abstract to ictac2018(a)easychair.org by 12 September. REGISTRATION AND COST Registration and payment is via the conference website. The single ICTAC fee includes attendance at the school and the ICTAC conference, access to the LNCS proceedings volume, tea breaks and lunches during the school and the conference, a full-day excursion to the Cape Peninsula and a conference dinner. Early registration is by 12 September. Until this date, the full fee is ~390 EUR and the student fee is ~240 EUR. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universität zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität München, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION Stellenbosch University Computer Science Division SPONSORS Stellenbosch University Springer IFIP Inria AUF, CIRAD, IRD concerning the school CITY The city of Stellenbosch, founded 1685, is the second oldest European settlement in South Africa after Cape Town. It is situated about 50 km to the east of Cape Town. It is the place to admire Cape Dutch architecture and the heart of the Cape Winelands, South Africa's prime wine region. Stellenbosch University is one of the leading universities in Africa. FURTHER INFORMATION Please contact Bernd Fischer, bfischer(at)cs.sun.ac.za. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

a copy of Bunge's "Categories of set-valued functors"
by loregianf＠math.muni.cz 28 Aug '18

28 Aug '18

Hello everyone! I was wondering: is there any chance to find an electronic copy of Marta Bunge's PhD thesis "Categories of Set-Valued Functors", University of Pennsylvania, 1966 Best, Fosco Loregian [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Assistant Professor Position at Millikin University
by Harley D. Eades III 26 Aug '18

26 Aug '18

Hi, everyone. I would like to bring your attention to an exciting new position at my alma mater Millikin University. They are looking for someone to help them start a new program in computer science within the mathematics department. Millikin is a small liberal arts school whose primary objective is outstanding education. So any interested candidates should be aligned with this goal and be interested in building a first rate educational experience. I find this particular position exciting, because one will get the opportunity to help build something from scratch which is not all that common. The mathematics department is made up of mathematicians and theoretical computer scientists and so the categorical community will be very welcome. The full ad can be found here: https://millikin.edu/job-posting/assistant-professor-mathematics-and-comput… I am always happy to answer questions about MU and what it was like as a student, but specific questions about the position should be directed to Dr. Joe Stickles at jstickles(a)millikin.edu. Very best, Harley Eades [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

London conference
by Vasili I. Galchin 25 Aug '18

25 Aug '18

Hopfelly this question is allowed. I received a notification for a category theory conference in London(near Travalgar Square) at the beginning of October. I can't find the email. So I tried googling trying various search strings. Still nothing. Does anybody have info about this conference? Regards, Vasily [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Special Session on Structured Homotopy Theory Oct 20-21 in Ann Arbor
by Thomas Fiore 25 Aug '18

25 Aug '18

Dear Category Theorists, The following conference in algebraic topology may be of interest to some of you. The AMS Central Sectional Meeting will be held at the University of Michigan in Ann Arbor, Michigan, October 20-21, 2018. We are organizing a special session on Structured Homotopy Theory, with the speakers listed below. Registration and housing are available at http://www.ams.org/meetings/sectional/2259_other.html and the special session program will appear here soon. http://www.ams.org/meetings/sectional/2259_program_ss5.html#title Speakers: JD Quigley Marco Vergura Foling Zou Piotr Pstragowski Ugur Yigit Danny Shi Mike Mandell Eduaro Fischer Calvin Woo Aravind Asok Sophie Kriz Ruian Chen Yunze Lu Montek Gill Tony Elmendorf Akhil Mathew Phillip Hackney Kyle Ormsby Teena Gerhardt We hope to see you in Ann Arbor in the Fall! best regards from the Organizers, Igor Kriz, Thomas Fiore, Dan Isaksen, and Po Hu [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Papers: Compositionality
by Aleks Kissinger 24 Aug '18

24 Aug '18

CALL FOR PAPERS We invite you to submit a manuscript for publication in the first issue of Compositionality (ISSN: 2631-4444), a new open-access journal for research using compositional ideas, most notably of a category-theoretic origin, in any discipline. To submit a manuscript, please visit www.compositionality-journal.org/for-authors/. SCOPE Compositionality refers to complex things that can be built by sticking together simpler parts. We welcome papers using compositional ideas, most notably of a category-theoretic origin, in any discipline. This may concern foundational structures, an organising principle, a powerful tool, or an important application. Example areas include but are not limited to: computation, logic, physics, chemistry, engineering, linguistics, and cognition. Related conferences and workshops that fall within the scope of Compositionality include the Symposium on Compositional Structures (SYCO), Categories, Logic and Physics (CLP), String Diagrams in Computation, Logic and Physics (STRING), Applied Category Theory (ACT), Algebra and Coalgebra in Computer Science (CALCO), and the Simons Workshop on Compositionality. SUBMISSION AND PUBLICATION Submissions should be original contributions of previously unpublished work, and may be of any length. Work previously published in conferences and workshops must be significantly expanded or contain significant new results to be accepted. There is no deadline for submission. There is no processing charge for accepted publications; Compositionality is free to read and free to publish in. More details can be found in our editorial policies at www.compositionality-journal.org/editorial-policies/. STEERING BOARD John Baez, University of California, Riverside, USA Bob Coecke, University of Oxford, UK Kathryn Hess, EPFL, Switzerland Steve Lack, Macquarie University, Australia Valeria de Paiva, Nuance Communications, USA EDITORIAL BOARD Corina Cirstea, University of Southampton, UK Ross Duncan, University of Strathclyde, UK Andree Ehresmann, University of Picardie Jules Verne, France Tobias Fritz, Max Planck Institute, Germany Neil Ghani, University of Strathclyde, UK Dan Ghica, University of Birmingham, UK Jeremy Gibbons, University of Oxford, UK Nick Gurski, Case Western Reserve University, USA Helle Hvid Hansen, Delft University of Technology, Netherlands Chris Heunen, University of Edinburgh, UK Aleks Kissinger, Radboud University, Netherlands Joachim Kock, Universitat Autonoma de Barcelona, Spain Martha Lewis, University of Amsterdam, Netherlands Samuel Mimram, Ecole Polytechnique, France Simona Paoli, University of Leicester, UK Dusko Pavlovic, University of Hawaii, USA Christian Retore, Universite de Montpellier, France Mehrnoosh Sadrzadeh, Queen Mary University, UK Peter Selinger, Dalhousie University, Canada Pawel Sobocinski, University of Southampton, UK David Spivak, MIT, USA Jamie Vicary, University of Birmingham and University of Oxford, UK Simon Willerton, University of Sheffield, UK Sincerely, The Editorial Board of Compositionality [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Participation: Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
by Martha Lewis 16 Aug '18

16 Aug '18

CALL FOR PARTICIPATION Workshop on Compositional Approaches in Physics, NLP, and Social Sciences September 2nd and 3rd 2018 Nice, France https://sites.google.com/view/capns2018/home <https://sites.google.com/view/capns2018/home> ************* [with apologies for cross-posting] Compositional Approaches for Physics, NLP, and Social Sciences (CAPNS 2018) will be colocated with QI 2018 (http://qi2018.quantum-interaction.org/ <http://qi2018.quantum-interaction.org/>). The workshop is a continuation and extension of the Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science https://sites.google.com/site/semspworkshop/ <https://sites.google.com/site/semspworkshop/> held in June 2016. Registration is currently open at: https://sites.google.com/view/capns2018/registration <https://sites.google.com/view/capns2018/registration>. Registration for the workshop is free. For attendance at QI 2018 please register separately at (http://qi2018.quantum-interaction.org/ <http://qi2018.quantum-interaction.org/> AIMS AND SCOPE The ability to compose parts to form a more complex whole, and to analyze a whole as a combination of elements, is desirable across disciplines. In this workshop we bring together researchers applying compositional approaches to NLP, Physics, Cognitive Science, and Game Theory. The interplay between these disciplines will foster theoretically motivated approaches to understanding how meanings of words interact in sentences and discourse, how concepts develop, and how complex games can be analyzed. Commonalities between the compositional mechanisms employed may be extracted, and applications and phenomena traditionally thought of as 'non-compositional' will be examined. Topics of interests include (but are not restricted to): Applications of quantum logic in natural language processing and cognitive science Compositionality in vector space models of meaning Compositionality in conceptual spaces Compositional approaches to game theory Reasoning in vector spaces and conceptual spaces Conceptual spaces in linguistics Game-theoretic models of language and conceptual change Diagrammatic reasoning for natural language processing, cognitive science, and game theory Compositional explanations of so-called 'non-compositional' phenomena such as metaphor CONFIRMED SPEAKER: Paul Smolensky, Principal Researcher, Microsoft Research, and Krieger-Eisenhower Professor of Cognitive Science, Johns Hopkins University PROGRAMME COMMITTEE: Peter Bruza, Queensland University of Technology Trevor Cohen, University of Texas Fredrik Nordvall Forsberg, University of Strathclyde Liane Gabora, University of British Columbia Peter Gärdenfors, Lund University Helle Hvid Hansen, TU Delft Chris Heunen, University of Edinburgh Peter Hines, University of York Alexander Kurz, University of Leicester Antonio Lieto, University of Turin Glyn Morrill, Universitat Politècnica de Catalunya Dusko Pavlovic, University of Hawaii Taher Pilehvar, University of Cambridge Emmanuel Pothos, City, University of London Matthew Purver, Queen Mary University of London Mehrnoosh Sadrzadeh, Queen Mary University of London Marta Sznajder, Munich Center for Mathematical Philosophy Pawel Sobocinski, University of Southampton Dominic Widdows, Grab Technologies Geraint Wiggins, Vrije Universiteit Brussel Victor Winschel, OICOS GmbH Philipp Zahn, University of St. Gallen Frank Zenker, University of Konstanz ORGANIZATION: Bob Coecke, University of Oxford Jules Hedges, University of Oxford Dimitri Kartsaklis, University of Cambridge Martha Lewis, ILLC, University of Amsterdam Dan Marsden, University of Oxford [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0