Call for Papers
formal papers - doctoral programme
17th Conference on Intelligent Computer Mathematics
- CICM 2024 -
August 5���9, 2024
Montr��al, Canada
https://cicm-conference.org/2024/
--------------------------------------------------------------------------------
More and more mathematical information is digitally processed, generated,
communicated, stored and curated.
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 2024 invites submissions in all topics relating to intelligent computer
mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
*** Important Dates ***
Formal submissions
- Abstract deadline: March 25, 2024
- Full paper deadline: April 1, 2024
- Reviews sent to authors: May 7, 2024
- Rebuttals due: May 10, 2024
- Notification of acceptance: May 24, 2024
- Camera-ready copies due: June 7, 2024
- Conference: August 5-9, 2024
Doctoral programme applications
- Submission deadline: June 13, 2024
- Notification of acceptance: June 28, 2024
*** Programme committee ***
The program committee is listed at https://cicm-conference.org/2024/cicm.php?event=&menu=pc
The program committee is chaired by Andrea Kohlhase (Neu-Ulm University of
Applied Sciences, Germany) and Laura Kov��cs (TU Vienna, Austria).
The CICM community appreciates the varying nature of the relevant research in
computer mathematics and invites submissions of two different forms:
*** Formal Paper Submissions ***
Formal submissions will be reviewed rigorously and accepted papers will be
published in a volume of Springer LNAI:
* regular papers (up to 15 pages + bibliography) present novel
research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (4 to 5 pages + bibliography)
present digital artifacts
*** Doctoral Symposium: Two-Page Abstracts***
The doctoral programme provides PhD students a forum to present early results to
receive constructive feedback and mentoring. To attend, submissions of two-page
abstracts are expected in which the focus and research questions of the expected
PhD theses are described; details on completed research tasks and remaining
research plans should be given. In addition to these abstract, a two-pages CV of
the applicant should also be submitted, detailing background information (name,
university, supervisor), education (sought degree, previous degrees),
employments and relevant research experience (publications, attended
conferences/workshops).
*** Submissions ***
All submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm24
using the Springer LNCS style files (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…).
CICM 2024 proceedings, containing the accepted formal submissions, will be
published in the Springer LNAI series.
*** Participation - Physical Event ***
CICM 2024 will be held as a physical event and participation is possible only
on-site. At least one of the authors of accepted papers is expected to register
to CICM 2024 and present the work(s) on-site.
*** Best Papers ***
CICM 2024 honors the best paper and best student paper with respect to reviews
and program committee discussions with an award.
Hi All,
My name is Leah Ajmani, and I'm a PhD student with the GroupLens Lab at the
University of Minnesota. I'm running an interview study on the practice of
being an AI participant, with a specific focus on data contributors (i.e.,
Wikipedia editors). More info on our study can be found on our meta-wiki
page.
<https://meta.wikimedia.org/wiki/Research:The_Practice_of_Being_an_AI_Partic…>
If you have experience consistently editing Wikipedia in the past two
years, we'd love to hear from you! If you’re interested and are at least 18
years old, we want to talk with you for about 60 minutes on a Zoom video
call.
Sign up to be contacted by the research team about participating here:
https://umn.qualtrics.com/jfe/form/SV_eaPNmHZcqOsFbuK. We’ll ask a few
questions about your experiences and ask for a few demographic details,
which will help us make sure we talk to a diverse group of people. We'll
then reach out to schedule an interview! We’re running the study at the
University of Minnesota, but you can participate from anywhere. This study
has been reviewed and approved by the University of Minnesota
(IRB#STUDY00020382).
Thank you!
--
Leah Ajmani
PhD Candidate @ GroupLens <https://grouplens.org/> | University of Minnesota
ajman004(a)umn.edu | leahajmani.com
I acknowledge
<https://cla.umn.edu/ais/news-events/story/purpose-portrait-american-indian-…>
that
the University of Minnesota stands on *Miní Sóta Makhóčhe*, the
homelands of the *Dakhóta Oyáte*