Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CICM 2017 - Call for Participation / Posters /...

Email Gateway (Aug 22 2022 at 15:37):

From: serge.autexier@dfki.de
[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)

Last updated: Nov 21 2024 at 12:39 UTC