From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-yw1-x113a.google.com (mail-yw1-x113a.google.com [IPv6:2607:f8b0:4864:20::113a]) by inbox.vuxu.org (Postfix) with ESMTP id C9DB324B36 for ; Wed, 24 Jan 2024 10:53:46 +0100 (CET) Received: by mail-yw1-x113a.google.com with SMTP id 00721157ae682-5f53b4554b6sf78491807b3.3 for ; Wed, 24 Jan 2024 01:53:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1706090025; x=1706694825; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-sender:mime-version:subject :message-id:to:from:date:sender:from:to:cc:subject:date:message-id :reply-to; bh=QWOlgX9Yk4uba0mBS4TSWu1gE+pQfGei9vmyxuAGqgU=; b=mVMeI+IAaYLHilIHQ6lqK01eT+bWtBSe4IAgH81N0tnabhjrNcrcDpazmMgZbkBwBu v0guUTQPeoWeOZb/LxvdO/Q+Ke01lbwhp24JCy6djixcnfiksetXGbWJc4Fux//H/KoR Ss6G/ZGmtn1UDhL2nUlNeimW6NuSV1nwtg1QASqUnu4+ppW2s5ZGVU6L/fickwJOZp7M Xs/OsPBH4pUwX1CruiCHl2C6HwBP+1SXtUQL94jeDNg9NW4V5Y5izFMQxIS25bFsD9Dl Z/MjOKuQVgOd2IMDjkw7q/wf9yqkYg39B1AsaZRw6RWV9KtCfEBtyw0ZUjWEX7XfNTlT UOdw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706090025; x=1706694825; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-sender:mime-version:subject :message-id:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=QWOlgX9Yk4uba0mBS4TSWu1gE+pQfGei9vmyxuAGqgU=; b=ktFmphLg+5PBfDLxBYGX9k/qO1FSfmPDOqSZPWhgAOck3OOgTR0907MBlRoBMEIQrX N0vxfXveVXOY6hVUjnm9vlC33aFqRHG1zQzY5HuGgCUQARPSUbbr1KIIiJiAj5f4JG+y vZVJypm5nO0OUqjSTtcNLnPoFG3O2Z2uUq6AXWOjgXxbPlZG/GBLCyetSm4se2R+/Nf1 27U6qYm+PWyVXrO/i8EIsgJUkfSQMUTCICFbV8NJnzHLryZ1jji2pCyvqPHXqyMErSgP PkFTgo4HNcS3JoOm0d2rZUhOJIHaOiSjh8xJjKSbQPHTaY7l2S+xt0UT+TluIx3qvnRs G5VQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706090025; x=1706694825; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=QWOlgX9Yk4uba0mBS4TSWu1gE+pQfGei9vmyxuAGqgU=; b=vpfdbmKZPEnHpoAebXRUentP3w19e+Ad9mxy4RQgqvxyrozVTGJN/mprrKRENURNkf kMvygIe7plb7vEnfdOg1D/i90DbGMTTotDkKZJ17gmW87D3/ociV4nnC7Ar4Z3SGHW6M TjhQ757S9gFfQBqtBjzwkbAvXy8yXVJ1O1VnXFOsHIYjKzQKt5Ddn2W8Q6owO6uZDs5D C05t1tNbNW1tW6UEEhpActmz+9PtS7fRRSRdqHx0r6Rtd0cUB/Eo2311qT1FzOEB735b LyoIZfQYENxcch9O3862qEyi20cDbz3sT/zSZuVFUg7YnFH96zxCcDgaPsUoZ2lqfDDU AA5w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0Yw1zkKWT28/ogyqQPI/Q+xOIgBiBt9fkdm57nHiAgR+Q9N5LX9Y 6p0OWJ38NcyH7hG34L4HlB8HUSmHiG8Pu0nKJqgQG4iVZGzZ8epm X-Google-Smtp-Source: AGHT+IH99u6F9bRSKI7FMnRNcJq3pMGbkxdbAWbbqTjGy0w3NmCl0gRuwhp0nXSgUotQtELP6OswSQ== X-Received: by 2002:a5b:68b:0:b0:dc2:4dab:550 with SMTP id j11-20020a5b068b000000b00dc24dab0550mr267377ybq.124.1706090025122; Wed, 24 Jan 2024 01:53:45 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:e00c:0:b0:dc2:50de:4bb with SMTP id x12-20020a25e00c000000b00dc250de04bbls1874531ybg.1.-pod-prod-09-us; Wed, 24 Jan 2024 01:53:43 -0800 (PST) X-Received: by 2002:a05:6902:a8d:b0:dc2:1cd6:346e with SMTP id cd13-20020a0569020a8d00b00dc21cd6346emr244431ybb.8.1706090023226; Wed, 24 Jan 2024 01:53:43 -0800 (PST) Date: Wed, 24 Jan 2024 01:53:42 -0800 (PST) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <39b8f17f-6cc6-4c73-9454-12b439fe86d9n@googlegroups.com> Subject: [HoTT] CiE 2024: Final call for papers MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_15352_1470040176.1706090022347" X-Original-Sender: bennovdberg@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: , ------=_Part_15352_1470040176.1706090022347 Content-Type: multipart/alternative; boundary="----=_Part_15353_106928238.1706090022347" ------=_Part_15353_106928238.1706090022347 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of=20 theoretical and practical synergies Amsterdam, The Netherlands July 08-12,= =20 2024 https://events.illc.uva.nl/CiE/CiE2024/ Submission link:=20 https://equinocs.springernature.com/service/CiE2024 IMPORTANT DATES:=20 Deadline for article submission: February 10, 2024 (AOE) Notification of=20 acceptance: April 20, 2024 Final versions due: May 1, 2024 Deadline for=20 informal presentations submission: May 15, 2024 (The notifications of=20 acceptance for informal presentations will be sent a few days after=20 submission) Early registration before: May 20, 2024 Conference: July 08-12,= =20 2024 GENERAL INFORMATION CiE 2024 will be an anniversary event. It is the= =20 20th conference organized by CiE (Computability in Europe), in the same=20 place as the first edition, Amsterdam. CiE is a European association of=20 mathematicians, logicians, computer scientists, philosophers, physicists=20 and others interested in new developments in computability and their=20 underlying significance for the real world. Previous meetings have taken=20 place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008),=20 Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012),=20 Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku=20 (2017), Kiel (2018), Durham (2019), Salerno (2020, virtually), Ghent (2021,= =20 virtually), Swansea (2022) and Batumi (2023). TUTORIAL SPEAKERS Matthew=20 Harrison-Trainor (University of Illinois Chicago) Sonja Smets (University= =20 of Amsterdam) INVITED SPEAKERS Arnold Beckmann (Swansea University) Rod=20 Downey (Victoria University of Wellington) Elvira Mayordomo (University of= =20 Zaragoza) Alexandre Miquel (Universidad de la Rep=C3=BAblica) Monika=20 Seisenberger (Swansea University) Mariya Soskova (University of=20 Wisconsin=E2=80=93Madison) SPECIAL SESSIONS There will be 6 special session= s: -=20 Computable aspects of symbolic dynamics and tilings (chairs: Benjamin=20 Hellouin and Ilkka Torma) - Algorithmic randomness and Kolmogorov=20 complexity session (chairs: Rupert H=C3=B6lzl abd Denis Hirschfeldt) - Quan= tum=20 Computation (chairs: Delaram Kahrobaei and Mehrnoosh Sadrzadeh) - History= =20 and Philosophy of Computing (HaPoC) (chairs: Ekaterina Koubychkina and=20 Marianna Girlando) - Bio-inspired Computation (BiC) (chairs: Gianluca Della= =20 Vedova and Jasmijn Baaijens) - Computable Structure Theory (chairs: Stefan= =20 Vatev and Ekaterina Fokina) CONFERENCE TOPICS The CiE conferences serve as= =20 an interdisciplinary forum for research in all aspects of computability,=20 foundations of computer science, logic, and theoretical computer science,= =20 as well as the interplay of these areas with practical issues in computer= =20 science and with other disciplines such as biology, mathematics,=20 philosophy, or physics. PAPER SUBMISSION THE PROGRAM COMMITTEE cordially=20 invites all researchers, European and non-European, to submit their papers= =20 in all areas related to the above for presentation at the conference. The= =20 following paper categories are welcome: - Regular papers describing solid= =20 new research results. Papers submitted to the conference proceedings should= =20 represent original work, not simultaneously submitted to another journal or= =20 conference with formal proceedings. The Program Committee will rigorously= =20 review and select submitted papers. Regular papers must have a maximum of= =20 12 pages, including references but excluding a possible appendix in which= =20 one can include proofs and other additional material. Papers building=20 bridges between different parts of the research community are particularly= =20 welcome. - Informal presentations. Continuing the tradition of past CiE=20 conferences, we invite researchers to present informal presentations of=20 their recent work. A proposal for an informal presentation must be 1 page= =20 long; a brief description of the results suffices and an abstract is not=20 required. Informal presentations will not be published in the LNCS=20 conference proceedings. Results presented as informal presentations at CiE= =20 2024 may appear or may have appeared in other conferences with formal=20 proceedings and/or in journals. All submissions must be in PDF, formatted= =20 using the Springer LNCS style (available at=20 https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu= idelines),=20 and submitted via EquinOCS:=20 https://equinocs.springernature.com/service/CiE2024 CONFERENCE PROCEEDINGS= =20 Accepted regular papers will be published as a proceedings volume in the=20 Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.=20 PROGRAM COMMITTEE Contributed papers will be selected from submissions=20 received by the PROGRAM COMMITTEE consisting of: Bahareh Afshari=20 (University of Amsterdam & University of Gothenburg) Nathalie Aubrun (CNRS,= =20 Universit=C3=A9 Paris-Saclay) Marie-Pierre B=C3=A9al (Universit=C3=A9 Gusta= ve Eiffel)=20 Benno van den Berg (University of Amsterdam) Sebastian Berndt (University= =20 of L=C3=BCbeck) Patricia Bouyer-Decitre (CNRS) Jin-Yi Cai (University of=20 Wisconsin-Madison) Barbara Csima (University of Waterloo) Gianluca Della=20 Vedova (Universit=C3=A0 degli Studi di Milano-Bicocca) Leah Epstein (Univer= sity=20 of Haifa) Gilda Ferreira (Universidade Aberta) Yannick Foster (INRIA,=20 Nantes) Lorenzo Galeotti (Amsterdam University College) Mathieu Hoyrup=20 (INRIA, LORIA, Nancy) Jarkko Kari (University of Turku) Julia Knight=20 (University of Notre-Dame) Susana Ladra (Universidade da Coru=C3=B1a) Timo = Lang=20 (Technische Universit=C3=A4t Wien) Karen Lange (Wellesley College) Florin M= anea=20 (University of G=C3=B6ttingen) Alexander Melnikov (Victoria University of= =20 Wellington) Alberto Naibo (Universit=C3=A9 Paris 1 Panth=C3=A9on-Sorbonne) = Ludovic=20 Patey (CNRS, Universit=C3=A9 Paris-Cit=C3=A9 co-Chair) Elaine Pimentel (Uni= versity=20 College London co-chair) Crist=C3=B3bal Rojas (Universidad Cat=C3=B3lica) V= iola=20 Schiaffonati (Politecnico di Milano) Paul Shafer (University of Leeds) Reed= =20 Solomon (University of Connecticut) Andreas Weiermam (Ghent University)=20 WOMEN IN COMPUTABILITY We are very happy to announce that within the=20 framework of the Women in Computability program, we are able to offer some= =20 grants for junior women researchers who want to participate in CiE 2024.=20 Applications for this grant should be sent to Lorenzo Galeotti=20 , before May 15, 2024 and include a short cv (at most 2= =20 pages) and contact information for an academic reference. Preference will= =20 be given to junior women researchers who are presenting a paper (including= =20 informal presentations) at CiE 2024. HOSTED BY The event will be held in=20 the Amsterdam University College academic building located at Amsterdam=20 Science Park. We are grateful for support from the University of Amsterdam= =20 and the Vrije Universiteit Amsterdam. ORGANIZING COMMITTEE Bahareh Afshari= =20 (University of Gothenburg) Luis Aguilar Suarez (Amsterdam University=20 College) Benno van den Berg (University of Amsterdam) Andrea De Domenico=20 (Vrije Universiteit Amsterdam) Tamara Dobler (Vrije Universiteit Amsterdam)= =20 Lorenzo Galeotti (Amsterdam University College -- chair) Yurii Khomskii=20 (Amsterdam University College) Mattia Panettiere (Vrije Universiteit=20 Amsterdam) Benjamin Rin (Universiteit Utrecht) --=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/39b8f17f-6cc6-4c73-9454-12b439fe86d9n%40googlegroups.com= . ------=_Part_15353_106928238.1706090022347 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable CiE 2= 024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical synergies Amsterdam, The Netherlands July 08-12, 2024 https://events.illc.uva.nl/CiE/CiE2024/ Submission link: https://equinocs.springernature.com/service/CiE2024 IMPORTANT DATES: Deadline for article submission: February 10, 2024 (AOE) Notification of acceptance: April 20, 2024 Final versions due: May 1, 2024 Deadline for informal presentations submission: May 15, 2024 (The notificat= ions of acceptance for informal presentations will be sent a few days after= submission) Early registration before: May 20, 2024 Conference: July 08-12, 2024 GENERAL INFORMATION CiE 2024 will be an anniversary event. It is the 20th conference organized = by CiE (Computability in Europe), in the same place as the first edition, A= msterdam.=20 CiE is a European association of mathematicians, logicians, computer scient= ists, philosophers, physicists and others interested in new developments in= computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Sie= na (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2= 011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Pa= ris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, virtua= lly), Ghent (2021, virtually), Swansea (2022) and Batumi (2023). TUTORIAL SPEAKERS Matthew Harrison-Trainor (University of Illinois Chicago) Sonja Smets (University of Amsterdam) INVITED SPEAKERS Arnold Beckmann (Swansea University) Rod Downey (Victoria University of Wellington) Elvira Mayordomo (University of Zaragoza) Alexandre Miquel (Universidad de la Rep=C3=BAblica) Monika Seisenberger (Swansea University) Mariya Soskova (University of Wisconsin=E2=80=93Madison) SPECIAL SESSIONS There will be 6 special sessions: - Computable aspects of symbolic dynamics and tilings (chairs: Benjamin Hel= louin and Ilkka Torma) - Algorithmic randomness and Kolmogorov complexity session (chairs: Rupert = H=C3=B6lzl abd Denis Hirschfeldt) - Quantum Computation (chairs: Delaram Kahrobaei and Mehrnoosh Sadrzadeh) - History and Philosophy of Computing (HaPoC) (chairs: Ekaterina Koubychkin= a and Marianna Girlando) - Bio-inspired Computation (BiC) (chairs: Gianluca Della Vedova and Jasmijn= Baaijens) - Computable Structure Theory (chairs: Stefan Vatev and Ekaterina Fokina) CONFERENCE TOPICS The CiE conferences serve as an interdisciplinary forum for research in all= aspects of computability, foundations of computer science, logic, and theo= retical computer science, as well as the interplay of these areas with prac= tical issues in computer science and with other disciplines such as biology= , mathematics, philosophy, or physics. PAPER SUBMISSION THE PROGRAM COMMITTEE cordially invites all researchers, European and non-E= uropean, to submit their papers in all areas related to the above for prese= ntation at the conference. The following paper categories are welcome: - Regular papers describing solid new research results. Papers submitted to= the conference proceedings should represent original work, not simultaneou= sly submitted to another journal or conference with formal proceedings. The= Program Committee will rigorously review and select submitted papers. Regu= lar papers must have a maximum of 12 pages, including references but exclud= ing a possible appendix in which one can include proofs and other additiona= l material. Papers building bridges between different parts of the research= community are particularly welcome. - Informal presentations. Continuing the tradition of past CiE conferences,= we invite researchers to present informal presentations of their recent wo= rk. A proposal for an informal presentation must be 1 page long; a brief de= scription of the results suffices and an abstract is not required. Informal= presentations will not be published in the LNCS conference proceedings. Re= sults presented as informal presentations at CiE 2024 may appear or may hav= e appeared in other conferences with formal proceedings and/or in journals. All submissions must be in PDF, formatted using the Springer LNCS style (av= ailable at https://www.springer.com/gp/computer-science/lncs/conference-pro= ceedings-guidelines), and submitted via EquinOCS: https://equinocs.springernature.com/service/CiE2024 CONFERENCE PROCEEDINGS Accepted regular papers will be published as a proceedings volume in the Le= cture Notes in Computer Science (LNCS) series from Springer-Verlag. PROGRAM COMMITTEE Contributed papers will be selected from submissions received by the PROGRA= M COMMITTEE consisting of: Bahareh Afshari (University of Amsterdam & University of Gothenburg) Nathalie Aubrun (CNRS, Universit=C3=A9 Paris-Saclay) Marie-Pierre B=C3=A9al (Universit=C3=A9 Gustave Eiffel) Benno van den Berg (University of Amsterdam) Sebastian Berndt (University of L=C3=BCbeck) Patricia Bouyer-Decitre (CNRS) Jin-Yi Cai (University of Wisconsin-Madison) Barbara Csima (University of Waterloo) Gianluca Della Vedova (Universit=C3=A0 degli Studi di Milano-Bicocca) Leah Epstein (University of Haifa) Gilda Ferreira (Universidade Aberta) Yannick Foster (INRIA, Nantes) Lorenzo Galeotti (Amsterdam University College) Mathieu Hoyrup (INRIA, LORIA, Nancy) Jarkko Kari (University of Turku) Julia Knight (University of Notre-Dame) Susana Ladra (Universidade da Coru=C3=B1a) Timo Lang (Technische Universit=C3=A4t Wien) Karen Lange (Wellesley College) Florin Manea (University of G=C3=B6ttingen) Alexander Melnikov (Victoria University of Wellington) Alberto Naibo (Universit=C3=A9 Paris 1 Panth=C3=A9on-Sorbonne) Ludovic Patey (CNRS, Universit=C3=A9 Paris-Cit=C3=A9 co-Chair) Elaine Pimentel (University College London co-chair) Crist=C3=B3bal Rojas (Universidad Cat=C3=B3lica) Viola Schiaffonati (Politecnico di Milano) Paul Shafer (University of Leeds) Reed Solomon (University of Connecticut) Andreas Weiermam (Ghent University) WOMEN IN COMPUTABILITY We are very happy to announce that within the framework of the Women in Com= putability program, we are able to offer some grants for junior women resea= rchers who want to participate in CiE 2024. Applications for this grant sho= uld be sent to Lorenzo Galeotti <l.galeotti@uva.nl>, before May 15, 2= 024 and include a short cv (at most 2 pages) and contact information for an= academic reference. Preference will be given to junior women researchers w= ho are presenting a paper (including informal presentations) at CiE 2024. HOSTED BY The event will be held in the Amsterdam University College academic buildin= g located at Amsterdam Science Park. We are grateful for support from the University of Amsterdam and the Vrije = Universiteit Amsterdam. ORGANIZING COMMITTEE Bahareh Afshari (University of Gothenburg) Luis Aguilar Suarez (Amsterdam University College) Benno van den Berg (University of Amsterdam) Andrea De Domenico (Vrije Universiteit Amsterdam) Tamara Dobler (Vrije Universiteit Amsterdam) Lorenzo Galeotti (Amsterdam University College -- chair) Yurii Khomskii (Amsterdam University College) Mattia Panettiere (Vrije Universiteit Amsterdam) Benjamin Rin (Universiteit Utrecht)

--
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://groups.google.c= om/d/msgid/HomotopyTypeTheory/39b8f17f-6cc6-4c73-9454-12b439fe86d9n%40googl= egroups.com.
------=_Part_15353_106928238.1706090022347-- ------=_Part_15352_1470040176.1706090022347--