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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 4872 invoked from network); 23 Aug 2022 13:20:23 -0000 Received: from mail-wr1-x440.google.com (2a00:1450:4864:20::440) by inbox.vuxu.org with ESMTPUTF8; 23 Aug 2022 13:20:23 -0000 Received: by mail-wr1-x440.google.com with SMTP id w20-20020adf8bd4000000b002237e71d4e4sf2252483wra.21 for ; Tue, 23 Aug 2022 06:20:23 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1661260822; cv=pass; d=google.com; s=arc-20160816; b=j1Ii3AK1PYSEgNGlljn3tQT8DCxsFzaMZdlu+Q9IlNfEfk+SBOfsmcFm/56OmcOxMa cgh3M7Kzy2SsKCI6sGvcMBAEv/xq8soDIryU3kmdTkqZ7mCnaAxoKotZstO8H1sBN9+m CE67NjX+YkUcRy4dmt+eVkHMhzdL3f440MY7A347QKfTHCVqyIGLBySQ7+IJbIovBe9s HcE/5aDwLVTEkC7rzx09C4tGXAEnmcu/jq9mWxwdl7zbVbm/KAJLCdideU5hYTozFLcB W5EwVj2ob8yuQLQU+o2NRWSjILsMabSh55CLdVxuJOsyBCv6qMYyGkES0t5UxIoeG/x6 qLAQ== 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:date:message-id:subject :mime-version:content-transfer-encoding:from:sender:dkim-signature :dkim-signature; bh=61Js2WPszHofj/SQvvdAGgb32H+LNZgW0NYIl1QVjPA=; b=wtXjeKX8UtJR4ULn8ubm/9Q9epsz9+Q4EJx7jbtNlUqep2LnmNCpO40rMkOSrUupCr dp8fzFMNbEyxgGT+B3I11+tAGDmIP9I2TTRLPIWN51/obu+GXyKK24LBp61Df8E/dXgt mm9rJLnpKTMCqjKE17wzrsX7v88ENzDNRF9yXfmiS+fVMNqYF4tuDKPYcEo5QH6ugwJq wBMP2pR+jrx9udqsbuIH4A567o7DvfED49pcSfOdKxylAGBc0S903SOAeZ5iGhKiUkV6 1wr1S+5Mbf1E6jPjzEnZuCzeSbaywQzwoWVhlQ5QCRK+4fD4rKZczUkFmA+inMhtwa7q +CQQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=Z8sTEjGb; spf=pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) smtp.mailfrom=sobocinski@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:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:from:to:cc; bh=61Js2WPszHofj/SQvvdAGgb32H+LNZgW0NYIl1QVjPA=; b=Ko4chnk4WavMheyk/y57RZtXoen2OrsvlmGwtzveirMHSgNpVT64YO/p3lGZimovek YNYbL1RI9ZH5AeKpasxCWaAK+pSGTffl19wNGtjc617naQ0Hl8Bi5ndV2/fZC0n00gtv 9SQCYvE42Rm8D5q7YqXVlxU4WEbG3zyg2zubUVsV73/R0JIauZ8ghZ9qQL2+hj4qrldI qdS3rZliN1wlSXLHEZGGFZ5ScfwGjvFFI2uaMyS/usSJSbv72T8wiDPBYYc+9UGtfqrs ObOYKeOP5K30HXwLEwCicfNNDkitsgb0XyAMtT8G9DB6pP3nJc6eQ5wLCYhuRMMf17xu ahHw== 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:date:message-id:subject:mime-version :content-transfer-encoding:from:from:to:cc; bh=61Js2WPszHofj/SQvvdAGgb32H+LNZgW0NYIl1QVjPA=; b=fCWh7MuWzdKDmtfhe4TnhxKKBj6Xc2WTx+6Rf9/yOfjdApvBYdSJgJ9jT+J0D62VoC 6qcYZQW6Kv4zik0lE0wLxBnOqhnFPMdfW8dsqUTyMbGvabeCtNCWzedwaSroNteNdszE KNm7cmBFXesYclR6sD7ODs587vuhPrfOBtbmFzZkSdSUNQLrpl4PW4eYRWzuXVjagWOr kVuzBAHffsK5Qcjb7ZahXVS5RsCYpLAoUZIdLtJzXlFL2FEEi52eAvkE1tQ1pqn0O9Y/ NVEqiGtsnPsI+/nL6xmGNpIixALgk3iWYrACGLPj2qeUm7PyMsCjqbuAxCtZeWMKCwrC DT+A== 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 :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:date :message-id:subject:mime-version:content-transfer-encoding:from :x-gm-message-state:sender:from:to:cc; bh=61Js2WPszHofj/SQvvdAGgb32H+LNZgW0NYIl1QVjPA=; b=TSG9H/pW6Zbn0Sg8qUJUInrowr0vqZWHge23HHwIt7JHa5Yh0RKbBBC2zRBFBz+cYO iBd4jAmIFwlvr0ExG4AJE86fY9F5m+y5/lcPCIt8z+zJuO0B/lmE83KZlgjevT4LQG7e tAe/cz0SV7yts4xdaCyaedpMv9M+noZa0y1Ny9OKNhJSsOuyR7Oc/Nmd42dty+xQ1+nr 14/vX5XTOVTH1FeyzGLxibQ+Tbb4En6MYPXIbr44dDRBWSA9B9SPPeA2x+OoMP2CS2fj BqilfOk62t00EeOr3kAIZll5VDUvrzBSjQ5lUjem6g6KuQAV9/+Wf5q/GUpegHgyv0wM VQ6w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACgBeo2XBf7233OfVCquZPcFC5tFlrkSgc8XmC0RJNf5s9VQOhrER8BC cp2vTm5n9iVtEe8+mp1offE= X-Google-Smtp-Source: AA6agR5gGnQv/dbDP8ef9lMQgSlcb4s3OVyIcnU2fJD9v/Itk4WSSp2O/JvuQXQSut/dcLXEEDp2zQ== X-Received: by 2002:adf:e18e:0:b0:225:5e7c:3621 with SMTP id az14-20020adfe18e000000b002255e7c3621mr4229899wrb.183.1661260822505; Tue, 23 Aug 2022 06:20:22 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:d20d:0:b0:225:26dd:8b59 with SMTP id j13-20020adfd20d000000b0022526dd8b59ls6527175wrh.3.-pod-prod-gmail; Tue, 23 Aug 2022 06:20:20 -0700 (PDT) X-Received: by 2002:a5d:5305:0:b0:225:5b0c:3947 with SMTP id e5-20020a5d5305000000b002255b0c3947mr4863573wrv.233.1661260820688; Tue, 23 Aug 2022 06:20:20 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1661260820; cv=none; d=google.com; s=arc-20160816; b=j8Nnbh3pzWqMaHwDsxO6TssDMoKGRkhU2oO6KteAngPx6Sp7Its4UuzPz5seK2TO7j Bvkco5Btb9phgcsG/mozYm71PREyCKPnG7aGrCxGJ87NMHhcGcA8X2VhL41/ZQ9EoUjp W8h+4d8MBv/Jbn04cbVJDmPDSPi7Hw4fZIJ6biXR58l42t/cCVlf7Hx73yhpDQh3VsdA ll796x6CVTen/zWpPAZFFHnj1I/K8owAQ/dFbm9XMxws5/oqh3iYhb4jizIK4M719DTe rXt61lvTy3oL7Ci/FG7y5GyjCM78O/uiTgIWClnHmmH08hcuiQXhsiKmZrAlPu5BULQc +MRw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:dkim-signature; bh=Uh1hG7g/BdwAqyO+HkCJ4TYM+UpPesK4GDzVxutwUQs=; b=S9xYZfWt+YUwXq6iHOYKU0bCawS+t+5YFYXU0bkJyzSwCAhNlzWRnlcacDYrt15nIp N+rLizTeNgLo2N7uziwL2bARYngKig4OfGWmaI9GDtMQPac+Xqk61XtRTGH4sWF93i5W nbERumJHBY5FO7n2gSyh6sx54nyeU8V6tao8sZcB370kzykZqXVJ0iPmiAezQjbrDW15 zJ38ZE4nsPLfEH0oBQCf5Ycj9MWC/+EhMoF8UhSMkPhC9aKMA9cykOUS0JNQjUnIUpfg ebCMWf3gSiXZdqddxw0m5DDB/pAgKmiK2dXU4IqmvdxUbxdPedsyNjd6T1y7DXk9fsyC 5IJA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=Z8sTEjGb; spf=pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) smtp.mailfrom=sobocinski@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com. [2a00:1450:4864:20::130]) by gmr-mx.google.com with ESMTPS id bi19-20020a05600c3d9300b003a6787eaf57si245656wmb.2.2022.08.23.06.20.20 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 23 Aug 2022 06:20:20 -0700 (PDT) Received-SPF: pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) client-ip=2a00:1450:4864:20::130; Received: by mail-lf1-x130.google.com with SMTP id z25so19664660lfr.2 for ; Tue, 23 Aug 2022 06:20:20 -0700 (PDT) X-Received: by 2002:a05:6512:3996:b0:492:dacb:33ce with SMTP id j22-20020a056512399600b00492dacb33cemr4623077lfu.445.1661260820003; Tue, 23 Aug 2022 06:20:20 -0700 (PDT) Received: from smtpclient.apple ([193.40.250.239]) by smtp.gmail.com with ESMTPSA id i3-20020a2e2203000000b0025feea0c0b9sm2354237lji.81.2022.08.23.06.20.19 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 23 Aug 2022 06:20:19 -0700 (PDT) From: Pawel Sobocinski Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Subject: [HoTT] CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures Message-Id: Date: Tue, 23 Aug 2022 16:20:19 +0300 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3696.120.41.1.1) X-Original-Sender: sobocinski@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=Z8sTEjGb; spf=pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) smtp.mailfrom=sobocinski@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: , ********************************************************************* CALL FOR PAPERS FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures 24-27 April 2023 Part of 26th European Joint Conferences on Theory and Practice of Software ETAPS 2023 https://etaps.org/2023/fossacs Programme Committee Co-chairs Orna Kupferman (Hebrew University of Jerusalem) Pawel Sobocinski (Tallinn University of Technology) ********************************************************************* IMPORTANT DATES Paper submission: October 13, 2022, 23:59 AoE Rebuttal period: December 6 - December 8, 2022 Paper notification: December 22, 2022 For the first time, FoSSaCS welcomes voluntary submissions of artefacts such as formalized proofs for evaluation after paper acceptance; the outcome will not change the paper acceptance decision. Artefact submission deadline: January 5, 2023 Artefact notification: February 9, 2023 ********************************************************************* FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following: - categorical models and logics; - language theory, automata, and games; - modal, spatial, and temporal logics; - type theory and proof theory; - concurrency theory and process calculi; - rewriting theory; - semantics of programming languages; - program analysis, correctness, transformation, verification, and synthesis; - logics of programming; - emerging models of computation; - logical aspects of computational complexity; - models of system security; - logical foundations of databases ********************************************************************* SUBMISSION INSTRUCTIONS https://easychair.org/conferences/?conf=3Dfossacs2023 All accepted papers will appear in the proceedings and have presentations during the conference. We plan FoSSaCS 2023 as an on-site conference; nonetheless, remote attendance and presentation will be made possible. Submissions must follow the formatting guidelines of Springer's LNCS, be *at most 18 pages in length* (bibliography included) and be submitted electronically in pdf through the Easychair author interface linked above. Submissions not adhering to the specified format and length may be rejected immediately. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. ********************************************************************* PROGRAMME COMMITTEE Marco Carbone (IT University of Copenhagen) Ugo Dal Lago (Universit=C3=A0 di Bologna and INRIA Sophia Antipolis) Alwen Tiu (The Australian National University) Shahar Maoz (Tel Aviv University) Marco Gaboardi (Boston University) Patrick Baillot (CNRS and Lille) Frank Valencia (LIX, Ecole Polytechnique) Kuldeep S. Meel (National University of Singapore) Emmanuel Filiot (Universit=C3=A9 Libre de Bruxelles) Joel Ouaknine (Max Planck Institute for Software Systems) Filip Murlak (University of Warsaw) Alexandra Silva (Cornell University) Lars Birkedal (Aarhus University) Stefan Milius (FAU Erlangen) Koko Muroya (RIMS, Kyoto University) Barbara K=C3=B6nig (University of Duisburg-Essen) Thomas Colcombet (CNRS) Bartek Klin (University of Oxford) Bart Jacobs (Radboud University) Assia Mahboubi (INRIA) Sam Staton (University of Oxford) Parosh Aziz Abdulla (Uppsala University) Daniele Varacca (Universit=C3=A9 Paris-Est Cr=C3=A9teil) Giovanni Bacci (Aalborg University) V=C3=A9ronique Bruy=C3=A8re (University of Mons) Nathalie Bertrand (INRIA) --=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/BE30C3B1-D2CD-4A4D-A4B6-3FFA23BA24C2%40gmail.com.