om  

Messages by Thread

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

• Earlier messages