Categories

Download

categories-list@categories.org.au

March 2020

27 participants
32 discussions

STRING 2020
by Dan Ghica 02 Mar '20

02 Mar '20

CALL FOR PAPERS 4th Annual Workshop on String Diagrams in Computation, Logic, and Physics (STRINGS 2020) https://compose.ioc.ee/strings2020/ Satellite workshop of STAF 2020 Bergen, Norway, 23 June 2020 ============================================= String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, programming languages, quantum and classical computation, natural language, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy. This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. STRINGS 2020 is a satellite event of STAF 2020, colocated with a number of related events, including Diagrammatic and Algebraic Methods for Business (DAMB) and the International Conference on Graph Transformation (ICGT). This is the fourth edition of the workshop. The first was held in Oxford in 2017, the second as a Shonan workshop in 2018, the third in Birmingham in 2019. Invited Speaker ---------------- Fabio Zanasi, UCL Important Dates --------------- Submission deadline: 1 May 2020 Speaker notification: 22 May 2020 Workshop: 23 June 2020 Submission information ---------------------- Prospective speakers are invited to submit a title and short abstract via the Easychair page at https://easychair.org/conferences/?conf=strings2020 We warmly welcome all types of contributions, ranging from rough works-in-progress to talks about mature work published elsewhere. Programme Committee ------------------- Filippo Bonchi (Pisa, IT) Brendan Fong (MIT, US) Dan Ghica (Birmingham, UK) Dominic Horsman (Grenoble, FR) Jean Krivine (IRIF Paris, FR) Dan Marsden (Oxford, UK) Mehrnoosh Sadrzadeh (UCL, UK) Pawel Sobocinski (Taltech, EE) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Reminder CfP: Palmgren memorial conference, 7–8 May, Stockholm
by Peter LeFanu Lumsdaine 01 Mar '20

01 Mar '20

Categories list <categories(a)mta.ca> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Sender: categories(a)mta.ca Precedence: bulk Reply-To: Peter LeFanu Lumsdaine <p.l.lumsdaine(a)gmail.com> Dear all, This is a reminder for the memorial conference for Erik Palmgren, on Thu/Fri 7=E2=80=938 May (plus excursion Sat 9), at Stockholm University: http://logic.math.su.se/palmgren-memorial/ (Full original CfP forwarded below.) In particular, if you would like to speak, or apply for travel funding (for early-career participants), please let us know by *next Friday, March 6* at the latest (original deadline was last Friday). Best wishes, =E2=80=93Peter. ---------- Forwarded message --------- From: Peter LeFanu Lumsdaine <p.l.lumsdaine(a)gmail.com> Date: Thu, Jan 23, 2020 at 2:40 PM Subject: CfP: Memorial Conference for Erik Palmgren, 7=E2=80=938 May, Stock= holm Dear all, A memorial conference for Erik Palmgren will take place on Thu/Fri 7=E2=80= =938 May 2020 (plus excursion on Sat 9), at Stockholm University: http://logic.math.su.se/palmgren-memorial/ Topics may include all Erik=E2=80=99s academic interests: type theory and i= ts models, categorical logic and foundations, constructive mathematics and proof theory, nonstandard analysis, and the philosophy of constructive mathematics. Invited speakers (confirmed): =E2=80=A2 Douglas Bridges =E2=80=A2 Jacopo Emmenegger =E2=80=A2 Christian Esp=C3=ADndola =E2=80=A2 H=C3=A5kon Gylterud =E2=80=A2 Hajime Ishihara =E2=80=A2 Millie Maietti =E2=80=A2 Ieke Moerdijk =E2=80=A2 Peter Schuster There is some space for contributed talks. If you would like to speak, please send a title and abstract to <palmgren-memorial(a)math.su.se> by Friday February 28 [NB now extended to Fri March 6.]. Contributions are especially encouraged from those who knew and worked with Erik. Registration is free; please email <palmgren-memorial(a)math.su.se> by Friday 3 April if you plan to attend. Some travel funding is available for early-career participants. To apply, please let us know in your registration email by Friday February 28. [NB now extended to Fri March 6.] The conference is organized by Erik=E2=80=99s students and colleagues at St= ockholm University: =E2=80=A2 Guillaume Brunerie =E2=80=A2 Menno de Boer =E2=80=A2 Henrik Forssell =E2=80=A2 Peter LeFanu Lumsdaine =E2=80=A2 Johan Lindberg =E2=80=A2 Per Martin-L=C3=B6f =E2=80=A2 Anna Montaruli =E2=80=A2 Anders M=C3=B6rtberg Please feel free to redistribute this announcement. Best wishes, =E2=80=93Peter. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0