om  

Messages by Date

• 2010/01/10 [Om] MKM 2010: First Call for Papers Alan P. Sexton
• 2010/01/08 [Om] AISC'10: First Call for Papers Serge Autexier
• 2009/12/21 Re: [Om] Consistency in ring1, field1 Peter Horn
• 2009/12/18 Re: [Om] Consistency in ring1, field1 Andrew Robbins
• 2009/12/18 [Om] Reminder, Abstract submission, 3rd Chaotic Modeling and Simulation International Conference SecretariatCHAOS2010Conference
• 2009/12/18 Re: [Om] Consistency in ring1, field1 Michael Kohlhase
• 2009/12/17 Re: [Om] [Content.math-bridge.org] Synergize Notations DB & CD Links? Paul Libbrecht
• 2009/12/17 [Om] Consistency in ring1, field1 Andrew Robbins
• 2009/12/16 Re: [Om] links from CD pages David Carlisle
• 2009/12/16 Re: [Om] links from CD pages Paul Libbrecht
• 2009/12/16 Re: [Om] links from CD pages David Carlisle
• 2009/12/16 Re: [Om] links from CD pages David Carlisle
• 2009/12/16 Re: [Om] links from CD pages Paul Libbrecht
• 2009/12/16 Re: [Om] links from CD pages David Carlisle
• 2009/12/15 Re: [Om] links from CD pages Christoph LANGE
• 2009/12/14 [Om] links from CD pages Paul Libbrecht
• 2009/12/13 Re: [Om] Announcing the Notation Census Christoph LANGE
• 2009/12/12 [Om] Announcing the Notation Census Paul Libbrecht
• 2009/11/29 [Om] wiki.openmath.org back online Christoph LANGE
• 2009/11/29 [Om] Memocode 2010 First Call for Papers Barbara Jobstmann
• 2009/11/24 Re: [Om] range & image in fns1 Arjeh Cohen
• 2009/11/24 [Om] range & image in fns1 Bruce Miller
• 2009/11/22 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Alberto González Palomo
• 2009/11/22 [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Jónathan Heras
• 2009/11/22 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
• 2009/11/22 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Christoph LANGE
• 2009/11/22 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
• 2009/11/22 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Michael Kohlhase
• 2009/11/21 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Paul Libbrecht
• 2009/11/20 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
• 2009/11/20 Re: [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Christoph LANGE
• 2009/11/20 [Om] OpenMath in Wikipedia: was[Fwd: Problematic cases for inria parser] Professor James Davenport
• 2009/11/10 [Om] TMFCS-10 Call for papers John Edward
• 2009/10/19 Re: [Om] Subversion log to RSS Christoph LANGE
• 2009/10/19 [Om] An OpenMath Content Dictionary editor Jónathan Heras Vicente
• 2009/10/13 [Om] CAV 2010 Call for Papers Tayssir Touili
• 2009/10/12 Re: [Om] Subversion log to RSS Paul Libbrecht
• 2009/10/12 [Om] Subversion log to RSS Christoph LANGE
• 2009/10/05 [Om] Notation bug in the wiki: partly fixed Christoph LANGE
• 2009/09/21 [Om] Third Announcement of ASCM-MACIS 2009 YANAMI Hitoshi
• 2009/09/10 [Om] ASCM-MACIS 2009: Submission Deadline Extended to September 25, 2009 YANAMI Hitoshi
• 2009/08/31 Re: [Om] invisible times and invisible plus Professor James Davenport
• 2009/08/31 Re: [Om] invisible times and invisible plus Paul Libbrecht
• 2009/08/31 Re: [Om] invisible times and invisible plus Christoph LANGE
• 2009/08/31 Re: [Om] invisible times and invisible plus Professor James Davenport
• 2009/08/31 Re: [Om] invisible times and invisible plus Christoph LANGE
• 2009/08/31 Re: [Om] invisible times and invisible plus Jan Willem Knopper
• 2009/08/31 Re: [Om] invisible times and invisible plus Paul Libbrecht
• 2009/08/31 [Om] invisible times and invisible plus Jan Willem Knopper
• 2009/08/31 [Om] Second Announcement of ASCM-MACIS 2009 YANAMI Hitoshi
• 2009/07/27 [Om] E-mail notification enabled for wiki discussions Christoph LANGE
• 2009/07/27 Re: [Om] Queries over the OpenMath CD database Paul Libbrecht
• 2009/07/26 [Om] Queries over the OpenMath CD database Christoph LANGE
• 2009/07/23 [Om] CfPart: ICTAC'09 Martin Leucker
• 2009/07/08 [Om] [Ppdp09] PPDP'09 - Call for Participation António Porto
• 2009/06/29 [Om] CFPart: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• 2009/06/21 [Om] OpenMath 2009 Workshop: programme published Professor James Davenport
• 2009/06/19 [Om] ontolog Professor James Davenport
• 2009/06/19 Re: [Om] SWEET ontology Christoph Lange
• 2009/06/19 [Om] SWEET ontology Professor James Davenport
• 2009/06/18 Re: [Om] Binder arguments Lars Hellström
• 2009/06/17 Re: [Om] Ontolog panel session "Towards A Quantities and Units of Measure Ontology-based Standard" Professor James Davenport
• 2009/06/17 [Om] Ontolog panel session "Towards A Quantities and Units of Measure Ontology-based Standard" Christoph LANGE
• 2009/06/15 Re: [Om] announcing new CDs? Christoph LANGE
• 2009/06/15 Re: [Om] announcing new CDs? Paul Libbrecht
• 2009/06/15 Re: [Om] announcing new CDs? Professor James Davenport
• 2009/06/15 Re: [Om] announcing new CDs? Christoph LANGE
• 2009/06/15 Re: [Om] announcing new CDs? Paul Libbrecht
• 2009/06/15 Re: [Om] announcing new CDs? Christoph LANGE
• 2009/06/15 [Om] announcing new CDs? Paul Libbrecht
• 2009/06/14 Re: [Om] Binder arguments David Carlisle
• 2009/06/14 Re: [Om] Binder arguments Lars Hellström
• 2009/06/13 Re: [Om] Binder arguments Professor James Davenport
• 2009/06/13 [Om] Binder arguments Lars Hellström
• 2009/06/08 Re: [Om] Graph1 Content Dict Professor James Davenport
• 2009/06/08 [Om] Graph1 Content Dict Andrew Robbins
• 2009/06/04 [Om] OpenMath 2009 Workshop Professor James Davenport
• 2009/05/15 Re: [Om] Multistep "equation" symbol? Lars Hellström
• 2009/05/14 Re: [Om] Multistep "equation" symbol? Lars Hellström
• 2009/05/13 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/13 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/13 Re: [Om] Multistep "equation" symbol? David Carlisle
• 2009/05/13 Re: [Om] Multistep "equation" symbol? Michael Kohlhase
• 2009/05/13 Re: [Om] Multistep "equation" symbol? Michael Kohlhase
• 2009/05/13 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/13 Re: [Om] Multistep "equation" symbol? Jan Willem Knopper
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Michael Kohlhase
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Peter Horn
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Christoph LANGE
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Peter Horn
• 2009/05/12 Re: [Om] Multistep "equation" symbol? Bruce Miller
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Bruce Miller
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Lars Hellström
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Alberto González Palomo
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Lars Hellström
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Alberto González Palomo
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Arjeh Cohen
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Bryce L Nordgren
• 2009/05/11 Re: [Om] Multistep "equation" symbol? Professor James Davenport
• 2009/05/11 [Om] Multistep "equation" symbol? Lars Hellström
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Arjeh Cohen
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Arjeh Cohen
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
• 2009/05/09 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
• 2009/05/08 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
• 2009/05/07 Re: [Om] Accessing arguments of an n-ary operator as indexe d list items (in a definition) Christoph LANGE
• 2009/05/07 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
• 2009/05/07 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) David Carlisle
• 2009/05/06 Re: [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Professor James Davenport
• 2009/05/06 [Om] Accessing arguments of an n-ary operator as indexed list items (in a definition) Christoph LANGE
• 2009/05/04 [Om] [Ppdp09] PPDP'09 - EXTENDED DEADLINES António Porto
• 2009/05/04 [Om] Extended draft paper submission: TMFCS-09 call for papers John Edward
• 2009/05/01 [Om] [Ppdp09] PPDP'09 - last CfP António Porto
• 2009/04/28 [Om] OM 2009: full paper deadline extended Professor James Davenport
• 2009/04/27 [Om] Conferences on Intelligent Computer Mathematics CICM 2009, Call for Participation Ilias Kotsireas
• 2009/04/27 [Om] Extended draft paper submission: MULTICONF-09 call for papers Edward Mellon
• 2009/04/26 [Om] Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• 2009/04/22 [Om] Reminder: OM 2009 Professor James Davenport
• 2009/04/20 [Om] Extended draft paper submission: MULTICONF-09 call for papers dawnwatson13
• 2009/04/20 [Om] Extended draft paper submission: TMFCS-09 call for papers John Edward
• 2009/04/17 [Om] PPDP'09 - 2nd CfP António Porto
• 2009/04/15 [Om] 2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• 2009/04/13 [Om] Calculemus 2009 - Emerging Trends track CFP Jacques Carette
• 2009/04/07 [Om] Final CfP: ICTAC'09 - Last Chance Martin Leucker
• 2009/04/01 Re: [Om] maple to mathematica translator Paul Libbrecht
• 2009/04/01 Re: [Om] maple to mathematica translator Jacques Carette
• 2009/04/01 [Om] IICAI-09 Call for papers Ed
• 2009/03/31 Re: [Om] maple to mathematica translator Paul Libbrecht
• 2009/03/31 Re: [Om] maple to mathematica translator Richard Fateman
• 2009/03/31 Re: [Om] maple to mathematica translator Professor James Davenport
• 2009/03/31 Re: [Om] maple to mathematica translator Jacques Carette
• 2009/03/30 Re: [Om] maple to mathematica translator Arjeh Cohen
• 2009/03/30 [Om] maple to mathematica translator Eddie Rowe
• 2009/03/30 [Om] CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th dml2009
• 2009/03/18 [Om] PPDP'09 - 1st CfP António Porto
• 2009/03/18 [Om] OpenMath and Axiom root
• 2009/03/16 [Om] Announcement: Java Library for SCSCP and OpenMath Dan Roozemond
• 2009/03/16 [Om] March 20th Deadline Reminder: MKM 2009 Ilias Kotsireas
• 2009/03/12 Re: [Om] svn.openmath.org down Paul Libbrecht
• 2009/03/12 Re: [Om] svn.openmath.org down Paul Libbrecht
• 2009/03/08 [Om] Draft paper submission deadline extended (will not be extended further): TMFCS-09 John Edward
• 2009/03/08 Re: [Om] Hello Jan Willem Knopper
• 2009/03/08 Re: [Om] Hello Alberto González Palomo
• 2009/03/08 [Om] Draft paper submission is extended (will not be extended further): MULTICONF-09 Edward Mellon
• 2009/03/08 [Om] Hello Monika Machunik
• 2009/03/04 Re: [Om] [MKM-IG] OpenMath Workshop 2009 Chris A Rowley
• 2009/03/02 [Om] Trac [Re: svn.openmath.org down] Christoph LANGE
• 2009/03/02 Re: [Om] svn.openmath.org down Paul Libbrecht
• 2009/03/01 Re: [Om] [MKM-IG] OpenMath Workshop 2009 Professor James Davenport
• 2009/02/28 [Om] Deadline Reminder: MKM 2009 Ilias Kotsireas
• 2009/02/27 Re: [Om] svn.openmath.org down Christoph LANGE
• 2009/02/27 Re: [Om] svn.openmath.org down Paul Libbrecht
• 2009/02/27 [Om] 2nd CfP: ICTAC'09 Martin Leucker
• 2009/02/26 [Om] OpenMath Workshop 2009 Professor James Davenport
• 2009/02/24 [Om] svn.openmath.org down Christoph LANGE
• 2009/02/23 [Om] Math Domain for DITA Bryce L Nordgren
• 2009/02/22 Re: [Om] Abbreviated symbols (was Re: Questions about representing units) Professor James Davenport
• 2009/02/22 Re: [Om] Abbreviated symbols (was Re: Questions about representing units) Paul Libbrecht
• 2009/02/22 Re: [Om] Abbreviating units [Re: Questions about representing units] Professor James Davenport
• 2009/02/22 Re: [Om] Abbreviating units [Re: Questions about representing units] Christoph LANGE
• 2009/02/22 Re: [Om] Abbreviating units [Re: Questions about representing units] Professor James Davenport
• 2009/02/22 [Om] Abbreviating units [Re: Questions about representing units] Christoph LANGE
• 2009/02/22 Re: [Om] Questions about representing units mdt22
• 2009/02/22 Re: [Om] Questions about representing units Jonathan Stratford
• 2009/02/22 Re: [Om] Questions about representing units Jonathan Stratford
• 2009/02/21 Re: [Om] Questions about representing units Professor James Davenport
• 2009/02/21 Re: [Om] Questions about representing units Christoph LANGE
• 2009/02/21 Re: [Om] Questions about representing units Christoph LANGE
• 2009/02/21 Re: [Om] Questions about representing units Christoph LANGE
• 2009/02/21 Re: [Om] Questions about representing units Christoph LANGE
• 2009/02/21 Re: [Om] Questions about representing units Professor James Davenport
• 2009/02/21 Re: [Om] Questions about representing units Bryce L Nordgren
• 2009/02/21 Re: [Om] Questions about representing units Professor James Davenport
• 2009/02/21 Re: [Om] Questions about representing units Professor James Davenport
• 2009/02/20 Re: [Om] Questions about representing units Professor James Davenport
• 2009/02/20 [Om] Questions about representing units Christoph LANGE
• 2009/02/20 [Om] Draft paper submission deadline extended: TMFCS-09 John Edward
• 2009/02/12 Re: [Om] Binary Encoding in org.symcomp.openmath Michael Kohlhase
• 2009/02/12 Re: [Om] Binary Encoding in org.symcomp.openmath Richard Fateman
• 2009/02/12 Re: [Om] Binary Encoding in org.symcomp.openmath Michael Kohlhase
• 2009/02/12 Re: [Om] Binary Encoding in org.symcomp.openmath Richard Fateman
• 2009/02/12 Re: [Om] Binary Encoding in org.symcomp.openmath Peter Horn
• 2009/02/12 Re: [Om] Binary Encoding in org.symcomp.openmath David Carlisle
• 2009/02/12 [Om] Binary Encoding in org.symcomp.openmath Peter Horn
• 2009/02/12 Re: [Om] OM errata Jan Willem Knopper
• 2009/02/11 Re: [Om] OM errata Christoph LANGE
• 2009/02/11 Re: [Om] OM errata David Carlisle
• 2009/02/11 Re: [Om] OM errata Lars Hellström
• 2009/02/09 Re: [Om] OM errata (was: OMR xref vs href) David Carlisle
• 2009/02/09 Re: [Om] OM errata (was: OMR xref vs href) Lars Hellström
• 2009/02/04 [Om] Draft paper submission deadline extended: TMFCS-09 John Edward
• 2009/02/04 [Om] Job-Openings in e-learning Joerg Siekmann
• 2009/02/03 [Om] Calculemus 2009 Jacques Carette

• Earlier messages
• Later messages