February 2016 - Categories - categories.org.au

SIC à Lille le 23 mars 2016 (deuxième annonce)
by Ivo DellAmbrogio 01 Mar '16

01 Mar '16

Bonjour à toutes et a tous, Le programme détaillé du Séminaire Itinérant de Catégories du mercredi 23 mars à Lille est déshormais disponible : 10h30 : Accueil avec café 10h50 - 11h40 : Serge Bouc (Amiens) 11h50 - 12h40 : Alain Bruguières (Montpellier) Repas à l'Ascotel 14h00 - 14h50 : Antoine Touzé (Lille) 15h00 - 15h50 : Albert Burroni (Paris) Pause café 16h10 - 17h00 : Alexandre Popoff (Paris), Moreno Andreatta (Paris) et Andrée Ehresmann (Amiens) Vous trouverez les titres et les résumés des exposés sur la page web du SIC, à l'adresse suivante : http://www-lmpa.univ-littoral.fr/~sic/wordpress/?page_id=741 Pour ceux qui souhaitent participer mais qui ne se sont pas encore inscrits, nous vous rappelons que l'incription est obligatoire pour pouvoir participer au repas de midi offert. Pour cela, il suffit d'envoier un email à un de nous trois, si possible avant le 13 mars. Cordialement, Ivo Dell'Ambrogio <ivo.dellambrogio(a)math.univ-lille1.fr> Isar Stubbe <isar.stubbe(a)lmpa.univ-littoral.fr> Alexis Virelizier <alexis.virelizier(a)math.univ-lille1.fr> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Participation: MSFP 2016
by Robert Atkey 26 Feb '16

26 Feb '16

Sixth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 8 April 2016, in Eindhoven, The Netherlands A satellite workshop of ETAPS 2016 CALL FOR PARTICIPATION http://msfp2016.bentnib.org/ **The early registration deadline for ETAPS is 1st March** The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. This year's MSFP will be held on Friday 8th April 2016, Co-located with ETAPS 2016 in Eindhoven, The Netherlands. The programme will contain the following accepted papers: - Maciej Pir??g. Eilenberg-Moore Monoids and Backtracking Monad Transformers. - Bartek Klin and Micha?? Szynwelski. SMT solving for functional programming over infinite structures. - Niccol?? Veltri, Tarmo Uustalu and Denis Firsov. Variations on Noetherianness. - Danel Ahman and Tarmo Uustalu. Directed containers as categories. - Satoshi Matsuoka. Strong Typed Bohm Theorem and Functional Completeness on the Linear Lambda Calculus. Invited speakers TBC. Check the website for details. About the Workshop ================== The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. Program Committee: ================== Zena Ariola, University of Oregon Robert Atkey, University of Strathclyde (co-chair) Ornela Dardha, University of Glasgow Helle Hvid Hansen, Delft University of Technology Chantal Keller, IUT d'Orsay Neelakantan Krishnaswami, University of Birmingham (co-chair) Nicolas Wu, University of Bristol [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for participation: Games for Logic and Programming Languages XI
by Paul Blain Levy 25 Feb '16

25 Feb '16

Dear colleagues, I'm happy to announce a great programme for GaLoP 2016, which takes place on 2-3 April in Eindhoven, Netherlands, as part of ETAPS 2016. http://www.gamesemantics.org **Early registration deadline for ETAPS** this Tuesday (1 March) Sorry for the late announcement! We have John Longley as invited speaker, and a game semantics tutorial (tbc) by Dan Ghica. Accepted papers: Weak memory models using event structures Simon Castellan Partial Evaluation and Normalisation by Traversals Neil Jones and Daniil Berezun A Dialectica-Like Approach to Tree Automata Colin Riba Concrete Data Structures as Dialogue Games Cl??ment Jacq and Paul-Andr?? Melli??s Relating causal and interleaving concurrent game semantics Pierre Clairambault and Simon Castellan Extraction from classical proofs using game models Valentin Blot Constructing playgrounds: fibred double categories Clovis Eberhart and Tom Hirschowitz Game Semantics for Dependent Types Matthijs V??k??r Trace semantics for polymorphic references Guilhem Jaber and Nikos Tzevelekos Game Semantics and the Complexity of Interaction Federico Aschieri Interaction Graphs and Quantitative Semantics Thomas Seiler Data and Functions Types in Ludics Alice Pavaux Games with ordinal sequences of moves W. John Gowers and James D. Laird Probabilistic Games for Differential Privacy Luca Fossati and Marco Gaboardi On Compilation and Call-by-Value Games Ulrich Sch??pp Strategies in HO/N games as profunctors Takeshi Tsukada and Kazuyuki Asada Decidability of RML via game semantics Andrzej Murawski **Early registration deadline** Tuesday 1 March (in case you've forgotten) I look forward to seeing you at GaLoP 2016. Best regards, Paul [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Midlands Graduate School in Foundations of Computing Science
by Paul B Levy 24 Feb '16

24 Feb '16

The 2016 Midlands Graduate School will take place in Birmingham in April. Please let your graduate students know, and anyone else who might be interested in applying. EARLY REGISTRATION (reduced price) until Saturday 5 March Paul Blain Levy ===================================================== Call for Participation MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE MGS 2016 11-15 April 2016, University of Birmingham http://www.cs.bham.ac.uk/~pbl/mgs2016/ OVERVIEW The Midlands Graduate School in the Foundations of Computing Science (MGS) was established in 1999 as a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham, and later Sheffield. It has two main goals: to equip PhD students with a sound basis for their research by deepening their knowledge on the mathematical and conceptual foundations of computing; and to provide a platform for making contacts with established researchers in the field and with their peers who are at a similar stage in their research careers. This year's MGS is hosted by the School of Computer Science at the University of Birmingham. It will start on 11 April and finish on 15 April. Information about previous events can be found at http://www.cs.nott.ac.uk/MGS PROGRAMME MGS 2016 consists of ten courses, each with four or five hours of lectures and exercise sessions. Three of the courses are introductory or core; they should be taken by all participants. The other courses are more advanced or specialised. Participants may select them depending on their interests. This year the invited lectures will be given by Prof Steve Brookes, Carnegie Mellon University. In addition there will be a session in which participants can briefly present and discuss their own research. Core Courses: * Category Theory, Venanzio Capretta, Nottingham * Naive Type Theory, Thorsten Altenkirch, Nottingham * Denotational Semantics, Achim Jung, Birmingham Advanced Courses: * A Denotational Semantics for Weak Memory Concurrency, Steve Brookes, Carnegie Mellon University * Game Semantics, Dan Ghica, Birmingham * Introduction to Coalgebra, Alexander Kurz, Leicester * Security Protocol Verification, Eike Ritter, Birmingham * Linear Logic, Neelakantan Krishnaswami, Birmingham * Distributed Systems and Choreographies, Emilio Tuosto, Leicester * LL and LR Parsing with Abstract Machines, Hayo Thielecke, Birmingham REGISTRATION The early registration deadline for MGS 2016 is Saturday 5 March. The registration fee is ??190 (student/academic rate) or ??290 (anyone else). Instructions for registration can be found at the MGS 2016 website http://www.cs.bham.ac.uk/~pbl/mgs2016/ The registration fee includes coffee breaks and the conference dinner. Lunches can be bought at outlets on campus. ACCOMMODATION We have reserved rooms at the Ibis Budget Hotel, at a price of ??225.50 for 5 nights. There are single rooms (one bed) or triple rooms (two beds) at the same price. Breakfast is an extra ??27.50 per person. TRAVEL MGS 2016 takes place at the School of Computer Science, close to University (Birmingham) railway station. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

local presentability in formal category theory
by Michael Shulman 23 Feb '16

23 Feb '16

Has anyone developed a theory of "locally presentable objects" inside a context for formal category theory, such as a Yoneda structure or a proarrow equipment? Hopefully such a theory would specialize both to the classical notion of local presentability, to its enriched version (as developed by Kelly), and to the (infinity,1)-categorical version of Lurie (e.g. using the equipment of quasicategories constructed by Riehl and Verity). Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)
by Martin Steffen 23 Feb '16

23 Feb '16

------------------------------------------------------------------------ ----------------------------------- FM 2016 ---------------------------- ------------------------------------------------------------------------ FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy -----------------==: CALL FOR WORKSHOP PROPOSALS :==------------------ ------------------------------------------------------------------------ Deadline for workshop proposals: 18 March 2016 Notification of decision on workshops: 4 April 2016 ------------------------------------------------------------------------ 1 ABOUT FM 2016 =============== The 21st International Symposium on Formal Methods (FM 2016) will take place at St Raphael Resort in Limassol, Cyprus, 7-11 November 2016. FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. 2 WORKSHOP PROPOSALS ==================== For this major event, we are now inviting proposals for workshops that will complement the main FM Symposium. The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to different varieties of formal models. FM workshops will be held immediately before the main symposium, on 7-8 November, 2016. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organize a workshop are invited to submit proposals in PDF format by e-mail to the Workshops Chairs Nearchos Paspallis (npaspallis(a)uclan.ac.uk) and Martin Steffen (msteffen(a)ifi.uio.no) A proposal should not exceed three pages and should include a draft call-for-papers containing at least the following information: 1. Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. 2. The names and contact information (web page, email address) of the Programme Committee (PC) chairs, i.e., the workshop organisers. Moreover, a tentative list of workshop PC members should be given. We suggest one or two PC chairs and at least 10 PC members coming from different countries. Moreover, the following additional information is requested: 1. If the workshop has taken place before: How often has the workshop taken place so far? Which conference(s) has the workshop been colocated with so far? Number of participants in the last instalment. 2. A discussion of the proposed format and agenda. 3. The proposed duration (half, one or two days). 4. Procedures for selecting participants and papers. 5. Potential invited speakers. 6. Expected number of participants. Each workshop programme chair will be responsible for the following: 1. Producing a web page and a "Call for Papers/Participation" for their workshop. 2. Providing a brief description of the workshop for the conference web page and programme, and providing a workshop web page the conference can refer to for details. 3. Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication. 4. All advertising of the workshop. 5. Appointing session chairs, etc. The local organisation of the conference will take care of the production of informal or electronic workshop proceedings, assuming that the proceedings are camera ready. 4 Contact ========= Please send your proposals and/or any inquiries by electronic mail to the Workshops Chairs Nearchos Paspallis (npaspallis(a)uclan.ac.uk) and Martin Steffen (msteffen(a)ifi.uio.no) 5 IMPORTANT DATES ================= 1. Deadline for workshop proposals: 18 March 2016 2. Notification of decision on workshops: 4 April 2016 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

on_MV-algebras
by Eduardo Julio Dubuc 20 Feb '16

20 Feb '16

Te following is a little paper but it may be of interest to some of you: http://arxiv.org/abs/1602.05204 greetings e.d. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CMCS 2016: Call for Short Contributions and Participation
by fabio.zanasi＠ens-lyon.fr 15 Feb '16

15 Feb '16

Call for Short Contributions and Participation 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, the Netherlands http://www.coalg.org/cmcs16 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016. Important dates --------------- Submission short contributions 22 February 2016 Notification short contributions 6 March 2016 Submission guidelines --------------------- Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages n Springer LNCS style. Short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2016. Accepted short contributions will be bundled in a technical report and presented at the workshop. Keynote Speaker --------------- Jiri Adamek, Braunschweig University of Technology, Germany Invited Speakers --------------- Andreas Abel, University of Gothenburg, Sweden Filippo Bonchi, CNRS/ENS Lyon, France Invited Tutorial Speakers ------------------------- There will be a special session on weighted automata, with invited tutorials by Borja Balle, Lancaster University, United Kingdom Alexandra Silva, University College London, United Kingdom Accepted Papers ------------------------- Ekaterina Komendantskaya and John Power. Category theoretic semantics for theorem proving in logic programming: embracing the laxness David Sprunger. A complete logic for behavioural equivalence in coalgebras of finitary set functors Bart Jacobs. Affine Monads and Side-Effect-Freeness Ievgen Ivanov. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems Fredrik Dahlqvist. Coalgebraic completeness-via-canonicity: principles and applications. Mehdi Zarrad and H. Peter Gumm. Transitivity and Difunctionality of Bisimulations Joost Winter. Product Rules and Distributive Laws Luigi Santocanale. Relational lattices via duality Julian Salamanca, Marcello Bonsangue and Jurriaan Rot. Duality of Equations and Coequations via Contravariant Adjunctions Octavian Babus and Alexander Kurz. On the logic of generalised metric spaces Programme committee ------------------- Paolo Baldan, University of Padova, Italy Corina Cirstea, University of Southampton, United Kingdom Ugo Dal Lago, University of Bologna, Italy Ichiro Hasuo (chair), University of Tokyo, Japan Tom Hirschowitz, CNRS and University of Savoie, France Bart Jacobs, Radboud University Nijmegen, The Netherlands Shin-ya Katsumata, Kyoto University, Japan Bartek Klin, University of Warsaw, Poland Barbara Koenig, University of Duisburg-Essen, Germany Stefan Milius, FAU Erlangen-Nuernberg, Germany Matteo Mio, CNRS and ENS Lyon, France Rasmus Mogelberg, IT University of Copenhagen, Denmark Larry Moss, Indiana University, United States Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Dirk Pattinson, Australian National University, Australia Daniela Petrisan, Paris Diderot University, France Jean-Eric Pin, CNRS and Paris Diderot University, France John Power, University of Bath, United Kingdom Jurriaan Rot, University of Leiden, the Netherlands Jan Rutten, CWI/Radboud University Nijmegen, The Netherlands Alexandra Silva, University College London, United Kingdom Joost Winter, University of Warsaw, Poland James Worrell, University of Oxford, United Kingdom Publicity chair --------------- Fabio Zanasi, Radbound University Nijmegen, The Netherlands PC chair -------- Ichiro Hasuo, University of Tokyo, Japan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Inaugural Program at MATRIX - Higher structures in geometry and physics
by Philip Hackney 12 Feb '16

12 Feb '16

MATRIX [http://www.matrixatmelbourne.org.au] is a new research institute outside of Melbourne, VIC, Australia. The first program will be held from June 5 — 18, 2016, and will consist of a workshop and a conference. At the workshop there will be six mini-courses, each consisting of 2 or 3 talks. Workshop June 6 — 10. Higher Structures. Clark Barwick: Parametrised Higher Category Theory and Parametrised Higher Algebra Philip Hackney & Marcy Robertson: infinity properads Ralph Kaufmann: Feynman categories Martin Markl: Operad-like structures, pasting schemes and graph complexes Emily Riehl: weak complicial sets Victor Turchin: Embedding calculus and the little discs operads Conference June 15 — 17. Higher Structures: Advances. Registration is now open at the MATRIX webpage [http://www.matrixatmelbourne.org.au/events/higher-structures-in-geometry-an…] (be sure to add all events that you will attend to your ‘cart’), but space is limited. Funding is only available to invitees. MATRIX can help arrange accommodation for other participants. Best regards, Philip Hackney and Marcy Robertson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS XXXII Final Call for Papers
by MFPS 12 Feb '16

12 Feb '16

Dear Colleagues, This is the final call for papers for MFPS XXXII. The deadline for submitting papers is March 3, 2106. Details contained below. Thanks, Mike Mislove ======================================================================= The 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII) will take place on the campus of the Carnegie Mellon University, Pittsburgh, USA, between 23 and 26 May 2016. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. Conference home page: mfps-2016.au.dk<http://mfps-2016.au.dk> ## INVITED SPEAKERS * Peter Selinger, Dalhousie * Brigitte Pientka, McGill * Steve Brookes, CMU * Nathalie Bertrand, Inria ## TUTORIAL SPEAKERS AND SPECIAL SESSIONS * Peter O'Hearn - Concurrency, special session in honour of Steve Brookes' 60th Birthday * Andrew Appel, Princeton - Verification * Stephen Chong, Harvard - Security * Dan Roy, Toronto - Probabilistic Programming ## SUBMISSION ### Important dates: * Submission Deadline: March 3 * Notification: April 8 * Proceedings: April 18 * Conference: May 23-26 ### 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 are open on [EasyChair](https://easychair.org/conferences/?conf=mfps2016). ### Proceedings A preliminary version will be distributed at the meeting. Final proceedings will appear in ENTCS after the meeting. ## PROGRAM COMMITTEE: Achim Jung, Birmingham, UK Andre Scedrov, UPenn, USA Andrej Bauer, Ljubljana, Slovenia Andrzej Murawski, Warwick, UK, Bart Jacobs, Radboud U, Netherlands Bob Coecke, Oxford, UK Cameron Freer, Cambridge MA, USA Catherine Meadows, NRL , USA Catuscia Palamidessi, INRIA, France Christine Tasson, PPS Paris, France Claudio Russo, MSR Cambridge, UK Dusko Pavlovic, Hawaii, US Helle Hvid Hansen, TU Delft, Netherlands Hugo Herbelin, Paris, France Jean Krivine, Paris, France, Joel Ouaknine, Oxford, UK Lars Birkedal (Chair), Aarhus, Denmark Michael Mislove, Tulane, USA Neel Krishnaswami, Birmingham, UK Paul Blain Levy, Birmingham, UK, Peter Dybjer, Chalmers, Sweden Prakash Panangaden, Montreal, Canada Stefan Milius, Erlangen, Germany Steve Brookes, CMU, USA Steve Zdancewic, UPenn, USA ## LOCAL ORGANISERS: * Steve Brookes [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0