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://adjointschool.com -------------------------------------------------------------------------------------------------------------------------- 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 . 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://adjointschool.com/2023.html Organizers Ana Luiza Tenorio Angeline Aguinaldo Elena Di Lavore Nathan Haydon -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAEiDNXWD7m7eCSDgsrsn4U8c6KwLToxAGTKpV%3D_iPdB5PAoubg%40mail.gmail.com.