Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CICM 2024, Call for Workshop and Tutorial Prop...

Email Gateway (Jan 16 2024 at 16:29):

From: serge.autexier@dfki.de

Call for Workshop and Tutorial Proposals

17th Conference on Intelligent Computer Mathematics
- CICM 2024 -
August 5 - 9, 2024
Montréal, Québec, Canada
https://www.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 covers

• all aspects of mathematics such as formalization, computation, deduction,
  mathematical databases, and mathematical documents,

• all kinds of tool support such as theorem provers, computer algebra systems,
  knowledge management tools, and user interfaces

• the whole spectrum from theoretical foundations to practical tools and from
  challenge problems to case studies.

Workshops typically feature presentations of ongoing research that is not ready
yet for formal publication, and tutorials present extended demos of a particular
software.

However, the CICM organizers strongly encourage a broad interpretation of these
concepts and welcome proposals for any kind of event that benefits the CICM
community.

A proposal should include the following information:

• title of the event
• names and affiliations of the organizers
• brief description of the event (e.g., 1-2 paragraphs)
• proposed workshop duration (typically half a day up to two days)
• style (in person-only, hybrid)
• previous instances of the event (if any)
• preferred or excluded dates within the CICM dates (if any)
• if the format of the event relies on contributed talks, a brief outline of a
  "backup plan" in case of low submission rates to allow for more reliable
  scheduling/planning efforts by the organizers.

Important Dates
===============

Proposal submission: February 29, 2024
Notication: March 15, 2024
Conference: August 5-9, 2024

Earlier submissions are encouraged and will receive notifications on a rolling
basis.

All proposals should be submitted via email to dennis.mueller@fau.de.

More details on the conference are available at

https://www.cicm-conference.org/2024

Last updated: Jan 04 2025 at 20:18 UTC