Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CICM 2020, July 26-31: Call for Online Partici...


view this post on Zulip Email Gateway (Aug 23 2022 at 09:20):

From: Makarius <makarius@sketis.net>
=====================================================================

CALL FOR PARTICIPATION
CICM 2020 -- Conference on Intelligent Computer Mathematics

https://cicm-conference.org/2020/

Due to the Covid-19 outbreak, CICM 2020 is held as an online conference

======================================================================

GENERAL INFORMATION


Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.

REGISTRATION


The conference and the affiliated events will take place online.
Registration is free of charge. However, registration is mandatory to
attend the talks.

Please fill this form to register for CICM 2020:

https://forms.gle/oS5BVGDf6LgDGDiK8

SCIENTIFIC PROGRAM


The program of the conference is available under:

https://easychair.org/smart-program/CICM-13/

(all times are in CEST timezone (UTC+2))

INVITED SPEAKERS


INVITED WORKSHOP SPEAKERS


AFFILIATED WORKSHOPS AND DOCTORAL PROGRAMME



view this post on Zulip Email Gateway (Aug 23 2022 at 09:20):

From: serge.autexier@dfki.de
=====================================================================

CALL FOR PARTICIPATION

CICM 2020 -- Conference on Intelligent Computer Mathematics

https://cicm-conference.org/2020/

Due to the Covid-19 outbreak, CICM 2020 is held as an online conference

======================================================================

GENERAL INFORMATION


Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.

REGISTRATION


The conference and the affiliated events will take place online.
Registration is free of charge. However, registration is mandatory to
attend the talks.

Please fill this form to register for CICM 2020:

https://forms.gle/oS5BVGDf6LgDGDiK8

SCIENTIFIC PROGRAM


The program of the conference is available under:

https://easychair.org/smart-program/CICM-13/

(all times are in CEST timezone (UTC+2))

INVITED SPEAKERS


INVITED WORKSHOP SPEAKERS


AFFILIATED WORKSHOPS AND DOCTORAL PROGRAMME



Last updated: Mar 28 2024 at 12:29 UTC