CiE 2026: 2nd round of submissions CfP
[email protected] Sat, 21 Feb 2026 18:20:01 +0100
| Newsgroups | gmane.comp.lang.caml.inria,gmane.comp.lang.agda,gmane.science.mathematics.discrete,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
--=_77a59df2e8f43068869f8e078135e5f3 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed ------------------------ CiE 2026: 2nd round of submissions CfP ----------------------- Due to various requests, we will have a second round of paper submissions. Deadline: March 15th, 2026. The Easychair server will open again on March 10th, 2026. What is the difference between 1st and 2nd round submissions? While 1st-round submissions will be often forwarded to subreviewers, papers submitted in the 2nd round will be only reviewed by PC members. All papers will be notified at the same time. Please check out our webpage www.cie-2026.uni-trier.de [1] for further updated information. PROGRAM COMMITTEE OF CIE 2026 * Verónica Becher, Universidad de Buenos Aires, Argentina * Paola Bonizzoni,Università di Milano-Bicocca, Italy * 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 * 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] http://www.cie-2026.uni-trier.de --=_77a59df2e8f43068869f8e078135e5f3 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'> <p>------------------------</p> <p>CiE 2026: 2nd round of submissions CfP</p> <p>-----------------------</p> <p><br /></p> <p>Due to various requests, we will have a <span>second round of paper= submissions. Deadline: March 15th, 2026. The Easychair server wi= ll open again on March 10th, 2026.</span></p> <p><br /></p> <p>What is the difference between 1st and 2nd round submissions?</p> <p>While 1st-round submissions will be often forwarded to subreviewers, pap= ers submitted in the 2nd round will be only reviewed by PC members. </= p> <p><br /></p> <p>All papers will be notified at the same time.</p> <p><br /></p> <p>Please check out our webpage <a class=3D"OWAAutoLink" href=3D"http://www= =2Ecie-2026.uni-trier.de">www.cie-2026.uni-trier.de</a> for further up= dated information.</p> <p><br /></p> <div id=3D"c474539" class=3D"frame frame-246 frame-type-textmedia frame-lay= out-0" style=3D"box-sizing: inherit; margin: 1rem 0px; background-color: #f= 4f4f4; color: #000000; font-family: 'Segoe UI', Arial; font-size: 16px; fon= t-style: normal; font-variant-ligatures: normal; font-variant-caps: normal;= font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; t= ext-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webki= t-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: i= nitial; text-decoration-style: initial; text-decoration-color: initial; pad= ding: 1rem !important 0.5rem 1rem !important 0.5rem;"><header style=3D"box-= sizing: inherit; padding: 0px; margin: 0px; display: block; min-height: ini= tial;"> <h1 class=3D"" style=3D"box-sizing: inherit; padding: 0px; margin: 0px; fon= t-weight: bold; font-size: 1.7rem; line-height: 1.2; text-decoration: none;= font-style: normal; text-align: left;">Program Committee of CiE 2026</h1> </header> <div class=3D"ce-textmedia above" style=3D"box-sizing: inherit; padding: 0p= x; margin: 0px;"> <div class=3D"pics xs-vista xs-wrap xs-top" style=3D"box-sizing: border-box= ; padding: 0px; margin: 0px; display: flex; flex-wrap: wrap; -webkit-box-pa= ck: center; justify-content: center; -webkit-box-align: start; align-items:= flex-start;"> </div> <div class=3D"ce-bodytext" style=3D"box-sizing: inherit; padding: 0px; marg= in: 0px;"> <ul style=3D"box-sizing: inherit; padding: 0px 0px 0px 2rem; margin: 0.5rem= 0px 0px;"> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Verónica Becher, Universidad de Buenos Aires, Argentina= </li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Paola Bonizzoni,Università di Milano-Bicocca, Italy</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Vasco Brattka (PC co-chair), Universität der Bundeswehr M= unich, Germany</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Rod Downey, Victoria University of Wellington, New Zealand</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Damir D. Dzhafarov, University of Connecticut, USA</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Henning Fernau (PC co-chair), Trier University, Germany</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Gilda Ferreira, Universidade Aberta, Portugal</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Lorenzo Galeotti (SC chair), University of Amsterdam, The Neth= erlands</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Daniel Graça, University of Algarve, Portugal</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Gabriel Istrate, University of Bucharest, Romania</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Jarkko Kari, University of Turku, Finland</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Lila Kari, University of Waterloo, Canada</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Akitoshi Kawamura,Kyoto University, Japan</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Takayuki Kihara, Nagoya University, Japan</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Alberto Marcone, Università di Udine, Italy</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Elvira Mayordomo, Universidad de Zaragoza, Spain</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Wolfgang Merkle, Universität Heidelberg, Germany</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Cécilia Pradic, Swansea University, UK</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Giuseppe Primero, University of Milan, Italy</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Paul Shafer, University of Leeds, UK</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Tomasz Steifer, Polish Academy of Sciences</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Frank Stephan, National University of Singapore</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Manlio Valenti, Swansea University, UK</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Serghei Verlan, University Paris Est Créteil, LACL, Fra= nce</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Andreas Weiermann, Ghent University, Belgium</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Tomoyuki Yamakami, Fukui University, Japan</li> </ul> </div> </div> </div> <div id=3D"c474540" class=3D"frame frame-246 frame-type-textmedia frame-lay= out-0" style=3D"box-sizing: inherit; margin: 1rem 0px 0px; background-color= : #f4f4f4; color: #000000; font-family: 'Segoe UI', Arial; font-size: 16px;= font-style: normal; font-variant-ligatures: normal; font-variant-caps: nor= mal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: star= t; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -w= ebkit-text-stroke-width: 0px; white-space: normal; text-decoration-thicknes= s: initial; text-decoration-style: initial; text-decoration-color: initial;= padding: 1rem !important 0.5rem 1rem !important 0.5rem;"><header style=3D"= box-sizing: inherit; padding: 0px; margin: 0px; display: block; min-height:= initial;"> <h1 class=3D"" style=3D"box-sizing: inherit; padding: 0px; margin: 0px; fon= t-weight: bold; font-size: 1.7rem; line-height: 1.2; text-decoration: none;= font-style: normal; text-align: left;">List of Topics of CiE 2026 (non-exc= lusive)</h1> </header> <div class=3D"ce-textmedia above" style=3D"box-sizing: inherit; padding: 0p= x; margin: 0px;"> <div class=3D"pics xs-vista xs-wrap xs-top" style=3D"box-sizing: border-box= ; padding: 0px; margin: 0px; display: flex; flex-wrap: wrap; -webkit-box-pa= ck: center; justify-content: center; -webkit-box-align: start; align-items:= flex-start;"> </div> <div class=3D"ce-bodytext" style=3D"box-sizing: inherit; padding: 0px; marg= in: 0px;"> <ul style=3D"box-sizing: inherit; padding: 0px 0px 0px 2rem; margin: 0.5rem= 0px 0px;"> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Algorithmic Information Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Algorithmic Learning Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Algorithmic Measure Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Algorithmic Randomness</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Analog Computation Models</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Automata Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Biocomputing</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Category Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Complexity Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Complex Systems</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Computability</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Computable Analysis</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Computational Biology</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Decidability</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Descriptive Set Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Formal Languages</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">History of Computing</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Mathematical Logic</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Natural Computing</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Philosophy of Computation</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Proof Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Quantum Computation</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Recursion Theory</li> <li style=3D"box-sizing: inherit; padding: 0px 0.5rem 0px 0px; margin: 0px = 0px 0.5rem;">Reverse Mathematics</li> </ul> </div> </div> </div> </body></html> --=_77a59df2e8f43068869f8e078135e5f3--