coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022

From: serge.autexier AT dfki.de (Serge Autexier)
To: coq-club AT inria.fr
Cc: serge.autexier AT dfki.de
Subject: [Coq-Club] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022
Date: Mon, 25 Apr 2022 17:07:28 +0200 (CEST)
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:gHUbma2YARf5ubiVjPbD5ft3kn2cJEfYwER7XKvMYLTBsI5bpzFRx zEWXG/XO/iLZTPwedkkbdjk/UwDv5OBmoRqGwc53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/nOHNIQMcacUsxLbVYMpBwJ1FQyw4bVvqYy2YLjW1/X5 IuryyHiEAbNNwBcYjp8B52r80sHUMTa4Fv0aXRjDRzjlAa2e0g9VPrzF4npR5fLatU88tqBe gr25OrRElU1UPsaIojNfr7TKiXmS1NJVOSEoiI+t6OK2nCuqsGuu0o2HKJ0VKtZt9mGt9JSz +tU7bWbdTYCDL3lqrU9XRZeQwgraMWq+JefSZS+mciV0QiXKiK8nrN1Bgc6M44ZvOp6aY1M3 aVDdHZcMFba1rvwmeLmIgVvrpxLwM3DJ44FtXwmxCzFAOYnTIrrT6vJ5JlU0V/cg+gVRqyHO ZdGOFKDajzyOkMIOn5KD6sOlaC2jUfaWTJ1tWus8P9fD2/7llUqieO9YbI5YOeiTsJM202cu 2ju5HX8GhhcNdqFyDPD/GjEuwPUtSf9RsdDTeToq7hxihufyG8SThEbPbemnRWnokydXOxGc 2U/xhsFn7gbxh2LQNb7DzTt9RZooSUgc9ZXFuQ77iSExazV/xuVCwA4othpNIBOWCgeGWJC6 7OZoz/6LWA+6uXEFRpx4p/L9WnrZ0D5OEdfDRLoWzfp9PHPjenfZDr0R995GrQeWtb2FDeYL 9ui8nZn3uR7YSIj7Kyy51TOhT7Em3QkZgoz+ECGBzv1s0VibsipaY+pr1TWhRqhEGp7ZgTQ1 JTns5HAhAzrMX1rvHDUKAnqNO3zj8tpyBWG3TZS82AJrlxBAUKLc4FK+y1ZL0x0KMsCcjKBS BaN5FsOuM4DYyL1PfMfj2eN5yICkvGI+TPNCau8UzaySsIuKWdrAQk+PRfIgzGz+KTSufxiZ MzEGSpTMZrqIf4+l2PtF7Z1PU4Dyi0j2XjYRZ3ghxqgy6GVZGOTRqwDPUecBt3VH4vbyDg5B +13bpPQoz0GCbWWSnCOoeY7cA5WRVBmW8Geg5EHJ4arf1s9cEl8WqC56e16IeRNwf8K/tokC 1ngACe0PnKl2y2eQehLA1g+AI7SsWFX8CxrYHRwbQr5s5XhCK72hJoim1IMVeFP3IReITRcF pHpou2MXaZCTCrp4TMYYcWvpYBubkv5iQyNPmypbWFnLZJnQgXI/P7ifxfurXVfUHDo6JFm+ 7DwhBnGRZcjRhh5CJqEYvyYyV7s72MWn/h/XheVL9QKIBfs/YFmJjbflPgyJ81QexzPyiHFh QqYAhZeqeSU+90599zAhKalqYa1ErIiTxQAQDSBte67bHCI8HCizIlMVPezUQrcDG6kqr+/Y eh1zu3nNKFVllh9tYchQa1gyrgz5oeyqrJXklZkEXHMYwj5A79sOCPej81JqOgcn+YJ5E2tU ASD9Npbf7mEYZu3HFkULQsjT+KCyfBNxmiMt6toeh2i6X8l5qeDXGVTIwKI1H5XIoxzPd532 uwmosMXt1Gyh0Z4KNqAlSwIpW2AImZaC/cjsI9fUday2ldt0VsEbZLfC2n67cjXOdlLN0ArJ B6ShbbD3ugNmBCdLiBrTXWdj/BAgZkuuQxRyANQLVq+nNeY1OQ82wdc8GhqQwlYpvmdPzmf5 oS224xJyaSyE/NAgM5dGjH1QlEcQgaTvED/yFpPmGCxo4xEkIDSBDVVBApP1BlxH6Fgkvxz8 L+bySDpXF4GuenvizAqVxcNR+PLFLRMG86rpCxjN8iLHJh8bTeNbmpCo4YXg0OPPP7dT3Era QWnECicpEE72eMtT3UHNrSn
Ironport-hdrordr: A9a23:MWn2D6z7E1K4I6MI6KTvKrPwMb1zdoMgy1knxilNoNJuA66lfq GV7ZcmPHDP+VIssR0b6Le90de7MBbhHPdOiOF7UNvMMjUO01HJEGgN1+rfKuLbcRHDyg==
Ironport-phdr: A9a23:SpmwIRIjt5LLBN/c3tmcuJFsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM01RSZBc2bs6sC17CM9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajb75+N gi6oRjeusQVnYdpN6I9xgfUrndSdOla231kKUiPkxrg48u74YJu/TlXt/897cBLTL/0f74/T bxWDTQmN3466cj2vhTdTgWB+2URXHwOnhVHHwbK4hf6XozssiThrepyxDOaPcztQr8qXzmp8 rpmRwXpiCcDMD457X3Xh8lth69VvB6tuxpyyJPSbYqINvRxY7ndcMsES2RcQslfVCJPDIOnY osTE+YNIfpUo5Xhq1YMqxa1GAmiBPnoyj9NnnL2xrM10/4uEQ7YxgAvBc8OsGjKo9T6NacdT /q1wbLVwjXNbPNW2C3x55XWfRs8pf2CQKx/cdDeyUYxCgjIkkiQqZD7MDKa1+QCrXKb4+9mW OmyhGEptxt/rSKzxscwlIbJnIQVx0jL+Chnw4s4JtK1RUpmbdK4DJdduCOXO5d4TM4tTGxlp Cc3x70HtJOnciUHyIoqygLBZvGDb4WF/w7uWPqeLDp4gn9uZbyxhxG38Ue6y+38UNG530pLr iVZl9nAr2wC1xvV6siJVPR95Fmu2TCT2A/N8O1EJlo0laXDJ5E93LEwi4ATvV3NHy/tgkn2i 7WWdko89ue28evnebXnqYOcN4BuiwH+KL4imsulAeQ3NAUFQmuV+fyk2bH+80D0T69Gg/k3n 6XDrZzXIdkXqrSkDwJW0osv8wuzAjmp3dgCgHULMExJdAiZg4T0P1zCOvH1APGiiFq2ijhr3 erJPrj5D5XNMHfDlLDhcK55605a1go/1NRS649JBrwCIP//QFTxu8fCAhAkPQy0wOfnBM9g2 YwAQW6PA6mZP73OsVKQ++4iLeaBaJURtTv8MfQp+vrjgWIjlVMAfqSk3YMbaHWiEfRnJ0WZb 2DsgtAEEWoSpQoxUvbqiFKcXjJJfXmyQr486S80CYKnE4jDXJugj6GP3Ce4H51afH1JBU6UH XfubIqLQ+0MZz6KIs99jjwEUqCsR5I52RG0qAD606ZnLvbT+iAAqZ3j08F16/TPmhE26Dx7F N+Q03qNTmFxhmMHXSU63KF5oUxny1eMy7J0g/JCFY8b2/QcWQAjcJXY0uZSCtboWwuHcM3aZ kyhR4C9DCs+Q5Q43sMDc0dwAf2ugBPCmSanS/8umqaECdQd777Rz3n8PYcumD79yKA9ggx+E YN0Pmq8i/snn+CyL4vAkkHD0r2vabxZxinGsmGK0WuJukhcFg92S6TMG34FNQPNtdqswETEQ ve1DKg/dBNbwJuZJ7FFZ5vgkElLVPbuIvzSbWGw3Wu9Vl6T3r3ZVIPxYC0G2TnFTk0NkgQd5 3GDYBMzHCis5WvDEDF+FF/1S0/i8ug4pH7oBlQswVSsaEtsn6Gw5gZThfGYTKYL2akYvS46t zhuNFK7wZeHUoPQ+kx6duNQb9A8pltKvY7Anyp6OJHob6Vrh1pENh9yo1urzRJ8TINJjcktq nouigt0M6ORll1bJXue2tjrN7vbJ3OXnljnYrPK2lzYzNed+7seoPU+pVL5uQi1F00ku3x52 thR2nGY693EFg0XGZ72V0828VB9qdS4KmEm6pnb2DtlLLW5oj7PwfolCugkjBqtPp9ePK6CC A7uApgCHcH9TY5i01Otbx8CIKVT7PttZJ/gJqXAgf/yer8wwWHD7ywP+o1230OS+jApT+fJ2 8xA2PSExk6dUDy6il69s8fxkIQCZDcIH2P5xzK3YewZLqB0Y4sPDn+jZsOtwdArzYXgQXFVs le+G14W2cKzURacbF270QAahiF16TS33DC1yTB5iWRjtaeF0yGIyvn+eQoGN3RjSGdhjBHgL MLn6rJSFFjtZA8vmhy/4E/8zKUOv6VzIV7YRkJQdjT3JWVvOkepnoKLeNUHqJYhsCENFf+5f UjfULn25R0TzyLkGWJagjE9bTCj/JvjzVR2j2eULXA7q3S8G4k43hrF69GaTONN0yoHSTNQh TfUBx6wMpGl8M6VmJHKru2lHzv6CtsCL2+ynNrG7XvmrWRxSQWyhfWyhsHqHW1YmWfg2t9mW D+J5Bfwb4/31rirZOduf01mHlj5uIJxHoBzlJd1hYlFgCNGwMTLuyNWyCGqYYgIvMC2JGAAT jMK3dPPtQ3s2Uk5a2mM25q8THKWhM1oe9i9ZGoSnCM79cFDTqmOv9km1WN4pES1qQXJbL1zh DAYnLE15WQVjqcApRYg3iSQGJgeE0pZeyDh3UftjZj2vOBMaWCjfKLlnlFzh9+sSrifvgxMW XvjUpssHi424sg1YzeumDXjr4rjftfXd9casBaZxgzBg+ZiI5U0jvMWhCBjNDG1rTg/xuU8l xArwYCisd3NNTB25KzgSE09VHW9d4YJ9zrql6obgsuGw9XlAMB6AjtSFJ74BfOwTGBL7qihZ ljISWxl7C7LRN+9VUee8Bs09imTVcH1cSjGfT9AnYoqRQHBdhUE2UZOAGt8x89kUFrixdS9I h4iv3ZLugC+80EUjLgyb3ydGi/W9gKhazM7V8HZMRxXqwJGoUvYec2Y5eZuEywK5YWv6hSXL XCWbBhJCmdPXVGYA1fkPf+l4tyI5eGcAqDWw+LmR7KIpKQeUv6JwcjqyY5653OWMc7JOHB+D vo9004FXHZjGs2flS9dAyoQ3znAacKWvnLesmV+s9y//fL3WQnu+ZrHCr1cNs9q8gy3hqHLP vCZhSJwIzJVnp0WwnqAxL8a1V8UwyZgElvlWawHrjLIRbnMl7V/CxgFLnIqbZsVqbk2mAVDO s+dht60nr90g/gpCktUAFzsnsb6AK5Ca2q5NV7BGAOKLOHffmGNkp+xOPLlD+QA0bYx1VX4o zuQHk79My7WkjDoU0rqKuRQlGSBOxcYvoihcxFrAGylTdT8axT9PsUk6F9+ibAymH7OMnYRd DZmdEYY5Kad9yxVxPxiB2FR73d/BeWKmCff4+SSefN0+bN7Rz95ke5X+iFw07xO8CRNX+B4g gPWqMAr8gj/wrTJ0TAhXBRNq3BHicjY2CcqcbWc/Z5GV3He+RsL5mjFEBUGqexuDdj3srxRw NzC/EoSADNE7ZeFpJJMWo7PIoSLPnkgdxbkSma85O4tQTCoNCfTih4F+Bl93nGbrZl8ppW+w fIz
Ironport-sdr: kyTaOTBEsr+V+LMqhAeYD8+Hm6/H4qNKB+gMxIu+PJRE7FJL43QxIvbse0HON9BjOc6EDhCJc/ ouVcYqN3lCqTFbFsCRKFuggOjmt6eiqJ4Iac8AOcBwnaR6Fnn1sJjAfjpOTdl6uogd5pQkDqyv Q0B+N+hFFbkIa/M3T+N+WsccABylfzGuA6EWizcAb7JyGriD7jLgl7NHH96VEBcOB2tJxwQfPP zGEbBzJfap86OGo9YkV1UhfglQFpXOdmdW7uvrO7f3Xcq++lz5Wg//Tz3XfR7eMM9QjA9IXTfv a1wlbyErNC34FdOH+gTIqPJ+

*** Apologies from cross postings ***

Call for Workshop and Tutorial Proposals
15th Conference on Intelligent Computer Mathematics
- CICM 2022 -
September 19-23, 2022
Tbilisi, Georgia (hybrid event)
http://www.cicm-conference.org/2022

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

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 with) via open access online proceedings with
CEUR-WS.org.

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

Proposals should be submitted by July 8, 2022.
Earlier submissions are strongly encouraged, and notifications of
acceptance will be issued on a rolling basis.

All proposals should be submitted via
https://easychair.org/conferences/?conf=cicm2022

More details on the conference are available from
http://www.cicm-conference.org/2022

[Coq-Club] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022, Serge Autexier, 04/25/2022