Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] CiE 2026: 2nd round of submissions CfP
@ 2026-02-21 17:20 acie
  0 siblings, 0 replies; only message in thread
From: acie @ 2026-02-21 17:20 UTC (permalink / raw)
  To: AGDA, agents, caml-list, cpm-spire, GraTra, PetriNet, Types,
	DMANET, ecoop-info, nwpt-info, prog-lang, SIGLOG Monthly,
	types-announce, listsbcci-l, fom, comp-thy, cca, coq-club,
	finite-model-theory, fm-announcements, lfcs-interest, LICS,
	linear, ProofTheory, rewriting-request, SIGSOFT-L, theorynt,
	vki-list, ASL, categories, socinfo, IC eatcs, newsletter, theory,
	theory-logic, conferences, dbworld, logic, theorem-provers,
	Reliable Computing, folli, logica-l, abella-theorem-prover,
	cl-isabelle-users, eutypes, pvs-announce, it-moca-announce,
	lean-user, constructivenews, grammarlearning,
	diskrete-mailingliste, sigai-announce, comsoc, uai, hermann,
	logic.list

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

------------------------

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

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

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

only message in thread, other threads:[~2026-02-21 17:20 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-02-21 17:20 [Caml-list] CiE 2026: 2nd round of submissions CfP acie

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