caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation
@ 2019-05-09 14:48 serge.autexier
  0 siblings, 0 replies; 1+ messages in thread
From: serge.autexier @ 2019-05-09 14:48 UTC (permalink / raw)
  To: caml-list; +Cc: serge.autexier


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

         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.

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

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

* 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

    https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration


^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-09 14:48 [Caml-list] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation serge.autexier

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