om

Messages by Date

2024/10/08 [Om] FSEN 2025 - Final Call for Papers (Deadline extended) svcmathdoxmail
2024/10/08 [Om] [fm-announcements] NFM 2025 CFP svcmathdoxmail
2024/09/03 [Om] FSEN 2025 - Final Call for Papers svcmathdoxmail
2024/08/20 [Om] RTIS 2024 Extended Deadline svcmathdoxmail
2024/07/30 [Om] FSEN 2025 - 2nd Call for Papers svcmathdoxmail
2024/07/16 [Om] Real-Time Intelligent Systems 2024- svcmathdoxmail
2024/07/16 [Om] Workshop on Data Analytics in Biomedicine svcmathdoxmail
2024/07/09 [Om] Real-Time Intelligent Systems 2024- Springer LNNS svcmathdoxmail
2024/07/05 [Om] Workshop on Data Analytics in Biomedicine svcmathdoxmail
2024/07/02 [Om] Digital Data Processing 2024 svcmathdoxmail
2024/07/01 [Om] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 svcmathdoxmail
2024/06/26 [Om] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024 svcmathdoxmail
2024/06/24 [Om] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada svcmathdoxmail
2024/06/24 [Om] Workshop on Data Analytics in Biomedicine svcmathdoxmail
2024/06/21 [Om] Real-Time Intelligent Systems 2024- Springer LNNS svcmathdoxmail
2024/06/12 [Om] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024 svcmathdoxmail
2024/06/10 [Om] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024 svcmathdoxmail
2024/06/10 [Om] [Second Call for Papers] Women in Formal Methods (WiFM-2024) svcmathdoxmail
2024/06/05 [Om] Real-Time Intelligent Systems 2024- Springer LNNS svcmathdoxmail
2024/05/22 [Om] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024 svcmathdoxmail
2024/05/21 [Om] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024 svcmathdoxmail
2024/05/20 [Om] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024 svcmathdoxmail
2024/05/16 [Om] FSEN 2025 - Call for Papers svcmathdoxmail
2024/04/09 [Om] Real-Time Intelligent Systems 2024- Springer LNNS svcmathdoxmail
2024/03/26 [Om] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024) svcmathdoxmail
2024/03/15 [Om] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) svcmathdoxmail
2024/01/24 [Om] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) svcmathdoxmail
2024/01/16 [Om] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024 svcmathdoxmail
2023/11/23 [Om] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) svcmathdoxmail
2023/11/04 [Om] On notation svcmathdoxmail
2023/10/30 [Om] OpenMath seminar Friday 3 November: Complex complex domains and self-documentation of formal mathematical properties svcmathdoxmail
2023/10/25 [Om] Upcoming OpenMath communication svcmathdoxmail
2023/10/03 [Om] Proposed Change of OpenMath Communication (please feedack) svcmathdoxmail
2023/08/04 [Om] CICM 2023 - Call for Participation svcmathdoxmail
2023/07/06 [Om] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023 svcmathdoxmail
2023/06/30 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/20 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/20 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/19 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/19 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/19 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/19 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/19 Re: [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/06/19 [Om] Use w3id.org/openmath/ for redirections svcmathdoxmail
2023/02/19 [Om] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2023/01/31 [Om] [fm-announcements] FMICS 2023 - Call for Papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via Om
2022/12/17 [Om] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2022/12/17 [Om] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2022/07/06 [Om] CICM 2022, final call for applications to the doctoral programme, 15. July 2022 Serge Autexier
2022/07/05 Re: [Om] Responsibilities for issues and PRs regarding CDs Wenzel, Ken
2022/06/28 [Om] Responsibilities for issues and PRs regarding CDs Wenzel, Ken
2022/06/03 [Om] OpenMath-RDF - request for comments and participation Wenzel, Ken
2022/05/25 Re: [Om] Page with POPCORN definitions is down David Carlisle
2022/05/24 Re: [Om] Page with POPCORN definitions is down Wenzel, Ken
2022/05/24 Re: [Om] Page with POPCORN definitions is down Alberto González Palomo
2022/05/24 [Om] Page with POPCORN definitions is down Wenzel, Ken
2022/05/12 [Om] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics Serge Autexier
2022/04/25 [Om] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022 Serge Autexier
2022/04/22 [Om] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers Serge Autexier
2022/02/09 [Om] Web-based Strict Content MathML formula editor Andreas Krinke
2022/01/31 [Om] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline Serge Autexier
2021/10/22 [Om] [fm-announcements] NFM 2022 - SECOND CALL FOR PAPERS Havelund, Klaus (US 348B) via fm-announcements
2021/09/22 [Om] [fm-announcements] NFM 2022 - First Call for Papers Havelund, Klaus (US 348B) via fm-announcements
2021/08/27 [Om] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Final Call for Papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
2021/08/03 [Om] Invitation to Research Design, ODK mobile data collection, GIS mapping, and Data analysis using NVIVO and R Workshop Sep 13 2021 FDC-K .ORG
2021/07/25 [Om] CICM 2021, July 26-31, Call for online participation Serge Autexier
2021/05/16 [Om] CFP: 31th OpenMath Workshop at CICM 2021 (26. - 31. 2021; day tbd) Michael Kohlhase
2021/04/19 [Om] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts Serge Autexier
2021/03/29 [Om] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021) Serge Autexier
2021/03/16 [Om] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021 Serge Autexier
2021/02/20 [Om] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021 Serge Autexier
2021/01/27 [Om] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021 Serge Autexier
2020/12/06 [Om] Invitation 14th CHAOS2021 International Conference in Athens, Greece (Hybrid), ABSTRACT deadline 20 December 2020 Secretar
2020/11/16 [Om] Invitation 14th CHAOS2021 International Conference in Athens, Greece (Hybrid) Secretar
2020/10/11 [Om] October CMSIM2020 International Web Conference Abstract deadline extended Secretar
2020/09/23 [Om] October CMSIM2020 International Web Conference Abstract deadline extended Secretar
2020/07/20 [Om] Information CMSIM2020 International Web Conference Secretariat
2020/07/10 [Om] CICM 2020, July 26-31: Call for Online Participation Serge Autexier
2020/05/11 [Om] Information 13th CHAOS2020 International Web Conference Secretariat
2020/04/09 [Om] Information 13th CHAOS2020 International Web Conference Secretariat
2020/03/12 [Om] Deadline Extension (April 27.): 4-8p Abstract for the OpenMath Workshop at ICMS in Braunschweig (13-16 July 2020). Michael Kohlhase
2020/03/05 [Om] Real-Time Intelligent Systems 2020 conference
2020/03/02 [Om] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020 Serge Autexier
2020/02/26 [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy Secretariat
2020/02/14 [Om] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers Serge Autexier
2020/01/22 [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy Secretariat
2019/12/13 [Om] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals Serge Autexier
2019/12/03 [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy Secretariat
2019/10/29 [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy Secretariat
2019/09/16 [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy Secretariat
2019/07/30 [Om] Invitation 13th CHAOS2020 International Conference in Florence, Italy Secretariat
2019/07/09 Re: [Om] Proposal for Extending OpenMath Standard with a JSON Encoding James Davenport
2019/07/08 Re: [Om] Proposal for Extending OpenMath Standard with a JSON Encoding Michael Kohlhase
2019/07/08 Re: [Om] Proposal for Extending OpenMath Standard with a JSON Encoding Michael Kohlhase
2019/07/08 Re: [Om] Proposal for Extending OpenMath Standard with a JSON Encoding James Davenport
2019/07/08 Re: [Om] Proposal for Extending OpenMath Standard with a JSON Encoding Moritz Schubotz
2019/07/08 Re: [Om] Proposal for Extending OpenMath Standard with a JSON Encoding Tom Wiesing
2019/06/03 [Om] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019) Dennis Müller
2019/05/09 [Om] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation Serge Autexier
2019/04/29 [Om] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE Martin Leucker
2019/03/18 [Om] CfP: 30th OpenMath Workshop at CICM 2019 (July 8. 2019, Prague) Michael Kohlhase
2019/03/03 [Om] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers) Serge Autexier
2019/02/22 Re: [Om] Can OpenMath-Objects be compared to another in terms of equality? David Carlisle
2019/02/22 [Om] Can OpenMath-Objects be compared to another in terms of equality? Phu Nguyen
2019/02/21 [Om] CICM 2019, July 8-12: 2nd Call for Submissions Serge Autexier
2019/02/19 [Om] iFM 2019: Call for Workshops and Tutorials Martin Leucker
2019/02/13 [Om] iFM 2019 - Call for Workshops and Tutorials Martin Leucker
2019/01/18 [Om] Information CHAOS2019 in Chania, Crete, Greece Conference and CMSIM Journal Secretariat
2019/01/17 [Om] Sets and STS signature of arith1.sum Wenzel, Ken
2019/01/09 [Om] ICTAC 2020 - 2nd Call for Organizers - Deadline approaching Martin Leucker
2018/12/06 [Om] Information CHAOS2019 in Chania, Crete, Greece Conference and CMSIM Journal Secretariat
2018/11/09 [Om] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials Serge Autexier
2018/11/07 Re: [Om] Symbol question: interval1:oriented_interval David Carlisle
2018/11/06 Re: [Om] Symbol question: interval1:oriented_interval David Carlisle
2018/11/06 Re: [Om] Symbol question: interval1:oriented_interval Michael Kohlhase
2018/11/06 Re: [Om] Symbol question: interval1:oriented_interval David Carlisle
2018/11/06 Re: [Om] Symbol question: interval1:oriented_interval David Carlisle
2018/11/06 Re: [Om] Symbol question: interval1:oriented_interval David Carlisle
2018/11/06 [Om] Symbol question: interval1:oriented_interval Deyan Ginev
2018/09/29 Re: [Om] java.symcomp.org is down Kovács Zoltán
2018/09/21 [Om] Information CHAOS2019 in Chania, Crete, Greece Conference and CMSIM Journal Secretariat
2018/08/23 [Om] java.symcomp.org is down Kovács Zoltán
2018/06/27 Re: [Om] Om Digest, Vol 144, Issue 6 Richard Kaye
2018/06/21 [Om] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial Serge Autexier
2018/06/21 [Om] Scientific software engineer position at the TBA group DIPF (Frankfurt) Paul Libbrecht
2018/06/18 [Om] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18) Dennis Müller
2018/06/15 [Om] Advanced Data Analytics conference
2018/06/08 Re: [Om] Om Digest, Vol 144, Issue 2 Richard Kaye
2018/06/06 Re: [Om] Om Digest, Vol 143, Issue 8 David Carlisle
2018/06/06 Re: [Om] Om Digest, Vol 143, Issue 8 David Carlisle
2018/06/06 Re: [Om] Om Digest, Vol 143, Issue 8 Richard Kaye
2018/05/30 Re: [Om] Call for Discussion: CD editing process (technical) James Davenport
2018/05/30 Re: [Om] Comments on applications in OpenMath James Davenport
2018/05/30 Re: [Om] Call for Discussion: CD editing process (technical) Michael Kohlhase
2018/05/30 Re: [Om] Call for Discussion: CD editing process (technical) Michael Kohlhase
2018/05/16 Re: [Om] JSON Binding for OpenMath? Tom Wiesing
2018/05/09 [Om] CfP 29th OpenMath Workshp, August 13. 2018, Hagenberg (Colocated with CICM 2018) Michael Kohlhase
2018/05/07 [Om] Comments on applications in OpenMath Richard Kaye
2018/05/03 Re: [Om] JSON Binding for OpenMath? Carter, Nathan
2018/05/02 Re: [Om] JSON Binding for OpenMath? Moritz Schubotz
2018/05/02 Re: [Om] JSON Binding for OpenMath? Peter Horn
2018/05/02 Re: [Om] JSON Binding for OpenMath? David Carlisle
2018/05/02 Re: [Om] JSON Binding for OpenMath? Alberto González Palomo
2018/05/01 [Om] JSON Binding for OpenMath? Michael Kohlhase
2018/04/29 Re: [Om] Call for Discussion: CD editing process (technical) James Davenport
2018/04/29 [Om] Call for Discussion: CD editing process (technical) Michael Kohlhase
2018/04/17 [Om] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers) Serge Autexier
2018/04/09 [Om] CICM 2018, final CfP, Abstract submission deadline April 15, 2018 Serge Autexier
2018/04/06 [Om] [fm-announcements] RV 2018 Call for Papers Havelund, Klaus (348B)
2018/03/26 [Om] CfP - RV 2018 - Cyprus - Call for Papers Martin Leucker
2018/03/22 [Om] Multiple Positions at FAU Erlangen/Nürnberg Michael Kohlhase
2018/03/20 [Om] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Michael Kohlhase
2018/02/19 [Om] [fm-announcements] NFM 2018 - Call for Participation Munoz, Cesar (LARC-D320)
2018/01/23 [Om] INTECH 2018 conference
2018/01/15 [Om] Invitation CHAOS2018 in Rome Italy Secretariat
2018/01/15 [Om] ICADIWT 2018 conference
2018/01/09 [Om] Call for sessions, ICMS 2018 James Davenport
2018/01/09 [Om] CICM 2018: Call for Papers, Workshops & Tutorials Serge Autexier
2017/11/22 [Om] [fm-announcements] NFM 2018 - Final Call for Papers Munoz, Cesar (LARC-D320)
2017/10/11 [Om] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines Munoz, Cesar (LARC-D320)
2017/10/07 [Om] The OM2r2 (Revision 2 of the OpenMath 2 standard) process Michael Kohlhase
2017/09/18 [Om] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP Munoz, Cesar (LARC-D320)
2017/08/09 [Om] [fm-announcements] RV 2017 - 2nd Call for Participation Havelund, Klaus (348B)
2017/08/07 [Om] Real-Time Intelligent Systems 2017 conference
2017/07/20 [Om] MATH in your LMS - US Tour 🗽 WIRIS MATH
2017/07/20 [Om] Open PostDoc Positions Martin Leucker
2017/07/20 [Om] [fm-announcements] RV 2017 - 1st Call for Participation Havelund, Klaus (348B)
2017/07/20 [Om] Open PhD positions Martin Leucker
2017/07/19 [Om] Final CFP: ICDIM 2017 conference
2017/07/04 [Om] Call for comments: OM Standard 2.0 (first revision) Michael Kohlhase
2017/07/04 [Om] The OpenMath Standard on GitHub Michael Kohlhase
2017/07/03 [Om] [fm-announcements] RV-CuBES Deadline Extension Havelund, Klaus (348B)
2017/06/20 [Om] ICDIM 2017 conference
2017/06/14 [Om] CICM 2017 - Call for Participation / Posters / Work in Progress Serge Autexier
2017/06/14 [Om] Future of BigData 2017 conference
2017/06/12 [Om] alpha version of a new OpenMath web site Michael Kohlhase
2017/06/06 [Om] CICM 2017, Doctoral Programme, Extended Submission Deadline 9. June 2017 Serge Autexier
2017/06/02 [Om] INTECH 2017 conference
2017/06/02 [Om] Final CFP: FGCT 2017 conference
2017/06/02 [Om] ICDIM 2017 conference
2017/05/29 [Om] Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017 Serge Autexier
2017/05/23 [Om] IoE 2017 conference
2017/05/15 [Om] FGCT 2017 conference
2017/05/12 [Om] CFP OpenMath 2017 (co-located with CICM 2017 in Edinburgh) Michael Kohlhase
2017/04/24 [Om] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8 Havelund, Klaus (348B)
2017/04/20 [Om] FGCT 2017 conference
2017/04/19 [Om] INTECH 2017 @ Luton & Porto conference
2017/04/18 [Om] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers Havelund, Klaus (348B)
2017/04/18 [Om] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials Havelund, Klaus (348B)
2017/04/04 [Om] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017 Serge Autexier
2017/03/23 [Om] [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions Havelund, Klaus (348B)
2017/03/21 [Om] Invitation CHAOS2017 in Barcelona Spain Secretariat
2017/03/21 [Om] ICDIM 2017 conference
2017/03/17 [Om] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017 Serge Autexier
2017/03/13 [Om] CfP: ICTAC'2027 Vietnam Martin Leucker
2017/03/10 [Om] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Serge Autexier
2017/03/09 [Om] [fm-announcements] RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017 Havelund, Klaus (348B)
2017/03/09 [Om] [fm-announcements] RV 2017 - 2nd Call for papers and tutorials Havelund, Klaus (348B)
2017/03/09 [Om] [fm-announcements] ITP 2017 - Final Call for Papers Munoz, Cesar (LARC-D320)
2017/02/08 [Om] [fm-announcements] SPIN 2017 - Paper Submission: Extended to February 17 Havelund, Klaus (348B)

Earlier messages