om

Messages by Date

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)
2017/01/30 [Om] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10 Havelund, Klaus (348B)
2017/01/24 [Om] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Serge Autexier
2017/01/23 [Om] FGCT 2017 conference
2017/01/16 [Om] [fm-announcements] RV'17 - First call for papers and tutorials Havelund, Klaus (348B)
2017/01/16 [Om] Invitation CHAOS2017 Secretariat
2017/01/11 [Om] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline Havelund, Klaus (348B)
2016/12/14 [Om] [fm-announcements] SPIN 2017 - 2nd Call for Papers *Paper Submission: February 10, 2017* Havelund, Klaus (348B)
2016/12/09 [Om] Invitation CHAOS2017 Conference Secretariat
2016/11/07 [Om] [fm-announcements] SPIN 2017 - Call for papers Havelund, Klaus (348B)
2016/10/19 [Om] ICADIWT 2017 conference
2016/09/20 [Om] CMSIM activities and publications Secretariat
2016/08/25 [Om] [fm-announcements] CFP NFM 2017: 9th NASA Formal Methods Symposium Rungta, Neha S. (ARC-TI)[SGT, INC]
2016/07/28 [Om] Reflections on the 2016 OM Workshop, part 1 Lars Hellström
2016/07/21 Re: [Om] Reviving the OM Community Moritz Schubotz
2016/07/20 Re: [Om] Reviving the OM Community Moritz Schubotz
2016/07/19 Re: [Om] Reviving the OM Community Michael Kohlhase
2016/07/19 Re: [Om] Reviving the OM Community Michael Kohlhase
2016/07/14 Re: [Om] Reviving the OM Community Michael Kohlhase
2016/07/14 Re: [Om] Reviving the OM Community Moritz Schubotz
2016/07/14 Re: [Om] Reviving the OM Community Alberto González Palomo
2016/07/14 [Om] Reviving the OM Community Michael Kohlhase
2016/07/14 [Om] first draft of the OM mail (please iterate) Michael Kohlhase
2016/07/13 Re: [Om] Licensing of XML schemas James Davenport
2016/07/06 Re: [Om] Licensing of XML schemas Michael Kohlhase
2016/07/04 Re: [Om] Licensing of XML schemas Luca De Feo
2016/07/03 Re: [Om] Licensing of XML schemas James Davenport
2016/07/03 Re: [Om] OpenMath Organization at github Christoph LANGE
2016/07/03 Re: [Om] Licensing of XML schemas James Davenport
2016/07/03 Re: [Om] OpenMath Organization at github Michael Kohlhase
2016/07/02 Re: [Om] OpenMath Organization at github Paul Libbrecht
2016/07/02 Re: [Om] OpenMath Organization at github Konrad Hinsen
2016/07/02 Re: [Om] OpenMath Organization at github Paul Libbrecht
2016/07/02 Re: [Om] OpenMath Organization at github Konrad Hinsen
2016/07/02 Re: [Om] OpenMath Organization at github Paul Libbrecht
2016/06/30 Re: [Om] OpenMath Organization at github Michael Kohlhase
2016/06/30 Re: [Om] OpenMath Organization at github James Davenport
2016/06/30 [Om] Licensing of XML schemas Luca De Feo
2016/06/30 [Om] OpenMath Organization at github Michael Kohlhase
2016/05/26 [Om] CfP: 27. OpenMath Workshop, July 25. 2016 in Bialystok, Poladn (with CICM 2016) Michael Kohlhase
2016/05/09 [Om] [fm-announcements] NFM 2016 - Call for participation Havelund, Klaus (348B)
2016/04/26 [Om] ICTAC 2016 - Paper submission closes on 9th of May 2016! Martin Leucker
2016/04/20 [Om] FGCT 2016 conference
2016/04/14 [Om] Information and Abstract/Paper deadline extension, 9th CHAOS2016 International Conference in Senate House, University of London (23-26 May 2016) Secretar
2016/04/14 [Spam:*****] [Om] CfP: ICTAC 2016 - NEWS: Special Issue, Award, Deadline Martin Leucker
2016/03/14 [Om] [fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the deadline Havelund, Klaus (349F)
2016/03/07 [Om] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 Serge Autexier
2016/02/17 [Om] AIDM 2016: Call for Speakers The 5th Conference on Artificial Intelligence and Data Mining (AIDM 2016)
2016/02/17 [Om] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 Serge Autexier
2016/01/27 [Om] [fm-announcements] NFM 2016 - third call for papers Havelund, Klaus (349F)
2016/01/25 [Spam:*****] [Om] CfP: ICTAC 2016 Martin Leucker
2015/12/14 [Om] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 Serge Autexier
2015/12/14 [Om] ICADIWT 2016 conference
2015/12/08 [Om] Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Deadline 28. February 2016 Serge Autexier
2015/11/27 [Om] [fm-announcements] NFM 2016 - first call for papers Havelund, Klaus (349F)
2015/11/16 [Spam:*****] [Om] AITP 2016 call for contributions Josef Urban
2015/11/12 [Om] CFP FLAIRS 2016 Autonomous Robots and Agents Track David Obdrzalek
2015/08/21 [Om] Fw: PAS-2015 in Beijing - deadline extended to August 30 杨静
2015/08/14 [Om] CFP：[Submission Deadline: August 30] Special Session on Data and Knowledge Exploration of MACIS 2015 Xiaoyu Chen
2015/08/12 [Om] ICADIWT 2016 conference
2015/08/12 [Om] CFP: The 7th International Symposium on Symbolic Computation in Software Science 宋丹
2015/08/10 [Om] Second CFP: Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation 董日娜
2015/07/14 [Om] [fm-announcements] Final CFP -- 11th Int. Workshop on Developments in Computational Models MUNOZ, CESAR (LARC-D320)
2015/07/13 [Om] CFP: Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation 杨静
2015/07/06 [Om] Future Big Data conference
2015/07/05 [Om] CICM 2015: Final Call for Participation, Deadline July 6th, 2015 Serge Autexier
2015/07/02 [Om] Data Analytics conference
2015/07/01 [Om] CFP : Special Session on Data and Knowledge Exploration of MACIS 2015 Xiaoyu Chen
2015/06/11 [Om] CICM 2015 CfP (Call for Participation + Call for Posters) Serge Autexier
2015/06/02 [Om] CFP: ICDIM 2015 conference
2015/06/02 [Om] Remind: One month left from the deadline of the post-proceedings of GC 2015 Jing Yang
2015/05/08 Re: [Om] Named functions in OpenMath Wenzel, Ken
2015/05/08 Re: [Om] Named functions in OpenMath David Carlisle
2015/05/08 Re: [Om] Named functions in OpenMath Wenzel, Ken
2015/05/06 Re: [Om] Named functions in OpenMath Paul Libbrecht
2015/05/05 Re: [Om] Named functions in OpenMath David Carlisle
2015/05/05 Re: [Om] Named functions in OpenMath Wenzel, Ken
2015/05/04 Re: [Om] Named functions in OpenMath David Carlisle
2015/05/04 Re: [Om] Named functions in OpenMath Lars Hellström
2015/05/04 Re: [Om] Named functions in OpenMath Wenzel, Ken
2015/05/04 Re: [Om] Named functions in OpenMath James Davenport
2015/05/04 [Om] Named functions in OpenMath Wenzel, Ken
2015/04/28 [Om] CfP: ICTAC 2015 - Columbia Martin Leucker
2015/04/21 [Om] CICM 2015 - Call for Work-in-Progress Papers Serge Autexier
2015/04/20 [Om] CFP: post-proceedings of GC 2015 Jing Yang
2015/04/20 [Om] CICM 2015 Doctoral Programme [2nd Call for Applications] Muhammad Umair Siddique
2015/03/17 [Om] [fm-announcements] Fifth Summer School on Formal Techniques, CA Rungta, Neha S. (ARC-TI)[SGT, INC]
2015/03/03 [Om] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models MUNOZ, CESAR (LARC-D320)
2015/02/23 [Om] [fm-announcements] NFM 2015 - CALL FOR PARTICIPATION Klaus Havelund
2015/02/23 [Om] Extended Deadline: Call for Papers, ADG 2014 Miguel Á . Abánades
2015/02/19 [Om] CFP CICM 2015 - Deadline Extension Serge Autexier
2015/02/15 [Om] ARW'15: Call for Abstracts and Grant Applications Volker Sorge
2015/02/10 [Om] CICM 2015 Doctoral Programme [Call for Applications] Muhammad Umair Siddique
2015/02/02 [Om] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops Serge Autexier
2015/01/26 [Om] Extended Deadline: Call for Papers , Post-conference Proceedings, ADG 2014 Miguel Á . Abánades
2015/01/08 [Om] [fm-announcements] Postdoc Position Announcement MUNOZ, CESAR (LARC-D320)
2015/01/04 [Om] [fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verification Klaus Havelund
2014/12/03 [Om] Call for Papers , Post-conference Proceedings, ADG 2014 Miguel Á . Abánades
2014/12/02 [Om] CICM 2015: Call for Workshops Serge Autexier
2014/11/18 [Om] Problems with Domain symbolicdata.org graebe
2014/11/13 [Om] Fwd: sd-announce hgg
2014/11/11 [Om] First CFP CICM 2015 Serge Autexier
2014/11/05 Re: [Om] [sd] symbolicdata.org domain switched off graebe
2014/11/05 [Om] [fm-announcements] NFM 2015 - deadline extension: Nov 18 Klaus Havelund
2014/10/27 [Om] [fm-announcements] NFM 2015 - final call for papers Klaus Havelund
2014/10/06 [Om] [fm-announcements] NFM 2015 - 3rd call for papers Klaus Havelund
2014/09/22 [Om] Invitation to joint the 8th CHAOS Conference in Henri Poincaré Institute, Paris France (26-29 May 2015) Secretar
2014/09/01 [Om] [fm-announcements] Second call for papers: NASA Formal Methods - NFM 2015 Klaus Havelund
2014/08/18 [Om] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review Kristin Yvonne Rozier
2014/07/29 [Om] [fm-announcements] RV 2014: Call for Participation Klaus Havelund
2014/07/24 [Om] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review Kristin Yvonne Rozier
2014/07/17 [Om] [fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015 Klaus Havelund
2014/07/14 [Om] MACIS 2013: MCS Special Issue - Deadline Extension and Final CfP MACIS2013-MCS
2014/06/19 [Om] MathUI'14 Call for Participation (Programme Online) Michael Kohlhase
2014/06/16 [Om] QED+20: Call for participation Josef Urban
2014/06/12 [Om] MACIS 2013: MCS Special Issue - Second Call for Papers MACIS2013-MCS
2014/06/11 [Om] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014 MUNOZ, CESAR (LARC-D320)
2014/05/26 [Om] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014 MUNOZ, CESAR (LARC-D320)
2014/05/13 [Om] Final Call for Papers: MathUI'14 (New Deadline: 2014/05/22) Michael Kohlhase
2014/05/11 [Om] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014) Michael Kohlhase
2014/05/06 [Om] [ADG2014]: Cfp (Extension to May 11, 2014) Miguel Á . Abánades
2014/05/04 [Om] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014 Serge Autexier
2014/05/02 [Om] [fm-announcements] Fourth Summer School on Formal Techniques Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2014/04/22 [Om] [fm-announcements] April 22, Extended SPIN 2014 deadline Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2014/04/22 [Om] [fm-announcements] SPIN 2014, Submission Deadline: April 19th (Saturday) Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2014/04/22 [Om] CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014* Serge Autexier
2014/04/17 [Om] PAS 2014 - Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation Dongming Wang
2014/04/08 [Om] MACIS 2013: MCS Special Issue - Call for Papers MACIS2013-MCS
2014/04/07 [Om] [fm-announcements] 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended deadline: April 19th) Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2014/04/07 [Om] 2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems Serge Autexier
2014/04/02 [Om] [fm-announcements] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE, FRANCE, JULY 7-10, 2014 Klaus Havelund
2014/04/01 [Om] [fm-announcements] RV 2014: LAST Call for Papers, Deadline in 1 week Klaus Havelund
2014/03/20 [Om] [fm-announcements] NFM 2014: Second Call for Participation Kristin Yvonne Rozier
2014/03/07 Re: [Om] Tutorial or example collection for OpenMath? Konrad Hinsen
2014/03/05 [Om] Literate content dictionary validates Lars Hellström
2014/03/05 [Om] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation Dongming Wang
2014/03/05 [Om] Deadline Extended: TASE 2014 Martin Leucker
2014/03/05 Re: [Om] Tutorial or example collection for OpenMath? Michael Kohlhase
2014/03/03 Re: [Om] Tutorial or example collection for OpenMath? Konrad Hinsen
2014/02/28 [Om] CICM 2014: Extended Deadline March 14th, 2014 Serge Autexier
2014/02/27 Re: [Om] Tutorial or example collection for OpenMath? Lars Hellström
2014/02/27 Re: [Om] Tutorial or example collection for OpenMath? Michael Kohlhase
2014/02/27 [Om] [fm-announcements] NFM 2014 Call for Participation Kristin Yvonne Rozier
2014/02/27 Re: [Om] Tutorial or example collection for OpenMath? Konrad Hinsen
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? Lars Hellström
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? David Carlisle
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? Konrad Hinsen
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? Francis Wright
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? Michael Kohlhase
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? Alberto González Palomo
2014/02/26 Re: [Om] Tutorial or example collection for OpenMath? Konrad Hinsen
2014/02/24 Re: [Om] Tutorial or example collection for OpenMath? Alberto González Palomo
2014/02/24 Re: [Om] Tutorial or example collection for OpenMath? Lars Hellström
2014/02/24 Re: [Om] Tutorial or example collection for OpenMath? Alberto González Palomo
2014/02/24 [Om] Tutorial or example collection for OpenMath? Konrad Hinsen
2014/02/21 [Om] First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems Serge Autexier
2014/02/21 [Om] Information, 7th Chaotic Modeling and Simulation International Conference (CHAOS2014) 7-10 June 2014 Lisbon, Portugal Conf
2014/02/17 [Om] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) Serge Autexier
2014/02/17 Re: [Om] Location of the OpenMath Schema Download Paul Libbrecht
2014/02/17 [Om] Location of the OpenMath Schema Download Peter C. Stockman
2014/02/14 [Om] [fm-announcements] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014 Klaus Havelund
2014/01/23 [Om] Reminder, Invitation 7th Chaotic Modeling and Simulation International Conference, 7-10 June 2014 Lisbon, Portugal Conf
2014/01/17 [Om] CfP: TASE'2014, Theoretical Aspects of Software Engineering, Changsha, China Martin Leucker
2013/12/13 [Om] Reminder: Invitation 7th Chaotic Modeling and Simulation International Conference, 7-10 June 2014 Lisbon, Portugal Conf
2013/12/12 [Om] IPR (licensing) of Content Dictionaries Michael Kohlhase
2013/11/26 [Om] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation Dongming Wang
2013/11/26 [Om] [fm-announcements] 1st Intl. Competition of Software for Runtime Verification: call for participation Klaus Havelund
2013/11/22 [Om] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) Serge Autexier
2013/11/18 [Om] Call for Papers ADG 2014 Miguel Á . Abánades
2013/11/18 [Om] FINAL CfP - Intelligent Autonomous Systems Track at 27th FLAIRS conference, = Florida, USA david . obdrzalek
2013/11/15 [Om] [fm-announcements] Formal Methods Positions at NASA Langley MUNOZ, CESAR (LARC-D320)
2013/11/12 [Om] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014) Serge Autexier
2013/11/06 [Om] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014 Kristin Yvonne Rozier
2013/10/29 [Om] First call for Abstracts/Papers, 7th Chaotic Modeling and Simulation International Conference, 7-10 June 2014 Lisbon, Portugal Conf
2013/10/21 [Om] [fm-announcements] Call for papers: AAAI Symposium on formal verification in HMI Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2013/10/21 [Om] [fm-announcements] Call for Papers: NFM 2014 Kristin Yvonne Rozier
2013/10/07 [Om] MACIS 2013: Final Call for Papers Chenqi Mou
2013/10/03 [Om] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning' Christoph LANGE
2013/10/01 Re: [Om] [Infrastructure] Again: Infrastructure update progress? James Davenport
2013/10/01 Re: [Om] Again: Infrastructure update progress? Paul Libbrecht
2013/09/30 Re: [Om] Again: Infrastructure update progress? Michael Kohlhase
2013/09/24 Re: [Om] Again: Infrastructure update progress? Mika Seppala