January 2019 - Categories - categories.org.au

*** PSSL105 - Palermo 2019 - second announcement ***
by Giuseppe Metere 31 Jan '19

31 Jan '19

*** 105th Peripatetic Seminar on Sheaves and Logic *** University of Palermo, Italy *** May 18th-19th, 2019 + satellite event May 17th, 2019 *** Second announcement *** Dear colleagues and friends, It is now possible to register for the 105th PSSL + satellite event on "Categorical Methods in Algebra", to be held at the University of Palermo, Italy, on the weekend of May 17th-19th, 2019. The conference website can be found at the address: https://sites.google.com/view/pssl-105/ Of course, there is no conference fee, and everyone is invited to give a talk. To register, please fill the registration form available on the website. Some funding will be made available to support participation of PhD students and young researchers. To apply for financial support, please contact the organizers before March 17th. For any questions, please feel free to contact us. We hope to see you in Palermo. With best regards, Giuseppe Metere Andrea Montoli Tim Van der Linden (organizers) -- Giuseppe Metere, PhD. Ricercatore di Algebra Dipartimento di Matematica e Informatica Universit?? degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO 3 - Call for Papers
by JS Lemay 30 Jan '19

30 Jan '19

THIRD SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 3) University of Oxford 27-28 March, 2019 http://events.cs.bham.ac.uk/syco/3/ <http://events.cs.bham.ac.uk/syco/3/> The Symposium on Compositional Structures (SYCO) is an 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. The first SYCO was in September 2018 at the University of Birmingham. The second SYCO was in December 2019, at the University of Strathclyde, each attracting about 70 people. 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. Think creatively---you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular 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. This new series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic". SYCO will be a regular fixture in the academic calendar, running regularly throughout the year, and becoming over time a recognized venue for presentation and discussion of results in an informal and friendly atmosphere. To help create this community, and to avoid the need to make difficult choices between strong submissions, in the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. This would be done based largely on submission order, giving an incentive for early submission, but would also take into account other requirements, such as ensuring a broad scientific programme. Deferred submissions can be re-submitted to any future SYCO meeting, where they would not need peer review, and where they would be prioritised for inclusion in the programme. This will allow us to ensure that speakers have enough time to present their ideas, without creating an unnecessarily competitive reviewing process. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. # INVITED SPEAKERS Marie Kerjean, INRIA Bretagne Atlantique Alessandra Palmigiano, Delft University of Technology and University of Johannesburg # IMPORTANT DATES All times are anywhere-on-earth. - Submission deadline: Friday 15 February 2019 - Author notification: Wednesday 27 February 2019 - Registration deadline: Wednesday 20 March 2019 - Symposium dates: Wednesday 27 and Thursday 28 March 2019 # SUBMISSIONS Submission is by EasyChair, via the following link: - https://easychair.org/conferences/?conf=syco3 <https://easychair.org/conferences/?conf=syco3> Submissions should present research results in sufficient detail to allow them to be properly considered by members of the programme committee, who will assess papers with regards to significance, clarity, correctness, and scope. 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 understand that reviewers may not be able to read the entire document in detail. # FINANCIAL SUPPORT Some funding is available to cover travel and subsistence costs, with a priority for PhD students and junior researchers. To apply for this funding, please contact the local organizers Antonin Delpeuch (antonin.delpeuch(a)cs.ox.ac.uk <mailto:antonin.delpeuch@cs.ox.ac.uk>) or Ben Musto (benjamin.musto(a)cs.ox.ac.uk <mailto:benjamin.musto@cs.ox.ac.uk>) with subject line "SYCO 3 funding request" by March 6, with a short statement of your current status, travel costs and funding required. # PROGRAMME COMMITTEE Fatimah Ahmadi, University of Oxford Corina Cirstea, University of Southampton Bob Coecke, University of Oxford Carmen Maria Constantin, University of Oxford Antonin Delpeuch, University of Oxford Brendan Fong, Massachusetts Institute of Technology Dan Ghica, University of Birmingham Giuseppe Greco, Utrecht University Helle Hvid Hansen, Delft University Jules Hedges, University of Oxford Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Dimitri Kartsaklis, Apple Aleks Kissinger, Radboud University Nijmegen Alexander Kurz, Chapman University Jean-Simon Lemay, University of Oxford Martha Lewis, University of Amsterdam Dan Marsden, University of Oxford Samuel Mimram, École Polytechnique Nina Otter, UCLA Simona Paoli, University of Leicester Robin Piedeleu, University of Oxford David Reutter, University of Oxford Christine Tasson, Paris Diderot University Jamie Vicary, University of Birmingham Tamara von Glehn, University of Cambridge Quanlong Wang, University of Oxford Gijs Wijnholds, Queen Mary University of London Philipp Zahn, University of St.Gallen [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Summer School in Algebra and Topology (2nd edition) (fwd)
by Tim Van der Linden 29 Jan '19

29 Jan '19

Dear colleagues, It is a pleasure to announce the second edition of the Summer School in Algebra and Topology, which will take place in Louvain-la-Neuve from Wednesday the 11th until Saturday the 14th of September 2019. The summer school will consist in four intensive courses addressed to Master and PhD students, which will also be of interest to more experienced researchers in mathematics. This event is part of a joint project of UCLouvain with the universities of Coimbra, Padova and Poitiers, promoting research collaboration within the Coimbra Group. The invited speakers of this the summer school will be professors Silvana Bazzoni (Padova), Marino Gran (Louvain-la-Neuve), Sandra Mantovani (Milano), and Jorge Picado (Coimbra). The titles of their courses are: Contramodules and their applications - Silvana Bazzoni Categories for universal algebra - Marino Gran Categorical commutator theory - Sandra Mantovani Frames and locales: topology without points - Jorge Picado To register, please send a message to Mme Carine Baras <carine.baras(a)uclouvain.be> mentioning your academic status (Master or PhD student, post-doc, professor, etc.) and affiliation before the 15th of June 2019. She can also help you with booking a room in Louvain-la-Neuve. There is limited funding to partially cover local expenses for students. If you wish to apply for this, then please send me an up-to-date CV and a reference letter before the end of March 2019. Further information is available on the website www.uclouvain.be/irmp-summerschool-2 With best regards, Tim [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TACL 2019 - deadlines soon!
by Tomáš Jakl 29 Jan '19

29 Jan '19

???================================================================= TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2019) Call for Papers - deadlines soon! ================================================================= Conference: June 17 - 21, 2019 in Nice School: June 10 - 15, 2019 in Ile de Porquerolles https://math.unice.fr/tacl/2019/ Registration https://math.unice.fr/tacl/2019/submission+registration.html ************ WARNINGS! ************ - Book your accommodation as soon as possible! (FIFA Women's World Cup matches are played in Nice the same week) - Compulsory pre-registration for the school by March 31! - The number of spaces in the TACL school is limited. *********************************** Scope ----- Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods. TACL 2019 is the ninth conference in the series Topology, Algebra and Categories in Logic. The TACL summer school 2019 will be held on the isle of Porquerolles during the week preceeding the conference. Important dates --------------- Contributed talks: Submission by: February 27, 2019 Notification: March 24, 2019 Request for funding and/or student-style accommodation: Submission by: February 27, 2019 Notification: March 24, 2019 Early registration: March 31, 2019 Registration deadline: May 31, 2019 Invited speakers ---------------- * Samson Abramsky (University of Oxford) * Johan van Benthem (Stanford University) * Marcel Ern?? (Leibniz University Hannover) * Sam van Gool (University of Amsterdam) * Wesley Holliday (University of California Berkeley) * Agi Kurucz (King's College London) * Tommaso Moraschini (Czech Academy of Sciences) * Daniela Petrisan (Universite Paris Diderot) * Hilary Priestley (University of Oxford) * Boris Zilber (University of Oxford) Call for contributed talks -------------------------- Authors can submit an Extended Abstract of up to 2 pages (including references) at the EasyChair conference system: https://easychair.org/conferences/?conf=tacl2019 Committees ---------- Program Committee: Silvio Ghilardi (co-chair), Ramon Jansana (co-chair), Nick Bezhanishvili, Marta Bilkova, Agata Ciabattoni, David Gabelaia, Mai Gehrke, Jean Goubault-Larrecq, John Harding, Rosalie Iemhoff, Vincenzo Marra, Paul-Andre Mellies, Jorge Picado, Ales Pultr, James Raftery, Anna Romanowska, Valentin Shehtman, Isar Stubbe, Fred Wehrung, Michael Zakharyaschev Steering Committee: Guram Bezhanishvili, Mai Gehrke, Silvio Ghilardi, Rob Goldblatt, Ramon Jansana, Hilary Priestley, James Raftery, Yde Venema Organizing Committee: Mai Gehrke, Etienne Lozes, Frederic Patras, Luigi Santocanale, Clemens Berger, Carlos Simpson, Celia Borlido, Wesley Fussner, Tomas Jakl, Axel Osmond, Luca Reggio, Mehdi Zaidi Summer School's extras ---------------------- Webpage: https://math.unice.fr/tacl/2019/school/ ************ WARNING! ********** One cannot register if one has not pre-registered by March 31! ******************************** Pre-registration deadline: March 31, 2019 Reduced fee request: March 31, 2019 Notification on fee and acceptance of pre-registration: April 10, 2019 Final registration and payment: April 30, 2019 Those chosen to receive funding for the conference will have priority for funding for the summer school. Lecturers at the Summer School * Maria Manuel Clementino - Category Theory * Andr?? Joyal - Topos Theory * George Metcalfe - Algebraic Methods in Proof Theory * Yde Venema - Duality Theory Arrival on the island will be on Monday June 10 in the evening. The school's programme will start on Tuesday June 11 in the morning and will end on Saturday June 15 in the afternoon. For further information, please visit the school website. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Summer School in Algebra and Topology (2nd edition)
by Tim Van der Linden 28 Jan '19

28 Jan '19

Dear colleagues, It is a pleasure to announce the second edition of the Summer School in Alg= ebra and Topology, which will take place in Louvain-la-Neuve from Wednesday= the 11th until Saturday the 14th of September 2019. The summer school will consist in four intensive courses addressed to Maste= r and PhD students, which will also be of interest to more experienced rese= archers in mathematics. This event is part of a joint project of UCLouvain = with the universities of Coimbra, Padova and Poitiers, promoting research c= ollaboration within the Coimbra Group.=20 The invited speakers of this the summer school will be professors Silvana B= azzoni (Padova), Marino Gran (Louvain-la-Neuve), Sandra Mantovani (Milano),= and Jorge Picado (Coimbra). The titles of their courses are: Contramodules and their applications - Silvana Bazzoni Categories for universal algebra - Marino Gran Categorical commutator theory - Sandra Mantovani Frames and locales: topology without points - Jorge Picado To register, please send a message to Mme Carine Baras <carine.baras@uclouv= ain.be> mentioning your academic status (Master or PhD student, post-doc, p= rofessor, etc.) and affiliation before the 15th of June 2019. If you wish, = she can also help you with booking one of the rooms we reserved at the stud= ent residence "Le Relais" and at the hotel "Ibis Style"; in that case, plea= se contact her as soon as possible. There is limited funding to partially cover local expenses for students. If= you wish to apply for this, then please send me an up-to-date CV and a ref= erence letter before the end of March 2019. Further information is available on the website https://uclouvain.be/en/res= earch-institutes/irmp/summer-school-in-algebra-and-topology-2019.html With best regards,=20 Tim [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Operads and higher structures in Algebraic Topology and Category Theory
by Pierre-Alain Jacqmin 28 Jan '19

28 Jan '19

Dear all, It is a pleasure for us to announce that a summer school will be held in Ottawa on the 29-30-31 July 2019 on the topic “Operads and higher structures in Algebraic Topology and Category Theory “. This summer school will be followed by a workshop on the same topic (1-2 August 2019). The lecturers for the summer school are: - Manfred Hartl (Northeast Normal University - Université Polytechnique des Hauts de France) - Pascal Lambrechts (Université catholique de Louvain) and - Mark Weber (Macquarie University). Two speakers are already confirmed for the workshop, the other ones will be announced later: - Murray Bremner (University of Saskatchewan) - Ülo Reimaa (University of Tartu) You can find more information on the webpage: https://mysite.science.uottawa.ca/pjacqmin/operadsATCT.html To register, please send an email to the organizers Pierre-Alain Jacqmin (pjacqmin(a)uottawa.ca<mailto:pjacqmin@uottawa.ca>) or Paul-Eugène Parent (pparent(a)uottawa.ca<mailto:pparent@uottawa.ca>). We have a limited amount of financial supports to help Ph.D. students to join the event. They will be distributed on a first-come first-served basis. Please let the organizers know if you need one. Scientific committee: - Richard Blute - Pierre-Alain Jacqmin - Paul-Eugène Parent - Philip Scott - Tim Van der Linden We are looking forward to seeing you on this occasion. With best regards, Pierre-Alain Jacqmin and Paul-Eugène Parent [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

call for submissions: CLA'19 meeting and DMTCS special issue
by Noam Zeilberger 24 Jan '19

24 Jan '19

The Computational Logic and Applications (CLA) workshops are a series of annual meetings (cf. https://cla.tcs.uj.edu.pl) whose main purpose is to provide a free and open forum for research on combinatorial and quantitative aspects of mathematical logic and their applications in computer science. The next meeting will take place in Versailles (France) in July 1-2, 2019. It will be followed by a special issue of DMTCS dedicated to the same topics. SCOPE Topics within the scope of CLA include: — combinatorics of lambda calculus and related formalisms, — quantitative aspects of program evaluation and normalisation, — asymptotic enumeration in computational logic, — statistical properties of formulae, terms and programs, — random generation of large combinatorial structures in computational logic, — randomness in software testing and counter-example generation methods. WORKSHOP Submission of a talk proposal for the meeting should be done no later than June 11, 2019, by sending a short abstract through Easychair ( https://easychair.org/conferences/?conf=cla2019) The steering committee will decide on the meeting’s program by June 14, 2019. Attendance is free upon registration. Invited speakers: — Samuele Giraudo (LIGM, Univ. Marne la Vallée, France) — Clemens Grabmayer (TCS, Vrije Univ. Amsterdam, Netherland) The steering committee for the workshop is — Antoine Genitrini (Sorbonne University, Paris, France) — Alain Giorgetti (University of Bourgogne Franche-Comté, Besançon, France) — Bernhard Gittenberger (TU Wien, Vienna, Austria) — Katarzyna Grygiel (Jagiellonian University, Kraków, Poland) — Michał Pałka (Chalmers University of Technology, Gothenburg, Sweden) — Noam Zeilberger (University of Birmingham, United Kingdom) The organising committee is composed of — Olivier Bodini (University Paris 13, Villetaneuse, France) — Danièle Gardy (University of Versailles, Versailles, France) — Antoine Genitrini (Sorbonne University, Paris, France) SPECIAL ISSUE Following the meeting, a special issue of DMTCS is planned for early 2020 with full papers on the topics of CLA. These papers can be either results presented at the 2019 CLA meeting, or at a former meeting but not published elsewhere, or results not presented at CLA, as long as they fall within the scope of the workshop. The submitted papers should present original research, including survey papers, which is not already published or submitted to publication to another journal. The editors for the special issue are — Olivier Bodini (University Paris 13, Villetaneuse, France) — Bernhard Gittenberger (TU Wien, Vienna, Austria) — Marek Zaionc (Jagiellonian University, Krakow, Poland) The papers will be refereed according to the usual standards of DMTCS. IMPORTANT DATES — June 11, 2019: submission deadline for talk proposals — June 14, 2019: speaker notification for workshop — June 24, 2019: registration deadline — July 1-2, 2019: workshop — September 30, 2019: submission deadline for contributions to the DMTCS special issue SUBMISSION TO THE SPECIAL ISSUE Papers should be written in English. The submission process for DMTCS is the standard one for this journal. Ensure that you submit to the special volume "CLA 2019" and that you leave the section of the journal unspecified. Authors will be notified of a decision within four months of submission to the special issue. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

HoTT Electronic Seminar Talks in Spring 2019
by Chris Kapulkin 21 Jan '19

21 Jan '19

Dear all, We are pleased to announce that the Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in 2019. The Spring 2019 speakers are: January 31: Nicola Gambino February 7: Nima Rasekh February 21: Simon Huber March 7: Evan Cavallo March 21: Dan Licata April 4: Joachim Kock April 18: Paolo Capriotii May 2: Mathieu Anel May 16: Andrej Bauer Per usual, the seminar will be meeting on alternating Thursdays (with the exception of the first two talks, which are only one week apart) at 11:30 Eastern. For updates and instructions how to attend, please see our website https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html The seminar is open to everyone, but some prior familiarity with HoTT will be assumed. Best wishes, Chris Kapulkin for the organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

LaCaixa PhD scholarships: project on infinity-groupoids
by Joachim Kock 20 Jan '19

20 Jan '19

Dear all, Please forward to potential candidates: LaCaixa, a big Catalan bank, offers 30 high-profile PhD scholarships for excellent students, and for specific ambitious projects. One of the projects is entitled An elementary theory of the infinity-category of infinity-groupoids (and I would supervise it, as well as I can). The deadline is February 6. For more information, see documentation in English: https://obrasociallacaixa.org/en/investigacion-y-becas/programa-de-becas-de… and https://hosts.lacaixafellowships.org/finder#1 and enter the search string 'elementary'. Cheers, Joachim. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Research associate in computational effects modelling and axiomatics
by Ohad Kammar 17 Jan '19

17 Jan '19

Hi, I'm looking for a postdoc, and can currently offer a position until January 2021 (inclusive). You'll be joining me at the Laboratory for the Foundations of Computer Science (LCFS) at the School of Informatics in the University of Edinburgh. We'll be looking at the semantic foundations of computational effects and the foundations of statistical probabilistic programming. More details here, with a brief summary below: https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… I'm at POPL this week --- in case you're here and want to chat. Otherwise, just email me. If you're not currently looking for a postdoc position, but know someone who is, please forward this information to them. Yours, Ohad. --------------------------------------------------------- Closing date: Friday 15th February 2019 at 5pm (GMT) Interviews (expected): 27 or 28 February 2019 Project Information Programs exhibit implicit behaviour, such as I/O and state interaction, probabilistic non-determinism, Bayesian conditioning, and gradient manipulation, under the umbrella term 'computational effects'. Computational effects pose challenges in modelling and reasoning about programs, as their interaction with other programming language theories, such as higher-order structure and polymorphism, is still poorly understood. Axiomatics is a highly successful technique in reasoning about computational effects. In this project, you will conduct basic research into the connections between axiomatics and denotational modelling of computational effects. You will also specialise this theory towards the foundations of probabilistic programming. Essential criteria * Completed, or near completion of, a PhD in computer science or mathematics, or equivalent experience. * Demonstrable experience in denotational modelling of programming languages. * Demonstrable working knowledge in category theory. * Demonstrable working knowledge in domain theory. * Ability to communicate clearly complex technical material orally and in writing. Desirable criteria * Experience with axiomatic verification of higher-order programs with effects. * Demonstrable working knowledge in refinement type systems and their mathematical models. * Demonstrable working knowledge in measure theory, probability, and statistics. * Demonstrable experience in programming with and/or modelling effect handlers. * Demonstrable experience in programming in and/or modelling statistical probabilistic programming languages * Experience in publication and presentation in international programming language venues. * Demonstrable knowledge in designing and solving recursive domain equations. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0