You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Nima Motamed (Apr 12 2023 at 17:42):Dear all,
Please see below the call for applications for an upcoming workshop I'm organizing with Nina Otter as an initiative of the DeMoS institute: Algebra, Categories and Logic in Computing.
This is a bilingual Farsi-English workshop, and is open to any researcher working in the field. In particular, participants do not need to be fluent in both languages to attend.
Participants get funding covering their travel costs.
Please don't hesitate to get in touch with questions (though I very infrequently open Zulip, so drop me an email if I'm being slow).
Algebra, Categories and Logic in Computing
Algebra, category theory and logic have traditionally played an important role in our understanding of computing. Recently, there has been a surge in new ways of understanding how these disciplines can help in tackling challenges in the theory and applications of computing. Examples are: combining machine learning and proof-theoretic approaches to natural language; reasoning about multi-agent systems; developing programming languages and compositional models; and specifying and analyzing systems and protocols.
The aim of this workshop is to bring together both leading and upcoming researchers who use such approaches, with the goal of promoting collaborations across the different disciplines.
This workshop is the first event in a program aimed at offering Farsi-speaking mathematicians — as well as any mathematician interested in building cross-cultural connections — opportunities to build a network and receive mentoring from leading Farsi-speaking mathematicians. The workshop will be held in a bilingual Farsi-English setting, and participants do not need to be fluent in both languages to attend.
Invited speakers / mentors: Farhad Arbab (Centrum Wiskunde & Informatica, Amsterdam), Mehdi Dastani (Utrecht University) and Mehrnoosh Sadrzadeh (University College London).
Funding: expenses will be paid for everyone: bed and board is included, as well as travel expenses for an average of 300 euros per person.
Deadline for applications: 25 April 2023
Location: St Erme, France
Dates: 20-21 June 2023, with arrival on the 19th and departure on the 22nd.
For more information see https://www.demos-institute.org/aclic