Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: acie@acie.eu
To: AGDA <agda@lists.chalmers.se>, agents <agents@cs.umbc.edu>,
	caml-list <caml-list@inria.fr>,
	cpm-spire <cpm-spire-l@lists.cs.ucr.edu>,
	GraTra <gratra@lists.uni-paderborn.de>,
	PetriNet <petri-net-world@petrinet.net>,
	Types <types@lists.chalmers.se>, DMANET <dmanet@zpr.uni-koeln.de>,
	ecoop-info <ecoop-info@ecoop.org>,
	nwpt-info <nwpt-info@lists.ioc.ee>,
	prog-lang <sci-diku-prog-lang@list.ku.dk>,
	SIGLOG Monthly <las-lics@lists.tu-berlin.de>,
	types-announce <types-announce@lists.seas.upenn.edu>,
	listsbcci-l <listsbcci-l@sbc.org.br>,
	fom@lists.ugent.be, comp-thy@lists.hawaii.edu,
	cca@listserv.dfn.de, coq-club <coq-club@inria.fr>,
	finite-model-theory <finite-model-theory@lists.rwth-aachen.de>,
	fm-announcements <fm-announcements@lists.nasa.gov>,
	lfcs-interest <lfcs-interest@dcs.ed.ac.uk>,
	LICS <las-lics@lists.tu-berlin.de>,
	linear <linear@cs.stanford.edu>,
	ProofTheory <ProofTheory@Lists.Bath.Ac.UK>,
	rewriting-request <rewriting-request@ens-lyon.fr>,
	SIGSOFT-L <sigsoft-l@acm.uiuc.edu>,
	theorynt <theorynt@listserv.nodak.edu>,
	vki-list <vki-list@dfki.de>, ASL <asl@vassar.edu>,
	categories <categories@mta.ca>, socinfo <socinfo@cs.tut.fi>,
	IC eatcs <ic.eatcs@di.unipi.it>,
	newsletter <newsletter@aarinc.org>, theory <theory@cl.cam.ac.uk>,
	theory-logic <theory-logic@cs.cmu.edu>,
	conferences <conferences@computer.org>,
	dbworld <dbworld@cs.wisc.edu>, logic <logic@math.uni-bonn.de>,
	theorem-provers <theorem-provers@ai.mit.edu>,
	Reliable Computing <reliable_computing@lists.louisiana.edu>,
	folli <folli@folli.info>,
	logica-l@dimap.ufrn.br, abella-theorem-prover@googlegroups.com,
	cl-isabelle-users@lists.cam.ac.uk, eutypes@cs.ru.nl,
	pvs-announce@csl.sri.com, it-moca-announce@lists.uu.se,
	lean-user@googlegroups.com, constructivenews@googlegroups.com,
	grammarlearning@liste.lis-lab.fr,
	diskrete-mailingliste@mathematik.de,
	sigai-announce@listserv.acm.org, comsoc@duke.edu,
	uai@engr.orst.edu, hermann@lix.polytechnique.fr,
	logic.list@outlook.com
Subject: [Caml-list] CiE 2026: 2nd round of submissions CfP
Date: Sat, 21 Feb 2026 18:20:01 +0100	[thread overview]
Message-ID: <92f921912f54f36620bd6beca12aa5d8@acie.eu> (raw)

[-- 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 --]

                 reply	other threads:[~2026-02-21 17:20 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=92f921912f54f36620bd6beca12aa5d8@acie.eu \
    --to=acie@acie.eu \
    --cc=ProofTheory@Lists.Bath.Ac.UK \
    --cc=abella-theorem-prover@googlegroups.com \
    --cc=agda@lists.chalmers.se \
    --cc=agents@cs.umbc.edu \
    --cc=asl@vassar.edu \
    --cc=caml-list@inria.fr \
    --cc=categories@mta.ca \
    --cc=cca@listserv.dfn.de \
    --cc=cl-isabelle-users@lists.cam.ac.uk \
    --cc=comp-thy@lists.hawaii.edu \
    --cc=comsoc@duke.edu \
    --cc=conferences@computer.org \
    --cc=constructivenews@googlegroups.com \
    --cc=coq-club@inria.fr \
    --cc=cpm-spire-l@lists.cs.ucr.edu \
    --cc=dbworld@cs.wisc.edu \
    --cc=diskrete-mailingliste@mathematik.de \
    --cc=dmanet@zpr.uni-koeln.de \
    --cc=ecoop-info@ecoop.org \
    --cc=eutypes@cs.ru.nl \
    --cc=finite-model-theory@lists.rwth-aachen.de \
    --cc=fm-announcements@lists.nasa.gov \
    --cc=folli@folli.info \
    --cc=fom@lists.ugent.be \
    --cc=grammarlearning@liste.lis-lab.fr \
    --cc=gratra@lists.uni-paderborn.de \
    --cc=hermann@lix.polytechnique.fr \
    --cc=ic.eatcs@di.unipi.it \
    --cc=it-moca-announce@lists.uu.se \
    --cc=las-lics@lists.tu-berlin.de \
    --cc=lean-user@googlegroups.com \
    --cc=lfcs-interest@dcs.ed.ac.uk \
    --cc=linear@cs.stanford.edu \
    --cc=listsbcci-l@sbc.org.br \
    --cc=logic.list@outlook.com \
    --cc=logic@math.uni-bonn.de \
    --cc=logica-l@dimap.ufrn.br \
    --cc=newsletter@aarinc.org \
    --cc=nwpt-info@lists.ioc.ee \
    --cc=petri-net-world@petrinet.net \
    --cc=pvs-announce@csl.sri.com \
    --cc=reliable_computing@lists.louisiana.edu \
    --cc=rewriting-request@ens-lyon.fr \
    --cc=sci-diku-prog-lang@list.ku.dk \
    --cc=sigai-announce@listserv.acm.org \
    --cc=sigsoft-l@acm.uiuc.edu \
    --cc=socinfo@cs.tut.fi \
    --cc=theorem-provers@ai.mit.edu \
    --cc=theory-logic@cs.cmu.edu \
    --cc=theory@cl.cam.ac.uk \
    --cc=theorynt@listserv.nodak.edu \
    --cc=types-announce@lists.seas.upenn.edu \
    --cc=types@lists.chalmers.se \
    --cc=uai@engr.orst.edu \
    --cc=vki-list@dfki.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox