Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CICM 2017 - Call for Participation / Posters / Work in Progress

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CICM 2017 - Call for Participation / Posters / Work in Progress


Chronological Thread 
  • From: serge.autexier AT dfki.de (Serge Autexier)
  • To: coq-club AT inria.fr
  • Cc: serge.autexier AT dfki.de
  • Subject: [Coq-Club] CICM 2017 - Call for Participation / Posters / Work in Progress
  • Date: Thu, 15 Jun 2017 07:50:11 +0200 (CEST)
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=serge.autexier AT dfki.de; spf=Pass smtp.mailfrom=serge.autexier AT dfki.de; spf=None smtp.helo=postmaster AT sea-mail.dfki.de
  • Ironport-phdr: 9a23:NtHb1xyKMnQ/bB7XCy+O+j09IxM/srCxBDY+r6Qd2+gVIJqq85mqBkHD//Il1AaPBtSEraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze6/9pnRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH2lSkIKz03/m/XhMFrkKJXvA6tqwBjz4LIYoyYMud1cKPHfdMdQGpMRt1RWDJbAoOzcYQDFfAOPftEr4bjqFoOrAWxBRO3CezyxD9IhX720bcn3Os/DArK2BEuEMwUsHTbstr+KbsfUf2pzKbWwjTDbu1Z2S345IXObxsvr/aMXbdqfsrQz0kiDx3KgU+LqY3lIzyV1v4Cs2mB7+Z6UuKvkWEnpxltrTiu2sgsj5DFiZ4SylDC+yV23pw1KsO+SEFnf9GoCpxQtzuVN4duXMwtXntktzwmxbEcpJ67fy4Hw4kkyR7Hc/GLboaF7x35WOuVIDp0nm9pdbaiixqo7EStye3xWtGw3VpUtCZJjNfBumwX2xHc9sSLUOZx80ih1DuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbBS/5hl/5gLaTdko+++io7/7rbajopp+fNo94kBzxPbo2lsy+B+Q3LBQOUnCG9emy27Dv50n0TbRQgvErlqTVrYrWKdkYq6O5GwNV15ws6xe7DzeoytQYmnwHIUpeeB2ZlYjpNE/BLOriAvein1Sjjjhqx/HYMb37GZjCM3bDkLTgfbpn9kFT1hI/zcpD6JJMFrEBPPXzV1ftu9zfFx81KhC7w+L6CNpmzY4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIltLbSiioynkZYdq2017MWbmq5F7JoORa3e33p18wMC2gH+AMjUOH6iVCYeTJdZHf0U690pgo2Eo2rRa7eWo29gbGbnXToVqZKb3xLXwjfWUzjcJ+JDq8B

[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)



  • [Coq-Club] CICM 2017 - Call for Participation / Posters / Work in Progress, Serge Autexier, 06/15/2017

Archive powered by MHonArc 2.6.18.

Top of Page