From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_KAM_HTML_FONT_INVALID autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 19967 invoked from network); 16 Dec 2022 10:41:14 -0000 Received: from mail-oi1-x239.google.com (2607:f8b0:4864:20::239) by inbox.vuxu.org with ESMTPUTF8; 16 Dec 2022 10:41:14 -0000 Received: by mail-oi1-x239.google.com with SMTP id bi37-20020a05680818a500b0035ea4ea8db5sf605857oib.11 for ; Fri, 16 Dec 2022 02:41:14 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1671187272; cv=pass; d=google.com; s=arc-20160816; b=xC1bZli9VQh0M25mTWmOs17kGuBies0Hckf/WSIRRFWHd7TxLV0itT6YRn/OrRLxxj t3pQNmdMT/FwsyPfvaHPqB+Sx3zPC9TYI2N6XNfmfsDZYMLn1VBL5dQaELqJNfQKb+Y5 is4G8D/SU3cpt837V+b9O0Ppfb0Yd/6rMVvkVS8V5K9mYLDIctleqsqJc59sKb2gwAv5 g23ElL0wzHgsSodNXX5uJ5VLjQEUmwUFYCbeCrXaM1P9reGVQvyfAWnNgnLRaxb9G1sW c3u23v91yX55dhQab55V4ufp5ThVDCz97Aah/IS7F0LJXM6CU4EtlL/iqZNWdRDJprIW aIXw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=yBXnr725uQNe8XLBAYeBluPLRHBXLOfGqYfu9o4SQqQ=; b=af1F5btjnCu7yLyfI8wQ+n9ggKOnNzyRfhYbpJc/Z9m/Qjk6LQkx+fxTrAG+R5d5wL Kuo5Y/nPe6728yDQ0kv+lJst/cpqxjNWrqlNLbfaihtzArvxpoNAAtwukLkPT+3TbYkQ XcCwltxlDemPET0xoOrxFVqStXWc3FEBR493Wke0Un5vyAlLqMxbh8jKeduGa+WnFRLK jvNJneARt3ZN7y9PbNQbOc1J4oQT+icfFX+DyWYD9C69KQ7hLS/aalwwE0XiqNiSPNJD ioKKOh9pD/BDVHjcyz1+WyuiniSTBzDGz7r2pNq9zVLTbwpFVjkcGI3KnIC7oRuCoMWp wuqg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="MQ/eBHLU"; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::632 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=yBXnr725uQNe8XLBAYeBluPLRHBXLOfGqYfu9o4SQqQ=; b=Ctllkiwq6w24Iz88KzS9KXqJIiPLupGX3m3I14EzkhT7S+8gZDVHf+j7KVdvY+wYbC boWPD1/ZLGlDPyPDLzY6GNn7P+QIgvHwryzwTf9MutEDkJtoJtEFXR81OF5AZxil6g1E exo6Vh0CQBN5FpW8RVrh4qWmaOp73w9OPvHyvRUQfXaZ7YkoO7/oUx6XLqtgg6nwz+o8 vDRBlEc6bry4NROzmJKvQGICQvWGsyJrlP0yy3Is2jr/wWd2TCwJ2EkTGL0E/QnKitMl sl5Bp1B90V8GS45Q0QA34i9Jt0pHM9mjlj4CssPA0j792Pou+2QbwMd3i8LiOvFLVmvb lz0Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=yBXnr725uQNe8XLBAYeBluPLRHBXLOfGqYfu9o4SQqQ=; b=YkFUwu761KaX945vbrxzeATU/5+U1TTYKJPVRJy3Z3JFT9HlflFb6up+q/B8Okg+y9 x7/ep7Iix/o2VfiuDU4xo1f52QjcEr04Kd6w3k/me/MSYct59LupJI6cZi0FHtERjAwc C1v2IUPipZtOtoGq+a0XL1n0eWgFKD9Y/yIM1pf+gtcMUtLYv5Hx8n3RB3ew1O9HtWY1 YZDTKjApDbIcbheoJNIZHrARzQjtsOoLULNVWJkJNvPSoJrcrAunPfiLEhTDShgfvjQx Esby4Nu4hrONqvZyj34stXLgkXgR76pyrAl8qdF5jB1ir/yUerNFMWchBqEEaTbBPN/U zNyw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=yBXnr725uQNe8XLBAYeBluPLRHBXLOfGqYfu9o4SQqQ=; b=2jk/ygmkNKwBT6DdYB876tCSNdGSrE27nZybmi6dU2pXYVU43AF34CGuu2ECb2gInj wxz/pK2ROH7VCJo/9s9Xv0tcozIevl5owYlWbOrylHBpax/7r5pi0MnJE5WhVpBCotb0 LxX8ZBh/JCoxyCC58t2O/1WimOUyAVvpGHUlgi/zLl8s6oSAB09tw+ZbAK/apZS3VPd3 V2Zze4OFPrGjFCmQKw6FUGMl0l11KJRGYEFj+3qVsK48lw1oBSCHB9Qp5Tb3kc2FUP6M fbjxhuVkGUzV1cEiihbeUI9WihBjijt8x80QuydI3+dQtARs+ZlDf8cHGOY9ko6fzTMw Xz+g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5pmbblCjZXjr6LtEuvbls4q4JnDBaymJJGMaN7MLKaCCunbm/1kX 7lb1nVcPN4hRoc5umcQz0sE= X-Google-Smtp-Source: AA0mqf7Ef/pMYe8QnEmpnr9RIq8k2loDzkpbxhsSAZgCVjbbw3QKuDVZt78emmsdfaOXBaxB/pEq7w== X-Received: by 2002:a54:4496:0:b0:35b:e564:a51b with SMTP id v22-20020a544496000000b0035be564a51bmr473431oiv.6.1671187272572; Fri, 16 Dec 2022 02:41:12 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6808:2090:b0:35a:6687:ef26 with SMTP id s16-20020a056808209000b0035a6687ef26ls487548oiw.4.-pod-prod-gmail; Fri, 16 Dec 2022 02:41:11 -0800 (PST) X-Received: by 2002:aca:240c:0:b0:359:f091:104 with SMTP id n12-20020aca240c000000b00359f0910104mr600684oic.274.1671187271718; Fri, 16 Dec 2022 02:41:11 -0800 (PST) Received: by 2002:aca:5b04:0:b0:357:6b59:1e5d with SMTP id 5614622812f47-360ba2ac959msb6e; Fri, 16 Dec 2022 02:29:45 -0800 (PST) X-Received: by 2002:a17:902:aa8b:b0:186:fb90:573d with SMTP id d11-20020a170902aa8b00b00186fb90573dmr38295806plr.3.1671186584978; Fri, 16 Dec 2022 02:29:44 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1671186584; cv=none; d=google.com; s=arc-20160816; b=HZEsIuhDqePJYOFw9j/7LgL08sxbDtcmqv5wMJJ7ZEdTrgc/Q8VRuOSx/825ZMocZY A/Gh0bSWQ5hAKB07k8e62xaRzV/UWs6yzvOpvaS8AzttwZ+MWEm9MhvLTEgMIyY/HglT TJJQAjWDvacXIuICJjXlrotUj1K1khj8kNH0SQAfSdFBDer6/N5Qe++C2k8nX28gj0xO Dsg153VCNO8WA6Tfg6/F7UuVq8ZG6rsJwKXTaLyltjOWga1HAUzieTyeYhdaa33+3s/H GOw3evLC969ftX4tTH+iJLkSmwdWPDZukJgtznRIyycSZg5zv8fwDBXo2fPEFyfyV7I4 uZtA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=wFsZPytEJAjJGcXHROrwHlMECUxQ8PZ4r5fOba2c0Ng=; b=F/PK783WQKQjjhiqnGWmNpVO1neAAIzD2LR0Bv87ghgfM5arZLRkbg9/y0uR33EpO5 U7Kl67sm5R+xTGtFK5PhbIvfKq9bYvZwtnkKRU36logafta9DAwEgVexCu7+5AQ15x9f gRT43zjxxfOn1J9iCWebYEbeRNGPh8hx7CklREbgYdveNNrchcx/RM2TKJ2JGv/JBtaf fOPbsJTdhhjt5DncbOLhINozR8P2TXSFaELpN0FdPPjc01cWsf0aMEyWvMB7o+pC3+W5 cxZ+X4YaGwUKJv/5ASiUoj4gUk3QHM98l2QdRiGpJGckRxa1Gf3BhvnR89Qzh5xo/m7w C4dg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="MQ/eBHLU"; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::632 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pl1-x632.google.com (mail-pl1-x632.google.com. [2607:f8b0:4864:20::632]) by gmr-mx.google.com with ESMTPS id t9-20020a170902e84900b00178112d1196si140209plg.4.2022.12.16.02.29.44 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 16 Dec 2022 02:29:44 -0800 (PST) Received-SPF: pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::632 as permitted sender) client-ip=2607:f8b0:4864:20::632; Received: by mail-pl1-x632.google.com with SMTP id m4so1888498pls.4 for ; Fri, 16 Dec 2022 02:29:44 -0800 (PST) X-Received: by 2002:a17:90a:69e4:b0:219:6b1b:63d8 with SMTP id s91-20020a17090a69e400b002196b1b63d8mr561456pjj.143.1671186584593; Fri, 16 Dec 2022 02:29:44 -0800 (PST) MIME-Version: 1.0 From: Elena Di Lavore Date: Fri, 16 Dec 2022 12:29:33 +0200 Message-ID: Subject: [HoTT] Call for applications: Applied Category Theory Adjoint School 2023 To: "homotopytypetheory@googlegroups.com" Content-Type: multipart/alternative; boundary="000000000000ba6bf205efef72ed" X-Original-Sender: elenatalita@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="MQ/eBHLU"; spf=pass (google.com: domain of elenatalita@gmail.com designates 2607:f8b0:4864:20::632 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , --000000000000ba6bf205efef72ed Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=C3=B6nigConcurrency in monoidal categories - Mentor: Chris Heunen= Game 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 --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAEiDNXWD7m7eCSDgsrsn4U8c6KwLToxAGTKpV%3D_iPdB5PAoubg%40= mail.gmail.com. --000000000000ba6bf205efef72ed Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

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: Janua= ry 9, 2023

https://adjointschool.com=C2=A0


----------------------------------= ---------------------------------------------------------------------------= -------------

Are you interested in applying category-theoretic method= s to problems outside of pure mathematics? Apply to The Adjoint School!=C2= =A0


Part= icipants 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 onlin= e learning seminar that meets regularly between February and June, and an i= n-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 p= apers chosen by the project mentors. Every other week a pair of participant= s 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.=C2=A0


Projects and Mentors:=C2=A0


Message Passing Logic for Categorical Quantum Mechanics - Mentor: Priyaa Srinivasan
Behavioural Metrics, Quantitative Logics and = Coalgebras - Mentor: Barbara K=C3=B6nig
Concurrency i= n monoidal categories - Mentor: Chris Heunen
Game Com= onads and Finite Model Theory - Mentor: Dan Marsden

Check more information about research projects in https://adjointschool.com/2023.html=C2=A0


Organizers<= /span>


Ana Luiza Tenorio=C2=A0

Angeline Aguinaldo

Elena Di Lavore=C2=A0

Nathan Haydon

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAEiDNXWD7m7eCSDgsrsn4U8c6KwLTo= xAGTKpV%3D_iPdB5PAoubg%40mail.gmail.com.
--000000000000ba6bf205efef72ed--