om  

Messages by Thread

• • Re: [Om] OpenMath on the Semantic Web? Christoph Lange
• [Om] OMR xref vs href Dan Roozemond
  • Re: [Om] OMR xref vs href David Carlisle
  • Re: [Om] OMR xref vs href Dan Roozemond
  • Re: [Om] OMR xref vs href Michael Kohlhase
  • Re: [Om] OM errata (was: OMR xref vs href) Lars Hellström
  • Re: [Om] OM errata (was: OMR xref vs href) David Carlisle
  • Re: [Om] OM errata Lars Hellström
  • Re: [Om] OM errata David Carlisle
  • Re: [Om] OM errata Christoph LANGE
  • Re: [Om] OM errata Jan Willem Knopper
• [Om] MKM 2009, 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT Ilias Kotsireas
• [Om] Final call for papers: TMFCS-09 John Edward
  • [Om] Final call for papers: TMFCS-09 John Edward
• [Om] Calculemus 2009 Jacques Carette
  • [Om] Calculemus 2009 Jacques Carette
• [Om] Roadmap to Office Document / OpenMath / MathML integration Bryce L Nordgren
• [Om] CfP/Deadline Extension: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge admmk09
• [Om] Adding a symbol to a CD in the SWiM wiki Christoph LANGE
• Re: [Om] [Om3] Math in office documents/Providing an implementation for a symbol Paul Libbrecht
• [Om] Job opening in the ActiveMath Group Paul Libbrecht
• [Om] CfP: ICTAC'09 Martin Leucker
• Re: [Om] [Om3] Math in office documents/Providing an implementation for a symbol Professor James Davenport
  • Re: [Om] [Om3] Math in office documents/Providing an implementation for a symbol Professor James Davenport
  • Re: [Om] [Om3] Math in office documents/Providing an implementation for a symbol Paul Libbrecht
  • Re: [Om] [Om3] Math in office documents/Providing an implementation for a symbol Paul Libbrecht
  • [Om] OM->OM Phrasebook Bryce L Nordgren
  • Re: [Om] OM->OM Phrasebook Paul Libbrecht
  • Re: [Om] OM->OM Phrasebook Bryce L Nordgren
• [Om] 2nd CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge admmk09
• [Om] TMFCS-09 call for papers John Edward
  • [Om] TMFCS-09 call for papers John Edward
  • [Om] TMFCS-09 call for papers John Edward
• [Om] CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge admmk09
• [Om] More CD inconsistencies Christoph LANGE
  • Re: [Om] More CD inconsistencies Professor James Davenport
  • Re: [Om] More CD inconsistencies David Carlisle
  • Re: [Om] More CD inconsistencies Christoph LANGE
  • Re: [Om] More CD inconsistencies Professor James Davenport
  • Re: [Om] More CD inconsistencies Professor James Davenport
  • Re: [Om] More CD inconsistencies Arjeh Cohen
  • Re: [Om] More CD inconsistencies David Carlisle
• [Om] Fwd: [Om3] Want a wiki for browsing OpenMath 2 CDs? Christoph LANGE
  • Re: [Om] Fwd: [Om3] Want a wiki for browsing OpenMath 2 CDs? Christoph LANGE
  • Re: [Om] Fwd: [Om3] Want a wiki for browsing OpenMath 2 CDs? David Carlisle
  • Re: [Om] Fwd: [Om3] Want a wiki for browsing OpenMath 2 CDs? Christoph LANGE
• [Om] [Deadline extension] MACIS 2008 Lee Wen-Shin
• [Om] ICTAC'09: Call for Workshop Proposals Martin Leucker
• [Om] Symbols for formal terms Lars Hellström
  • Re: [Om] Symbols for formal terms Professor James Davenport
• [Om] Hexadecimal integers? Lars Hellström
• [Om] Adopting the VoCamp idea? (Meeting series for creating lightweight vocabularies) Christoph LANGE
  • Re: [Om] Adopting the VoCamp idea? (Meeting series for creating lightweight vocabularies) Paul Libbrecht
  • Re: [Om] Adopting the VoCamp idea? (Meeting series for creating lightweight vocabularies) Christoph LANGE
• [Om] OpenMath wiki: permissions for CD editors and others Christoph LANGE
  • Re: [Om] OpenMath wiki: permissions for CD editors and others Jan Willem Knopper
  • Re: [Om] OpenMath wiki: permissions for CD editors and others Christoph LANGE
• [Om] OpenMath wiki for CD editors Christoph LANGE
• [Om] OpenMath CD wiki online Christoph LANGE
  • Re: [Om] OpenMath CD wiki online Christoph LANGE
  • Re: [Om] OpenMath CD wiki online jhd
  • Re: [Om] OpenMath CD wiki online Christoph LANGE
• [Om] MCS special issue: call for papers G. Vegter
• [Om] name of OMS Paul Libbrecht
  • Re: [Om] name of OMS Christoph LANGE
  • Re: [Om] name of OMS Professor James Davenport
  • Re: [Om] name of OMS David Carlisle
  • Re: [Om] name of OMS Arjeh Cohen
  • Re: [Om] name of OMS Michael Kohlhase
  • Re: [Om] name of OMS David Carlisle
  • Re: [Om] name of OMS Michael Kohlhase
• [Om] anouncement symposium on intelligent feedback Lodder, Josje
• [Om] ANN: Krextor 0.1 (XML --XSLT--> RDF extraction framework) Christoph LANGE
• [Om] Ontology for OpenMath CDs, SWiM as a CD editor Christoph LANGE
• [Om] prefix syntax specified? Paul Libbrecht
  • Re: [Om] prefix syntax specified? David Carlisle
• [Om] Doctoral Programme at CICM'08 in Birmingham (Some Student Grants Available!) Christoph Benzmueller
• [Om] SOFSEM'09 Call for Papers Frank Valencia
• [Om] Survey on issues in a math knowledge base: please participate! Christoph LANGE
• [Om] Final Call for Presentations at AISC'08 and Calculemus 2008 Volker Sorge
• [Om] CFP2: DML 2008--Towards Digital Mathematics Library dml2008
• [Om] UITP'08: Deadline Extension (25 May) Christoph Benzmueller
• [Om] CFP: DML 2008--Towards Digital Mathematics Library dml2008
• [Om] search for huge OpenMath files Evans Bekoe
  • Re: [Om] search for huge OpenMath files Christoph LANGE
  • Re: [Om] search for huge OpenMath files Andreas Franke
• [Om] Call for Presentations at AISC'08 and Calculemus 2008 Volker Sorge
• [Om] Final CFP: UITP'08 - User Interfaces for Theorem Provers Christoph Benzmueller
• [Om] PLMMS - last call for papers Jacques Carette
• [Om] 4th European Workshop on Mathematical and Scientific e-Contents Olga Caprotti
• [Om] POPCORN for OpenMath Peter Horn
  • Re: [Om] POPCORN for OpenMath Paul Libbrecht
  • Re: [Om] POPCORN for OpenMath Alberto González Palomo
• [Om] 2nd CFP: UITP'08 - User Interfaces for Theorem Provers Christoph Benzmueller
• [Om] MKM'08: Final Call for Papers Serge Autexier
• [Om] SWiM 0.2 released (semantic wiki for mathematics), soon more OpenMath support Christoph LANGE
• [Om] OpenMath @ SCIEnce Peter Horn
• [Om] TMFCS-08 draft paper submission deadline is just few days from now John Edward
• [Om] Symbolic Computation and Cryptography 2008 - Second Call for Papers scc08
• [Om] MKM'08: Second Call for Papers Serge Autexier
• [Om] CFP - Programming Languages and Mechanized Mathematics Systems 2008 Jacques Carette
• [Om] CFP: UITP'08 - User Interfaces for Theorem Provers Christoph Benzmueller
• [Om] OpenMath on Wikipedia Michael Kohlhase
  • Re: [Om] OpenMath on Wikipedia Christoph Lange
• [Om] Symbolic Computation and Cryptography 2008 scc08
• [Om] CFP: RV'08 EXTENDED DEADLINE Martin Leucker
• [Om] complex systems, journal special issue Ivana Cace
• [Om] Final CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Manfred Kerber
• [Om] MKM'08: First Call for Papers and Workshops Serge Autexier
• [Om] FinalCFP: RV'08 - Runtime Verification Martin Leucker
• [Om] CMS Winter 2007 Meeting: Computer Algebra Session cms2007
• [Om] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Manfred Kerber
• [Om] DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31 Manuel Hermenegildo
• [Om] DAMP2008 Declarative Aspects of Multicore Programming - Deadline Oct26 Manuel Hermenegildo
• [Om] CFP - DAMP 2008 - Declarative Aspects of Multicore Programming Manuel Hermenegildo
• [Om] MACIS 2007 - CALL FOR PAPERS MACIS 2007
• [Om] FLOPS 2008 - Final CFP - Deadline: Oct 10 / Oct 17 (extended!) Manuel Hermenegildo
• [Om] Python and OM David Joyner
• [Om] CFP: RV'08 Martin Leucker
• [Om] 1st CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Manfred Kerber
• [Om] svn.openmath.org is now opened Paul Libbrecht
  • Re: [Om] svn.openmath.org is now opened Paul Libbrecht
  • Re: [Om] svn.openmath.org is now opened W Naylor
  • [Om] units, was Re: [Om3] svn.openmath.org is now opened Jan Willem Knopper
  • Re: [Om] units, was Re: [Om3] svn.openmath.org is now opened John Ogilvie
  • Re: [Om] [Om3] units, was Re: svn.openmath.org is now opened Professor James Davenport
  • Re: [Om] [Om3] units John Ogilvie
  • Re: [Om] [Om3] svn.openmath.org is now opened Michael Kohlhase
• [Om] om3 list Mark Spanbroek
  • Re: [Om] om3 list Michael Kohlhase
• [Om] PASCO 2007: Call for Participation PASCO 2007
• [Om] SNC 2007: Program announced. Registration Open SNC 2007 Conference
• [Om] in-units symbol wanted Paul Libbrecht
• [Om] MKM07 Call-for-Participation mkm07
• [Om] Programming Languages and Mechanised Mathematics -- deadline extension Jacques Carette
• [Om] PASCO 2007: News and 2nd Call for Papers PASCO 2007

• Later messages