[mizar] CICM 2020 in Bertinoro (PC members please help distribute the CFP) (fwd)

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Dear Mizar Users,

Please note that the submission deadline for this year's
Conference on Intelligent Computer Mathematics (CICM) is approaching
(see the link to CFP below).

Adam Naumowicz

===========================================================================
Dept. of Programming and Formal Methods      Fax: +48(85)738-83-33
Institute of Informatics                     Tel: +48(85)738-83-06 (office)
University of Bialystok                      E-mail: adamn@mizar.org
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================


---------- Forwarded message ----------
Date: Thu, 13 Feb 2020 09:05:42 +0100
From: CICM-13 <cicm13@easychair.org>
To: Adam Naumowicz <adamn@math.uwb.edu.pl>
Subject: CICM 2020 in Bertinoro (PC members please help distribute the CFP)

Dear Adam Naumowicz,

it is now time to have a second round of CFPs for CICM 2020 in Bertinoro. The submission deadline for abstracts is March 1.

Here is the latest version of the CFP: https://www.cicm-conference.org/2020/cicm.php?event=&menu=cfp

A call for CICM 2020 also just appeared in the AAR newsletter: https://aarinc.org/Newsletters/130-2020-02.html#cicm

Please help distribute; use your own communication channels.

Best wishes,
  Christoph & Bruce