January 2018 - Categories - categories.org.au

PSSL 103: second announcement
by bourkej 30 Jan '18

30 Jan '18

Dear all, The 103rd Peripatetic Seminar on Sheaves and Logic will be held on the weekend of the 7th-8th April 2018 at Masaryk University in Brno, Czech Republic. On the afternoon of Friday 6th there will be pre-PSSL talks by Moritz Groth and Simon Henry on the theme of higher category theory. A web page with some information, including travel directions, accommodation, and instructions for registration and submission of talks, is available at: https://www.math.muni.cz/~loregianf/PSSL103/PSSL103.php A limited amount of financial support is available for foreign Phd students and young researchers. If you would like to apply for financial support it would be best to contact us as soon as possible. We would be delighted to see you in Brno, the organizers John Bourke, Ivan Di Liberti, Simon Henry, Michael Lieberman, Fosco Loregian, Masaryk University. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2018 - Second announcement
by CT2018 30 Jan '18

30 Jan '18

Dear Colleagues, This is the: *2nd announcement for the **International Category Theory Conference ??? CT2018* *8-14 July 2018*??? University of Azores, Ponta Delgada (S. Miguel Island), Portugal * * *Invited speakers* - *James Borger* <http://maths-people.anu.edu.au/%7Eborger/>(Australian National University, Canberra, Australia) - *James Gray* <http://academic.sun.ac.za/jamesgray/>??(Stellenbosch University, South Africa) - *Anders Kock* <http://home.math.au.dk/kock/>??(Aarhus Universitet, Denmark) - *Tom Leinster* <http://www.maths.ed.ac.uk/%7Etl/>**(University of Edinburgh, UK) - *Ignacio L??pez Franco* <https://www.dpmms.cam.ac.uk/%7Eill20/>??(Universidad de la Rep??blica, Maldonado, Uruguay) - *Lurdes Sousa* <http://www.estgv.ipv.pt/paginaspessoais/sousa/>??(Instituto Polit??cnico de Viseu, Portugal) * * *Important dates* - Deadline for abstract submission: *May 25, 2018* - Deadline for early registration: *June 10, 2018* *Accommodation*: book your accommodation as soon as possible! S. Miguel (and Azores) is a very touristic destination and the conference takes place during the high season. Also, there is a limited number of rooms with special rates secured for the CT participants; you may find those, and others, at http://www.mat.uc.pt/~ct2018/accommodation.html <http://www.mat.uc.pt/%7Ect2018/accommodation.html>. These special rates are guaranteed for bookings made until *March 31, 2018*. Reservations should be dealt directly with each hotel. *Abstract submission: *follow the indications at http://www.mat.uc.pt/~ct2018/dates.html <http://www.mat.uc.pt/%7Ect2018/dates.html>to submit an abstract. Acceptance of abstracts will be communicated by *June 6, 2018*. Talks are 30min (25min exposition + 5min discussion). *Registration*: fill the registration form found at http://www.mat.uc.pt/~ct2018/registration.html <http://www.mat.uc.pt/%7Ect2018/registration.html> and make a bank transfer to pay the fee. Early registration fee - 200??? (by *June 10, 2018*); late registration fee - 250??? (after June 10, 2018). The fee includes conference documentation, welcome reception (Sunday evening), coffee breaks and lunches, excursion (Thursday afternoon) and conference dinner (Friday evening). All information concerning CT2018 may be found at http://www.mat.uc.pt/~ct2018/. Looking forward to seeing you all there! Best regards, OC -- Category Theory :: ct2018(a)mat.uc.pt [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

computer science positions Utrecht
by Moerdijk, I. (Ieke) 29 Jan '18

29 Jan '18

Dear readers of the list, Since several of you have a Computer Science background, I'd like to bring the following vacancies to your attention: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs (the ad "4 Full Professors in Information and Computing Sciences"). Ieke Moerdijk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

New paper: Formulating categorical concepts with classes
by Paul Blain Levy 26 Jan '18

26 Jan '18

Dear all, I have just posted a paper on the use of classes in category theory. https://arxiv.org/abs/1801.08528 Abstract: We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of k-classes. We apply the latter to both ordinary and higher categories. Any comments would be welcome. Paul [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoctoral Fellow in Mathematical Logic, Stockholm University
by Erik Palmgren 25 Jan '18

25 Jan '18

Postdoctoral Fellow in Mathematical Logic Ref. No. SU FV-0346-18 at the Department of Mathematics, Stockholm University. Closing date: 3 April 2018. The Department of Mathematics at Stockholm University has roughly 40 faculty members, and is divided into two divisions: Mathematics and Mathematical Statistics. This postdoctoral position is attached to the former. The Division of Mathematics carries out research in a wide range of subjects in pure mathematics, including algebra, analysis, combinatorics, geometry, logic and topology. The research group in mathematical logic is active in several areas of the field including, constructive mathematics, proof theory, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics. Project description A broad spectrum of different projects within mathematical logic are possible, but with a preference for projects including type theory, in particular homotopy type theory, constructive set theory, category theory and categorical logic, topos theory, point-free topology and locale theory or other constructive aspects of mathematical logic. Main responsibilities The main responsibility is to conduct research. The position also includes some teaching duties (up to 20 %), which may include supervision of students. The successful applicant is expected to participate in activities in the department, in particular by attending and contributing talks in the logic group???s seminar. Qualification requirements Postdoctoral positions are appointed primarily for purposes of research. Applicants are expected to hold a Swedish doctoral degree (by the time of appointment) or an equivalent degree from another country. Assessment criteria Applicants with a PhD degree awarded no more than three years before the deadline for application will be given preference. Parental leave, compulsory military and similar types of service, or longer periods of illness are not counted towards these three years. In the appointment process, special attention will be given to research skills. Emphasis will also be placed on the candidate???s potential to contribute to the proposed research program and to interact with other members of the department. Terms of employment The position involves full-time employment for a maximum of two years, with the possibility of extension under special circumstances. Start date is 2018-09-01 or as per agreement. Contact Further information about the position can be obtained from Professor Erik Palmgren, telephone: +46 8 16 45 32, palmgren(a)math.su.se, and/or Peter LeFanu Lumsdaine, telephone: +46 8 1614 66, p.l.lumsdaine(a)math.su.se. Applications are to be entered via the Stockholm University's online application system. For instructions see the full advertisement: https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4748&rm… Welcome with your application! Erik Palmgren Professor of Mathematical Logic Department of Mathematics Stockholm University http://staff.math.su.se/palmgren/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CATALG2018 - First Announcement
by Giuseppe Metere 25 Jan '18

25 Jan '18

*** First Announcement *** CatAlg - 4th Workshop in Categorical Algebra *** Gargnano del Garda (BS) *** 28 May - 1 June 2018 Dear colleagues and friends, The Fourth Workshop CATALG2018 on Categorical Algebra: "Recent developments and future perspectives" will take place in Gargnano (Garda lake), 28 May - 1 June 2018 As in the previous editions, we would like to have a proper "workshop", with only a few invited talks, and time for informal discussions. Keynote speakers (two-hour talks): Alberto Facchini, Marino Gran, Walter Tholen. Other invited speakers (one-hour talks): Maria Manuel Clementino, Xabier Garc??a-Mart??nez, Pierre-Alain Jacqmin, Zurab Janelidze, Andrea Montoli, Tim Porter, Diana Rodelo, Benno van den Berg. Finally, George Janelidze will give the conclusive talk. Although there will be no other scheduled talks, there will be a poster session to present and discuss results and investigations in categorical algebra. The workshop will start with a welcome buffet on Monday May 28th, in the late afternoon. Talks are scheduled from Tuesday May 29th, in the morning, till Friday June 1st, around noon. CatAlg2018 will take place in Palazzo Feltrinelli, where there will be also arranged lunches for all participants. The registration fee for CatAlg2018 is 140 EURO, it includes: the welcome buffet on Monday evening, all coffee breaks, conference lunches from Tuesday to Thursday. The registration fee must be paid cash at the arrival. In order to register, please complete the registration form available on the conference website: http://math.unipa.it/metere/Gargnano2018/home.html before April 15th. You will receive a confirmation email as soon as possible. Furthermore, if you wish to present a poster at the "poster session", please send a short abstract to the conference email by April 15th. For any information, please contact us at: catalg2018(a)gmail.com Looking forward to seeing you in Gargnano, Beppe Metere on behalf of the organizing commettee. -- 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

Conference: Topology in Australia and South Korea, Feb 10 deadline for contributed talks
by Philip Hackney 25 Jan '18

25 Jan '18

We are pleased to announce a second conference "Topology in Australia and South Korea" which will be held at the the Center for Geometry and Physics in Pohang, South Korea from April 23 - 27, 2018. The aim is to foster regional connections among topologists, and we welcome interested researchers from the Asia-Pacific area and beyond. Lecture Series: Kathryn Hess (EPFL) Dominic Verity (Macquarie University) Current Speakers: Youngjin Bae (RIMS) Benjamin Burton (University of Queensland) Jae Choon Cha (POSTECH) Chang-Yeon Chough (IBS Center for Geometry and Physics) Xing Gu (University of Melbourne) Joan E. Licata (Australian National University) Byungdo Park (KIAS) Jessica S. Purcell (Monash University) There are several slots open for contributed talks. If you’re interested in giving one, please register by February 10. Decisions on contributed talks will be made in mid-February. Further information is available at the conference website https://cgp.ibs.re.kr/conferences/Topology_in_Australia_and_South_Korea/ including a link for registration. The registration deadline is March 15. Some funding is available for participants without other sources of support, so please indicate this on your registration. As this is an AMSI supported conference, participants from AMSI member institutions may be able to receive some support from the AMSI travel fund. See http://research.amsi.org.au/travel-funding/ for details. Feel free to email workshop(a)ibs.re.kr with any questions, or email any of us directly. We hope to see you in April! Best, The organizers: Gabriel C. Drummond-Cole, Philip Hackney, Marcy Robertson. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS 2018 first call for papers
by Sam Staton 24 Jan '18

24 Jan '18

MFPS XXXIV 2018 : Mathematical Foundations of Programming Semantics First call for papers The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018. MFPS 2018 will be co-located with the 15th International Conference on Quantum Physics and Logic (QPL) 2018, which takes place from June 3–7. 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: 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. Conference home page: https://www.mathstat.dal.ca/mfps2018/ ## SUBMISSION ### Important dates: * April 1: abstract submission * April 6: paper submission * May 11: notification of authors * May 25: final papers ready * June 6–9: conference ### Submitting Submissions should be prepared using the ENTCS Macros (http://www.entcs.org/) in the form of a PDF file not exceeding 15 pages. Submissions is via EasyChair (https://easychair.org/conferences/?conf=mfps34) ### Proceedings A preliminary version will be distributed at the meeting. Final proceedings will be published in ENTCS after the meeting. ## PROGRAM COMMITTEE: * Marc Bagnol, ENS Lyon, France * Andrej Bauer, University of Ljubljana, Slovenia * Dariusz Biernacki, University of Wroclaw, Poland * Aleš Bizjak, Aarhus University, Denmark * Valentin Blot, Université Paris-Sud, France * Steve Brookes, Carnegie Mellon University, USA * Pierre Clairambault, CNRS and ENS Lyon, France * Ilias Garnier, Sivienn Inc. and ENS Paris * Sergey Goncharov, FAU Erlangen-Nürnberg, Germany * Tobias Heindel, Universität Leipzig, Germany * Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France * Patricia Johann, Appalachian State University, USA * Achim Jung, University of Birmingham, UK * Ohad Kammar, University of Oxford, UK * Shin-Ya Katsumata, National Institute of Informatics, Japan * Catherine Meadows, NRL, USA * Michael Mislove, Tulane University, USA * Joel Ouaknine, MPI-SWS, Germany * Daniela Petrisan, Université Paris Diderot - Paris 7, France * Azalea Raad, MPI-SWS, Germany * Sam Staton, University of Oxford, UK (chair) * Tarmo Uustalu, Reykjavik University, Iceland * Benoît Valiron, LRI - CentraleSupélec, Univ. Paris Saclay, France * Valeria Vignudelli, CNRS/ENS Lyon, France * Noam Zeilberger, University of Birmingham, UK ## LOCAL ORGANISERS: * Julien Ross * Peter Selinger [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FreeTikZ
by Chris Heunen 24 Jan '18

24 Jan '18

Dear all, I'm pleased to announce FreeTikZ, a web-based tool to convert handdrawn string diagrams into LaTeX/TikZ code. http://homepages.inf.ed.ac.uk/cheunen/freetikz A brief explanation of how it works can be found at the n-Category Cafe: https://golem.ph.utexas.edu/category/2018/01/freetikz.html The intended workflow is that one draws a diagram using a tablet/touchscreen/stylus/mouse, and then tweaks the latex code by hand before compiling it. Any comments or improvements are very welcome (especially ideas about how to simplify the wires without getting wonky angles). Kind regards, Chris Heunen [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CVQT 2018: Financial support available, call for participation
by majordomo＠mlist.mta.ca 23 Jan '18

23 Jan '18

COMBINING VIEWPOINTS IN QUANTUM THEORY CALL FOR PARTICIPATION 19-22 March 2018 Edinburgh, United Kingdom http://homepages.inf.ed.ac.uk/cheunen/cvqt/ FINANCIAL SUPPORT Financial support to cover accommodation is available for PhD students and early career researchers. Preference will be given to those who match the topic of the workshop, minorities, and those with caring duties. Email chris.heunen(a)ed.ac.uk to apply. PROGRAMME * Ramon Alonso-Sanz (Madrid): Collective quantum games * Stijn de Baerdemacker (Ghent): ZXZ decompositions of quantum and classical reversible circuits * Niel de Beaudrap (Oxford): Quantum computation in the hall of mirrors * Alejandro Diaz-Caro (Quilmes): Two recent approaches to quantum control * Pau Enrique Moliner (Edinburgh): Tensor topology * Tobias Fritz (Leipzig): Measurement functors * John Harding (New Mexico): Boolean subalgebras of orthoalgebras * Martin Idel (TNG): Sinkhorn's theorem in quantum theory * Martti Karvonen (Edinburgh): Dagger limits * Viv Kendon (Durham): TBA * Mark Lawson (Edinburgh): Non-commutative Stone dualities and etale groupoids * Bert Lindenhovius (Tulane): Posets of commutative C*-subalgebras * Frank Oertel (London): A statistical interpretation of Grothendieck's inequality and its relation to the size of of nonlocality in quantum mechanics * Pedro Resende (Lisbon): Quanta and qualia * Manny Reyes (Bowdoin): Towards a functorial quantum spectrum for noncommutative algebras * David Reutter (Oxford): Quantum combinatorics and the Morita theory of quantum graph isomorphisms * Phil Scott (Ottawa): AF C*-algebras, many-valued logics, and effect algebras * Rui Soares Barbosa (Oxford): Contextuality as a resource * Ekaterina Turilova (Kazan): Choquet order and abelian subalgebras * Benoit Valiron (Paris): From symmetric pattern-matching to quantum control * Jamie Vicary (Birmingham&Oxford): Higher structures and formal proof * Bas Westerbaan (Nijmegen): Effectus theory - an introduction, a reconstruction, and possibilistic equivalences Additionally there will be a wine reception on the Monday, a social excursion on Wednesday afternoon, and a dinner on Wednesday evening. See the website for the full programme and abstract. REGISTRATION There is no registration fee. Tea, coffee, and lunch will be provided. If you would like to attend, please email chris.heunen(a)ed.ac.uk. <http://homepages.inf.ed.ac.uk/cheunen/cvqt/> TOPIC Quantum informatics lies at the interface of mathematics, computer science, and physics. Understanding quantum computing in enough detail to allow its large-scale deployment will clearly transform our society, but there are several obstructions. The most fundamental ones run straight to the heart of the counterintuitiveness of quantum theory: one can only extract data from a quantum system from one classical viewpoint at a time. Learning more requires combining measurements from multiple classical viewpoints. Addressing this issue will advance our theoretical understanding of nature and at the same time has practical benefits to quantum technology. This workshop brings together researchers working on this topic and thematically related areas. It aims to inspire new collaborations and provide an opportunity for young researchers to expand their horizons. This is an interdisciplinary workshop, and not a specialist conference. The goal is not to preach to the converted but to reach out to others. The programme leaves plenty of opportunities for discussion. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0