[TYPES/announce] Call for applications: Applied Category Theory Adjoint School 2023

Elena Di Lavore elenatalita at gmail.com
Fri Dec 16 05:29:54 EST 2022



February - July, 2023. Learning Seminar

July 24 - 28, 2023. In-person Research Week at University of Maryland,
College Park, USA

Application Due: January 9, 2023



Are you interested in applying category-theoretic methods to problems
outside of pure mathematics? Apply to The Adjoint School!

Participants are divided into four-person project teams. Each project is
guided by a mentor and a TA. The Adjoint School has two main components: an
online learning seminar that meets regularly between February and June, and
an in-person research week held in the summer adjacent to the Applied
Category Theory Conference.

During the learning seminar, we will read, discuss, and respond to papers
chosen by the project mentors. Every other week a pair of participants will
present a paper which will be followed by a group discussion. After the
learning seminar each pair of participants will also write a blog post,
based on the paper they presented, for The n-Category Cafe
<https://urldefense.com/v3/__https://golem.ph.utexas.edu/category/__;!!IBzWLUs!UKuFi8OY_asf827W3lydqvI0DkOuPrXjFHyzYG4maKS6l25fpmNmu-liG7c9x3meZ2g5KFec6PrRMTnndN8rrfY1Q2ptE9PgoLc$ >.

Projects and Mentors:

Message Passing Logic for Categorical Quantum Mechanics - Mentor: Priyaa
SrinivasanBehavioural Metrics, Quantitative Logics and Coalgebras - Mentor:
Barbara KönigConcurrency in monoidal categories - Mentor: Chris HeunenGame
Comonads and Finite Model Theory - Mentor: Dan Marsden

Check more information about research projects in


Ana Luiza Tenorio

Angeline Aguinaldo

Elena Di Lavore

Nathan Haydon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221216/b8affc36/attachment-0001.htm>

More information about the Types-announce mailing list