om

[Om] Digital Data Processing 2025-IEEE

Tue, 10 Jun 2025 15:41:50 GMT

2025/06/10 -- svcmathdoxmail

[Om] [fm-announcements] PVS Day at NFM 2025, June 10, 2025

Mon, 02 Jun 2025 12:32:25 GMT

2025/06/02 -- svcmathdoxmail

[Om] DDP 2025 Workshop on Data Analytics in Biomedicine

Fri, 23 May 2025 11:46:11 GMT

2025/05/23 -- svcmathdoxmail

[Om] [fm-announcements] DisCoTec Call for Participation - Early Registration Deadline Soon

Tue, 20 May 2025 14:42:47 GMT

2025/05/20 -- svcmathdoxmail

[Om] Real-Time Intelligent Systems 2025

Thu, 15 May 2025 11:58:39 GMT

2025/05/15 -- svcmathdoxmail

[Om] [fm-announcements] Call for Participation: NFM 2025

Tue, 06 May 2025 14:56:37 GMT

2025/05/06 -- svcmathdoxmail

[Om] CICM 2025 * DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK *

Tue, 06 May 2025 10:53:18 GMT

2025/05/06 -- svcmathdoxmail

[Om] CICM 2025: 4th Announcement and Call for Papers with deadline extension

Fri, 25 Apr 2025 16:09:38 GMT

2025/04/25 -- svcmathdoxmail

[Om] CICM 2025: 3rd Announcement and Call for Papers

Thu, 10 Apr 2025 21:44:20 GMT

2025/04/10 -- svcmathdoxmail

[Om] DDP 2025- IEEE

Thu, 03 Apr 2025 12:24:31 GMT

2025/04/03 -- svcmathdoxmail

[Om] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia

Tue, 11 Mar 2025 15:56:55 GMT

2025/03/11 -- svcmathdoxmail

[Om] FTfJP 2025 - First Call for Papers

Thu, 06 Mar 2025 13:00:44 GMT

2025/03/06 -- svcmathdoxmail

[Om] [fm-announcements] LOPSTR 2025 call for papers

Tue, 25 Feb 2025 12:42:22 GMT

2025/02/25 -- svcmathdoxmail

[Om] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025

Tue, 25 Feb 2025 12:25:39 GMT

2025/02/25 -- svcmathdoxmail

[Om] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia

Sat, 15 Feb 2025 13:45:09 GMT

2025/02/15 -- svcmathdoxmail

[Om] FSEN 2025 - Call for Participation

Mon, 10 Feb 2025 13:23:56 GMT

2025/02/10 -- svcmathdoxmail

[Om] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil

Mon, 09 Dec 2024 20:04:59 GMT

2024/12/09 -- svcmathdoxmail

[Om] [fm-announcements] NFM 2025 deadline extended

Mon, 09 Dec 2024 10:25:41 GMT

2024/12/09 -- svcmathdoxmail

[Om] [fm-announcements] NFM 2025 second CFP

Fri, 22 Nov 2024 10:45:15 GMT

2024/11/22 -- svcmathdoxmail

[Om] FSEN 2025 - Final Call for Papers (Deadline extended)

Tue, 08 Oct 2024 09:52:53 GMT

2024/10/08 -- svcmathdoxmail

[Om] [fm-announcements] NFM 2025 CFP

Tue, 08 Oct 2024 09:52:53 GMT

2024/10/08 -- svcmathdoxmail

[Om] FSEN 2025 - Final Call for Papers

Tue, 03 Sep 2024 11:01:20 GMT

2024/09/03 -- svcmathdoxmail

[Om] RTIS 2024 Extended Deadline

Tue, 20 Aug 2024 12:07:54 GMT

2024/08/20 -- svcmathdoxmail

[Om] FSEN 2025 - 2nd Call for Papers

Tue, 30 Jul 2024 14:21:05 GMT

2024/07/30 -- svcmathdoxmail

[Om] Real-Time Intelligent Systems 2024-

Tue, 16 Jul 2024 16:58:25 GMT

2024/07/16 -- svcmathdoxmail

[Om] Workshop on Data Analytics in Biomedicine

Tue, 16 Jul 2024 16:58:25 GMT

2024/07/16 -- svcmathdoxmail

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

Tue, 09 Jul 2024 09:13:01 GMT

2024/07/09 -- svcmathdoxmail

[Om] Workshop on Data Analytics in Biomedicine

Fri, 05 Jul 2024 14:18:33 GMT

2024/07/05 -- svcmathdoxmail

[Om] Digital Data Processing 2024

Tue, 02 Jul 2024 11:04:19 GMT

2024/07/02 -- svcmathdoxmail

[Om] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024

Mon, 01 Jul 2024 09:33:44 GMT

2024/07/01 -- svcmathdoxmail

[Om] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024

Thu, 27 Jun 2024 06:33:31 GMT

2024/06/27 -- svcmathdoxmail

[Om] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada

Tue, 25 Jun 2024 06:37:26 GMT

2024/06/25 -- svcmathdoxmail

[Om] Workshop on Data Analytics in Biomedicine

Mon, 24 Jun 2024 09:47:38 GMT

2024/06/24 -- svcmathdoxmail

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

Fri, 21 Jun 2024 09:35:33 GMT

2024/06/21 -- svcmathdoxmail

[Om] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024

Wed, 12 Jun 2024 16:19:40 GMT

2024/06/12 -- svcmathdoxmail

[Om] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024

Mon, 10 Jun 2024 16:09:38 GMT

2024/06/10 -- svcmathdoxmail

[Om] [Second Call for Papers] Women in Formal Methods (WiFM-2024)

Mon, 10 Jun 2024 16:01:56 GMT

2024/06/10 -- svcmathdoxmail

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

Wed, 05 Jun 2024 10:42:28 GMT

2024/06/05 -- svcmathdoxmail

[Om] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

Thu, 23 May 2024 06:46:36 GMT

2024/05/23 -- svcmathdoxmail

[Om] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024

Wed, 22 May 2024 06:42:23 GMT

2024/05/22 -- svcmathdoxmail

[Om] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024

Tue, 21 May 2024 06:50:50 GMT

2024/05/21 -- svcmathdoxmail

[Om] FSEN 2025 - Call for Papers

Thu, 16 May 2024 09:52:46 GMT

2024/05/16 -- svcmathdoxmail

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

Tue, 09 Apr 2024 12:31:25 GMT

2024/04/09 -- svcmathdoxmail

[Om] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Tue, 26 Mar 2024 08:24:26 GMT

2024/03/26 -- svcmathdoxmail

[Om] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Fri, 15 Mar 2024 07:38:38 GMT

2024/03/15 -- svcmathdoxmail

[Om] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Wed, 24 Jan 2024 16:20:17 GMT

2024/01/24 -- svcmathdoxmail

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

Tue, 16 Jan 2024 16:25:10 GMT

2024/01/16 -- svcmathdoxmail

[Om] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Fri, 24 Nov 2023 07:38:08 GMT

2023/11/24 -- svcmathdoxmail

[Om] On notation

Sat, 04 Nov 2023 11:35:31 GMT

2023/11/04 -- svcmathdoxmail

[Om] OpenMath seminar Friday 3 November: Complex complex domains and self-documentation of formal mathematical properties

Mon, 30 Oct 2023 10:32:18 GMT

2023/10/30 -- svcmathdoxmail

[Om] Upcoming OpenMath communication

Wed, 25 Oct 2023 09:15:21 GMT

2023/10/25 -- svcmathdoxmail

[Om] Proposed Change of OpenMath Communication (please feedack)

Tue, 03 Oct 2023 07:50:18 GMT

2023/10/03 -- svcmathdoxmail

[Om] CICM 2023 - Call for Participation

Fri, 04 Aug 2023 14:31:02 GMT

2023/08/04 -- svcmathdoxmail

[Om] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023

Fri, 07 Jul 2023 06:36:50 GMT

2023/07/07 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Fri, 30 Jun 2023 07:21:46 GMT

2023/06/30 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Tue, 20 Jun 2023 09:40:07 GMT

2023/06/20 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Tue, 20 Jun 2023 07:52:23 GMT

2023/06/20 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Mon, 19 Jun 2023 10:22:21 GMT

2023/06/19 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Mon, 19 Jun 2023 10:06:07 GMT

2023/06/19 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Mon, 19 Jun 2023 10:00:55 GMT

2023/06/19 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Mon, 19 Jun 2023 09:53:21 GMT

2023/06/19 -- svcmathdoxmail

Re: [Om] Use w3id.org/openmath/ for redirections

Mon, 19 Jun 2023 09:39:37 GMT

2023/06/19 -- svcmathdoxmail

[Om] Use w3id.org/openmath/ for redirections

Mon, 19 Jun 2023 07:31:33 GMT

2023/06/19 -- svcmathdoxmail

[Om] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)

Sun, 19 Feb 2023 11:19:30 GMT

2023/02/19 -- Serge Autexier

[Om] [fm-announcements] FMICS 2023 - Call for Papers

Tue, 31 Jan 2023 11:58:27 GMT

2023/01/31 -- Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via Om

[Om] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)

Sat, 17 Dec 2022 08:47:30 GMT

2022/12/17 -- Serge Autexier

[Om] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023)

Sat, 17 Dec 2022 08:38:11 GMT

2022/12/17 -- Serge Autexier

[Om] CICM 2022, final call for applications to the doctoral programme, 15. July 2022

Wed, 06 Jul 2022 16:16:27 GMT

2022/07/06 -- Serge Autexier

Re: [Om] Responsibilities for issues and PRs regarding CDs

Tue, 05 Jul 2022 08:33:19 GMT

2022/07/05 -- Wenzel, Ken

[Om] Responsibilities for issues and PRs regarding CDs

Tue, 28 Jun 2022 09:44:47 GMT

2022/06/28 -- Wenzel, Ken

[Om] OpenMath-RDF - request for comments and participation

Fri, 03 Jun 2022 09:00:01 GMT

2022/06/03 -- Wenzel, Ken

Re: [Om] Page with POPCORN definitions is down

Wed, 25 May 2022 14:43:09 GMT

2022/05/25 -- David Carlisle

Re: [Om] Page with POPCORN definitions is down

Tue, 24 May 2022 12:17:24 GMT

2022/05/24 -- Wenzel, Ken

Re: [Om] Page with POPCORN definitions is down

Tue, 24 May 2022 12:12:19 GMT

2022/05/24 -- Alberto González Palomo

[Om] Page with POPCORN definitions is down

Tue, 24 May 2022 11:45:23 GMT

2022/05/24 -- Wenzel, Ken

[Om] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics

Fri, 13 May 2022 06:47:51 GMT

2022/05/13 -- Serge Autexier

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

Mon, 25 Apr 2022 15:09:43 GMT

2022/04/25 -- Serge Autexier

[Om] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers

Fri, 22 Apr 2022 14:00:18 GMT

2022/04/22 -- Serge Autexier

[Om] Web-based Strict Content MathML formula editor

Wed, 09 Feb 2022 09:06:50 GMT

2022/02/09 -- Andreas Krinke

[Om] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline

Mon, 31 Jan 2022 19:58:55 GMT

2022/01/31 -- Serge Autexier

[Om] [fm-announcements] NFM 2022 - SECOND CALL FOR PAPERS

Fri, 22 Oct 2021 13:24:15 GMT

2021/10/22 -- Havelund, Klaus (US 348B) via fm-announcements

[Om] [fm-announcements] NFM 2022 - First Call for Papers

Wed, 22 Sep 2021 12:32:54 GMT

2021/09/22 -- Havelund, Klaus (US 348B) via fm-announcements

[Om] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Final Call for Papers

Fri, 27 Aug 2021 12:03:46 GMT

2021/08/27 -- Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements

[Om] Invitation to Research Design, ODK mobile data collection, GIS mapping, and Data analysis using NVIVO and R Workshop Sep 13 2021

Tue, 03 Aug 2021 08:21:54 GMT

2021/08/03 -- FDC-K .ORG

[Om] CICM 2021, July 26-31, Call for online participation

Sun, 25 Jul 2021 10:51:00 GMT

2021/07/25 -- Serge Autexier

[Om] CFP: 31th OpenMath Workshop at CICM 2021 (26. - 31. 2021; day tbd)

Sun, 16 May 2021 15:26:59 GMT

2021/05/16 -- Michael Kohlhase

[Om] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts

Mon, 19 Apr 2021 07:21:44 GMT

2021/04/19 -- Serge Autexier

[Om] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021)

Mon, 29 Mar 2021 18:46:39 GMT

2021/03/29 -- Serge Autexier

[Om] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021

Tue, 16 Mar 2021 19:22:07 GMT

2021/03/16 -- Serge Autexier

[Om] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021

Sat, 20 Feb 2021 16:10:51 GMT

2021/02/20 -- Serge Autexier

[Om] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021

Wed, 27 Jan 2021 08:17:58 GMT

2021/01/27 -- Serge Autexier

[Om] Invitation 14th CHAOS2021 International Conference in Athens, Greece (Hybrid), ABSTRACT deadline 20 December 2020

Mon, 07 Dec 2020 07:40:31 GMT

2020/12/07 -- Secretar

[Om] Invitation 14th CHAOS2021 International Conference in Athens, Greece (Hybrid)

Mon, 16 Nov 2020 09:35:17 GMT

2020/11/16 -- Secretar

[Om] October CMSIM2020 International Web Conference Abstract deadline extended

Sun, 11 Oct 2020 17:18:36 GMT

2020/10/11 -- Secretar

[Om] October CMSIM2020 International Web Conference Abstract deadline extended

Wed, 23 Sep 2020 07:58:12 GMT

2020/09/23 -- Secretar

[Om] Information CMSIM2020 International Web Conference

Mon, 20 Jul 2020 15:36:49 GMT

2020/07/20 -- Secretariat

[Om] CICM 2020, July 26-31: Call for Online Participation

Fri, 10 Jul 2020 15:24:55 GMT

2020/07/10 -- Serge Autexier

[Om] Information 13th CHAOS2020 International Web Conference

Mon, 11 May 2020 08:44:17 GMT

2020/05/11 -- Secretariat

[Om] Information 13th CHAOS2020 International Web Conference

Thu, 09 Apr 2020 08:29:26 GMT

2020/04/09 -- Secretariat

[Om] Deadline Extension (April 27.): 4-8p Abstract for the OpenMath Workshop at ICMS in Braunschweig (13-16 July 2020).

Thu, 12 Mar 2020 16:23:13 GMT

2020/03/12 -- Michael Kohlhase

om

[Om] Digital Data Processing 2025-IEEE

[Om] [fm-announcements] PVS Day at NFM 2025, June 10, 2025

[Om] DDP 2025 Workshop on Data Analytics in Biomedicine

[Om] [fm-announcements] DisCoTec Call for Participation - Early Registration Deadline Soon

[Om] Real-Time Intelligent Systems 2025

[Om] [fm-announcements] Call for Participation: NFM 2025

[Om] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***

[Om] CICM 2025: 4th Announcement and Call for Papers with deadline extension

[Om] CICM 2025: 3rd Announcement and Call for Papers

[Om] DDP 2025- IEEE

[Om] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia

[Om] FTfJP 2025 - First Call for Papers

[Om] [fm-announcements] LOPSTR 2025 call for papers

[Om] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025

[Om] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia

[Om] FSEN 2025 - Call for Participation

[Om] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil

[Om] [fm-announcements] NFM 2025 *deadline extended*

[Om] [fm-announcements] NFM 2025 second CFP

[Om] FSEN 2025 - Final Call for Papers (Deadline extended)

[Om] [fm-announcements] NFM 2025 CFP

[Om] FSEN 2025 - Final Call for Papers

[Om] RTIS 2024 Extended Deadline

[Om] FSEN 2025 - 2nd Call for Papers

[Om] Real-Time Intelligent Systems 2024-

[Om] Workshop on Data Analytics in Biomedicine

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

[Om] Workshop on Data Analytics in Biomedicine

[Om] Digital Data Processing 2024

[Om] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024

[Om] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024

[Om] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada

[Om] Workshop on Data Analytics in Biomedicine

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

[Om] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024

[Om] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024

[Om] [Second Call for Papers] Women in Formal Methods (WiFM-2024)

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

[Om] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

[Om] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024

[Om] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024

[Om] FSEN 2025 - Call for Papers

[Om] Real-Time Intelligent Systems 2024- Springer LNNS

[Om] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)

[Om] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

[Om] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

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

[Om] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

[Om] On notation

[Om] OpenMath seminar Friday 3 November: Complex complex domains and self-documentation of formal mathematical properties

[Om] Upcoming OpenMath communication

[Om] Proposed Change of OpenMath Communication (please feedack)

[Om] CICM 2023 - Call for Participation

[Om] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

Re: [Om] Use w3id.org/openmath/ for redirections

[Om] Use w3id.org/openmath/ for redirections

[Om] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)

[Om] [fm-announcements] FMICS 2023 - Call for Papers

[Om] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)

[Om] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023)

[Om] CICM 2022, final call for applications to the doctoral programme, 15. July 2022

Re: [Om] Responsibilities for issues and PRs regarding CDs

[Om] Responsibilities for issues and PRs regarding CDs

[Om] OpenMath-RDF - request for comments and participation

Re: [Om] Page with POPCORN definitions is down

Re: [Om] Page with POPCORN definitions is down

Re: [Om] Page with POPCORN definitions is down

[Om] Page with POPCORN definitions is down

[Om] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics

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

[Om] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers

[Om] Web-based Strict Content MathML formula editor

[Om] CICM 2025 * DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK *

[Om] [fm-announcements] NFM 2025 deadline extended