Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CICM 2022, final call for applications to the ...


view this post on Zulip Email Gateway (Jul 06 2022 at 16:15):

From: serge.autexier@dfki.de
[Apologies for cross-postings]

Final Call for Applications to the Doctoral Programme
Deadline 15. July 2022

15th Conference on Intelligent Computer Mathematics

- CICM 2022 -
September 19-23, 2022
Tbilisi, Georgia (hybrid event)
http://www.cicm-conference.org/2022


Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.

CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.

CICM 2022 Invited Speakers:

CICM 2022 Programme committee:
see https://www.cicm-conference.org/2022/cicm.php?event=&menu=pc

The Doctoral Programme provides a dedicated forum for PhD students to
present and discuss their ideas, ongoing or planned research, and
achieved results in an open atmosphere. It will consist of
presentations by the PhD students to get constructive feedback,
advice, and suggestions from the research advisory board, researchers,
and other PhD students. Each PhD student will be assigned to an
experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.

Application

Students at any stage of their PhD can apply and should submit the
following documents:

All submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm2022

view this post on Zulip Email Gateway (Jul 06 2022 at 16:15):

From: serge.autexier@dfki.de
[Apologies for cross-postings]

Final Call for Applications to the Doctoral Programme
Deadline 15. July 2022

15th Conference on Intelligent Computer Mathematics

- CICM 2022 -
September 19-23, 2022
Tbilisi, Georgia (hybrid event)
http://www.cicm-conference.org/2022


Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.

CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.

CICM 2022 Invited Speakers:

CICM 2022 Programme committee:
see https://www.cicm-conference.org/2022/cicm.php?event=&menu=pc

The Doctoral Programme provides a dedicated forum for PhD students to
present and discuss their ideas, ongoing or planned research, and
achieved results in an open atmosphere. It will consist of
presentations by the PhD students to get constructive feedback,
advice, and suggestions from the research advisory board, researchers,
and other PhD students. Each PhD student will be assigned to an
experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.

Application

Students at any stage of their PhD can apply and should submit the
following documents:

All submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm2022


Last updated: Jul 15 2022 at 23:21 UTC