From: serge.autexier@dfki.de (Serge Autexier)
To: caml-list@inria.fr
Cc: serge.autexier@dfki.de
Subject: [Caml-list] CICM 2017 - Call for Participation / Posters / Work in Progress
Date: Thu, 15 Jun 2017 07:49:46 +0200 (CEST) [thread overview]
Message-ID: <20170615054946.4ECD4142F614@gigondas-5.fritz.box> (raw)
[Apologies for multiple copies]
Call for Participation
10th Conference on Intelligent Computer Mathematics
- CICM 2017 -
17-21 July 2017
University of Edinburgh, Scotland
http://www.cicm-conference.org/2017
*** Accepted Papers ***
The programme for CICM 2017, which will be held in Edinburgh is now
available:
http://www.cicm-conference.org/2017/cicm.php?event=&menu=talks
*** Work in Progress Submissions ***
We invite work-in-progress submissions, with the aim of providing a
forum for the presentation of original work that is not yet suitable
for submission as a full paper in a research track. This includes
emerging trends work. Although length is not limited, we recommend 5
pages.
Submit your paper by 23 June 2017 in the "Work in Progress” track via
Easychair: https://easychair.org/conferences/?conf=cicm2017
Please add a keyword for the intended topical track MKM, DML,
Calculemus or Systems and Projects. Author notification will be sent
by 27 June.
*** Posters Submissions ***
In addition, we solicit for posters that will not be peer reviewed,
but will be screened for relevance to the conference.
You can submit an abstract for a poster by 23 June 2017 via EasyChair
at: https://easychair.org/conferences/?conf=cicm2017.
Author notification will be sent by 27 June.
*** Invited Speakers ***
- Alan Bundy (University of Edinburgh)
- Przemysław Chojecki (Polish Academy of Sciences)
- Grant Olney Passmore (Aesthetic Integration)
**** Conference Tracks ***
* Calculemus (Chair: Matthew England, University of Coventry)
* Digital Mathematical Libraries (DML) (Chair: Olaf Teschke, Humboldt
University of Berlin)
* Mathematical Knowledge Management (MKM) (Chair: Florian Rabe, Jacobs
University Bremen)
* Systems & Projects (Chair: Osman Hasan, NUST Pakistan)
* Doctoral Programme (Chair: Adnan Rashid, NUST Pakistan)
*** Co-located Workshops ***
* 12th Workshop on Mathematical User Interface (MathUI 2017)
http://www.cicm-conference.org/2017/cicm.php?event=mathui
* 28th OpenMath Workshop
http://www.cicm-conference.org/2017/cicm.php?event=openmath
*** Registration ***
Early Registration: Until 30 June 2017
For more details, see:
http://www.cicm-conference.org/2017/cicm.php?event=&menu=registration
*** Local Information ***
Information about the venue, accommodation, travel, visa requirements,
etc. can be found at: http://dream.inf.ed.ac.uk/events/cicm2017
*** CICM 2017 Organisers ***
* General Program Chair: Herman Geuvers (Radboud University)
* Workshops Chair: Petros Papapanagiotou (University of Edinburgh)
* Publicity Chair: Serge Autexier (DFKI Bremen)
* Local arrangements: Jacques Fleuriot and Suzanne Perry (University
of Edinburgh)
reply other threads:[~2017-06-15 5:49 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=20170615054946.4ECD4142F614@gigondas-5.fritz.box \
--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
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;
as well as URLs for NNTP newsgroup(s).