caml-list - the Caml user's mailing list
 help / Atom feed
From: serge.autexier@dfki.de (Serge Autexier)
To: caml-list@inria.fr
Cc: serge.autexier@dfki.de
Subject: [Caml-list] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers)
Date: Mon,  4 Mar 2019 08:32:52 +0100 (CET)
Message-ID: <20190304073252.73B5FF5E917@gigondas.localdomain> (raw)

[Apologies for cross-postings]

				Call for Papers
	      formal papers - informal papers - doctoral programme

	      12th Conference on Intelligent Computer Mathematics
 				 - CICM 2019 -
                                July 8-12, 2019
                         CIIRC, Prague, Czech Republic

                      http://www.cicm-conference.org/2019

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

Digital and  computational solutions  are becoming the  prevalent means  for the
generation,  communication, processing,  storage  and  curation of  mathematical
information.

CICM  brings  together  the  many   separate  communities  that  have  developed
theoretical  and  practical  solutions  for mathematical  applications  such  as
computation, deduction, knowledge management, and  user interfaces.  It offers a
venue for  discussing problems and  solutions in each  of these areas  and their
integration.

CICM 2019  invites submissions  in all topics  relating to  intelligent computer
mathematics, in particular but not limited to

* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries

CICM appreciates  the varying nature of  the relevant research in  this area and
invites submissions of very different forms:

1) Formal  submissions will be reviewed  rigorously and accepted papers  will be
   published in a volume of Springer LNAI:

   * regular papers (up to 15 pages including references) present novel research
      results

   * project  and  survey papers  (up  to  15  pages +  bibliography)  summarize
     existing results

   * system  and  dataset  descriptions (up to 5 pages with references)  present
     digital artifacts

   * system  entry (1  page  according  to the  given  LaTeX template)  provides
     metadata and a quick overview of a new tool or a new release of an existent
     tool

2) Informal submissions  will be reviewed with a positive  bias and selected for
   presentation based on their relevance for the community.

   * informal  papers  may   present  work-in-progress,  project  announcements,
     position statements, etc.

   * posters and system demos will be presented in parallel in special sessions

3) The doctoral programme provides PhD students a forum to present early results
   receive constructive feedback and mentoring.

* Important Dates *

 Formal submissions

  - Abstract deadline:            March 08 (extended)
  - Full paper deadline:          March 15 (extended)
  - Reviews sent to authors:      April 15
  - Rebuttals due:                April 17
  - Notification of acceptance:	  April 20
  - Camera-ready copies due:      May 03
  - Conference:                   July 08-12

Informal submissions and doctoral programme

  Two separate submission rounds are offered so that some authors can make early
  travel plans while other authors submit spontaneously.

  - First round submission deadline:  April 01
  - Second round submission deadline: May   15

All submissions should be made via easychair at

		https://easychair.org/conferences/?conf=cicm2019

                 reply index

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

Reply instructions:

You may reply publically 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=20190304073252.73B5FF5E917@gigondas.localdomain \
    --to=serge.autexier@dfki.de \
    --cc=caml-list@inria.fr \
    /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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox