om

Messages by Date

2013/09/24 Re: [Om] Again: Infrastructure update progress? Mika Seppala
2013/09/23 Re: [Om] Again: Infrastructure update progress? Paul Libbrecht
2013/09/23 Re: [Om] Again: Infrastructure update progress? Paul Libbrecht
2013/09/23 [Om] [fm-announcements] TACAS 2014 3rd call for papers Klaus Havelund
2013/09/23 [Om] [fm-announcements] Formal Methods Position at NASA MUNOZ, CESAR (LARC-D320)
2013/09/23 Re: [Om] Again: Infrastructure update progress? Michael Kohlhase
2013/09/19 [Om] MACIS 2013: 2nd Call for Papers Chenqi Mou
2013/09/11 [Om] [fm-announcements] Second Call for Papers: NFM 2014 Kristin Yvonne Rozier
2013/09/06 [Om] [fm-announcements] CFP: Formal Verification & Modeling in Human-Machine Systems Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2013/08/29 Re: [Om] Again: Infrastructure update progress? Paul Libbrecht
2013/08/29 [Om] Again: Infrastructure update progress? Lars Hellström
2013/08/27 [Om] [fm-announcements] Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014 Kristin Yvonne Rozier
2013/08/27 [Om] [fm-announcements] ICFEM 2013 Call for Participation Kristin Yvonne Rozier
2013/08/22 [Om] Infrastructure update progress? Lars Hellström
2013/08/13 [Om] MACIS 2013: 1st Call for Papers Chenqi Mou
2013/06/04 [Om] CfP Knowledge & Experience Management (FGWM), Bamberg, Germany, Oct. 7-9; Deadline July 1 Christoph LANGE
2013/06/03 [Om] Variables not bound in head of binding Lars Hellström
2013/06/03 [Om] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013 Serge Autexier
2013/05/28 Re: [Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography] Paul Libbrecht
2013/05/28 Re: [Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography] Lars Hellström
2013/05/27 Re: [Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography] Paul Libbrecht
2013/05/27 Re: [Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography] Lars Hellström
2013/05/27 Re: [Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography] Paul Libbrecht
2013/05/27 Re: [Om] OpenMath bibliography Professor James Davenport
2013/05/27 [Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography] Christoph LANGE
2013/05/27 [Om] OpenMath bibliography Lars Hellström
2013/05/20 [Om] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June Christoph LANGE
2013/05/15 [Om] [fm-announcements] webcast of NFM 2013 Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2013/05/02 [Om] [fm-announcements] Third Summer School on Formal Techniques Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2013/05/02 [Om] [fm-announcements] VSTTE 2013: Call for participation Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2013/05/01 [Om] [fm-announcements] RV 2013 call for papers - deadline extension Klaus Havelund
2013/04/23 [Om] Second CfP: WoMO 2013 - 7th Int'l Workshop on Modular Ontologies Christoph LANGE
2013/04/19 [Om] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June Christoph LANGE
2013/04/15 Re: [Om] OpenMath 2013 Christoph LANGE
2013/04/15 [Om] Call for Papers - Special Issue of Mathematics in Computer Science (MCS) on Mathematics, Data and Knowledge MDK MCS
2013/04/15 [Om] OpenMath 2013 Lars Hellström
2013/03/22 [Om] Reminder, Abstract submission, 6th Chaotic Modeling and Simulation International Conference and Special Workshop Conf
2013/03/22 [Om] [fm-announcements] NFM 2013 Call for participation Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2013/03/18 [Om] 3Dgeo announcement JESUS ESCRIBANO MARTINEZ
2013/03/11 [Om] [Ppdp09] Excellent Opportunity - Environmental Business Growing and Seeking Representatives zp
2013/03/10 Re: [Om] Referencing OM symbols in text Andrew Robbins
2013/03/08 [Om] [fm-announcements] SPIN 2013 - Abstract Submission: 8th March - Paper Submission: 15th March Klaus Havelund
2013/03/06 [Om] Deadline Extension March 12th, 2013: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK Serge Autexier
2013/03/02 Re: [Om] Referencing OM symbols in text Professor James Davenport
2013/03/01 Re: [Om] Referencing OM symbols in text Lars Hellström
2013/03/01 Re: [Om] Referencing OM symbols in text David Carlisle
2013/03/01 [Om] Referencing OM symbols in text Lars Hellström
2013/02/22 [Om] Exists Unique Andrew Robbins
2013/02/21 [Om] Reminder, Abstract submission, 6th Chaotic Modeling and Simulation International Conference and Special Workshop Conf
2013/02/20 [Om] IICAI-13 Call for papers Venkateswara Rao
2013/02/19 [Om] Participate: Enabling Domain Experts to use Formalised Reasoning (AISB 2013, Exeter, UK, 3-5 Apr 2013). Tutorials on Matching, Auctions, Finance. Christoph LANGE
2013/02/19 [Om] [fm-announcements] Call for Tutorials: RV'13 Klaus Havelund
2013/02/14 [Om] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK Serge Autexier
2013/01/29 [Om] [fm-announcements] Call for Papers: Runtime Verification 2013 Klaus Havelund
2013/01/18 [Om] SePublica Semantic Publishing Workshop@ESWC (Montpellier 26-30 May); deadline 4 March Christoph LANGE
2013/01/11 [Om] Deadline Extension (28 Jan): Enabling Domain Experts to use Formalised Reasoning, Stage 2 (AISB 2013, Exeter, UK, 2-5 Apr 2013) Christoph LANGE
2013/01/03 [Om] 2nd CfP (deadline 14 Jan): Enabling Domain Experts to use Formalised Reasoning, Stage 2 (AISB 2013, Exeter, UK, 2-3 Apr 2013) Christoph LANGE
2012/12/21 [Om] CfP: Conf. Intelligent Computer Mathematics (Bath, UK, 7-12 Jul 2013); Deadline 8 Mar Serge Autexier
2012/12/19 [Om] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013) Serge Autexier
2012/12/18 [Om] CfP: Stage 2 of Enabling Domain Experts to use Formalised Reasoning@AISB 2013 (Exeter, UK, 2-3 Apr 2013); Deadline 14 Jan Christoph LANGE
2012/12/09 [Om] Reminder, Abstract submission, 6th Chaotic Modeling and Simulation International Conference, 11-14 June 2013 Istanbul, Turkey [email protected]
2012/11/19 [Om] [fm-announcements] Updated NFM 2013 Call for papers Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2012/11/17 [Om] 2nd CfP: Enabling Domain Experts to use Formalised Reasoning@AISB 2013 (Exeter, UK, 2-5 Apr 2013); Deadlines 10 Dec and 14 Jan Christoph LANGE
2012/10/25 [Om] CfP: Web Intelligence, Mining & Semantics (June 2013, Madrid), Deadline 23 Dec Christoph LANGE
2012/10/19 Re: [Om] OpenMath 2012 workshop proceedings online at CEUR-WS Wenzel, Ken
2012/10/17 [Om] CfP: Enabling Domain Experts to use Formalised Reasoning@AISB 2013 (Exeter, UK, 2-5 Apr 2013); Deadlines 10 Dec and 14 Jan Christoph LANGE
2012/10/17 [Om] OpenMath 2012 workshop proceedings online at CEUR-WS Christoph LANGE
2012/10/16 [Om] First call for Abstracts/Papers, 6th Chaotic Modeling and Simulation International Conference, 11-14 June 2013 Istanbul, Turkey [email protected]
2012/10/09 Re: [Om] getting started with openMath Mickael Gastineau
2012/10/09 Re: [Om] getting started with openMath ken
2012/10/09 Re: [Om] getting started with openMath Lars Hellström
2012/10/09 Re: [Om] getting started with openMath ken
2012/10/09 Re: [Om] getting started with openMath ken
2012/10/09 Re: [Om] getting started with openMath Lars Hellström
2012/10/09 Re: [Om] getting started with openMath Alberto González Palomo
2012/10/08 [Om] getting started with openMath ken
2012/10/05 [Om] [fm-announcements] NASA Formal Methods - NFM 2013, Call for Papers Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
2012/09/18 Re: [Om] OpenMath 2012 workshop papers available in BibTeX Michael Kohlhase
2012/09/17 Re: [Om] OpenMath 2012 workshop papers available in BibTeX Christoph LANGE
2012/09/16 Re: [Om] OpenMath 2012 workshop papers available in BibTeX Michael Kohlhase
2012/09/16 Re: [Om] OpenMath 2012 workshop papers available in BibTeX Christoph LANGE
2012/09/15 [Om] OpenMath 2012 workshop papers available in BibTeX Christoph LANGE
2012/09/10 [Om] [fm-announcements] RV 2012 - call for participation Klaus Havelund
2012/07/23 Re: [Om] Exporting OpenMath from MuPAD and/or SymPy Peter Horn
2012/07/22 Re: [Om] Exporting OpenMath from MuPAD and/or SymPy Michael Kohlhase
2012/07/21 [Om] Exporting OpenMath from MuPAD and/or SymPy Joel Andersson
2012/07/09 [Om] Program Verification, Automated Debugging and Symbolic Computation 2012, October 10-12, Beijing Dongming Wang
2012/07/03 [Om] OpenMath annual meeting 2012 Michael Kohlhase
2012/07/02 [Om] CICM 2012: Programme details on-line, last call for participation Johan Jeuring
2012/06/18 [Om] CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th mir2012
2012/06/12 [Om] CICM 2012: 2nd Call for participation; early registration deadline approaching Johan Jeuring
2012/05/29 Re: [Om] New Argumentation Community Group‏ Adam Sobieski
2012/05/27 [Om] New Argumentation Community Group‏ Adam Sobieski
2012/05/24 [Om] Deadline Extended to 1 June: OpenMath workshop at CICM (11 July, Bremen, Germany) Christoph LANGE
2012/05/22 [Om] CICM 2012: Call for participation Johan Jeuring
2012/05/16 [Om] CICM 2012 Doctoral Programme: Final Call for Applications Serge Autexier
2012/05/16 [Om] [fm-announcements] NASA/NIA PVS Class 2012 MUNOZ, CESAR (LARC-D320)
2012/05/11 [Om] [fm-announcements] Call For Papers: RV 2012 Klaus Havelund
2012/05/09 Re: [Om] MSC for papers about MathML or OpenMath Jacques Carette
2012/05/09 Re: [Om] MSC for papers about MathML or OpenMath Paul Libbrecht
2012/05/09 Re: [Om] MSC for papers about MathML or OpenMath mario
2012/05/08 Re: [Om] MSC for papers about MathML or OpenMath Michael Kohlhase
2012/05/08 Re: [Om] MSC for papers about MathML or OpenMath Lars Hellström
2012/05/08 [Om] MSC for papers about MathML or OpenMath Michael Kohlhase
2012/05/08 [Om] CICM 2012 Doctoral Programme: 2nd Call for Applications Serge Autexier
2012/05/07 [Om] wiki.openmath.org out of whack? Lars Hellström
2012/05/07 [Om] 2.CFP: Robotics in Education 2012 David Obdrzalek
2012/04/17 [Om] Conference on Intelligent Computer Mathematics, call for work-in-progress papers Johan Jeuring
2012/04/16 [Om] CFP: RV'12 Martin Leucker
2012/04/02 [Om] CfP: OpenMath workshop at CICM (11 July, Bremen, Germany), submission deadline 25 May Christoph LANGE
2012/03/30 [Om] CICM 2012 Doctoral Programme Serge Autexier
2012/03/29 [Om] CfP: Math Information Retrieval Worksohp 14. July 2012 m . kohlhase
2012/03/16 [Om] Reminder: Abstract/Paper submission, 5th Chaotic Modeling and Simulation International Conference (CHAOS2012), Athens Greece, 12-15 June 2012 Secretar
2012/03/08 [Om] CFP: TIME'12 Martin Leucker
2012/03/06 [Om] World's biggest fake conference in computer science Dean Forbes
2012/03/05 Re: [Om] Content Dictionary for Linked Data with RDF Professor James Davenport
2012/03/05 Re: [Om] Content Dictionary for Linked Data with RDF Christoph LANGE
2012/03/05 Re: [Om] Content Dictionary for Linked Data with RDF Wenzel, Ken
2012/03/02 Re: [Om] Content Dictionary for Linked Data with RDF Christoph LANGE
2012/03/02 Re: [Om] Content Dictionary for Linked Data with RDF Christoph LANGE
2012/03/02 Re: [Om] Content Dictionary for Linked Data with RDF Wenzel, Ken
2012/03/02 Re: [Om] Content Dictionary for Linked Data with RDF Andrew Robbins
2012/03/01 Re: [Om] Content Dictionary for Linked Data with RDF Christoph LANGE
2012/03/01 Re: [Om] Content Dictionary for Linked Data with RDF Christoph LANGE
2012/02/29 Re: [Om] Content Dictionary for Linked Data with RDF Paul Libbrecht
2012/02/29 [Om] Content Dictionary for Linked Data with RDF Wenzel, Ken
2012/02/17 [Om] Conference on Intelligent Computer Mathematics, last call for papers Johan Jeuring
2012/02/17 [Om] [fm-announcements] NFM 2012 Call For Participation PERSON, SUZETTE (LARC-D320)
2012/02/06 [Om] [fm-announcements] RV 2012 - 1st Call For Papers Klaus Havelund
2012/01/23 [Om] Reminder, Invitation 5th Chaotic Modeling and Simulation International Conference 12-15 June 2012 Athens, Greece [email protected]
2012/01/10 [Om] CICM 2012: Second call for papers Johan Jeuring
2012/01/02 [Om] CfP: WWW2012 Workshop on Semantic Web Collaborative Spaces (SWCS2012) Josef Urban
2011/12/08 Re: [Om] jQuery? David Carlisle
2011/12/08 Re: [Om] jQuery? Alberto González Palomo
2011/12/08 Re: [Om] jQuery? Alberto González Palomo
2011/12/08 Re: [Om] jQuery? Paul Libbrecht
2011/12/08 [Om] jQuery? Professor James Davenport
2011/12/07 [Om] [fm-announcements] NFM 2012 Paper Submission Deadline extended to December 18, 2011 (11:59pm EST) PERSON, SUZETTE (LARC-D320)
2011/12/05 [Om] OpenMath with the .NET XML parser Professor James Davenport
2011/11/28 [Om] Reminder, Abstract submission, 5th Chaotic Modeling and Simulation International Conference (CHAOS 2012, June 12-15) Athens, Greece [email protected]
2011/11/19 [Om] www.openmath.org CD redirect broken? Christoph LANGE
2011/11/16 [Om] First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics Johan Jeuring
2011/10/24 [Om] [fm-announcements] NASA Formal Methods Symposium - 2nd Call for Papers PERSON, SUZETTE (LARC-D320)
2011/10/10 [Om] CICM 2012: Call for workshops Johan Jeuring
2011/09/30 [Om] Call for Participation: MACIS 2011 MACIS 2011
2011/09/22 Re: [Om] OpenMath pmml2tex.xsl bugs David Carlisle
2011/09/22 [Om] OpenMath pmml2tex.xsl bugs Nathaniel Dosé
2011/09/19 [Om] [fm-announcements] NFM 2012 Call For Papers PERSON, SUZETTE (LARC-D320)
2011/09/10 [Om] Invitation 5th Chaotic Modeling and Simulation International Conference 12-15 June 2012 Athens, Greece [email protected]
2011/08/21 [Om] [fm-announcements] RV'11 San Francisco - Call for Participation Havelund, Klaus (318M)
2011/08/02 [Om] Extended Deadline: MACIS 2011 MACIS 2011
2011/08/01 [Om] Pages Of Possible Interest Jon Awbrey
2011/07/29 [Om] CfPart: TIME'11 Martin Leucker
2011/07/28 Re: [Om] Redirects: ocd now default; need another one [Re: Going real with the OpenMath CD Linked Data] Paul Libbrecht
2011/07/27 [Om] Redirects: ocd now default; need another one [Re: Going real with the OpenMath CD Linked Data] Christoph LANGE
2011/07/27 Re: [Om] Going real with the OpenMath CD Linked Data Paul Libbrecht
2011/07/27 Re: [Om] Going real with the OpenMath CD Linked Data Christoph LANGE
2011/07/27 Re: [Om] Going real with the OpenMath CD Linked Data Christoph LANGE
2011/07/26 Re: [Om] Going real with the OpenMath CD Linked Data Paul Libbrecht
2011/07/26 Re: [Om] Going real with the OpenMath CD Linked Data Miller, Bruce R
2011/07/26 Re: [Om] Going real with the OpenMath CD Linked Data Paul Libbrecht
2011/07/25 Re: [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase David Carlisle
2011/07/24 Re: [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase Christoph LANGE
2011/07/24 Re: [Om] Going real with the OpenMath CD Linked Data Christoph LANGE
2011/07/24 Re: [Om] Going real with the OpenMath CD Linked Data Paul Libbrecht
2011/07/24 Re: [Om] Going real with the OpenMath CD Linked Data Christoph LANGE
2011/07/22 Re: [Om] Going real with the OpenMath CD Linked Data David Carlisle
2011/07/22 Re: [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase David Carlisle
2011/07/22 Re: [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase Christoph Lange
2011/07/22 Re: [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase Professor James Davenport
2011/07/22 Re: [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase David Carlisle
2011/07/22 [Om] Lots of our CDs (mostly the experimental ones) don't have a CDBase Christoph Lange
2011/07/20 [Om] Going real with the OpenMath CD Linked Data Christoph Lange
2011/07/19 [Om] Second Call for Papers: MACIS 2011 MACIS 2011
2011/06/01 [Om] Call for Papers: MACIS 2011 MACIS 2011
2011/05/29 [Om] [fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011 Havelund, Klaus (318M)
2011/05/29 [Om] Third CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st dml2011
2011/05/23 [Om] OpenMath Workshop July 20, Bertinoro, Italy: Continuous Submission until July 10 Christoph LANGE
2011/05/23 [Om] 2nd CfP (1 week to go) Workshop Mathematical Wikis @ ITP 2011 (Nijmegen, NL, Aug 27; abstract submission May 30) Christoph LANGE
2011/05/09 [Om] [fm-announcements] RV 2011 - call for papers + tutorial and tool demo proposals Havelund, Klaus (318M)
2011/05/04 [Om] First CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st dml2011
2011/04/27 Re: [Om] tiny patch to CD XSLT code Paul Libbrecht
2011/04/27 Re: [Om] tiny patch to CD XSLT code David Carlisle
2011/04/27 Re: [Om] tiny patch to CD XSLT code Dima Sorkin
2011/04/26 Re: [Om] tiny patch to CD XSLT code Michael Kay
2011/04/26 Re: [Om] tiny patch to CD XSLT code Dima
2011/04/25 Re: [Om] tiny patch to CD XSLT code David Carlisle
2011/04/25 Re: [Om] tiny patch to CD XSLT code Christoph Lange
2011/04/25 [Om] tiny patch to CD XSLT code Dima
2011/04/14 [Om] CfP: TIME'11 - EXTENDED DEADLINE Martin Leucker
2011/04/11 [Om] Problem using apache-ant-1.7.1 to build OpenMath Ratish Shrestha
2011/04/11 [Om] TIME'11: CFP Martin Leucker
2011/04/08 [Om] Workshop on Mathematical Wikis at ITP 2011 (Nijmegen, NL, August 27; abstract submission May 30) Christoph LANGE
2011/04/07 [Om] CALL FOR PAPERS: SPIN 2011 ** EXTENDED DEADLINE APRIL 15 ** Madan Musuvathi
2011/04/04 [Om] [fm-announcements] RV 2011 - 2nd Call for Papers and Tutorials Havelund, Klaus (318M)
2011/04/04 [Om] [fm-announcements] NFM 2011 - call for participation Havelund, Klaus (318M)
2011/03/28 [Om] SPIN 2011 Call For Papers Madan Musuvathi
2011/03/21 [Om] [fm-announcements] VVPS'11 CFP - deadline extension: March 25 Havelund, Klaus (318M)
2011/03/17 Re: [Om] om2cmml.xsl is buggy ? David Carlisle
2011/03/16 [Om] om2cmml.xsl is buggy ? Dima