Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CICM 2018, Call for Contributions to doctoral ...


view this post on Zulip Email Gateway (Aug 22 2022 at 17:25):

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

and 6 affiliated workshops:

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.


Last updated: Mar 28 2024 at 12:29 UTC