CiE 2024 CALL FOR PAPERS [Deadline Extension]

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 24, 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 innew 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 andwith 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 tothe 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

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 de A 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.

ORGANIZING COMMITTEE
Bahareh Afshari (University of Amsterdam & University of Gothenburg)
Luis Aguilar Suarez (Amsterdam University College)
Benno van der Berg (University of Amsterdam)
Andrea De Domenico (Vrije Universiteit Amsterdam)
Tamara Dobler (Amsterdam University College)
Lorenzo Galeotti (Amsterdam University College — chair)
Yurii Khomskii (Amsterdam University College)
Mattia Panettiere (Vrije Universiteit Amsterdam)
Benjamin Rin (Universiteit Utrecht)

CiE 2024 First Call for Papers

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 innew 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, including:
– 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)
– Bio-inspired Computation (BiC)
– History and Philosophy of Computing (HaPoC)

Other topics of the special sessions will be announced soon.

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 andwith 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 tothe above for presentation at the conference and inclusion in the proceedings of CiE 2024 at https://equinocs.springernature.com/service/CiE2024

CONFERENCE PROCEEDINGS
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. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.

Papers to be considered in the conferences proceedings must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and 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 submitted via e-mail (e.pimentel@ucl.ac.uk), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and 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.

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 de A 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.

ORGANIZING COMMITTEE
Bahareh Afshari (University of Amsterdam & University of Gothenburg)
Luis Aguilar Suarez (Amsterdam University College)
Benno van der Berg (University of Amsterdam)
Andrea De Domenico (Vrije Universiteit Amsterdam)
Tamara Dobler (Amsterdam University College)
Lorenzo Galeotti (Amsterdam University College — chair)
Yurii Khomskii (Amsterdam University College)
Mattia Panettiere (Vrije Universiteit Amsterdam)
Benjamin Rin (Universiteit Utrecht)

CIE2023: Final Call For Papers


CiE 2023: FINAL CALL FOR PAPERS

Computability in Europe 2023

Unity of Logic and Computation

Batumi, Georgia
July 24-28, 2023
https://www.viam.science.tsu.ge/cie2023/

Submission link: https://easychair.org/conferences/?conf=cie2023

IMPORTANT DATES:

  • Deadline for article submission: February 15, 2023 (AOE)
  • Notification of acceptance: April 20, 2023
  • Final versions due: May 1, 2023
  • Deadline for informal presentations submission: June 8, 2023 (The notifications of acceptance for informal presentations will be sent a few days after submission.)
  • Early registration before: June 10, 2023.

GENERAL INFORMATION

CiE 2023 is the 19th conference organized by CiE (Computability in Europe), 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), and Swansea (2022).

TUTORIAL SPEAKERS

  • Ludovic Perret (Sorbonne University)
  • Ludovic Patey (UniversitĂ© Paris Diderot)

INVITED SPEAKERS

  • Andrei Bulatov (Simon Fraser University)
  • Anne Condon (University of British Columbia)
  • Stephanie Dick (University of Pennsylvania)
  • Kirsten EisentrĂ€ger (Pennsylvania State University)
  • Neil Lutz (Iowa State University)
  • Mark Steedman (University of Edinburgh)

SPECIAL SESSIONS

We are going to have 6 special sessions.
The topics of the special sessions will be announced soon.

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 and inclusion in the proceedings of CiE 2023 at https://easychair.org/conferences/?conf=cie2023

CONFERENCE PROCEEDINGS

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. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.

Papers to be considered in the conferences proceedings must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and 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 submitted via EasyChair (https://easychair.org/conferences/?conf=cie2023), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and 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 2023 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

PROGRAM COMMITTEE

Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of:

  • Nikolay Bazhenov (Novosibirsk State University)
  • Manuel Bodirsky (TU Dresden)
  • Vasco Brattka (Munich)
  • Liesbeth De Mol (University of Lille)
  • Gianluca Della Vedova (University of Milano-Bicocca, co-chair)
  • Besik Dundua (Kutaisi Intl University)
  • Giudittta Franco (University of Verona)
  • Juan Luis Gastaldi (ETH Zurich)
  • Thomas Graf (Stony Brook University)
  • Delaram Kahrobaei (CUNY)
  • Ekaterina Komendantskaya (Heriot-Watt University Edinburgh)
  • Angeliki Koutsoukou-Argyraki (Cambridge University)
  • Steffen Lempp (University of Wisconsin-Madison, co-chair)
  • Florin Manea (Goettingen University)
  • Klaus Meer (University Cottbus)
  • Isabel Oitavem (Nova University Lisbon)
  • Roland Omanadze (Ivane Javakhishvili Tbilisi State University)
  • Daniel Paulusma (Durham University)
  • Elaine Pimentel (University College London)
  • Markus Schmid (Humboldt University Berlin)
  • Shinnosuke Seki (University Electro Comm Tokyo)
  • Sebastiaan Terwijn (Radboud University Nijmegen)
  • Dan Turetsky (Victoria University Wellington)
  • Linda Westrick (Pennsylvania State 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 2023. Applications for this grant should be sent to Liesbeth de Mol, liesbeth.de-mol@univ-lille.fr, before May 15, 2023 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 2023.

Association CiE

CiE Conference Series

HOSTED BY

Batumi Shota Rustaveli State University
Rustaveli str. 32, Batumi,

We are grateful for support from Batumi Shota Rustaveli State University and Institute of Applied Mathematics, Tbilisi State University.

ORGANIZING COMMITTEE

  • Davit Begashvili (Kutaisi International University)
  • Mikheil Donadze (Batumi Shota Rustaveli State University)
  • Besik Dundua (chair, Kutaisi International University and Institute of Applied Mathematics, Tbilisi State University)
  • Tsotne Mikadze (Kutaisi International University)
  • Mikheil Rukhaia (co-chair, Institute of Applied Mathematics, Tbilisi State University)
  • Lela Turmanidze (Batumi Shota Rustaveli State University)

CIE2023: First Call For Papers


Computability in Europe 2023

Batumi, Georgia
July 24-28, 2023
https://www.viam.science.tsu.ge/cie2023/

Submission link: https://easychair.org/conferences/?conf=cie2023

IMPORTANT DATES:

  • Deadline for article registration (abstract submission):  February 8, 2023 (AOE)
  • Deadline for article submission: February 15, 2023 (AOE)
  • Notification of acceptance: April 20, 2023
  • Final versions due: May 1, 2023
  • Deadline for informal presentations submission: June 8, 2023 (The notifications of acceptance for informal presentations will be sent a few days after submission.)
  • Early registration before: June 10, 2023.

GENERAL INFORMATION

CiE 2023 is the 19th conference organized by CiE (Computability in Europe), 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), and Swansea (2022).

TUTORIAL SPEAKERS

  • Ludovic Perret (Sorbonne University)
  • Ludovic Patey (UniversitĂ© Paris Diderot)

INVITED SPEAKERS

  • Andrei Bulatov (Simon Fraser University)
  • Anne Condon (University of British Columbia)
  • Stephanie Dick (University of Pennsylvania)
  • Kirsten EisentrĂ€ger (Pennsylvania State University)
  • Neil Lutz (Iowa State University)
  • Mark Steedman (University of Edinburgh)

SPECIAL SESSIONS

We are going to have 6 special sessions.
The topics of the special sessions will be announced soon.

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 and inclusion in the proceedings of CiE 2023 at https://easychair.org/conferences/?conf=cie2023

CONFERENCE PROCEEDINGS

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. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.

Papers to be considered in the conferences proceedings must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and 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 submitted via EasyChair (https://easychair.org/conferences/?conf=cie2023), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and 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 2023 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

PROGRAM COMMITTEE

Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of:

  • Nikolay Bazhenov (Novosibirsk State University)
  • Manuel Bodirsky (TU Dresden)
  • Vasco Brattka (Munich)
  • Liesbeth De Mol (University of Lille)
  • Gianluca Della Vedova (University of Milano-Bicocca, co-chair)
  • Besik Dundua (Kutaisi Intl University)
  • Giudittta Franco (University of Verona)
  • Juan Luis Gastaldi (ETH Zurich)
  • Thomas Graf (Stony Brook University)
  • Delaram Kahrobaei (CUNY)
  • Ekaterina Komendantskaya (Heriot-Watt University Edinburgh)
  • Angeliki Koutsoukou-Argyraki (Cambridge University)
  • Steffen Lempp (University of Wisconsin-Madison, co-chair)
  • Florin Manea (Goettingen University)
  • Klaus Meer (University Cottbus)
  • Isabel Oitavem (Nova University Lisbon)
  • Roland Omanadze (Ivane Javakhishvili Tbilisi State University)
  • Daniel Paulusma (Durham University)
  • Elaine Pimentel (University College London)
  • Markus Schmid (Humboldt University Berlin)
  • Shinnosuke Seki (University Electro Comm Tokyo)
  • Sebastiaan Terwijn (Radboud University Nijmegen)
  • Dan Turetsky (Victoria University Wellington)
  • Linda Westrick (Pennsylvania State 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 2023. Applications for this grant should be sent to Liesbeth de Mol, liesbeth.de-mol@univ-lille.fr, before May 15, 2023 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 2023.

Association CiE

CiE Conference Series

HOSTED BY

Batumi Shota Rustaveli State University
Rustaveli str. 32, Batumi, Georgia

We are grateful for support from Batumi Shota Rustaveli State University and Institute of Applied Mathematics, Tbilisi State University.

ORGANIZING COMMITTEE

  • Davit Begashvili (Kutaisi International University)
  • Mikheil Donadze (Batumi Shota Rustaveli State University)
  • Besik Dundua (chair, Kutaisi International University and Institute of Applied Mathematics, Tbilisi State University)
  • Tsotne Mikadze (Kutaisi International University)
  • Mikheil Rukhaia (co-chair, Institute of Applied Mathematics, Tbilisi State University)
  • Lela Turmanidze (Batumi Shota Rustaveli State University)

Call for Nominations for 2023 S. Barry Cooper Prize

====================
S. Barry Cooper Prize
====================


The S. Barry Cooper Prize is awarded to a researcher who has contributed to a broad understanding and foundational study of computability by outstanding results, by seminal and lasting theory building, by exceptional service to the research communities involved, or by a combination of these. This award is presented every two to three years, with the presentation taking place at the International Conference Computability in Europe (CiE).

The Prize is named in honor of S. Barry Cooper, the founding President of the Association Computability, in recognition of his vision of the fundamental concept of computability that brought together several different research communities. The awardee shall be invited to the next annual CiE conference to give an invited talk and will be presented with an award plaque on this occasion.


======================
Nominations and Eligibility
======================

Nominations may be made by any member of the scientific community and any such member can be nominated. Nomination letters can have multiple signatories and should provide a motivation for awarding the prize to the nominee, precisely stating their outstanding results, their seminal and lasting theory building, and/or their exceptional service to the research communities involved.

Nominations for the award should be submitted by email to the Award Committee Chair

Anuj Dawar (University of Cambridge)
anuj.dawar@cl.cam.ac.uk

Any emails and related messages should have the subject line starting with “S. Barry Cooper Prize 2023”.

To be considered, nominations for the 2023 Prize must be received by 31 January, 2023.

A nomination package should include:

1. A statement of motivation for awarding the prize to the nominee describing the nominee’s outstanding results, their seminal and lasting theory building and/or exceptional service to the research communities, as the case may be. These should be supported by at least one of

– A list of the most important publications, accompanied by a brief summary of the technical content of the papers and a brief explanation of their significance. Where possible, this should include pointers to online versions of the publications.

– A statement explaining the role played and the exceptional services rendered by the nominee, in the research communities involved in computability and related areas.

2. A support letter or letters signed by at least two members of the scientific community. The nomination package must be in English, but it may include reference to publications in other languages.

===================
Selection Process
===================

The Award Committee is solely responsible for the selection of the winner of the award. All matters relating to the selection process that are not specified here are left to the discretion of the Award Committee, whose decision will be final.

CiE 2022 Call for Informal Presentations

Computability in Europe 2022: Revolutions and revelations in computability

**CiE 2022 is planned as an on-site conference with online elements**

Swansea, Wales, United Kingdom
July 11-15, 2022
https://cs.swansea.ac.uk/cie2022/

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 submitted via EasyChair (https://easychair.org/conferences
/?conf=cie2022
), using the LNCS style file (available at https://
www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
),
and 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 2022
may appear or may have appeared in other conferences with formal proceedings
and/or in journals. The deadline for the submission of abstracts for informal
presentations is May 10, 2022. The notifications of acceptance for informal
presentations will be sent a few days after submission.

For questions, please contact the organisers at cie2022swansea@gmail.com.

Statement on the war in Ukraine

The Association Computability in Europe, its Council and Executive Committee, express great sorrow and concern for the war in Ukraine and the attack on the freedom and peace of its population.

ACiE supports the values of peaceful and harmonious coexistence of people building towards universal scientific knowledge. To this aim, we believe that geopolitical divergences among nations should uniquely be resolved through the legitimate means of international diplomacy and that the violent invasion of a sovereign nation and its consequences on the population are never acceptable.

We join the expression of concern of several other academic and scientific institutions around the world for the suffering imposed on the Ukrainian population. We also support those Russian citizens and members of the scientific community who are opposing the military aggression pursued by their own country.

ACiE will remain active in supporting its members directly affected in their personal and professional lives and in guaranteeing that principles of peace, diversity and rational agreement will always be at the basis of its own scientific endeavours.

CIE2022: First Call For Papers


===============================
CiE 2022: FIRST CALL FOR PAPERS
===============================

Computability in Europe 2022: Revolutions and revelations in computability

Swansea, Wales, United Kingdom
July 11-15, 2022
https://cs.swansea.ac.uk/cie2022/

Submission link: https://easychair.org/conferences/?conf=cie2022

IMPORTANT DATES:
================
Deadline for article registration (abstract submission):  January 14, 2022 (AOE)
Deadline for article submission: January 28, 2022 (AOE)
Notification of acceptance: April 11, 2022
Final versions due: April 25, 2022

Deadline for informal presentations submission: May 1, 2022
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: May 15, 2022.

CiE 2022 is the 18th conference organized by CiE (Computability in Europe), 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), and Ghent (2021, virtually).

TUTORIAL SPEAKERS:
==================
– Noam Greenberg (Victoria University of Wellington)
– Karoliina Lehtinen (LIS, Aix-Marseille University)


INVITED SPEAKERS:
=================
– Erika Ábrahám (RWTH Aachen University)
– Thierry Coquand (University of Gothenburg)
– Liesbeth de Mol (UniversitĂ© de Lille)
– Damir Dzhafarov (University of Connecticut)
– Harvey Friedman (The Ohio State University)
– Svetlana Selivanova (Korea Advanced Institute of Science and Technology – KAIST)


SPECIAL SESSIONS:
=================
– At the intersection of computability and other areas of mathematics, organised by Denis Hirschfeldt (University of Chicago) and Karen Lange (Wellesley College)

– Computability theory of blockchain technology, organised by Arnold Beckmann (Swansea University) and Anton Setzer (Swansea University)

– Computing Language: Love Letters, Large Models and NLP, organised by Liesbeth de Mol (UniversitĂ© de Lille) and Giuseppe Primiero (University of Milan) for the Council of the HaPoC Commission

– Computing with bio-molecules, organised by JĂ©rĂŽme Durand-Lose (UniversitĂ© d’Orleans) and Claudio Zandron (University of Milan Bicocca)

– Constructive and reverse mathematics, organised by Samuele Maschio (Universita di Padova) and Takako Nemoto (Japan Advanced Institute of Science and Technology – JAIST)

– Reachability problems, organised by Paul Bell (Loughborough University) and Igor Potapov (University of Liverpool)

The speakers of the special sessions will be announced soon.

CONTRIBUTED PAPERS:
===================

Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of:

Marcella Anselmo (University of Salerno)
VerĂłnica Becher (University of Buenos Aires)
Ulrich Berger (Swansea University, co-chair)
Katie Brodhead (Florida State University)
Laura Crosilla (University of Oslo)
Joel Day (Loughborough University)
Gianluca Della Vedova (University of Milan)
Leah Epstein (University of Haifa)
Maribel Fernandez (King’s College London)
Ekaterina Fokina (TU Wien)
Johanna Franklin (Hofstra University, co-chair)
Lorenzo Galeotti (Amsterdam University College)
Sandra Kiefer (RWTH Aachen University)
Susana Ladra (University of Coruna)
Maria Emilia Maietti (University of Padova)
Florin Manea (University of Goettingen)
Klaus Meer (Brandenburg University of Technology Cottbus)
Dale Miller (LIX Polytechnique)
Russell Miller (Queens College CUNY)
Arno Pauly (Swansea University)
Nadia Pisanti (University of Pisa)
Solon Pissis (CWI Amsterdam)
Giuseppe Primiero (University of Milan)
Ramyaa Ramyaa (New Mexico Tech)
Monika Seisenberger (Swansea University)
Anton Setzer (Swansea University)
Alexandra Shlapentokh (East Carolina University)
Reed Solomon (University of Connecticut)
Mariya Soskova (University of Wisconsin–Madison)
Peter Van Emde Boas (University of Amsterdam)
Andreas Weiermann (Ghent University)
Andreas Wichert (University of Lisbon)

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.


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 and inclusion in the proceedings of CiE 2022 at
https://easychair.org/conferences/?conf=cie2022

Papers must be submitted in PDF format, using the LNCS style (available at
https://www.springer.com/gp/computer-science/lncs/
conference-proceedings-guidelines
) and 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.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag.


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 submitted via EasyChair (https://easychair.org/conferences/?conf=cie2022), using the LNCS style file (available at https://
www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
),
and 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 2022 may appear or may have appeared in other conferences with formal proceedings and/or in journals. The deadline for the submission of abstracts for informal presentations is May 1, 2022.


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 2022. Applications for this grant should be sent to Liesbeth de Mol, liesbeth.demol@univ-lille3.fr, before May 15, 2022 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 2022.


Association CiE:
https://www.acie.eu/

CiE Conference Series:
https://www.acie.eu/cie-conference-series/


HOSTED BY:
==========

School of Mathematics and Computer Science
at the Computational Foundry,
Bay Campus, Swansea University,
Crymlyn Burrows, Skewen,
Swansea SA1 8EN, United Kingdom

This conference is in cooperation with the Association for Women in Mathematics
and supports the Welcoming Environment Statement. We are grateful for support
from the Institute for Coding in Wales.


ORGANIZING COMMITTEE:
======================

Troy Astarte (Swansea University)
Arnold Beckmann (Swansea University)
Ulrich Berger (Swansea University)
Tonicha Crook (Swansea University)
Faron Moller (Swansea University)
Bertie Mueller (Swansea University)
Eike Neumann (Swansea University)
Arno Pauly (Swansea University, chair)
Olga Petrovska (Swansea University)
Pierre Pradic (Swansea University)
Markus Roggenbach (Swansea University)
Monika Seisenberger (Swansea University)
Anton Setzer (Swansea University)
John Tucker (Swansea University)

For questions, please contact the organisers at cie2022swansea@gmail.com

CiE 2021 Call for Participation

CiE 2021: Connecting with computability

5 – 9 July 2021
website: www.CiE2021.ugent.be

**Due to the current pandemic CiE 2021 will be held as a virtual conference.**

Registration now open

CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association CiE, please have a look at: https://www.acie.eu/.

CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University.


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) and virtually in Salerno (2020)

REGISTRATION:

CiE 2021 will be hosted virtually. In order to enhance the social dimension of the conference we will be using gather.town with Zoom integrated. In order to register for CiE 2021, please go to:

Registration is free but required.

PLENARY SPEAKERS

Laura Crosilla (University of Oslo, Norway)
Markus Lohrey (UniversitÀt Siegen. Germany)
Russell Miller (tutorial speaker, CUNY, US)
Joan Rand Moschovakis (Occidental College, emerita)
Joël Ouaknine (Max Planck Institute for software systems, Germany)
Christine Tasson (tutorial speaker, Université Paris Diderot, France)
Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan)
Henry Yuen (University of Toronto, Canada)

SPECIAL SESSIONS

Church’s thesis in constructive mathematics (HaPoC session)
Marianna Antonutti-Marfori (Ludwig-Maximilians-UniversitĂ€t MĂŒnchen, Germany) and Alberto Naibo (UniversitĂ© Paris 1 PanthĂ©on-Sorbonne)

Classical Computability theory: Open problems and solutions
Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin)

Computational geometry
Maike Buchin (Ruhr-UniversitÀt Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands)

Computational Pangenomics
Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands)

Proof theory and computation
David FernĂĄndez Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium)

Quantum computation and information
Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium)

WOMEN IN COMPUTABILITY

The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/

ORGANIZED BY:

Department of Mathematics WE16, Ghent University

Organizing Committee:

David FernĂĄndez-Duque, chair (Ghent University)
Juan Pablo Aguilera (Ghent University)
David Belanger (Ghent University)
Ana Borges (University of Barcelona)
Liesbeth De Mol (University of Lille)
Andreas Debrouwere (Ghent University)
Lorenz Demey (Catholic University of Leuven)
Eduardo Hermo-Reyes (University of Barcelona)
Christian Michaux (University of Mons)
Fedor Pakhomov (Ghent University)
Pawel Pawlowski (Ghent University)
Frederik Van De Putte (Ghent University)
Peter Verdée (Catholic University of Louvain)
Andreas Weiermann (Ghent University)

PROGRAMME COMMITTEE

Marianna Antonutti Marfori (Ludwig Maximilian University of Munich)

Nathalie Aubrun (CNRS, Université Paris-Saclay)

Christel Baier (TU Dresden)

Nikolay Bazhenov (Sobolev Institute of Mathematics)

Marie-Pierre Béal (Université Paris-Est)

Arnold Beckmann (Swansea University)

David BĂ©langer (Ghent University)

Joel Day (Loughborough University)

Liesbeth De Mol (CNRS, Université de Lille, PC co-chair)

Carola Doerr (Sorbonne University, CNRS)

JĂ©rĂŽme Durand-Lose (UniversitĂ© d’OrlĂ©ans)

David FernĂĄndez-Duque (Ghent University)

Zuzana HanikovĂĄ (Academy of Sciences of the Czech Republic)

Mathieu Hoyrup (LORIA)

Assia Mahboubi (INRIA)

Florin Manea (University of Göttingen)

IrÚne Marcovici (Université de Lorraine)

Klaus Meer (BTU Cottbus-Senftenberg)

Ludovic Patey (Institut Camille Jordan)

Cinzia Pizzi (University of Padova)

Giuseppe Primiero (University of Milan)

Simona Ronchi Della Rocca (UniversitĂ  di Torino)

Paul Shafer (University of Leeds)

Svetlana Selivanova (KAIST)

Monika Seisenberger (Swansea University)

Alexander Shen (CNRS & Univ. Montpellier 2)

Alexandra Soskova (Sofia University)

Mariya Soskova (University of Wisconsin-Madison)

Frank Stephan (National University of Singapore)

Peter Van Emde Boas (Universiteit van Amsterdam)

Sergey Verlan (UniversitĂ© Paris Est – CrĂ©teil Val de Marne)

Andreas Weiermann (Ghent University, PC co-chair)

Damien Woods (Maynooth University)

CiE2021: Call for Informal Presentations

================================
CALL FOR INFORMAL PRESENTATIONS
========================= =======

CiE 2021: Connecting with computability
5 – 9 July 2021
website: www.CiE2021.ugent.be
**Due to the current pandemic CiE 2021 will be held as a virtual conference.**

CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a  strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association  CiE, please have a look at: https://www.acie.eu/.

CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University.

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) and virtually in Salerno (2020)

INFORMAL PRESENTATIONS:
=========================
Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2021 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress.  The Programme Committee cordially invites all researchers (European and non-European) to submit their abstract for informal presentations. The abstract will be posted on the CiE 2021 website.

The deadline for the submission of abstracts for informal presentations is May 15, 2021. Informal presentations should be at most one page long and sent in .pdf format. Authors should submit their abstracts electronically using EasyChair:

https://easychair.org/conferences/?conf=cie2021

Notification can be expected a few days after the submission deadline

REGISTRATION:
=============
Registration for CiE 2021 will be free. The registration website will open soon


PLENARY SPEAKERS
=========================
Laura Crosilla (University of Oslo, Norway)
Markus Lohrey (UniversitÀt Siegen. Germany)
Russell Miller (tutorial speaker, CUNY, US)
Joan Rand Moschovakis (Occidental College, emerita)
Joël Ouaknine (Max Planck Institute for software systems, Germany)
Christine Tasson (tutorial speaker, Université Paris Diderot, France)
Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan)
Henry Yuen (University of Toronto, Canada)


SPECIAL SESSIONS
=========================

/Church’s thesis in constructive mathematics (HaPoC session)/
Marianna Antonutti-Marfori (Ludwig-Maximilians-UniversitĂ€t MĂŒnchen, Germany) and Alberto Naibo (UniversitĂ© Paris 1 PanthĂ©on-Sorbonne)

/Classical Computability theory: Open problems and solutions/
Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin)

/Computational geometry/
Maike Buchin (Ruhr-UniversitÀt Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands)

/Computational Pangenomics/
Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands)

/Proof theory and computation/
David FernĂĄndez Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium)

/Quantum computation and information/
Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium)


WOMEN IN COMPUTABILITY
=========================
The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/


ORGANIZED BY:
=========================
Department of Mathematics WE16, Ghent University
Organizing Committee:

David FernĂĄndez-Duque, chair (Ghent University)
Juan Pablo Aguilera (Ghent University)
David Belanger (Ghent University)
Ana Borges (University of Barcelona)
Liesbeth De Mol (University of Lille)
Andreas Debrouwere (Ghent University)
Lorenz Demey (Catholic University of Leuven)
Eduardo Hermo-Reyes (University of Barcelona)
Christian Michaux (University of Mons)
Fedor Pakhomov (Ghent University)
Pawel Pawlowski (Ghent University)
Frederik Van De Putte (Ghent University)
Peter Verdée (Catholic University of Louvain)
Andreas Weiermann (Ghent University)


PROGRAMME COMMITTEE
=========================
Marianna Antonutti Marfori (Ludwig Maximilian University of Munich)
Nathalie Aubrun (CNRS, Université Paris-Saclay)
Christel Baier (TU Dresden)
Nikolay Bazhenov (Sobolev Institute of Mathematics)
Marie-Pierre Béal (Université Paris-Est)
Arnold Beckmann (Swansea University)
David BĂ©langer (Ghent University)
Joel Day (Loughborough University)
Liesbeth De Mol (CNRS, Université de Lille, PC co-chair)
Carola Doerr (Sorbonne University, CNRS)
JĂ©rĂŽme Durand-Lose (UniversitĂ© d’OrlĂ©ans)
David FernĂĄndez-Duque (Ghent University)
Zuzana HanikovĂĄ (Academy of Sciences of the Czech Republic)
Mathieu Hoyrup (LORIA)
Assia Mahboubi (INRIA)
Florin Manea (University of Göttingen)
IrÚne Marcovici (Université de Lorraine)
Klaus Meer (BTU Cottbus-Senftenberg)
Ludovic Patey (Institut Camille Jordan)
Cinzia Pizzi (University of Padova)
Giuseppe Primiero (University of Milan)
Simona Ronchi Della Rocca (UniversitĂ  di Torino)
Paul Shafer (University of Leeds)
Svetlana Selivanova (KAIST)
Monika Seisenberger (Swansea University)
Alexander Shen (CNRS & Univ. Montpellier 2)
Alexandra Soskova (Sofia University)
Mariya Soskova (University of Wisconsin-Madison)
Frank Stephan (National University of Singapore)
Peter Van Emde Boas (Universiteit van Amsterdam)
Sergey Verlan (UniversitĂ© Paris Est – CrĂ©teil Val de Marne)
Andreas Weiermann (Ghent University, PC co-chair)
Damien Woods (Maynooth University)