- From: Serge Autexier <serge.autexier@dfki.de>
- Date: Mon, 6 Jul 2015 08:59:41 +0200 (CEST)
- To: public-owl-dev@w3.org
- Cc: serge.autexier@dfki.de
Final Call for Participation
Conference on Intelligent Computer Mathematics
CICM 2015
13-17 July 2015
Washington DC, USA
Registration Deadline July 6th, 2015
The programme for this year's CICM in Washington can be found as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme
The accepted papers as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks
In addition we solicit for posters which will not be peer reviewed, but we
will just do a screen review for relevance to the conference. A poster
presentation will consist of a 5 minute teaser talk and the presentation of
the poster on Tuesday morning (together with the other presentations in the
Systems/Data/Projects track).
You can submit a brief abstract on a poster by 22 June 2015 via EasyChair:
https://www.easychair.org/conferences/?conf=cicm2015
You will be informed about acceptance shortly after your submission.
Registration to the conference will open shortly.
For details on the conference, registration, accommodation, etc. see
http://www.cicm-conference.org/2015/cicm.php
**********************************************************************
Invited Speakers:
**********************************************************************
* Leonardo de Moura, https://leodemoura.github.io/
"Formalizing mathematics using the Lean Theorem Prover"
(http://leanprover.github.io/)
* Tobias Nipkow, http://www21.in.tum.de/~nipkow/
"Analyzing the Archive of Formal Proofs"
* Jim Pitman, http://www.stat.berkeley.edu/~pitman/
"Towards a Global Digital Mathematics Library"
* Richard Zanibbi, http://www.cs.rit.edu/~rlaz/
"Math Search for the Masses: Multimodal Search
Interfaces and Appearance-Based Retrieval"
**********************************************************************
The principal tracks of the conference will be:
**********************************************************************
* Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
* Systems and Data
Chair: Florian Rabe
* Doctoral Programme
Chair: Umair Siddique
Publicity chair is Serge Autexier. The local arrangements are
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme is organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).
As in previous years, we have co-located workshops:
* Formal Mathematics for Mathematicians
* Theorem proving components for Educational software (ThEdu'15)
* MathUI
Furthermore we have a doctoral programme to mentor doctoral
students giving presentations and a tutorial on the generic proof
assistant Isabelle.
--------------------------------------------------------------------------------
Received on Monday, 6 July 2015 07:00:13 UTC