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