[HoTT] CiE 2024: Final call for papers

[HoTT] CiE 2024: Final call for papers

[Benno van den Berg]

[-- Attachment #1.1: Type: text/plain, Size: 7671 bytes --]

CiE 2024: 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 notifications 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, Amsterdam. CiE is a European association of 
mathematicians, logicians, computer scientists, 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), Siena (2007), Athens (2008), 
Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), 
Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku 
(2017), Kiel (2018), Durham (2019), Salerno (2020, virtually), 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ública) Monika 
Seisenberger (Swansea University) Mariya Soskova (University of 
Wisconsin–Madison) SPECIAL SESSIONS There will be 6 special sessions: - 
Computable aspects of symbolic dynamics and tilings (chairs: Benjamin 
Hellouin and Ilkka Torma) - Algorithmic randomness and Kolmogorov 
complexity session (chairs: Rupert Hölzl abd Denis Hirschfeldt) - Quantum 
Computation (chairs: Delaram Kahrobaei and Mehrnoosh Sadrzadeh) - History 
and Philosophy of Computing (HaPoC) (chairs: Ekaterina Koubychkina 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 theoretical computer science, 
as well as the interplay of these areas with practical 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-European, to submit their papers 
in all areas related to the above for presentation 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 simultaneously submitted to another journal or 
conference with formal proceedings. The Program Committee will rigorously 
review and select submitted papers. Regular papers must have a maximum of 
12 pages, including references but excluding a possible appendix in which 
one can include proofs and other additional 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 work. A proposal for an informal presentation must be 1 page 
long; a brief description of the results suffices and an abstract is not 
required. Informal presentations will not be published in the LNCS 
conference proceedings. Results presented as informal presentations at CiE 
2024 may appear or may have appeared in other conferences with formal 
proceedings and/or in journals. All submissions must be in PDF, formatted 
using the Springer LNCS style (available at 
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-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 
Lecture Notes in Computer Science (LNCS) series from Springer-Verlag. 
PROGRAM COMMITTEE Contributed papers will be selected from submissions 
received by the PROGRAM COMMITTEE consisting of: Bahareh Afshari 
(University of Amsterdam & University of Gothenburg) Nathalie Aubrun (CNRS, 
Université Paris-Saclay) Marie-Pierre Béal (Université Gustave Eiffel) 
Benno van den Berg (University of Amsterdam) Sebastian Berndt (University 
of Lübeck) Patricia Bouyer-Decitre (CNRS) Jin-Yi Cai (University of 
Wisconsin-Madison) Barbara Csima (University of Waterloo) Gianluca Della 
Vedova (Università 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ña) Timo Lang 
(Technische Universität Wien) Karen Lange (Wellesley College) Florin Manea 
(University of Göttingen) Alexander Melnikov (Victoria University of 
Wellington) Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) Ludovic 
Patey (CNRS, Université Paris-Cité co-Chair) Elaine Pimentel (University 
College London co-chair) Cristóbal Rojas (Universidad Católica) 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 Computability program, we are able to offer some 
grants for junior women researchers who want to participate in CiE 2024. 
Applications for this grant should be sent to Lorenzo Galeotti 
<l.galeotti@uva.nl>, before May 15, 2024 and include a short cv (at most 2 
pages) and contact information for an academic reference. Preference will 
be given to junior women researchers who are presenting a paper (including 
informal presentations) at CiE 2024. HOSTED BY The event will be held in 
the Amsterdam University College academic building 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 "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/39b8f17f-6cc6-4c73-9454-12b439fe86d9n%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 8126 bytes --]