coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial
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 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial
- Date: Fri, 22 Jun 2018 08:47:17 +0200 (CEST)
- Authentication-results: mail2-smtp-roc.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 lnv-91185.sb.dfki.de
- Ironport-phdr: 9a23:3N6WAhagZ3r/XiMkQIk4ZBX/LSx+4OfEezUN459isYplN5qZr829bnLW6fgltlLVR4KTs6sC17KL9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa9bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjAn7W/Yls9+gqxbrh+6uxxz35LYbJ2JOPZifK7Qe84RS2pbXsZWUixMGpi8YJUVD+oOI+lUtZPyp0YSrRSgCgisBf3gyiVTi3Dr06060OUhHRvb0wM+AtkCtGnao8vvNKcdT+++0bXFzSjfb/xI1jb96ZbHcgokrfyKQLl+f83RyUw1GAPEiFWdsZLqMCmO1uUNr2eb7/BvVeO1i2I9rAFxuDevyt8whYnImo0Vz0nI+jl+wIYzK923VlR7bsCiEJRMqS6WLYx2QtktQ2xupS00yaUGtIamcCUEx5kr3RrSZv2df4SV5h/vSfydLSp7iX9lYL6zmhi//Ee6xuHhSsW4zkxGojRZntTDrHwByh3e58yBR/Bg5EmuwyyP2BrW6uxcIUA7i67bK5k5z740kJoTr13PEyvrlEnrj6Kbdl8o+vOz5Oj9f7rmqJycN45uhg7jLKsigs2/AeImPQgSR2WX5Oqx2bL58UD9QbhGlOA6n63EvJzAOMgWpa60DxdQ0ok56ha/Czmm0M4fnXkCNF9FYwyIj5LmO17QOvz3F+q/g0iynzZkxvDJIKfhD47QIXjNk7fhfKxx5FNCxwYr19BQ+4pUCq0dIPL0QkL+qNvYDgYgPwOox+bnFc5y25gFWWOPB6+ZKLndvUWJ5uIpOemMZZUatCzzK/g/tLbSiioynkZYdq2017MWbmq5F7JoORa3e33p18wMC2gH+AMjUOH6iVCYeTJdZHf0U690pgo2Eo2rRa7eWo29gbGbnXToVqZKb3xLXwjfWUzjcJ+JDq9VOXCiZ/R5mzlBboCPDooo1BWgrgj/muhrIOnVvCEV58u6iIpFotbLnBR3zgRaStyH2jDfQ293nyUESm1uhf0tkQlG0l6GlJNArblYGNhUvakbVgEkcM+FlrwnTcv4HA7PfdbPRFv0Gtg=
Call for Contributions
work-in-progress - posters - demos - tutorials - doctoral programme
11th Conference on Intelligent Computer Mathematics
- CICM 2018 -
August 13-17, 2018
RISC, Hagenberg, Austria
http://www.cicm-conference.org/2018
--------------------------------------------------------------------------------
CICM focuses on theoretical and practical solutions for
mathematical
applications such as computation, deduction, knowledge management,
libraries,
and user interfaces.
CICM 2018 will feature 3 invited speakers:
* Akiko Aizawa, National Institute of Informatics, University of Tokyo
* Bruno Buchberger, Research Institute for Symbolic Computation, Johannes
Kepler
University
* Adri Olde Daalhuis, University of Edinburgh
and 6 affiliated workshops:
* Computer Algebra in the age of Types
* Computer Mathematics in Education - Enlightenment or Incantation
* Formal Mathematics for Mathematicians
* Formal Verification of Physical Systems
* Mathematical Models and Mathematical Software as Research Data
* OpenMath Workshop
In addition to the above and the formally reviewed program, CICM
invites
contributions of various forms:
1) Work-in-progress papers (any length up to 15 pages) will be lightly
reviewed
and, if accepted, presented at the conference and published in a volume
of
CEUR-WS.
2) Demos and posters (submitted as a summary of a few paragraphs) will
be
presented during a dedicated session.
Submission is open to any topic interesting to the CICM audience. We
also
encourage authors of accepted papers to supplement their talk with a demo
or
poster.
3) Tutorials (up to 60 minutes, submitted as a summary of a few paragraphs)
will
take place in individual rooms during a dedicated session.
4) Doctoral program submissions (2 page abstract + CV) will be presented
and
discussed during a dedicated session focusing on mentoring.
Submission is open to any doctoral student in the CICM area. Student
authors
of accepted papers are strongly encouraged to additionally submit to
the
doctoral program.
Financial support for doctoral program participants is available.
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm2018
Notifications are sent on a rolling basis.
The last day to submit is July 15.
- [Coq-Club] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial, Serge Autexier, 06/22/2018
Archive powered by MHonArc 2.6.18.