Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] Computability in Europe - CiE 2026, July 27-31. First Call for Papers
@ 2025-11-14  6:36 acie
  0 siblings, 0 replies; only message in thread
From: acie @ 2025-11-14  6:36 UTC (permalink / raw)
  To: folli

[-- Attachment #1: Type: text/plain, Size: 3039 bytes --]

Computability in Europe - CiE 2026, July 27-31

Computability in Europe [1] (CiE) is an interdisciplinary series of 
international conferences organized by the Association Computability in 
Europe [2] (ACiE).

CiE brings together both basic and application-oriented research in 
computability-related areas of science. The conference welcomes research 
contributions on computability-related fields of science, including 
mathematics, theoretical computer science, logic, quantum computability, 
cryptography, information theory, computational biology, computational 
linguistics, history and philosophy of computability, and many other 
related subjects.

After having taken place in Amsterdam (NL) and Lisbon (P) in 2024 and 
2025, CiE will move to Trier (D) in 2026 with its 21st edition. Special 
features include:

  	* Colocation with MCU and CCA.

  	* Accepted contributed papers will be published in an LNCS volume in 
the ARCoSS subline.
  	* Six Special Sessions dedicated to certain aspects of computability.
  	* Six invited speakers, two tutorial speakers

So, get your papers ready for submission. What to put into your 
calendar:

  	* Abstract deadline: January 29th, 2026
  	* Full Paper deadline: February 3rd, 2026
  	* Notification: April 27th, 2026
  	* Deadline for final papers: May 4th, 2026

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



Links:
------
[1] https://www.acie.eu/cie-conference-series/
[2] https://www.acie.eu/

[-- Attachment #2: Type: text/html, Size: 6608 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-11-14  6:37 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-11-14  6:36 [Caml-list] Computability in Europe - CiE 2026, July 27-31. First Call for Papers acie

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox