coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)

From: serge.autexier AT dfki.de (Serge Autexier)
To: coq-club AT inria.fr
Cc: serge.autexier AT dfki.de
Subject: [Coq-Club] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)
Date: Sat, 17 Dec 2022 09:45:09 +0100 (CET)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=serge.autexier AT dfki.de; spf=Pass smtp.mailfrom=serge.autexier AT dfki.de; spf=None smtp.helo=postmaster AT lnv-91185.sb.dfki.de
Ironport-data: A9a23:1452KqvZBF7IVzeZzbp/UwGdQ+fnVJFaMUV32f8akzHdYApBsoF/q tZmKWjXafeLYzehLd1wa4/k8EtTsMPXyoU1SgA4/CgzQSIXgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCY0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtcpvlDs15K6o4WlB4QRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJF01Mo0199hlOHBp1 u4VDSs0R1eNxNvjldpXSsE07igiBM3tIsZO4ygwkHfCB7AqT5PCBanHjTNa9G5r2oYfQ7CHN pNfMGoyBPjDS0Un1lM/E58kk+ruj2Tjfi1ZpUi9qaQ04i7fwWSd1ZC9a4uIJIHRH625mG6Eu 16X53m6Ai0EJYLByCCK8levidbmyHaTtIU6TuTjr6U60TV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZt37QVjp+SfU41gHUZxcHe47rg2AokbJ3+qHLnQHQT5sZeI0jd4RZi4n8 0SwtpTnRgU65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L+9xbYvXnFYcLLUKlsjHmMW2hm Wrb90DSk51N3J9ai81X6Hid21qRSo71ohkdyii/soiN1QpwfoS/zFij6lXdhRqrBNjHFwPa1 JTos/OX5foKBJeB/BFhrc0JGq/stq/cYGCamlQpE5ci9nKh9hZPnLy8AhkgeS+F0e5dJ1cFh XM/XysKvPe/21PxMMdKj3qZUZhC8EQZPY2NugroRtRPeINtUwSM4TtjY0Wdt0i0zhd1y/hiZ czDL5jyZZr/NUiB5GTpLwv6+eF1rh3SOUuJHs+TI+mPjuvEPyTNEd/pznPXMbBis8toXzk5A /4FbpDTkEUOOAEPSiXa7JIIJlAHNjA1AortoMxKcOGYJAd6Cgkc5wz5ntscl3het/0NzI/gp yjlMmcBkQqXrSCZdW2iNy4yAJuxBswXhSxgYkQR0aOAhiJLjXCHtvlPLvPavNAPqYRe8BKDZ 6dVJJTdXK8fFVwqOV01NPHAkWCrTzzz7SrmAsZvSGFXk0dIF1ORqOz3NBDi7jcPBSeRvM4z6 e/onADCTJZJA0woAM/KYbj9hxm8rFoMqtJUBkHoG9h0fFmz0Y5ILyeqsOQ7DftRIjr+xxyb9 T2sPzEmmcf3rbUIreb53ZK/k9/xEs9VPFZrIG3A3LPnaQjY5jWCxKFDYsapfBfcdmDG/bm6Q eBvy9D9L/w1s1JYuKVsE7tQ7Pwf5vm+g5R43whbDHHwQFDzMYxZI16Cxthpiq1B4pR7qDmGc BuD1fcCMIrYJf6/NkAaITQUS9iq1NYWq2H01us0KkCr3x1H1uOLfmsKNibdlREHCqV+Nb4k5 uITuMQ2zQiboThyO/akihFkzUi9HkYiYY4G6K5DWJTKjzA1wG5seZbfUy/6wK+eYuV2b3UFH GWmu7rgtZ99mGzyK2E+BFrc79p73J4ugi1H/HUGBlaOm+fGuMMJ4Q1swWw3YzlRnzp60LNVG 2l0NkdKC72E0BV2ieNiAW29OQFzKyeI2072ymkmpnfQdBSrZFfsN0w4A/6Gp2oCwlJffx9a3 bCW83nkWjDUZ/PM3jM+dEpmiv77R/lzy1Hyo9+mFMG7AJUKWzrprauwb24uqRG8I8cOqGDYh OttpsBcVLbaMHMOnqgFFIWq77QcZxSaLmhkQ/s63qcoH3nZSQ6iywq1NEG9VcNcFcPkqXbiJ ZRVGftOcBCi2AKljDMRX/cMKoApus8Z3oMJf7ezKFMWt7eakCFSj6vR0SrA1UsLWNRllPgvJ rzBLwyiFnOivloKumvvgvQdBE+GT4glXjDs5MG07+QDKLwbus5Ob0wZ8+W5rleVAiRd7jOWu wLJSPKM69Bh2aFQkNLIFINCIwCOLNqpV/m63z2yl/9sbtr/F9jEmC1Ii1vgPiVQZaAwXfYun 5uzkdfH5mH3l5dobHL8hL+ACLhv2cW+eMF1I/DHBiBWsgXaUfC9/iZZ3X6zLKJ4te905+6ld lOeU9Sxf9tEYOVt7iRZRAYGGilMFpmtSLnroB68iPG+ChI99wjjB/H//F/LaVBrTAM5C6fcO CTV5cn3vst5qb5SDiAqH/tlWp90AGHyUJscKuHei2OqMXmKsHij5J3SzBYu0GSeQD3MWsP3+ onMSRXCZQy/8vOAhs1Qt4tp+AYbFjBhiO03ZVgQ4MNylyv8NmMdMOABKt8TP/m4SMApOE3QP 1khrVfOCBkRmRxAdwu5sY26DlrZHeZINtn6J3ol8it4rstw6JyoWNNcGuVIuh+auQcPCMmrJ 9IfvHH9VvR06o88Xv4dv5RXns8+rs43BRs0FYTVn8LxAlASDN3mEZCn8BVlDUT6Li0GqKkHy aXZi4yJrIFXhHMdyfpdRkM=
Ironport-hdrordr: A9a23:JNpBu6zzfD+LNxbqXQ3vKrPwMb1zdoMgy1knxilNoNJuA66lfq GV7ZcmPHDP+VIssR0b6Le90de7MBbhHPdOiOF7UNvMMjUO01HJEGgN1+rfKuLbcRHDyg==
Ironport-phdr: A9a23:gguUhRTtd7I+oE7CVL698kQXZ9psol2VAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOAu7kd0ruempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjqwbal8I Ri1ogndq9QajI9/Iast1xXFpWdFdOtRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2U KJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5 KplVBPklCEKPCM//WrKiMJ/kbhbrQq/qRJi34HZfoKbOvR+cK7GYdMWWXZNUtpNWyBdAI6xa ZYEAeobPeZfqonwv0AOogWkBQmjGuzj0CVHhmLq3aIk3OUhEB/J3BY7Et0TvnTUr9T1OL0PX u+r0aLEySjNYO1M2Tfy9ofDbwwsoeyQXb1ufsvRyFcgFxnAgliWtIfqMC+b2P4XvGiH8+pvS /ivi2g/pgxxpjWi2skihInJiI8Iyl3I6Cp3zZs1K9C4RkB3fdqpHZlTuiyEKoZ4Tc0sTmB0t Cs1xbMLupG1cSYKxZk62RPSbeGMfYaP4hLmTumRIDF4iWp5d7K+mxmy9FGsxfH7Vsmy3lZFs DBFncfKtn8RyRPf8M+HSuFy/ku5xTmAyR3T6vtdLUE6jqrXMZkhwqQ/lpYLr0vMBDT2mUXqg 6+WbEok+/Ko5/7gYrX8qZ+RMZJ/hALmMqk2h8CyD+s1PhIKUmWa4+iwybnu8VDjTLlXjfA7k rHVvZTaKMgBu6K1HgtY3pw+5xu8CzqqyskUkHgBIVlYYhyIlZLpNEvLIP3gDfewnVCskDBzy vDCOL3hHIzBI3zenLv8frtw61RQyBEowtxF+p1UBLIBIPPpVkDsqtPUFh45MwqqzOb7ENhxy 40TVG2VDqKdMa7eq0KE6+YyL+WWeYMYuzbwJ+Ag5/H0jH85nVEdfbOu3ZsScH24BeppI1+WY XXymNsOC3oKvhYgQ+3liV2NTyRTam2vUKIy5TE7CZiqAprdSYy1hryOxz+0HodKaWBeFlCMD XDoep2ZV/sUciKdPtdhkiAYVbimU4IuyRautBbjx7V7KurU5zYXuIn41Nl14u3TjQs9+SZ1D 8SbyWGNTnt7knkGRz8sj+hDphl2zU7G2qxlidRZE8ZS7rVHSFQUL5nZmvd3Ed//HAvcYtqZS Vu8atmoAjB3Qt95g+QDeUlwU/y/kh3T3iewQuxG34eXDYA5p/qPl0P6INxwni6uPMgJilAnR pEKLmi6nutl8AOVAYfVkkKfnqLsdKIG3SeL+n3QhXGWshR+Vwh9Gb7AQWhZflHf+M/0/EzPC bazFbk3MwZb4cKMKaoMZtC6xU5eSqLbMc/FK3m0h3/2AB+Jwr2Wa4+/YGgH0yibAVUYnhAS8 GyuOQY9B2GtrjGWFyRgQHToZU6k6uxisDW7Q0szmhmNdFFk3qGp9wQ9gfqCDqJKh+JZ/jwr7 Tl6H1f709++58OogQ1nce0cZNo85A0CzmfFr0lnOZfmKal+h1kYegAxvkX01hwxBJ8S2c4t5 GgnygZ/M8f6mBtIai+Y0JbsO7bWNni6/RahbLTT003f19De87kG6fAxoVHu9A+zEU9q/3Ji2 thTm3ySg/eCRBEfS538FE8q6xVqprzASiUz5IKS2XAteai4vzne2s44UfM/w0XFHZ8XO6eFG QnuVswCUpH1dKp7xR7wP0tCZbAPp8tWd4u8evCL2bCmJrNllTOi1yFc5Zxll1iL/Gx6Q/LJ2 JAMx7eZ2BGGXnHylgTE0Ii/lIZaaDUVBmf6xzLjAdsbfaBocotNAHqyLt22y89Wi5DuWjhU+ RTwYjFOkN/sYheUY1HniEdL2F4YrDquhDe13z15iRkloKmemiDDibeHFlJPKitAQ29sik3pK I6/goUBXUSmWAMukQOs+Ufww6UzSL1XF2DIWg8IeiH3KzsnSa6srv+YZMUJ7po0sCJRWeD6Y FaAS7e7rQFImy/kGmJfwng8eVTI8t3ikgZ1hSSUMWp+vHvUY+l8yxTeotDRDfJcxTsJQiBkh CKfXwPgeYj3u4zFztGa4r32XnnpTpBJdCj30Y6M0UnzrXZnBxGyhbH7m9HqFxQ7zT6u0tBrU SvSqxOvKoLv1qm8LadmZhwxXwO6upQ8Q9An1NJg2cJ1uzBSnJie8HsZnH2mNNxa3fi7d38RX XsRxNWT5gH52UplJ3bPxoTjV3zbzNEyArvyKm4QxC856NhHTamO67kR1zB4uFW16wvMffVtn zoH4fcg639cj+xD629Phm2NR6sfG0VVJ3mmjBmS4N34pbhLaXaufKKY2ER9nJatAfvRx2MUE Ga8cZAkEyhq68x5O1+Zy3z/5Lbvf9zIZM4SvBmZwF/QyvJYI5Urmr8WlDJqbCjj6GY9xbdx3 nkMldmq+ZKKIGJ38OelDw5EY3frMtgL9GiliLYWn97Kjdn0QtMwRHNSDcKuFKL1dVBa/fX/a 1TXS2F6+yndQOuGW1bPtw9nty6dSsvycSvLej9AnIgkHlGcPBAN2VtNGm9mwNhgTFjsnpa5F SUxrjlD41f5rhRTk6R1MRi6UWOZqArgazE/TIWTIUhN9g8E/13SLcGV8uN0GWdf44GlqwuOb GecYkxeBGUNECRoHnjFOb+jrZnF+umcXK+lKufWJK+JoqpYXuuJwpSm1s1n+SyNP4OBJCsqC fpzwUdFUX1jfqaR0zwSVywakT7MZM+HtV+9/CNwtMW27PXsXkrm+4KOD7JYNdgn9QqxhO+PM OuZhSAxLjg9tNtE3XjT1L0Wx0IfkQlqcSfoQO1Z5XOLV6iWlqFUDlgXZmI7NcdF6b49whgYO cPfjYCQtPYwhfo0BlFZEF35z5jyOYpbfSfkZQqBXRbWZ9HkbXXRzsr6YL2xU+hVheRQ7Virv CqDVlXkNXKFniXoUBamNadNijuaNVpQotLYEF4lBG79QdbhchD+PsVwiGh82rAuiX6MPHMAP Ch9flllorOT7GVUj78sfg4JpmogNuSClyuDuqPALY0KtPJwHiluv+Zc/jFrkuIFsWdfTrp5l ijT6NJj6QLD8KHH2n9sVxxArSxOjYSAsBB5OKnXwZJHXG7N4BMH6Wj44/Uio917T4y24vANj MPF0q79KzYE/9+GpaP04uDYJsGGdnYsY0KB8NH8AAUGTHinODOG73E=
Ironport-sdr: 639d8198_B3JKGc25BbHfpWaTsxdQgsdlnrypYIjRtrqzev9omRpjiAP YtSbEMLn1jcmIAUNhkScae5zU4NNa2n7gkaK9FQ==

Call for Workshop and Tutorial Proposals
16th Conference on Intelligent Computer Mathematics
- CICM 2023 -
September 4-8, 2023
Cambridge, United Kingdom
https://www.cicm-conference.org/2023

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

The CICM conference brings together the many separate communities that
have developed theoretical and practical solutions for mathematical
applications.

CICM will be held as a hybrid event (in person and online) and will
provide associated events with appropriate infrastructure for
supporting both kinds of participants.

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 (online-only, in person-only, hybrid)
* previous instances of the event (if any)
* preferred or excluded dates within the CICM dates (if any)

CICM will take care of publishing and distributing informal
proceedings of the workshop/tutorial events (if the respective
organizers so wish) via open access online proceedings with
CEUR-WS.org.

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

Proposal submission: January 13, 2023
Notication: January 20, 2023
Conference: September 4-8, 2023

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

All proposals should be submitted via

https://easychair.org/conferences/?conf=cicm2023

More details on the conference are available from

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

[Coq-Club] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023), Serge Autexier, 12/17/2022