Computability in Europe CiE 2026: 2nd Call for Papers
[email protected] Tue, 13 Jan 2026 08:38:31 +0100
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <[email protected]> |
--===============0003954448865355418== Content-Type: multipart/alternative; boundary="=_bea7e8e9d6ef74afb28dae8df5e59a66" --=_bea7e8e9d6ef74afb28dae8df5e59a66 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed Computability in Europe (CiE) is a conference series interfacing informatics and mathematics. For more information on this conference series, look here [1]. The 21st edition of CiE will take place at Trier University, July 27.-31., 2026. CiE 2026 will be chaired by Henning Fernau and Vasco Brattka (Munich). What to put into your calendar: * Abstract deadline: January 29th, 2026, submissions are possible via Easychair [2]. * Full Paper deadline: February 3rd, 2026. We expect submissions up to 15 pages in LNCS format, including "everything" apart from a possible appendix (read at the discretion of the PC); alternatively, include a link to an ArXiv version. * Notification: April 27th, 2026 * Deadline for final papers: May 4th, 2026 * Deadline for submission of informal presentations (not to appear in the proceedings): May 15th, 2026 * Notification on informal presentations: June 1st, 2026 CiE 2026 will be colocated with other conferences and workshops: * MCU 2026 [3]: Machines, Computability, Universality, * CCA 2026 [4]: Computability and Complexity in Analysis, * GSW 2026: [5] Grammar Systems Workshop Special Sessions of CiE 2026: (Organizers in parentheses) * Learning Theory Meets Computability Theory (Cameron Freer & Sandra Zilles) * Groups and Computability (Laura Ciobanu & André Nies) * At the Borderline of Universality (Erzsebet Csuhaj-Várju & Serghei Verlan) * Natural Computation and Bioinformatics (Karel Brinda & Giuditta Franco) * Quantum Computing and Information (Mika Hirvensalo) * HaPoC: History and Philosophy of Computation (Hajo Greif) Confirmed Invited Speakers (more names will be added soon): * Olivier Bournez (Paris, France) [Tutorial Speaker] * Georg Zetzsche (Kaiserslautern, Germany) [Tutorial Speaker] * Albert Atserias (Barcelona, Spain) * Johanna Franklin (Hempstead, NY, USA) * Mathieu Hoyrup (Nancy, France) * Luca San Mauro (Bari, Italy) * Francesca Zaffora Blando (Pittsburgh, USA) Program Committee of CiE 2026: * Nate Ackerman, Harvard University, USA * Verónica Becher, Universidad de Buenos Aires, Argentina * Paola Bonizzoni,Università di Milano-Bicocca, Italy * Olivier Bournez, Institut Polytechnique de Paris, Ècole Polytechnique, Palaiseau, France * Vasco Brattka (PC co-chair), Universität der Bundeswehr Munich, Germany * Rod Downey, Victoria University of Wellington, New Zealand * Damir D. Dzhafarov, University of Connecticut, USA * Henning Fernau (PC co-chair), Trier University, Germany * Gilda Ferreira, Universidade Aberta, Portugal * Lorenzo Galeotti (SC chair), University of Amsterdam, The Netherlands * Daniel Graça, University of Algarve, Portugal * Gabriel Istrate, University of Bucharest, Romania * Jarkko Kari, University of Turku, Finland * Lila Kari, University of Waterloo, Canada * Akitoshi Kawamura,Kyoto University, Japan * Takayuki Kihara, Nagoya University, Japan * Florin Manea, University of Göttingen, Germany * Alberto Marcone, Università di Udine, Italy * Elvira Mayordomo, Universidad de Zaragoza, Spain * Wolfgang Merkle, Universität Heidelberg, Germany * Cécilia Pradic, Swansea University, UK * Giuseppe Primero, University of Milan, Italy * Paul Shafer, University of Leeds, UK * Tomasz Steifer, Polish Academy of Sciences * Frank Stephan, National University of Singapore * Manlio Valenti, Swansea University, UK * Serghei Verlan, University Paris Est Créteil, LACL, France * Andreas Weiermann, Ghent University, Belgium * Tomoyuki Yamakami, Fukui University, Japan List of Topics of CiE 2026 (non-exclusive): * Algorithmic Information Theory * Algorithmic Learning Theory * Algorithmic Measure Theory * Algorithmic Randomness * Analog Computation Models * Automata Theory * Biocomputing * Category Theory * Complexity Theory * Complex Systems * Computability * Computable Analysis * Computational Biology * Decidability * Descriptive Set Theory * Formal Languages * History of Computing * Mathematical Logic * Natural Computing * Philosophy of Computation * Proof Theory * Quantum Computation * Recursion Theory * Reverse Mathematics Links: ------ [1] https://www.acie.eu/cie-conference-series/ [2] https://easychair.org/conferences?conf=cie2026 [3] http://www.mcu-2026.uni-trier.de [4] https://cca-net.de/cca2026/ [5] https://www.uni-trier.de/en/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/research/conferences-and-workshops/translate-to-englisch-grammar-systems-2026#c471021 --=_bea7e8e9d6ef74afb28dae8df5e59a66 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset= =3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen= eva,sans-serif'> <div style=3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;"> <div id=3D"v1message-htmlpart1" class=3D"v1rcmBody" style=3D"font-size: 10p= t; font-family: Verdana,Geneva,sans-serif;"> <div style=3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;"> <div style=3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;"> <div id=3D"v1v1v1message-htmlpart1" class=3D"v1v1v1rcmBody" style=3D"font-s= ize: 10pt; font-family: Verdana,Geneva,sans-serif;"> <div style=3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;"> <div id=3D"v1v1v1v1v1message-htmlpart1" class=3D"v1v1v1v1v1rcmBody" style= =3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;"> <p><strong>Computability in Europe</strong> (CiE) is a conference seri= es interfacing informatics and mathematics. For more information = on this conference series, look <a title=3D"Konferenzreihe Computabili= ty in Europe" href=3D"https://www.acie.eu/cie-conference-series/" target=3D= "_blank" rel=3D"noopener noreferrer">here</a>. The 21st edition of&nbs= p;CiE will take place at Trier University, July 27.-31., 2026. CiE 202= 6 will be chaired by Henning Fernau and Vasco Brattka (Munich).</p> <p>What to put into your<strong> calendar</strong>:</p> <ul> <li>Abstract deadline: January 29th, 2026, submissions are possible via <a = title=3D"CiE Easychair link" href=3D"https://easychair.org/conferences?conf= =3Dcie2026" target=3D"_blank" rel=3D"noopener noreferrer">Easychair</a>.</l= i> <li>Full Paper deadline: February 3rd, 2026. We expect submissions up = to 15 pages in LNCS format, including “everything” apart from a= possible appendix (read at the discretion of the PC); alternatively, inclu= de a link to an ArXiv version.</li> <li>Notification: April 27th, 2026</li> <li>Deadline for final papers: May 4th, 2026</li> <li>Deadline for submission of informal presentations (not to appear in the= proceedings): May 15th, 2026</li> <li>Notification on informal presentations: June 1st, 2026</li> </ul> <p>CiE 2026 will be <strong>colocated with other conferences</strong> and w= orkshops:</p> <ul> <li><a href=3D"http://www.mcu-2026.uni-trier.de" target=3D"_blank" rel=3D"n= oopener noreferrer">MCU 2026</a>: Machines, Computability, Universality,</l= i> <li><a href=3D"https://cca-net.de/cca2026/" target=3D"_blank" rel=3D"noopen= er noreferrer">CCA 2026</a>: Computability and Complexity in Analysis,= </li> <li><a href=3D"https://www.uni-trier.de/en/universitaet/fachbereiche-faeche= r/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-= informatik/research/conferences-and-workshops/translate-to-englisch-grammar= -systems-2026#c471021" target=3D"_blank" rel=3D"noopener noreferrer">GSW 20= 26:</a> Grammar Systems Workshop</li> </ul> <p><strong>Special Sessions of CiE 2026: </strong>(Organizers in parenthese= s)</p> <ul> <li>Learning Theory Meets Computability Theory (Cameron Freer & Sandra = Zilles)</li> <li>Groups and Computability (Laura Ciobanu & André Nies)</li> <li>At the Borderline of Universality (Erzsebet Csuhaj-Várju & S= erghei Verlan)</li> <li>Natural Computation and Bioinformatics (Karel Brinda & Giuditta Fra= nco)</li> <li>Quantum Computing and Information (Mika Hirvensalo)</li> <li>HaPoC: History and Philosophy of Computation (Hajo Greif)</li> </ul> <p><strong>Confirmed Invited Speakers</strong> (more names will be added so= on)<strong>:</strong></p> <ul> <li>Olivier Bournez (Paris, France) [Tutorial Speaker]</li> <li>Georg Zetzsche (Kaiserslautern, Germany) [Tutorial Speaker]</li> <li>Albert Atserias (Barcelona, Spain)</li> <li>Johanna Franklin (Hempstead, NY, USA)</li> <li>Mathieu Hoyrup (Nancy, France)</li> <li>Luca San Mauro (Bari, Italy)</li> <li>Francesca Zaffora Blando (Pittsburgh, USA)</li> </ul> <p><strong>Program Committee of CiE 2026:</strong></p> <ul> <li>Nate Ackerman, Harvard University, USA</li> <li>Verónica Becher, Universidad de Buenos Aires, Argentina</li> <li>Paola Bonizzoni,Università di Milano-Bicocca, Italy</li> <li>Olivier Bournez, Institut Polytechnique de Paris, Ècole Polytech= nique, Palaiseau, France</li> <li>Vasco Brattka (PC co-chair), Universität der Bundeswehr Munich, Ge= rmany</li> <li>Rod Downey, Victoria University of Wellington, New Zealand</li> <li>Damir D. Dzhafarov, University of Connecticut, USA</li> <li>Henning Fernau (PC co-chair), Trier University, Germany</li> <li>Gilda Ferreira, Universidade Aberta, Portugal</li> <li>Lorenzo Galeotti (SC chair), University of Amsterdam, The Netherlands</= li> <li>Daniel Graça, University of Algarve, Portugal</li> <li>Gabriel Istrate, University of Bucharest, Romania</li> <li>Jarkko Kari, University of Turku, Finland</li> <li>Lila Kari, University of Waterloo, Canada</li> <li>Akitoshi Kawamura,Kyoto University, Japan</li> <li>Takayuki Kihara, Nagoya University, Japan</li> <li>Florin Manea, University of Göttingen, Germany</li> <li>Alberto Marcone, Università di Udine, Italy</li> <li>Elvira Mayordomo, Universidad de Zaragoza, Spain</li> <li>Wolfgang Merkle, Universität Heidelberg, Germany</li> <li>Cécilia Pradic, Swansea University, UK</li> <li>Giuseppe Primero, University of Milan, Italy</li> <li>Paul Shafer, University of Leeds, UK</li> <li>Tomasz Steifer, Polish Academy of Sciences</li> <li>Frank Stephan, National University of Singapore</li> <li>Manlio Valenti, Swansea University, UK</li> <li>Serghei Verlan, University Paris Est Créteil, LACL, France</li> <li>Andreas Weiermann, Ghent University, Belgium</li> <li>Tomoyuki Yamakami, Fukui University, Japan</li> </ul> <p><strong>List of Topics of CiE 2026 (non-exclusive):</strong></p> <ul> <li>Algorithmic Information Theory</li> <li>Algorithmic Learning Theory</li> <li>Algorithmic Measure Theory</li> <li>Algorithmic Randomness</li> <li>Analog Computation Models</li> <li>Automata Theory</li> <li>Biocomputing</li> <li>Category Theory</li> <li>Complexity Theory</li> <li>Complex Systems</li> <li>Computability</li> <li>Computable Analysis</li> <li>Computational Biology</li> <li>Decidability</li> <li>Descriptive Set Theory</li> <li>Formal Languages</li> <li>History of Computing</li> <li>Mathematical Logic</li> <li>Natural Computing</li> <li>Philosophy of Computation</li> <li>Proof Theory</li> <li>Quantum Computation</li> <li>Recursion Theory</li> <li>Reverse Mathematics</li> </ul> </div> </div> </div> </div> </div> </div> </div> </body></html> --=_bea7e8e9d6ef74afb28dae8df5e59a66-- --===============0003954448865355418== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Agda mailing list [email protected] https://lists.chalmers.se/mailman/listinfo/agda --===============0003954448865355418==--