om  

Messages by Thread

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

• Earlier messages
• Later messages