om  

Messages by Thread

• [Om] TIME 2011: Call for Workshop Proposals Dirk Nowotka
• [Om] First CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st dml2011
  • [Om] First CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st dml2011
• [Om] [fm-announcements] RV 2011 Call for Papers and Tutorials Havelund, Klaus (317J)
• [Om] [EUROBOT 2011] Call For Papers: 4th Intl Conference on Research and Education in Robotics Eurobot 2011
• [Om] conversion between formats Dima
  • Re: [Om] conversion between formats Christoph LANGE
  • Re: [Om] conversion between formats Dima
• [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Michael Kohlhase
  • Re: [Om] [Om3] Kicking off an OpenMath2+Process (Standard Enhancement) Manfred Riem
  • Re: [Om] [Om3] Kicking off an OpenMath2+Process (Standard Enhancement) Professor James Davenport
  • Re: [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Christoph LANGE
  • Re: [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Professor James Davenport
  • Re: [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Lars Hellström
  • Re: [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Michael Kohlhase
• [Om] CfP: Time'11 Martin Leucker
• [Om] [fm-announcements] VVPS 2011 - deadline extension for all ICAPS workshops Havelund, Klaus (317J)
• [Om] Mathematical Vernacular in formulae Michael Kohlhase
  • Re: [Om] Mathematical Vernacular in formulae Professor James Davenport
  • Re: [Om] Mathematical Vernacular in formulae Lars Hellström
  • Re: [Om] Mathematical Vernacular in formulae Professor James Davenport
  • Re: [Om] Mathematical Vernacular in formulae Lars Hellström
  • Re: [Om] Mathematical Vernacular in formulae Professor James Davenport
  • Re: [Om] Mathematical Vernacular in formulae Kohlhase, Michael
  • Re: [Om] Mathematical Vernacular in formulae David Carlisle
  • Re: [Om] Mathematical Vernacular in formulae Michael Kohlhase
  • Re: [Om] Mathematical Vernacular in formulae Peter Horn
• [Om] [fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems Havelund, Klaus (317J)
• [Om] Fwd: [Math 2.0] MathPiper, an education-oriented computer algebra system. Paul Libbrecht
• [Om] [fm-announcements] NFM 2011 - Deadline extension Havelund, Klaus (317J)
• [Om] Interesting review of OpenMath Christoph LANGE
  • Re: [Om] Interesting review of OpenMath Manfred Riem
• [Om] Survey Article on Languages/Ontologies for Math on the Semantic Web Christoph LANGE
• [Om] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers Havelund, Klaus (317J)
• [Om] Gemse, an editor for MathML/OpenMath: Feedback wanted Urs Holzer
• [Om] Fwd: RFC 5988 on Web Linking Paul Libbrecht
  • Re: [Om] Fwd: RFC 5988 on Web Linking Christoph LANGE
  • Re: [Om] Fwd: RFC 5988 on Web Linking Paul Libbrecht
  • Re: [Om] Fwd: RFC 5988 on Web Linking Michael Kohlhase
• [Om] MathML and ontologies applied in industrial pharmaceutical research Christoph LANGE
• [Om] OpenMath software page: removed dead links; please advertise your tools Christoph LANGE
• [Om] Invitation 4th Chaotic Modeling and Simulation International Conference May 31 - June 3, 2011 Agios Nikolaos, Crete, Greece secretariat
• [Om] [fm-announcements] NFM 2011 : Second Call for Papers Havelund, Klaus (316D)
• [Om] [fm-announcements] RV 2010 - Second Call for Participation Havelund, Klaus (316D)
• [Om] Call for Participation RV 2010
• [Om] Fwd: GEOMETRISM Exhibition by Peter Hugo Mcclure peter hugo mcclure
• [Om] Data Warehouse and OLAP researchers using OpenMath Christoph LANGE
• [Om] Various OpenMath 2 standard issues to be discussed Christoph LANGE
• [Om] TEI refers to OpenMath and OMDoc Christoph LANGE
  • [Om] TEI spec has outdated links to OM [Re: TEI refers to OpenMath and OMDoc] Christoph LANGE
  • Re: [Om] TEI spec has outdated links to OM [Re: TEI refers to OpenMath and OMDoc] Paul Libbrecht
  • Re: [Om] TEI spec has outdated links to OM [Re: TEI refers to OpenMath and OMDoc] Christoph LANGE
  • Re: [Om] TEI spec has outdated links to OM [Re: TEI refers to OpenMath and OMDoc] Michael Kohlhase
• [Om] Identifiers for FMPs Christoph LANGE
  • Re: [Om] Identifiers for FMPs Paul Libbrecht
  • Re: [Om] Identifiers for FMPs Christoph LANGE
• [Om] [fm-announcements] CFP: Third NASA Formal Methods Symposium (NFM 2011) Havelund, Klaus (316D)
• [Om] OpenMath 2010 Professor James Davenport
  • Re: [Om] OpenMath 2010 Professor James Davenport
  • Re: [Om] OpenMath 2010 David Carlisle
  • [Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010] Christoph LANGE
  • Re: [Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010] David Carlisle
  • Re: [Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010] Christoph LANGE
  • Re: [Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010] David Carlisle
  • Re: [Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010] David Carlisle
  • [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] David Carlisle
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] David Carlisle
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Paul Libbrecht
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] David Carlisle
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Urs Holzer
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Bruce Miller
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Bruce Miller
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Urs Holzer
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Bruce Miller
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Bruce Miller
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Paul Libbrecht
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Lars Hellström
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Paul Libbrecht
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Lars Hellström
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Paul Libbrecht
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Bruce Miller
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Bruce Miller
  • Re: [Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL] Professor James Davenport
  • [Om] DLMF CDs vs. openmath.org CDs [Re: Adding DLMF links to CDs] Christoph LANGE
  • [Om] Intgraging OM with RDF [was: How to translate csymbol/@definitionURL] Michael Kohlhase
  • Re: [Om] Intgraging OM with RDF [was: How to translate csymbol/@definitionURL] Christoph LANGE
  • Re: [Om] OpenMath 2010 Christoph LANGE
  • Re: [Om] OpenMath 2010 Michael Kohlhase
  • Re: [Om] OpenMath 2010 Michael Kohlhase
  • Re: [Om] OpenMath 2010 Professor James Davenport
  • Re: [Om] OpenMath 2010 Christoph LANGE
  • Re: [Om] OpenMath 2010 Michael Kohlhase
  • Re: [Om] OpenMath 2010 Professor James Davenport
  • Re: [Om] OM to CMML [Re: OpenMath 2010] Christoph LANGE
  • Re: [Om] OM to CMML [Re: OpenMath 2010] Paul Libbrecht
• [Om] PASCO 2010: Programming Challenge Daniel de Angelis Cordeiro
• [Om] Several Newbie Questions Manuel Schölling
  • Re: [Om] Several Newbie Questions Alberto González Palomo
  • Re: [Om] Several Newbie Questions Manuel Schölling
  • Re: [Om] Several Newbie Questions Jan Willem Knopper
  • Re: [Om] Several Newbie Questions Christoph LANGE
  • Re: [Om] Several Newbie Questions Peter Horn
  • Re: [Om] Several Newbie Questions Eixarch Ferrer, Ramon
  • Re: [Om] Several Newbie Questions Dan Roozemond
  • Re: [Om] Several Newbie Questions Paul Libbrecht
  • Re: [Om] Several Newbie Questions Christoph LANGE
  • Re: [Om] Several Newbie Questions Paul Libbrecht
  • Re: [Om] Several Newbie Questions Paul Libbrecht
  • Re: [Om] Several Newbie Questions Christoph LANGE
• [Om] CICM registrations closing soon Renaud . Rioboo
• [Om] Call for participation: OpenMath Workshop at CICM (Wednesday July 8 morning) Christoph LANGE
• [Om] Request for feedback: Towards OpenMath CDs as Linked Data Christoph LANGE
• [Om] Call for Participation: Content Math Training Camp at CICM (July 5 to 9, Paris) Christoph LANGE
• [Om] MKM 2010: Call for Participation Alan P. Sexton
• [Om] Last Call for Papers/Abstracts: OpenMath Workshop (July 8). Deadline now. Christoph LANGE
• [Om] 2nd Call for Papers: OpenMath Workshop at CICM: Paris, July 8. Deadline June 18 Christoph LANGE
• [Om] AISC'10 - Call for Participation Serge Autexier
• [Om] Workshop on Mathematically Intelligent Proof Search (MIPS) -- Call for Presentations Serge Autexier
• [Om] New Deadline: June 8 RV 2010
• [Om] Call for Presentations --- ACA 2010 Special Session Volker Sorge
• [Om] Call for Papers: OpenMath Workshop at CICM: Paris, July 8. Deadline June 18 Christoph LANGE
• [Om] OpenMath Workshop to take place at CICM (July 8 or 9) Christoph LANGE
• [Om] Fwd: WIMS'11 Call for Papers Christoph LANGE
• [Om] RV'10 Final CFP - DEADLINE: June 1st RV 2010
• [Om] AISC'10: Call for Short Presentations Serge Autexier
• [Om] Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9) Christoph LANGE
• [Om] Last CFP: DML 2010--Towards a Digital Mathematics Library, Paris, Jul 7-8th dml2010
• [Om] Natural Numbers as Linked Data [Fwd: KIT releases 14 billion triples to the Linked Open Data cloud] Christoph LANGE
• [Om] JOMDoc ver.0.1.4 released! Viacheslav Zholudev
• [Om] RV 2010 - 2nd Call for Papers and Tutorials RV 2010
• [Om] CfP -- ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Volker Sorge
• [Om] PASCO 2010: Extended submission deadline PASCO 2010
• [Om] WebSci paper on (Mathematical) Semantics of Governmental Statistics Data Christoph LANGE
  • [Om] Agenda for publishing OpenMath CDs as Linked Data, help needed Christoph LANGE
• [Om] Call for papers (Deadline Extended): TMFCS-10, USA, July 2010 John Edward
• [Om] Fwd: Re: Question concerning OpenMath encoding (fwd) David Carlisle
• [Om] Question concerning OpenMath encoding Heeren, Bastiaan
  • Re: [Om] Question concerning OpenMath encoding David Carlisle
• [Om] Newbie troubles... Herli Joaquim de Menezes
  • Re: [Om] Newbie troubles... Alberto González Palomo
  • Re: [Om] Newbie troubles... Christoph LANGE
  • Re: [Om] Newbie troubles... Christoph LANGE
• [Om] Reminder, Abstract/Paper submission, 3rd Chaotic Modeling and Simulation International Conference SecretariatCHAOS2010Conference
• [Om] CFP: DML 2010--Towards a Digital Mathematics Library, Paris, FR, Jul 7-8th dml2010
• [Om] Call for papers: TMFCS-10, USA, July 2010 John Edward
  • [Om] Call for papers: TMFCS-10, USA, July 2010 John Edward
• [Om] PASCO 2010: News and 2nd Call for Papers PASCO 2010
• [Om] svn repository downtime Christoph LANGE
  • Re: [Om] svn repository downtime Christoph LANGE
  • Re: [Om] svn repository downtime Paul Libbrecht
• [Om] AISC'10: Deadline Extension to March 12, 2010 (Abstracts: March 9, 2010) Serge Autexier
• [Om] Call for papers: TMFCS-10, Orlando, USA, July 2010 John Edward
• [Om] AISC'10 - CfP - Approaching Deadline (26 February) & Invited Speakers Serge Autexier
• [Om] Tuple and list : any distinction? Joe Collins
  • Re: [Om] Tuple and list : any distinction? Michael Kohlhase
  • Re: [Om] Tuple and list : any distinction? Joe Collins
  • Re: [Om] Tuple and list : any distinction? Professor James Davenport
  • Re: [Om] Tuple and list : any distinction? Michael Kohlhase
  • Re: [Om] Tuple and list : any distinction? Olga Caprotti
  • Re: [Om] Tuple and list : any distinction? Professor James Davenport
  • Re: [Om] Tuple and list : any distinction? Professor James Davenport
  • Re: [Om] Tuple and list : any distinction? Joe Collins
  • Re: [Om] Tuple and list : any distinction? David Carlisle
  • Re: [Om] Tuple and list : any distinction? Professor James Davenport
• [Om] CD directories once more: Where to place official vs. experimental CDs? Christoph LANGE
  • Re: [Om] CD directories once more: Where to place official vs. experimental CDs? David Carlisle
  • Re: [Om] CD directories once more: Where to place official vs. experimental CDs? Christoph LANGE
• [Om] SCOVO: Statistical Core Vocabulary Christoph LANGE
  • Re: [Om] SCOVO: Statistical Core Vocabulary Professor James Davenport
  • Re: [Om] SCOVO: Statistical Core Vocabulary Christoph LANGE
  • Re: [Om] SCOVO: Statistical Core Vocabulary Professor James Davenport
  • Re: [Om] SCOVO: Statistical Core Vocabulary Christoph LANGE
  • Re: [Om] SCOVO: Statistical Core Vocabulary Christoph LANGE
• [Om] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials RV 2010
• [Om] Measurement Units Ontology Christoph LANGE
  • Re: [Om] Measurement Units Ontology Professor James Davenport
• [Om] MKM 2010: First Call for Papers Alan P. Sexton

• Earlier messages
• Later messages