om

Messages by Date

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

Later messages