From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10165 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Amar Hadzihasanovic Newsgroups: gmane.science.mathematics.categories Subject: POSTPONED: SYCO 7 Date: Thu, 12 Mar 2020 18:27:06 +0100 Message-ID: Reply-To: Amar Hadzihasanovic Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="38742"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Sat Mar 14 19:13:43 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jDBI7-0009wm-C8 for gsmc-categories@m.gmane-mx.org; Sat, 14 Mar 2020 19:13:43 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:47776) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jDBFC-00076M-7j; Sat, 14 Mar 2020 15:10:42 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jDBGg-0001r8-7d for categories-list@rr.mta.ca; Sat, 14 Mar 2020 15:12:14 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10165 Archived-At: In response to travel restrictions and uncertainty related to the 2020 coronavirus outbreak in Europe, we have decided to postpone the meeting until further notice. All the best, Amar on behalf of the steering committee On 24/02/2020 6:55 pm, Amar Hadzihasanovic wrote: > ======== > CALL FOR PARTICIPATION > SEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 7) > > Tallinn University of Technology, Estonia > 30-31 March 2020 > > http://events.cs.bham.ac.uk/syco/7/ > ======== > > 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. > Previous SYCO events have been held at University of Birmingham, > University of Strathclyde, University of Oxford, Chapman University, > and University of Leicester. > > The next SYCO, to be held at Tallinn University of Technology, will > host 2 invited talks and 14 contributed talks. Topics range from > logical methods in computer science, to higher category theory, > through applications of categories in probability and linguistics. > > > INVITED TALKS > ======== > > * Bartek Klin (University of Warsaw) > Monadic monadic second order logic > > * Christine Tasson (IRIF, Universite de Paris) > The linear-non-linear substitution 2-monad > > > CONTRIBUTED TALKS > ======== > > * Sivert Aasnaess - Contextuality for circuits > * Vikraman Choudhury - Tracking intensional resources using weighted > sets and comonads > * Elena di Lavore - A proposal for subgame perfection in compositional > game theory > * Tobias Fritz, Eigil Fjeldgren Rischel - The zero-one laws of > Kolmogorov and Hewitt-Savage in categorical probability > * Lukas Heidemann - Frames in pretriangulated dg-categories > * Nick Hu - External traced monoidal categories > * Maxime Lucas - Rewriting strategies as contracting homotopies > * Violeta Martins de Freitas - Life in arrows: an introduction to > applied category theory > * Dylan McDermott, Alan Mycroft - On the relation between > call-by-value and call-by-name > * Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds - A Frobenius > algebraic analysis for parasitic gaps > * Olivier Peltre - Homological algebra for message-passing algorithms > * Alex Rice - Coinductive invertibility in higher categories > * Julian Salamanca Tellez - Distributive laws over the powerset > * Niels van der Weide - Constructing finitary 1-truncated higher > inductive types as groupoid quotients > > > REGISTRATION > ======== > > Registration is open until Monday 23 March. > > Details are available on the conference website: > http://events.cs.bham.ac.uk/syco/7/ > > > PROGRAMME COMMITTEE > ======== > > Miriam Backens, University of Birmingham > Christoph Dorn, University of Oxford > Ross Duncan, University of Strathclyde > Brendan Fong, MIT > Amar Hadzihasanovic, IRIF, Universite de Paris (PC chair) > Chris Heunen, University of Edinburgh > Alex Kavvos, Aarhus University > Marie Kerjean, INRIA Bretagne Atlantique, Equipe Gallinette > Kohei Kishida, University of Illinois at Urbana-Champaign > Martha Lewis, ILLC, University of Amsterdam > Samuel Mimram, Ecole Polytechnique > Koko Muroya, RIMS, Kyoto University > Jovana Obradovic, Institute of Mathematics CAS > Viktoriya Ozornova, Ruhr-Universitaet Bochum > Simona Paoli, University of Leicester > Mehrnoosh Sadrzadeh, University College London > Pawel Sobocinski, Tallinn University of Technology > Christina Vasilakopoulou, University of Patras > Jamie Vicary, University of Birmingham and University of Oxford > Maaike Zwart, University of Oxford [For admin and other information see: http://www.mta.ca/~cat-dist/ ]