[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
CALL FOR APPLICATIONS
THE ADJOINT SCHOOL 2023
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
https://urldefense.com/v3/__https://adjointschool.com__;!!IBzWLUs!UKuFi8OY_asf827W3lydqvI0DkOuPrXjFHyzYG4maKS6l25fpmNmu-liG7c9x3meZ2g5KFec6PrRMTnndN8rrfY1Q2pt1P96zKU$
--------------------------------------------------------------------------------------------------------------------------
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
https://urldefense.com/v3/__https://adjointschool.com/2023.html__;!!IBzWLUs!UKuFi8OY_asf827W3lydqvI0DkOuPrXjFHyzYG4maKS6l25fpmNmu-liG7c9x3meZ2g5KFec6PrRMTnndN8rrfY1Q2pt48R6VgE$
Organizers
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