[TYPES/announce] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024

Serge Autexier serge.autexier at dfki.de
Tue Jan 16 11:25:31 EST 2024


--------------------------------------------------------------------------------

		    Call for Workshop and Tutorial Proposals
		 
	      17th Conference on Intelligent Computer Mathematics
 				 - CICM 2024 -
			       August 5 - 9, 2024
		            Montréal, Québec, Canada
                      https://urldefense.com/v3/__https://www.cicm-conference.org/2024__;!!IBzWLUs!SUVyLwpJxpnD8PgVJmQtLAnVy7pFefNm0aK5IeTLp03zr2K-p4pSaqoCdc4j6y17vFaeI1QbcZMVCv-5x5w7jIbsuDlXlhW63yCE9F85$ 

--------------------------------------------------------------------------------

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 at fau.de.

More details on the conference are available at

		      https://urldefense.com/v3/__https://www.cicm-conference.org/2024__;!!IBzWLUs!SUVyLwpJxpnD8PgVJmQtLAnVy7pFefNm0aK5IeTLp03zr2K-p4pSaqoCdc4j6y17vFaeI1QbcZMVCv-5x5w7jIbsuDlXlhW63yCE9F85$ 


More information about the Types-announce mailing list