om

Messages by Date

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