The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

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

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

More details on the conference are available at

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