Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Call for applications: Applied Category Theory Adjoint School 2023
@ 2022-12-16 10:29 Elena Di Lavore
  0 siblings, 0 replies; only message in thread
From: Elena Di Lavore @ 2022-12-16 10:29 UTC (permalink / raw)
  To: homotopytypetheory

[-- Attachment #1: Type: text/plain, Size: 2155 bytes --]



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

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

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.

[-- Attachment #2: Type: text/html, Size: 15072 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-12-16 10:41 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-16 10:29 [HoTT] Call for applications: Applied Category Theory Adjoint School 2023 Elena Di Lavore

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).