From serge.autexier at dfki.de Thu Jan 7 17:14:55 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Jan 8 10:45:32 2010 Subject: [Webmath] AISC'10: First Call for Papers Message-ID: <201001072214.o07MEt5P023829@gemini.informatik.uni-bremen.de> [Apologies for possible multiple postings. See below on how to unsubscribe.] ---------------------------------------------------------------------- AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://www.informatik.uni-bremen.de/~autexier/aisc2010 CNAM, Paris, France, July 5th - July 6th, 2010 CALL FOR PAPERS Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline: February 19, 2010 Submission deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 ---------------------------------------------------------------------- We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding AISC 2010, reply to aisc2010_0@easychair.org and put 'UNSUBSCRIBE' in the body or subject of your reply. From A.P.Sexton at cs.bham.ac.uk Sun Jan 10 02:08:09 2010 From: A.P.Sexton at cs.bham.ac.uk (Alan P. Sexton) Date: Mon Jan 11 10:57:48 2010 Subject: [Webmath] MKM 2010: First Call for Papers Message-ID: <201001100708.o0A789jD002662@sis.cs.bham.ac.uk> [Apologies for duplicate postings] The 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT MKM 2010 http://cicm2010.cnam.fr/mkm/ CNAM, Paris, France, 8th-10th July 2010 CALL FOR PAPERS Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven, on the one hand, by new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and, on the other hand, by the increasing demand by engineers and scientists for new techniques to help in producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. Topics covered include, but are not limited to:. * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows MKM 2010 welcomes research papers and workshop proposals with links to the above topics. The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). More information about the MKM conference series can be found at the MKM Interest Group Webpage: http://www.mkm-ig.org/ Submission Categories ===================== Papers may be submitted in one of three categories: full papers, short papers or system descriptions. Both full papers and system descriptions should not exceed 15 pages, must be original and not be submitted for consideration elsewhere. Full or system description papers that are accepted will be published in the conference proceedings. A submission not accepted as a full paper or system description will automatically be considered as a short paper. Short papers are of a less formal nature. They are intended to provide a forum for the presentation and discussion of works in progress or ideas that are not (yet) in a suitable form for submission as a full or system description paper. They may be up to 5 pages in LNCS style. Depending on the number of short papers accepted, presentation may be as a short talk or as a poster. It will be at the discretion of the programme committee to decide whether individual short papers will be accepted for presentation only or for presentation and publication in the conference proceedings. The development of working systems in the field of Mathematical Knowledge Management is a major undertaking of significant value to our community. Papers describing such systems, however, are particularly difficult to compare to non-system development based research with respect to criteria common in reviewing. For this reason, papers in the system description category will be considered separately and an evaluation of their special contribution with be taken into account in the review process. Review Process ============== * Authors must submit an abstract by the abstract submission date. * The full paper, of any of the three categories, should be received by the paper submission date. * Authors will then be sent initial reviews of their submissions. * Authors then have the option of, within one week, submitting a single response to the reviews, limited to 500 words, in which they can clarify any issues or anser any questions that the reviewers had about their submission. This response can be submitted only once and cannot thereafter be resubmitted or modified. * Final reviews and acceptance rejection decisions will be sent to the authors by the final notification date. Important Dates =============== Abstract Submission: Wed, February 24th, 2010 Paper Submission: Wed, March 3rd, 2010 Initial Reviews Sent: Wed, March 31st, 2010 Author's Response Due: Wed, April 7th, 2010 Notification: Wed, April 14th, 2010 Camera-ready Papers: Wed, April 28th, 2010 Conference: 8th-10th July 2010 Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Submission Details ================== By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. All submissions (except workshop proposals) must be formatted according to the guidelines used by Springer Verlag for their LNCS and LNAI series. This format can be found at http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 Submission website: http://www.easychair.org/conferences/?conf=mkm10 From serge.autexier at dfki.de Wed Feb 10 09:13:25 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri Feb 12 10:06:57 2010 Subject: [Webmath] AISC'10: 2nd Call for Papers Message-ID: <4B72BF05.1040604@dfki.de> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 [Apologies for possible multiple postings.] AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 2ND CALL FOR PAPERS Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline: February 19, 2010 Submission deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 - -- Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Safe and Secure Cognitive Systems Cartesium, 2.054 Phone: +49 421 218 64272 Enrique-Schmidt-Str. 5, D-28359 Bremen Fax: +49 421 218 9864272 - ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 - ---------------------------------------------------------------------- -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.12 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAktyvwUACgkQpRemUpqrsYPqPQCfUM/OTFJL59o191/MP4OgetFO j80AnjhxK8JVr+OMBkuE90GsCueoM3pU =M/Pn -----END PGP SIGNATURE----- From kortenkamp at cinderella.de Thu Feb 18 04:34:58 2010 From: kortenkamp at cinderella.de (Ulrich Kortenkamp) Date: Fri Feb 19 10:27:59 2010 Subject: [Webmath] Announce: Intergeo platform, GeoSkills ontology, LOM schema ... sharing pedagogical mathematical resources throughout Europe. Message-ID: <1019F997-EC70-43C4-9772-C409938B745C@cinderella.de> Dear Webmath list! The Intergeo European Project (http://inter2geo.eu/) is pleased to announce a progress milestone of the Intergeo platform together with GeoSkills ontology and a LOM export. THE INTERGEO PLATFORM at http://i2geo.net The platform now features a few luxury facilities that support sharing open-content learning material and interactive geometry: ? contribute and search for interactive geometry related resources accross the languages and curriculum standards of Europe (based on the GeoSkills and structured by the i2geo metadata) ? display of interactive geometry constructions out of the box (for 8 systems) ? revised information edition tools which are simpler and faster ? display of the history of a resource ? ranking of search results by review results and by weight of reviews THE GEOSKILLS ONTOLOGY The GeoSkills ontology is an effort at encoding the competencies, topics, and educational levels of the mathematics curriculum standards throughout Europe. Its main purpose is to be the language of annotation and query of the resources of i2geo, the intergeo platform. It is the main ingredient of its cross-curriculum search. It provides means to: ? give an OWL-DL mathematical semantics to competencies and topics, that can be used by a reasoner like Pellet. ? provide various denominations for these competencies and topics, enabling localisation and levels of denomination ? edit competencies and topics online, thanks to CompEd competency editor (Apache Public License and creative commons attributions sharealike) for curriculum encoders and teachers ? semantically annotate i2geo resources on the intergeo platform with GeoSkills nodes GeoSkills is distributed open-source and open-content, more info is at http://i2geo.net/xwiki/bin/view/About/GeoSkills . GeoSkills is operationalized as an annotation and search language for the platform; it can be accessed by search or by browsing concrete curriculum-standards and clicking on relevant parts. Geoskills is used as the topic and educational level fields of the Intergeo metadata schema. INTERGEO METADATA SCHEMA The i2geo metadata schema was developed by the Intergeo consortium for use by various Dynamic Geometry Software. Specifically, it will be used on the platform. The i2geo metadata schema is a LOM application profile. As such, it is (partially) compatible with other metadata schemas of this type. The metadata consists not only of standard bibliographic information, but also contains pedagogical information relevant for users such as teachers that want to find resources appropriate for their classes. An average rating by other users of a resource can give an extra indication of quality. And detailed Competencies & Topics in geometry information, which is based on an ontology. More info about its schema and how it can be exploited is at http://i2geo.net/xwiki/bin/view/About/I2GMetadata . CONTRIBUTE TO INTERGEO PROGRESS! Intergeo is a project co-funded by the EU and has been running a platform since 2007. I2Geo currently displays: ? 1829 interactive geometry resources. These resources each have their LOM record and their annotations. ? 653 members ? 15 groups The GeoSkills ontology is currently composed of ? 596 classes ? 44 properties ? 705 axioms ? 2572 individuals mainly representing specific mathematical competencies ? ? and comes with curriculum standards for Spain, parts of France, the Netherlands, and for the Czech Republic The quality team of our project has been exploring best-practices for sharing interactive geometry on the web and provided recommendations for sustainable sharing practices. Our aim is not only to end up with resources that are easy to play but also easy to be re-used and improved to suit one's own objectives. You can contribute to our effort by discussing about the platform and resources, providing resources, reviewing existing ones, enhancing the Geoskills ontology with translations or new curriculum or competencies. Please redistribute - thank you! Ulrich Kortenkamp (CERMAT Karlsruhe) Intergeo - Interoperable Interactive Geometry for Europe http://inter2geo.eu From kortenkamp at cinderella.de Thu Feb 18 09:14:24 2010 From: kortenkamp at cinderella.de (Ulrich Kortenkamp) Date: Fri Feb 19 10:32:07 2010 Subject: [Webmath] Conference Announcement: I2GEO 2010 (Czech Republic, July 2-3, 2010) Message-ID: <6CD7B792-1B35-4D98-B972-C58AB39A0D22@cinderella.de> [ Apologies for duplicate postings * Please redistribute ] A PDF version of this Announcement is available at http://cermat.org/i2geo2010/downloads/files/I2GEO2010-CfP-v2.pdf ===================================================================== Interactive Interoperable Geometry Conference I2GEO 2010 http://cermat.org/i2geo2010 Hlubok? nad Vltavou, Czech Republic, July 2-3, 2010 ===================================================================== Follow-up conference of CADGME 2010 * http://www.pf.jcu.cz/cadgme2010 ===================================================================== CALL FOR PAPERS AND WORKSHOPS We are announcing I2GEO 2010 in Hlubok? nad Vltavou (Czech Republic), a conference that will enable the Interactive Geometry community to gather, share and enrich content for mathematics education. We invite all people interested in interactive (or dynamic) geometry, teachers, researchers and technology providers, to join us for this exciting event. I2GEO 2010 will take place immediately after CADGME 2010, the Conference on Computer Algebra and Dynamic Geometry in Mathematics Education. You find more info about CADGME at its conference website http://www.pf.jcu.cz/cadgme2010 . A declared goal of the Intergeo Project was to enable the mathematics education community ? teachers, researchers and learners ? to take over the project and to self-sustain it. This conference and the associated proceedings are one building block of this goal. Conference Topics ================= The conference will be arranged around three important themes of Interoperable Interactive Geometry: Structural Aspects, Technology, and Quality Assessment. This includes, but is not restricted to, contributions to the following fields. All contributions are eligible for the Best Paper Award. Each of the sections will include a keynote presentation by a member of the Intergeo project. Structural Aspects Keynote: Paul Libbrecht & Colette Laborde * Ontologies for Mathematics Education * Formalization of Curricula * Cross-Cultural Aspects of Mathematics Education * Classification by Topics vs. Classification by Competencies * Searching and Organizing Mathematical Content * Metadata for Mathematical Resources and Activitites * Knowledge Management in Mathematics Education Technology Keynote: Yves Kreis & Ulrich Kortenkamp * Formal Descriptions of Constructions, Exercises and other Digital Content in Mathematics * Data Exchange in Mathematics and Mathematics Education * Comparison of Interactive Geometry Tools * Mathematics Education and Social Networks/Web 2.0 * Integration of Digital Content in the Classroom * Innovative Uses of ICT in Teaching Mathematics Quality Assessment Keynote: Christian Mercat & Tomas Recio * Quality Criteria for Interactive Mathematics Content * Standards for Quality Assessment of Educational Content * Best Practices and Case Studies on Using Interactive Geometry in the Classroom * Identification of Critical Features of Electronic Content that Create Added Value * Teacher Education and Life-Long Learning * Educational Research based on the Quality Framework of Intergeo Content submissions As a fourth topic we also invite contributions to the Intergeo platform http://i2geo.net. All interactive content submitted can be submitted as a Content Contribution and is eligible for the Best Content Award. Conference Dates ================ The Conference will take place from July 2?3, 2010, immediately after CADGME 2010, in Hlubok? nad Vltavou, Czech Republic. December 15, 2009 ? First Announcement January 15, 2010 ? Second Announcement May 31, 2010 ? Discounted registration June 1st, 2010 ? End of pre-registration Submission Deadlines Paper and workshop acceptance will be based on the submitted abstracts. In order to participate in the best paper award, a full version of the paper has to be submitted before the conference. Final versions that may include modifications based on conference feedback are due six weeks after the conference. March 31, 2010 ? Abstract submissions May 31, 2010 ? Acceptance notifications June 15, 2010 ? Final programme June 18, 2010 ? Submission of full papers September 15, 2010 ? Submission of final papers Content for the Best Content Award has to be submitted before the conference. You may submit content for the Best Content Award without participating in the conference. All submissions for the award should be done as regular content submissions on thei2geo.net platform and should include i2geo2010 as keywords. June 18, 2010 ? Last submission date for Best Content Award Conference Proceedings ====================== Online Proceedings The proceedings of the conference will be available online. All papers will be peer-reviewed. Journal Issue (ZDM) In addition to the online proceedings of the conference there will also be a special issue of the ZDM - The International Journal of Mathematics Education, edited by Colette Laborde, IMAG, and Ulrich Kortenkamp, PH Karlsruhe/CERMAT. This ZDM issue will contain selected high-quality papers from the conference and invited papers by internationally known experts in the field. All papers will be refereed according to the rules of ZDM. Further Information =================== More information about the conference, submission and registration details can be found at the conference website http://cermat.org/i2geo2010 Please forward this announcement to all interested persons working in mathematics education or interactive geometry. Thank you. Ulrich Kortenkamp, Pavel Pech, Roman Ha?ek, Christian Dohrmann (Organization Committee) From A.P.Sexton at cs.bham.ac.uk Thu Feb 25 14:46:02 2010 From: A.P.Sexton at cs.bham.ac.uk (Alan P. Sexton) Date: Fri Feb 26 09:46:30 2010 Subject: [Webmath] MKM 2010: Deadline Extension and Final Call for Papers Message-ID: <201002251946.o1PJk2rG021391@sis.cs.bham.ac.uk> The 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT MKM 2010 http://cicm2010.cnam.fr/mkm/ CNAM, Paris, France, 8th-10th July 2010 DEADLINE EXTENSION: Abstracts: Wednesday, 3rd March 2010 Papers: Wednesday, 10th March 2010 FINAL CALL FOR PAPERS Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven, on the one hand, by new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and, on the other hand, by the increasing demand by engineers and scientists for new techniques to help in producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. Topics covered include, but are not limited to:. * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows MKM 2010 welcomes research papers and workshop proposals with links to the above topics. The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). More information about the MKM conference series can be found at the MKM Interest Group Webpage: http://www.mkm-ig.org/ Submission Categories ===================== Papers may be submitted in one of three categories: full papers, short papers or system descriptions. Both full papers and system descriptions should not exceed 15 pages, must be original and not be submitted for consideration elsewhere. Full or system description papers that are accepted will be published in the conference proceedings. A submission not accepted as a full paper or system description will automatically be considered as a short paper. Short papers are of a less formal nature. They are intended to provide a forum for the presentation and discussion of works in progress or ideas that are not (yet) in a suitable form for submission as a full or system description paper. They may be up to 5 pages in LNCS style. Depending on the number of short papers accepted, presentation may be as a short talk or as a poster. It will be at the discretion of the programme committee to decide whether individual short papers will be accepted for presentation only or for presentation and publication in the conference proceedings. The development of working systems in the field of Mathematical Knowledge Management is a major undertaking of significant value to our community. Papers describing such systems, however, are particularly difficult to compare to non-system development based research with respect to criteria common in reviewing. For this reason, papers in the system description category will be considered separately and an evaluation of their special contribution with be taken into account in the review process. Review Process ============== * Authors must submit an abstract by the abstract submission date. * The full paper, of any of the three categories, should be received by the paper submission date. * Authors will then be sent initial reviews of their submissions. * Authors then have the option of, within one week, submitting a single response to the reviews, limited to 500 words, in which they can clarify any issues or anser any questions that the reviewers had about their submission. This response can be submitted only once and cannot thereafter be resubmitted or modified. * Final reviews and acceptance rejection decisions will be sent to the authors by the final notification date. Important Dates =============== Abstract Submission: Wed, March 3rd, 2010 Paper Submission: Wed, March 10th, 2010 Initial Reviews Sent: Wed, March 31st, 2010 Author's Response Due: Wed, April 7th, 2010 Notification: Wed, April 14th, 2010 Camera-ready Papers: Wed, April 28th, 2010 Conference: 8th-10th July 2010 Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. In addition to the formal proceedings published by Springer, we will provide links to online versions of the published papers from the conference website. Submission Details ================== By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. All submissions (except workshop proposals) must be formatted according to the guidelines used by Springer Verlag for their LNCS and LNAI series. This format can be found at http://www.springer.com/comp/lncs/authors.html Submission website: http://www.easychair.org/conferences/?conf=mkm10 From dml2010 at easychair.org Sun Mar 21 16:49:59 2010 From: dml2010 at easychair.org (dml2010@easychair.org) Date: Mon Mar 22 10:49:34 2010 Subject: [Webmath] CFP: DML 2010--Towards a Digital Mathematics Library, Paris, FR, Jul 7-8th Message-ID: <20100321204959.2160CF0569@anxur.fi.muni.cz> Call for papers: Towards a Digital Mathematics Library (DML 2010) July 7-8th, 2010, Paris, FR c/o CICM 2010 Web: http://www.fi.muni.cz/~sojka/dml-2010.html Deadlines: April 21th: abstract submissions April 27th: paper submissions May 15th: paper acceptance/rejection decision May 22nd: versions for the proceedings due Jul 7th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2010 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Final paper versions should conform to the Springer LNCS (llncs class) style, preferably using LaTeX2e. Submission categories: Full paper: 4-12 LNCS pages Short paper/poster/work in progress report: 1-4 LNCS pages Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects (EuDML, NUMDAM, DML-CZ,...), asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow)? Proceedings: will be published by Masaryk University Press or other renown publisher and will be available on site in printed form and in digital form from DML-CZ repository. All previous DML proceedings have been indexed by Thomson Reuters in Conference Proceedings Citation Index CPCI and by Google Scholar and are available in digital form from electronic archive. Best papers will be chosen for a postconference book published by renowned publisher or for a journal special issue. Keynote: Masakazu Suzuki (Project Infty, Kyushu University, JP): title TBA Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee (some members approval pending): Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Michael Doob (University of Manitoba, Winnipeg, CA) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Volker Sorge (University of Birmingham, UK) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Zentralblatt MATH, Berlin, DE) Organizing Committee: Petr Sojka, Renaud Rioboo, Laurence Rideau Registration, Travel, Accomodation: see CICM web pages http://cicm2010.cnam.fr/ Questions/inquiries: email to dml2010 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! From hi181904665 at msn.com Wed Mar 24 05:28:38 2010 From: hi181904665 at msn.com (hotmail) Date: Wed Mar 24 09:34:56 2010 Subject: [Webmath] help me out Message-ID: Dear all: I wanna know which tools could be conductive to obtaining a content markup MathMl code ? Thanks a lot. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20100324/9c007a70/attachment.htm From ch.lange at jacobs-university.de Wed Mar 24 09:50:59 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Wed Mar 24 14:18:42 2010 Subject: [Webmath] help me out In-Reply-To: References: Message-ID: <201003241450.59840.ch.lange@jacobs-university.de> Hi, 2010-03-24 10:28 hotmail : > I wanna know which tools could be conductive to obtaining a content > markup MathMl code ? Thanks a lot. How about Gemse: http://www.andonyar.com/rec/2008-12/gemse/ @Urs, are you on this list? It's mostly dead, but might still be worth subscribing: https://mail.cms.math.ca/mailman/listinfo/webmath/ Cheers, Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: This is a digitally signed message part. Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20100324/b5930fe1/attachment.bin From paul at activemath.org Wed Mar 24 17:25:33 2010 From: paul at activemath.org (Paul Libbrecht) Date: Wed Mar 24 17:33:52 2010 Subject: [Webmath] help me out In-Reply-To: References: Message-ID: Hello, a list that is more focussed on MathML edition is www-math@w3.org. There's several MathML-content editors available in the MathML- software-list. Start at: http://www.w3.org/Math/ paul Le 24-mars-10 ? 10:28, hotmail a ?crit : > Dear all: > I wanna know which tools could be conductive to obtaining a > content markup MathMl code ? Thanks a lot. > _______________________________________________ > Webmath mailing list > Webmath@camel.math.ca > https://mail.cms.math.ca/mailman/listinfo/webmath -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20100324/57b83eb9/attachment.htm From urs at andonyar.com Fri Mar 26 15:20:10 2010 From: urs at andonyar.com (Urs Holzer) Date: Mon Mar 29 10:01:54 2010 Subject: [Webmath] help me out In-Reply-To: <201003241450.59840.ch.lange@jacobs-university.de> References: <201003241450.59840.ch.lange@jacobs-university.de> Message-ID: <201003262020.11048.urs@andonyar.com> Hi Christoph LANGE wrote: > 2010-03-24 10:28 hotmail : > > I wanna know which tools could be conductive to obtaining a > > content markup MathMl code ? Thanks a lot. > > How about Gemse: http://www.andonyar.com/rec/2008-12/gemse/ When you know Content MathML, then it is a good choice. It even gives you a preview of a possible Presentation MathML rendering in real time. However, if you do not like to edit the Content MathML directly but rather want an intuitive interface which helps you construct your formulas, say with pictures you can click on, then Gemse is not what you want. (Sidenote: I am the author of Gemse) > @Urs, are you on this list? Yes I am. Greetings Urs From V.Sorge at cs.bham.ac.uk Fri Apr 2 18:00:14 2010 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Sat Apr 3 09:42:57 2010 Subject: [Webmath] CfP -- ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Message-ID: <201004022202.o32M2sRe012424@mx.cms.math.ca> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Announcement and Call for Presentations ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania. Webpages: http://events.cs.bham.ac.uk/aca10 (Special Session) http://aca2010.info/index.php/aca2010/aca2010 (Conference) Overview: Symbolic Computation techniques are playing a significant role outside its traditional application areas in Computer Algebra. Over recent decades they have been successfully employed in several areas of traditional artificial intelligent systems such as automated reasoning, constraint solving or interactive tutoring. Conversely intelligent and knowledge based techniques have made their way into main stream symbolic computation such as the integration of equational reasoning into Computer Algebra systems. In this session we will be interested in a variety of application of symbolic computation in knowledge based artificial intelligence systems and vice versa of incorporation of AI techniques and mathematical knowledge into computer algebra. We will also be interested in representation issues arising from these combinations as well as in the role played by ontologies in linking symbolic computation and AI as illustrated by Wolfram|Alpha. The scope of the session therefore includes the following topics: -- System combinations and integrations -- Knowledge acquisition and representation -- Application areas Call for Contributions: If you are interested in giving a presentation at this session, please email an abstract to one of the organisers. Presentations will be up to 30 min in length, including time for discussion. Deadline: The tentative deadline for submissions is May 21st, 2010. Publication: Selected contributions will be considered for inclusion in a special issue of the Journal of Mathematics and Artificial Intelligence. Session Organisers: Volker Sorge, University of Birmingham, UK. V.Sorge@cs.bham.ac.uk Jacques Calmet, Universität Karlsruhe, Germany. calmet@ira.uka.de From ionel.alexandru at gmail.com Tue Apr 6 16:37:12 2010 From: ionel.alexandru at gmail.com (Ionel Alexandru) Date: Wed Apr 7 09:24:09 2010 Subject: [Webmath] free mathematics solution for web - www.fmath.info Message-ID: Hi all, I build a free solution to display equations on web, to have an good editor and to display also graphs on web. I could display more than 6300 symbols and I tested for IE, Firefox, Opera and Google Chrome. All documentation and examples are on my site www.fmath.info. Do you find usefull ? thank you for your opinion. alex -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20100406/daa8eaf6/attachment.htm From davidc at nag.co.uk Wed Apr 7 09:48:48 2010 From: davidc at nag.co.uk (David Carlisle) Date: Wed Apr 7 09:55:34 2010 Subject: [Webmath] free mathematics solution for web - www.fmath.info In-Reply-To: References: Message-ID: <4BBC8D40.8030000@nag.co.uk> On 06/04/2010 21:37, Ionel Alexandru wrote: > Hi all, > I build a free solution to display equations on web, to have an good > editor and to display also graphs on web. > I could display more than 6300 symbols and I tested for IE, Firefox, > Opera and Google Chrome. > All documentation and examples are on my site www.fmath.info > . > Do you find usefull ? > thank you for your opinion. > alex > interesting. You might also want to mention this on www-math@w3.org and also particularly interesting at this time would be to run against the mathml testsuite at http://www.w3.org/Math/testsuite/ David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ From dml2010 at easychair.org Wed Apr 21 16:26:06 2010 From: dml2010 at easychair.org (dml2010@easychair.org) Date: Thu Apr 22 12:52:41 2010 Subject: [Webmath] Last CFP: DML 2010--Towards a Digital Mathematics Library, Paris, Jul 7-8th Message-ID: <20100421202606.675E670244@anxur.fi.muni.cz> Call for papers: Towards a Digital Mathematics Library (DML 2010) July 7-8th, 2010, Paris, FR c/o CICM 2010 Web: http://www.fi.muni.cz/~sojka/dml-2010.html Deadlines: April 25th: abstract submissions April 28th: paper submissions May 15th: paper acceptance/rejection decision May 22nd: versions for the proceedings due Jul 7th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2010 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Final paper versions should conform to the Springer LNCS (llncs class) style, preferably using LaTeX2e. Submission categories: Full paper: 4-12 LNCS pages Short paper/poster/work in progress report: 1-4 LNCS pages Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects (EuDML, NUMDAM, DML-CZ,...), asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow)? Proceedings: will be published by Masaryk University Press and will be available on site in printed form and in digital form from DML-CZ repository. All previous DML proceedings have been indexed by Thomson Reuters in Conference Proceedings Citation Index CPCI and by Google Scholar and are available in digital form at http://dml.cz/handle/10338.dmlcz/702563 . Best papers will be chosen for a postconference book published by renowned publisher or for a journal special issue. Keynote (TBC): Masakazu Suzuki (Project Infty, Kyushu University, JP) Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee (some members approval pending): Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Michael Doob (University of Manitoba, Winnipeg, CA) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Volker Sorge (University of Birmingham, UK) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Organizing Committee: Petr Sojka, Michal Ruzicka, Renaud Rioboo, Laurence Rideau Registration, Travel, Accomodation: see CICM web pages http://cicm2010.cnam.fr/ Questions/inquiries: email to dml2010 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! From ch.lange at jacobs-university.de Wed May 5 11:46:59 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Wed May 5 11:53:18 2010 Subject: [Webmath] Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9) Message-ID: <201005051746.59780.ch.lange@jacobs-university.de> CONTENT MATH TRAINING CAMP and DOCTORAL PROGRAMME at Conferences on Intelligent Computer Mathematics (CICM 2010) CNAM, Paris, France 6th-9th July http://cicm2010.cnam.fr/cmtc CALL FOR PROPOSALS/PARTICIPATION Deadline: 1st June Some Student Grants Available! CONTENT MATH TRAINING CAMP (6th-9th July): This is a training school comprising tutorial sessions and practical labs with an integrated Doctoral Programme (see below). Its aim is to disseminate the latest developments and emerging trends in intelligent computational mathematics as well as to familiarise, in particular young researchers, with the leading state of the art technologies for authoring, presenting, conserving and accessing mathematical knowledge and their applications. Preliminary list of topics: http://cicm2010.cnam.fr/cmtc Please let us know what you are particularly interested in by June 1 (mail to Christoph Lange ). Deadline for your own presentation proposals: 1st June Acceptance notification: 8th June DOCTORAL PROGRAMME (7th-9th July): PhD students at any level, working on a research topic related to the CICM'10 conferences may apply for participation in the Doctoral Programme. Application documents shall be sent to Volker Sorge and they should consist of: * A brief (max. 1 page) summary of the PhD topic * A short letter of recommendation from the supervisor * A statement whether the student applies for a grant or not (Some financial support for travel and attendance is available) Application deadline: 1st June Acceptance notification: 8th June The Doctoral Programme will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence. It is integrated with the Content Math Training Camp (see above). The Doctoral Programme will also promote contacts between participating students and provide information on careers opportunities in academia, research and industry. Moreover, tutorials from experienced researchers are planned as well as a social programme including some sports event. Details: http://cicm2010.cnam.fr/cmtc/doctoral.html Board of Senior Scientists: * Serge Autexier (DFKI Bremen, Germany),Chair * John Campbell (University College London, UK) * James H. Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) Content Math Training Camp Organisers: * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 From paul at activemath.org Sat May 8 09:10:37 2010 From: paul at activemath.org (Paul Libbrecht) Date: Sat May 8 09:16:54 2010 Subject: [Webmath] Call for contributions to MathUI 10 Message-ID: Mathematical User Interfaces Workshop A Workshop at MKM 2010, CNAM, Paris, July 2010 http://www.activemath.org/workshops/MathUI/10/ === Scope === Mathematics is being increasingly done on computers: from computations to communications, from static pictures to dynamic presentations, from organized texts to formalized demonstrations. This workshop offers a forum discussing how users can interact with the mathematical objects represented on a computer, how they can manipulate them to feel their mathematical nature, how they can create them, how they can visualize them, and how they can understand them. This workshop follows a successful series of meetings held the Mathematical Knowledge Management conference; it features presentations of brand new ideas, elected on reviewed submitted papers, with wide space for discussions, as well as a software demonstration session. === Invitation to submissions === The organizers invite authors to submit short contributions on the workshop-related topics in PDF format optionally illustrated by supplementary media such as video recordings or access to demos. Deadline for submissions: May 20th 2010. Method of submission: EasyChair: http://www.easychair.org/conferences/?conf=mathui10 The submissions will be reviewed by the international programme committee whose comments and recommendations will be transmitted by June 10th requesting a final version no later than June 20th. The workshop will happen on the afternoon of Saturday July 10th, after the invited presentation of a former Bourbaki secretary Pierre Cartier. === Programme Committee === To be confirmed: - David Aspinall School of Informatics, University of Edinburgh, Scotland - Paul Cairns University of York, Great Britain - Olga Caprotti University of Helsinki, Finland - Richard Fateman University of California at Berkeley, USA - Paul Libbrecht (organizer) Competence Center for E-Learning, DFKI GmbH, Saarbr?cken, Germany - Robert Miner Design Science Inc., Long Beach, California, USA - Elena Smirnova Texas Instruments Inc. Education Technology, USA From e-smirnova at ti.com Tue May 11 13:40:53 2010 From: e-smirnova at ti.com (Smirnova, Elena) Date: Wed May 12 09:35:43 2010 Subject: [Webmath] Call For Submissions: 3rd Workshop on Compact Computer Algebra, Paris, France Message-ID: <91DF2F1C31228A4B9A4505BC56DFBCA397E65A97@dlee01.ent.ti.com> Third Workshop on Compact Computer Algebra @ CICM 2010 July 6, 2010. Paris, France Even though compact design is no longer a vital necessity for main-stream computer algebra systems, it is a central question in emerging settings. Compact systems are important for hand-held devices, embedded computer algebra modules (e.g. for smart document processors) and web-based computing to name a few areas. Additionally, compact data representations can be essential when dealing with very large problems. The aim of the CCA events is to communicate the ideas supporting the subject of "compactness" in algorithms, data organization and system design for computer algebra. Continuing the series of CCA meetings previously held in Linz, Austria (2008) and in Grand Bend, Canada (2009), the 3rd workshop on Compact Computer Algebra will take place in Paris, France as a part of CICM 2010 conference. Workshop Scope: -------------- the whole spectrum of issues of compact CA including, but not limited to: * space-efficient data structures * memory-efficient implementations * compact kernels * math education tools * portable and Internet-accessible symbolic calculators * CAS for personal digital assistants * "spell checkers" for math content in document processing software * validators for online and offline mathematical recognizers * backend engines to pen-computing interfaces * math editing components for 2D expression Submissions ----------- 1) Contributed Papers: ~~~~~~~~~~~~~~~~~~~ Authors are invited to submit a one- or two-page abstract by June 15, 2010. Submissions will be reviewed based on relevance to the session, originality and scientific interest. Authors will be notified before June 20, 2010. 2) System Demonstrations: ~~~~~~~~~~~~~~~~~~~~~~ Participants with CCA-related software they wish to demonstrate, should submit a one page abstract describing their system and what they wish to present by June 15, 2010. Demonstrators are expected to run their software on their own computers/devices. Local-area network access and additional displays may be provided, up on request. Please indicate any specific requirements in the abstract submitted. How to submit ------------- All abstracts are to be submitted by June 15 via EasyChar at http://www.easychair.org/conferences/?conf=cca3 Please ensure your abstract is clearly marked as being for a contributed paper or software demonstration. Publication of the Proceedings ------------------------------ The full-length papers and the abstracts will be published electronically at the Compact Computer Algebra session web site maintained by the Ontario Research Centre for Computer Algebra. Selected papers will be considered for publishing in a journal special issue. Important Dates --------------- * June 15 - Deadline for submitting paper and demo abstracts. * June 20 - Notification of acceptance * July 1 - Full-length papers due * July 6 - CCA Workshop * July 5-10 - CICM 2010 -- see you in Paris! Session organizers ------------------ * Elena Smirnova Texas Instruments, Education Technology, USA e-mail: * Stephen M. Watt Ontario Research Centre for Computer Algebra, University of Western Ontario, Canada e-mail: * Mitsushi Fujimoto Department of Mathematics, Fukuoka University of Education, Japan e-mail: Web resources ------------- * CICM 2010 home page http://cicm2010.cnam.fr/ * 3rd Workshop on Compact Computer Algebra web site http://www.orcca.on.ca/conferences/cca2010 * Call for Papers and Software demos for Compact Computer Algebra page http://www.orcca.on.ca/conferences/cca2010/submissions.html Best regards CCA 2010 Organizers From V.Sorge at cs.bham.ac.uk Thu May 20 17:29:45 2010 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Fri May 21 09:54:45 2010 Subject: [Webmath] Call for Presentations --- ACA 2010 Special Session Message-ID: <201005202129.o4KLTlYC004824@mx.cms.math.ca> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Announcement and Call for Presentations ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications Held at the conference ACA'2010, June 24-27, 2010, in Vlore, Albania. Webpages: http://events.cs.bham.ac.uk/aca10 (Special Session) http://aca2010.info/index.php/aca2010/aca2010 (Conference) Overview: Symbolic Computation techniques are playing a significant role outside its traditional application areas in Computer Algebra. Over recent decades they have been successfully employed in several areas of traditional artificial intelligent systems such as automated reasoning, constraint solving or interactive tutoring. Conversely intelligent and knowledge based techniques have made their way into main stream symbolic computation such as the integration of equational reasoning into Computer Algebra systems. In this session we will be interested in a variety of application of symbolic computation in knowledge based artificial intelligence systems and vice versa of incorporation of AI techniques and mathematical knowledge into computer algebra. We will also be interested in representation issues arising from these combinations as well as in the role played by ontologies in linking symbolic computation and AI as illustrated by Wolfram|Alpha. The scope of the session therefore includes the following topics: -- System combinations and integrations -- Knowledge acquisition and representation -- Application areas Call for Contributions: If you are interested in giving a presentation at this session, please email an abstract to one of the organisers. Presentations will be up to 30 min in length, including time for discussion. Deadline: The tentative deadline for submissions is May 21st, 2010. Publication: Selected contributions will be considered for inclusion in a special issue of the Journal of Mathematics and Artificial Intelligence. Session Organisers: Volker Sorge, University of Birmingham, UK. V.Sorge@cs.bham.ac.uk Jacques Calmet, Universität Karlsruhe, Germany. calmet@ira.uka.de From ch.lange at jacobs-university.de Fri May 21 18:52:17 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Fri May 21 18:51:35 2010 Subject: [Webmath] Call for Papers: OpenMath Workshop at CICM: Paris, July 8. Deadline June 18 Message-ID: <201005220052.21489.ch.lange@jacobs-university.de> CALL FOR PAPERS [apologies if you receive this more than once] OpenMath Workshop 2010 July 8 Paris, France co-located with CICM 2010 http://cicm2010.cnam.fr/om/ Submission deadline June 18 We are pleased to announce the OpenMath Workshop 2010, to be held on 8 July 2010, in Paris, France, in conjunction with CICM 2010 (http://cicm2010.cnam.fr). The call for papers is at http://cicm2010.cnam.fr/om/ Submission is via EasyChair (deadline June 18, earlier announcements of abstracts highly appreciated): http://www.easychair.org/conferences?conf=om2010 We look forward to seeing your contributions, and your content dictionaries! Michael Kohlhase (President of the OpenMath Society) Christoph Lange -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: This is a digitally signed message part. Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20100522/a1c6b1ac/attachment.bin From e-smirnova at ti.com Tue Jun 1 19:35:41 2010 From: e-smirnova at ti.com (Smirnova, Elena) Date: Thu Jun 3 09:39:45 2010 Subject: [Webmath] 2nd Call For Submissions: 3rd Workshop on Compact Computer Algebra, Paris, France Message-ID: <91DF2F1C31228A4B9A4505BC56DFBCA3984D3571@dlee01.ent.ti.com> Third Workshop on Compact Computer Algebra @ CICM 2010 July 6, 2010. Paris, France ------------------------------- SECOND CALL FOR CONTRIBUTIONS ------------------------------- Even though compact design is no longer a vital necessity for main-stream computer algebra systems, it is a central question in emerging settings. Compact systems are important for hand-held devices, embedded computer algebra modules (e.g. for smart document processors) and web-based computing to name a few areas. Additionally, compact data representations can be essential when dealing with very large problems. The aim of the CCA events is to communicate the ideas supporting the subject of "compactness" in algorithms, data organization and system design for computer algebra. Continuing the series of CCA meetings previously held in Linz, Austria (2008) and in Grand Bend, Canada (2009), the 3rd workshop on Compact Computer Algebra will take place in Paris, France as a part of CICM 2010 conference. Workshop Scope: -------------- the whole spectrum of issues of compact CA including, but not limited to: * space-efficient data structures * memory-efficient implementations * compact kernels * math education tools * portable and Internet-accessible symbolic calculators * CAS for personal digital assistants * "spell checkers" for math content in document processing software * validators for online and offline mathematical recognizers * backend engines to pen-computing interfaces * math editing components for 2D expression Submissions ----------- 1) Contributed Papers: ~~~~~~~~~~~~~~~~~~~ Authors are invited to submit a one- or two-page abstract by June 15, 2010. Submissions will be reviewed based on relevance to the session, originality and scientific interest. Authors will be notified before June 20, 2010. 2) System Demonstrations: ~~~~~~~~~~~~~~~~~~~~~~ Participants with CCA-related software they wish to demonstrate, should submit a one page abstract describing their system and what they wish to present by June 15, 2010. Demonstrators are expected to run their software on their own computers/devices. Local-area network access and additional displays may be provided, up on request. Please indicate any specific requirements in the abstract submitted. How to submit ------------- All abstracts are to be submitted by June 15 via EasyChar at http://www.easychair.org/conferences/?conf=cca3 Please ensure your abstract is clearly marked as being for a contributed paper or software demonstration. Publication of the Proceedings ------------------------------ The full-length papers and the abstracts will be published electronically at the Compact Computer Algebra session web site maintained by the Ontario Research Centre for Computer Algebra. Selected papers will be considered for publishing in a journal special issue. Important Dates --------------- * June 15 - Deadline for submitting paper and demo abstracts. * June 20 - Notification of acceptance * July 1 - Full-length papers due * July 6 - CCA Workshop * July 5-10 - CICM 2010 -- see you in Paris! Session organizers ------------------ * Elena Smirnova Texas Instruments, Education Technology, USA e-mail: * Stephen M. Watt Ontario Research Centre for Computer Algebra, University of Western Ontario, Canada e-mail: * Mitsushi Fujimoto Department of Mathematics, Fukuoka University of Education, Japan e-mail: Web resources ------------- * CICM 2010 home page http://cicm2010.cnam.fr/ * 3rd Workshop on Compact Computer Algebra web site http://www.orcca.on.ca/conferences/cca2010 * Call for Papers and Software demos for Compact Computer Algebra page http://www.orcca.on.ca/conferences/cca2010/submissions.html Best regards CCA 2010 Organizers From ch.lange at jacobs-university.de Sun Jun 13 09:09:56 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Sun Jun 13 09:09:14 2010 Subject: [Webmath] 2nd Call for Papers: OpenMath Workshop at CICM: Paris, July 8. Deadline June 18 Message-ID: <201006131509.58580.ch.lange@jacobs-university.de> 2nd CALL FOR PAPERS [apologies if you receive this more than once] OpenMath Workshop 2010 July 8 Paris, France co-located with CICM 2010 http://cicm2010.cnam.fr/om/ Submission deadline (abstract-only also welcome!) June 18 We are pleased to announce the OpenMath Workshop 2010, to be held on 8 July 2010, in Paris, France, in conjunction with CICM 2010 (http://cicm2010.cnam.fr). The call for papers is at http://cicm2010.cnam.fr/om/ Submission is via EasyChair (deadline June 18, earlier announcements of abstracts highly appreciated): http://www.easychair.org/conferences?conf=om2010 We look forward to seeing your contributions, and your content dictionaries! Michael Kohlhase (President of the OpenMath Society) Christoph Lange -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: This is a digitally signed message part. Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20100613/28b0a44e/attachment.bin From e-smirnova at ti.com Mon Jun 14 17:58:45 2010 From: e-smirnova at ti.com (Smirnova, Elena) Date: Tue Jun 15 09:16:23 2010 Subject: [Webmath] Last Call For Submissions: 3rd Workshop on Compact Computer Algebra, Paris, France Message-ID: <91DF2F1C31228A4B9A4505BC56DFBCA3988649E8@dlee01.ent.ti.com> Third Workshop on Compact Computer Algebra @ CICM 2010 July 6, 2010. Paris, France ------------------------------- SECOND CALL FOR CONTRIBUTIONS ------------------------------- Even though compact design is no longer a vital necessity for main-stream computer algebra systems, it is a central question in emerging settings. Compact systems are important for hand-held devices, embedded computer algebra modules (e.g. for smart document processors) and web-based computing to name a few areas. Additionally, compact data representations can be essential when dealing with very large problems. The aim of the CCA events is to communicate the ideas supporting the subject of "compactness" in algorithms, data organization and system design for computer algebra. Continuing the series of CCA meetings previously held in Linz, Austria (2008) and in Grand Bend, Canada (2009), the 3rd workshop on Compact Computer Algebra will take place in Paris, France as a part of CICM 2010 conference. Workshop Scope: -------------- the whole spectrum of issues of compact CA including, but not limited to: * space-efficient data structures * memory-efficient implementations * compact kernels * math education tools * portable and Internet-accessible symbolic calculators * CAS for personal digital assistants * "spell checkers" for math content in document processing software * validators for online and offline mathematical recognizers * backend engines to pen-computing interfaces * math editing components for 2D expression Submissions ----------- 1) Contributed Papers: ~~~~~~~~~~~~~~~~~~~ Authors are invited to submit a one- or two-page abstract by June 15, 2010. Submissions will be reviewed based on relevance to the session, originality and scientific interest. Authors will be notified before June 20, 2010. 2) System Demonstrations: ~~~~~~~~~~~~~~~~~~~~~~ Participants with CCA-related software they wish to demonstrate, should submit a one page abstract describing their system and what they wish to present by June 15, 2010. Demonstrators are expected to run their software on their own computers/devices. Local-area network access and additional displays may be provided, up on request. Please indicate any specific requirements in the abstract submitted. How to submit ------------- All abstracts are to be submitted by June 15 via EasyChar at http://www.easychair.org/conferences/?conf=cca3 Please ensure your abstract is clearly marked as being for a contributed paper or software demonstration. Publication of the Proceedings ------------------------------ The full-length papers and the abstracts will be published electronically at the Compact Computer Algebra session web site maintained by the Ontario Research Centre for Computer Algebra. Selected papers will be considered for publishing in a journal special issue. Important Dates --------------- * June 15 - Deadline for submitting paper and demo abstracts. * June 20 - Notification of acceptance * July 1 - Full-length papers due * July 6 - CCA Workshop * July 5-10 - CICM 2010 -- see you in Paris! Session organizers ------------------ * Elena Smirnova Texas Instruments, Education Technology, USA e-mail: * Stephen M. Watt Ontario Research Centre for Computer Algebra, University of Western Ontario, Canada e-mail: * Mitsushi Fujimoto Department of Mathematics, Fukuoka University of Education, Japan e-mail: Web resources ------------- * CICM 2010 home page http://cicm2010.cnam.fr/ * 3rd Workshop on Compact Computer Algebra web site http://www.orcca.on.ca/conferences/cca2010 * Call for Papers and Software demos for Compact Computer Algebra page http://www.orcca.on.ca/conferences/cca2010/submissions.html Best regards CCA 2010 Organizers From A.P.Sexton at cs.bham.ac.uk Sun Jun 20 23:36:06 2010 From: A.P.Sexton at cs.bham.ac.uk (Alan P. Sexton) Date: Sun Jun 20 23:36:17 2010 Subject: [Webmath] MKM 2010: Call for Participation Message-ID: <201006210336.o5L3a6oB032663@sis.cs.bham.ac.uk> CALL FOR PARTICIPATION The 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT MKM 2010 http://cicm2010.cnam.fr/mkm/ CNAM, Paris, France, 8th-9th July 2010 as part of CICM 2010 - Conferences on Intelligent Computer Mathematics http://cicm2010.cnam.fr/ Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven, on the one hand, by new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and, on the other hand, by the increasing demand by engineers and scientists for new techniques to help in producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. More information about the MKM conference series can be found at the MKM Interest Group Webpage: http://www.mkm-ig.org/ As part of the Conferences on Intelligent Computer Mathematics, it will be co-located with the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) and the 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010), and a number of workshops and a doctoral programme. For more information, see http://cicm2010.cnam.fr/ Registration to the conference is now open and online at http://cicm2010.cnam.fr/registration.html Registration includes one hard-copy of the Springer LNAI proceedings of the CICM conferences and one social event. Information on accommodation and travelling is also available on the CICM 2010 web pages. For further information: Email: mkm10@easychair.org Website: http://cicm2010.cnam.fr/mkm/ Scientific Programme (MKM 2010) ==================== Invited Talks - Can we make Mathematics universal as well as fully reliable ? Pierre Cartier - Against Rigor Doron Zeilberger Research papers and presentations - Smart matching Andrea Asperti, Enrico Tassi - Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System Xiaoyu Chen - An OpenMath Content Dictionary for Tensor Concepts Joseph Collins - On Duplication in Mathematical Repositories Adam Grabowski, Christoph Schwarzweller - Adapting Mathematical Domain Reasoners Bastiaan Heeren, Johan Jeuring - Integrating multiple sources to answer questions in Algebraic Topology Jönathan Heras, Vico Pascual, Ana Romero, Julio Rubio - Towards Automatic Formalization of Informal Mathematics with MathNat Muhammad Humayoun and Christophe Raffalli - sTeXIDE: An Integrated Development Environment for sTeX Collections Constantin Jucovschi, Michael Kohlhase - Proofs, proofs, proofs, and proofs Manfred Kerber - Dimensions of Formality: A Case Study for MKM in Software Engineering Andrea Kohlhase, Michael Kohlhase, Christoph Lange - Towards MKM in the Large: Modular Representation and Scalable Software Architecture Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev - The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk - Notations Around the World: Census and Exploitation Paul Libbrecht - Evidence Algorithm and System for Automated Deduction: A Retrospective View Alexander Lyaletski, Konstantin Verchinine - On Building a Knowledge Base for Stability Theory Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller - Proviola: a Tool for Proof Re-animation Carst Tankink, James McKinna, Herman Geuvers, Freek Wiedijk - A Wiki for Mizar: Motivation, Considerations, and Initial Prototype Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers Co-Located Events ================= Conferences - 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) - 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010) Workshops - 3rd Workshop on Compact Computer Algebra (CCA) - 3rd Workshop, Towards a Digital Mathematics Library (DML) - 6th Workshop on Mathematical User-Interfaces (MathUI) - Workshop on Mathematically Intelligent Proof Search (MIPS) - 23rd Workshop on OpenMath (OpenMath) - 4th Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS) - Content Math Training Camp with Doctoral Programme (CMTC+DP) Social Events ============= - Conference reception with Wine & Cheese buffet - Conference Banquet at the "Cafe des Techniques" at the CNAM Museum From ch.lange at jacobs-university.de Mon Jun 21 10:31:45 2010 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Mon Jun 21 10:37:44 2010 Subject: [Webmath] Call for Participation: Content Math Training Camp at CICM (July 5 to 9, Paris) Message-ID: <201006211631.46018.ch.lange@jacobs-university.de> CONTENT MATH TRAINING CAMP and DOCTORAL PROGRAMME at Conferences on Intelligent Computer Mathematics (CICM 2010) CNAM, Paris, France 5th-9th July (note change) http://cicm2010.cnam.fr/cmtc CALL FOR PARTICIPATION CONTENT MATH TRAINING CAMP (5th-9th July): This is a training school comprising tutorial sessions and practical labs with an integrated Doctoral Programme (see homepage for that). Its aim is to disseminate the latest developments and emerging trends in intelligent computational mathematics as well as to familiarise, in particular young researchers, with the leading state of the art technologies for authoring, presenting, conserving and accessing mathematical knowledge and their applications. List of topics (links, details and updates: http://cicm2010.cnam.fr/cmtc) * Gemse, a visual editor for Content and Presentation MathML 3 * OMDoc import/export of Hets (Heterogeneous Tool Set) * jEditOQMath, an editor for OMDoc documents targetting ActiveMath * JOBAD, a framework for integrating interactive mathematical services into web documents * JOMDoc, a Java API for OMDoc * MathDox formula editor, LaTeX to MathDox translator, possibly a text+formula editor * MMT, a module system for mathematical theories * an OpenMath Content Dictionary Editor * SCIEnce libraries for symbolic computation with OpenMath: o the SCSCP C Library (for C and C++) o possibly POPCORN and the Java libraries * sTeX, a semantically enhanced (La)TeX input language for OMDoc * TNTBase, a versioned database for XML documents (with some special OMDoc support) If you are interested in a particular topic or have anything particular to offer, please let us know (mail to Christoph Lange ). There will be short presentations introducing most of these topics, followed by individual programming sessions. Content Math Training Camp Organisers: * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: This is a digitally signed message part. Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20100621/679011cc/attachment.bin From paul at activemath.org Thu Jul 1 09:49:19 2010 From: paul at activemath.org (Paul Libbrecht) Date: Fri Jul 2 10:20:16 2010 Subject: [Webmath] MathUI 2010: call for participation Message-ID: <557A5586-FADB-4337-B31C-BEF7DFE8690C@activemath.org> you are invited to participate to the Mathematical User Interfaces Workshop 2010 http://www.activemath.org/workshops/MathUI/10/ at the MKM conference, Paris, CNAM, July 10th 2010. The selected papers are now posted. The workshop will present research of Karol Pak, Jesse Alama, Ivelina Stoyanova, James Davenport, Mitsushi Fujimoto and Stephen Watt. The workshop will also be the occasion to touch concrete mathematical softwares user-interfaces guided by their makers. This includes the MathDox formula editor, the MathML testsuite, Mizar refactoring programmes, the OpenMath Browser with summarisation, and the Lorenzen Dialogue web-based game. Looking forward to see you at MathUI'10. Please note that the registration, at http://cicm2010.cnam.fr/registration.html , will be more expensive on site than online. Paul Libbrecht From christian.lerch at km-works.eu Wed Jul 14 08:23:14 2010 From: christian.lerch at km-works.eu (Christian Lerch) Date: Wed Jul 14 10:00:38 2010 Subject: [Webmath] A user-firendly MathML authoring language Message-ID: <4C3DAC32.80604@km-works.eu> An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20100714/abbbcb8b/attachment.htm From kortenkamp at cinderella.de Wed Jul 14 10:08:19 2010 From: kortenkamp at cinderella.de (Ulrich Kortenkamp) Date: Wed Jul 14 10:44:26 2010 Subject: [Webmath] A user-firendly MathML authoring language In-Reply-To: <4C3DAC32.80604@km-works.eu> References: <4C3DAC32.80604@km-works.eu> Message-ID: Hi Christian, I tried to have a look at MathEL, but I only get 403 Permission Denied... Ulli Am 14.07.2010 um 14:23 schrieb Christian Lerch: > Hello All, > > I want to bring to your attention a newly designed, user-friendly authoring system for presentational mathematics on the Web, consisting of: > An ASCII-based authoring language, called MathEL, specifically designed for expressing mathematical formulas as a linear string of symbols. > Although being concise and - unlike [La]TeX - highly readable, MathEL offers huge expressive power that is believed to cover even advanced mathematical notation requirements. > A Java-based parser/code-generator that can translate the MathEL language directly into MathML 2.0 > An online demonstration facility at http://km-works.eu/mathel-interactive/ you can use to test-drive MathEL's capabilities (please use Firefox!!!) > A mathematics-enabled wiki at http://km-works.eu/mathel-wiki/ > A set of tools that allow to translate MathEL expressions embedded in any XHTML file on the fly (web server or file system based). > MathEL features a concise, highly readable and hence easy-to-learn, pure ASCII presentational mathematics authoring language that has been designed to enable a technical author to integrate mathematicals into any web site. > > The language and its supporting technology is extremly well balanced and automatically scales from translating hundreds of tiny expressions scattered across pages of text, to translating large and highly complex formulas within milliseconds. With MathEL there is no need for embedding generated math images into web pages and there is no need for site preparation phases of any kind. All content is served efficiently in real-time, and, even more important, all related computations are exclusively done on the server. Your browser's job is simply to aesthetically render MathML 2.0. > > >From an autor's perspective, MathEL presents itself as a user-friendly authoring language that transparently translates into fully featured MathML 2.0 which, in turn, serves as the sole web publishing frontend language towards the users of mathematical web publications. > > Although MathEL is still work in progress, it has already stabilized and will most likely be released later this year under the GNU General Public License. > > All kind of thoughts you might have about MathEL, criticism, concerns, encouragment, enthusiasm, etc is all highly welcome, and in fact very much needed in this phase of the project. > > You can always reach me at christian.lerch@km-works.eu > > Have a great day and thanks for your interest! > > Best regards, > Christian > > _______________________________________________ > Webmath mailing list > Webmath@camel.math.ca > https://mail.cms.math.ca/mailman/listinfo/webmath -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20100714/08848f00/attachment.htm From paul at activemath.org Thu Jul 15 16:43:41 2010 From: paul at activemath.org (Paul Libbrecht) Date: Thu Jul 15 16:43:53 2010 Subject: [Webmath] Re: Invited researcher in Lyon, France In-Reply-To: <52780.193.51.247.174.1278938936.squirrel@cyann.inrp.fr> References: <52780.193.51.247.174.1278938936.squirrel@cyann.inrp.fr> Message-ID: Jana, je me demandais si poster cela sur: - projects-mkm-ig@jacobs-university.de - www-math@w3.org - webmath@camel.math.ca ?tait une bonne id?e. Cela peut ramener des gens de tous acabits... paul Le 12-juil.-10 ? 14:48, jana.trgalova@inrp.fr a ?crit : > Dear colleagues, > > Some of you may be interested in the following announcment. > > I am pleased to announce an opening of a short term (3-6 months) > invited > researcher position at the French National Institute for Pedagogical > Research based in Lyon (http://www.inrp.fr). You will find more > information at > http://www.inrp.fr/inrp/partenariat/international/invitations-de-chercheurs > . > > The deadline for submitting applications is September 3, 2010. > > Please forward this information to those around you who can be > interested > in this position. > > It was a pleasure to meet you in Hluboka nad Vltavou. Best regards, > > Jana Trgalova > EducTice-INRP > Lyon, France From andjrob at gmail.com Thu Jul 15 22:16:43 2010 From: andjrob at gmail.com (Andrew Robbins) Date: Mon Jul 19 09:18:22 2010 Subject: [Webmath] A user-firendly MathML authoring language In-Reply-To: <4C3DAC32.80604@km-works.eu> References: <4C3DAC32.80604@km-works.eu> Message-ID: <4C3FC10B.8090402@gmail.com> Christian Lerch wrote: > > 1. An online demonstration facility > at http://km-works.eu/mathel-interactive/ you can use to > test-drive MathEL's capabilities (please use Firefox!!!) > 2. A mathematics-enabled wiki at http://km-works.eu/mathel-wiki/ > I tried going to these websites as well, but I got " " errors. This indicates that the page has XML entities in it which are not declared. I believe the reason why this is happening is that both documents are declared as "XHTML 1.1 plus MathML 2.0" which uses a poorly constructed DTD without any HTML entities... I'm not sure if this is MathEL's fault or W3C's fault... Regards, Andrew Robbins From davidc at nag.co.uk Mon Jul 19 09:43:19 2010 From: davidc at nag.co.uk (David Carlisle) Date: Mon Jul 19 09:50:04 2010 Subject: [Webmath] A user-firendly MathML authoring language In-Reply-To: <4C3FC10B.8090402@gmail.com> References: <4C3DAC32.80604@km-works.eu> <4C3FC10B.8090402@gmail.com> Message-ID: <4C445677.9030806@nag.co.uk> On 16/07/2010 03:16, Andrew Robbins wrote: > Christian Lerch wrote: >> >> 1. An online demonstration facility >> at http://km-works.eu/mathel-interactive/ you can use to >> test-drive MathEL's capabilities (please use Firefox!!!) >> 2. A mathematics-enabled wiki at http://km-works.eu/mathel-wiki/ >> > I tried going to these websites as well, but I got " " errors. originally, or after you submitted an expression/ (the page seemed to work for me) This > indicates that the page has XML entities in it which are not declared. I > believe the reason why this is happening is that both documents are > declared as "XHTML 1.1 plus MathML 2.0" which uses a poorly constructed > DTD without any HTML entities... I'm not sure if this is MathEL's fault > or W3C's fault... That comment seems odd, the w3c distributed xhtml+mathml dtd does of course define the html entities, although actually it doesn't matter much in firefox what the standard dtd says as firefox never loads an external dtd. It will, given certain constraints on the input document, recognise a mathml document and load the mathml.dtd that it installs locally as the browser is installed, that mostly defines the same entity names as the standard dtd (but with different definitions) > > Regards, > > Andrew Robbins David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ From christian.lerch at km-works.eu Mon Jul 19 13:50:52 2010 From: christian.lerch at km-works.eu (Christian Lerch) Date: Mon Jul 19 13:48:50 2010 Subject: [Webmath] Re: A user-firendly MathML authoring language (Christian Lerch) In-Reply-To: <201007191600.o6JG0BAh013163@mail.cms.math.ca> References: <201007191600.o6JG0BAh013163@mail.cms.math.ca> Message-ID: <4C44907C.40201@km-works.eu> An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20100719/110cb7b3/attachment.htm From kortenkamp at ph-karlsruhe.de Fri Jul 23 14:25:51 2010 From: kortenkamp at ph-karlsruhe.de (Ulrich Kortenkamp) Date: Mon Jul 26 08:42:14 2010 Subject: [Webmath] CfP: IEEE MTEL 2010 (Deadline August 2) References: Message-ID: Apologies if you receive this several times - please find attached a CfP for the Fifth IEEE International Workshop on Multimedia Technologies for E-Learning (MTEL). I am sure that many of the novel approaches in mathematics teaching could be presented there! Please distribute this to interested colleagues, thank you! Ulli Kortenkamp Anfang der weitergeleiteten E-Mail: -------------- next part -------------- A non-text attachment was scrubbed... Name: mtelcfp2010-short-ext.pdf Type: application/pdf Size: 64366 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20100723/e5b59fbe/mtelcfp2010-short-ext.pdf -------------- next part -------------- From bobm at dessci.com Thu Sep 9 11:47:25 2010 From: bobm at dessci.com (Bob Mathews) Date: Thu Sep 9 11:47:49 2010 Subject: [Webmath] [ann] MathType 6.7 New Release, works with Office 2010 Message-ID: <40A20C534FFFD5438E1A756DD25234D3010FF9B5@franklin.corp.dessci> Hi, We're pleased to announce the release of MathType 6.7 for Windows in English, French, and German. This new release offers the following features: * Office 2010 integration * Equations in email: * Gmail * Hotmail * Outlook * Outlook Express * Windows Live Mail * Windows Mail * Yahoo Mail * Improved support for: * Moodle * MoboMath * Evernote * ...and more If you purchased MathType 6.6 after June 12, 2010, you're eligible for a free upgrade to MathType 6.7. For more information, please see our website: http://www.dessci.com/en/products/mathtype Regards, Bob Mathews Design Science From hanna.kinnari at tamk.fi Mon Oct 4 08:14:25 2010 From: hanna.kinnari at tamk.fi (Hanna Kinnari) Date: Mon Oct 4 13:08:23 2010 Subject: [Webmath] Last Call for Papers Message-ID: <4CA9C521.7090800@tamk.fi> Hello! This is a last call for papers for the 1st International Workshop on Mathematics and ICT: Education, Research and Applications that will take place in Bucharest, Romania on the 3rd November 2010. For more information: http://civile.utcb.ro/malog/ Please notice that the paper submission deadline has been delayed until 11th October. br Hanna ************************************** Hanna Kinnari Senior Lecturer Mathematics and IT Tampere University of Applied Sciences Kuntokatu 3, FI-33520 Tampere, Finland From christian.lerch at km-works.eu Sat Oct 9 11:55:30 2010 From: christian.lerch at km-works.eu (Christian Lerch) Date: Sat Oct 9 11:59:28 2010 Subject: [Webmath] MathEL News Message-ID: <4CB09072.1070200@km-works.eu> An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20101009/7e75dad6/attachment.htm From urs at andonyar.com Fri Oct 29 15:14:08 2010 From: urs at andonyar.com (Urs Holzer) Date: Fri Oct 29 15:20:53 2010 Subject: [Webmath] Gemse, an editor for MathML/OpenMath: Feedback wanted Message-ID: <201010292114.08848.urs@andonyar.com> Hi together Gemse is an editor for Presentation MathML, Content MathML and OpenMath. It is highly inspired by the text editor vim. It is based on Mozilla and can be installed as a Firefox extension. Basically, it lets you directly edit the XML tree of the formula. For users writing Content MathML or OpenMath, the most interesting feature is that Gemse shows you in real time a rendering of the formula as Presentation MathML. The development of Gemse is now at a point where the basics are implemented but not thoroughly tested and there are still many features missing. In order to further improve it, feedback from users is required. So, if you try Gemse, I would be very happy to hear from you. You can send me emails or use the wiki or the bugtracker. Website: http://www.andonyar.com/rec/2008-12/gemse/ Bugtracker and Wiki: https://trac.mathweb.org/gemse/ Greetings Urs Holzer