caml-list - the Caml user's mailing list
 help / Atom feed
From: (Serge Autexier)
Subject: [Caml-list] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation
Date: Thu,  9 May 2019 16:33:46 +0200 (CEST)
Message-ID: <20190509143346.D134913FF8C9@gigondas.localdomain> (raw)

                            Joint Call for
             Workshops Papers (OpenMath, LML, GVMM, FVPS)
                   Doctoral Programme Submissions

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


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

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

In addition  to the  main tracks, CICM  2019 will host  the Exploring  the Mizar
Library tutorial and  4 workshops: Formal Mathematics  for Mathematicians (FMM),
Formal  Verification of  Physical Systems  (FVPS), Large  Mathematical Libraries
(LML), 30th OpenMath Workshop.

This is a call for submissions and participation to the 

 - 30th OpenMath Workshop 
 - Large Mathematics Libraries Workshop (LML 2019) 
 - 4th workshop on Formal Mathematics for Mathematicians (FVMM 2019)
 - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019)
 - CICM doctoral programm track

More details about workshops and the  doctoral programm are available from their
webpages on the CICM website


* Submissions Deadlines * 

 - OpenMath 2019      continuous until July 1, 2019
 - LML 2019                            May 13, 2019
 - FVMM 2019                           May 13, 2019
 - FVPS 2019                           May 24, 2019
 - CICM doctoral programm track        May 15, 2019

* Registration *

Registration to  CICM 2019  and the  workshops is  open at  the CICM  website or
directly at

                 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:

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

  git send-email \
    --in-reply-to=20190509143346.D134913FF8C9@gigondas.localdomain \ \ \

* 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

AGPL code for this site: git clone public-inbox