Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Elena Di Lavore <elenatalita@gmail.com>
To: "homotopytypetheory@googlegroups.com"
	<homotopytypetheory@googlegroups.com>
Subject: [HoTT] Call for applications: Applied Category Theory Adjoint School 2023
Date: Fri, 16 Dec 2022 12:29:33 +0200	[thread overview]
Message-ID: <CAEiDNXWD7m7eCSDgsrsn4U8c6KwLToxAGTKpV=_iPdB5PAoubg@mail.gmail.com> (raw)

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

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
<https://golem.ph.utexas.edu/category/>.

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.

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

                 reply	other threads:[~2022-12-16 10:41 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAEiDNXWD7m7eCSDgsrsn4U8c6KwLToxAGTKpV=_iPdB5PAoubg@mail.gmail.com' \
    --to=elenatalita@gmail.com \
    --cc=homotopytypetheory@googlegroups.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).