From dawnec at charter.net Thu Jan 29 02:57:26 2009 From: dawnec at charter.net (Dawn Cox) Date: Thu Jan 29 03:12:46 2009 Subject: [Webmath] Dawn added you as a friend on Reunion.com! Message-ID: <1228209693.568421@charter.net> Hi, I looked for you on Reunion.com, but you weren't there. Please connect with me so we can keep in touch. -Dawn Do You Know Dawn? YES - Connect with Dawn, and see who's searching for you http://smtp26.mail.reunion.com:80/track?type=click&mailingid=68800&messageid=6100&databaseid=1232595671&serial=1228209693&emailid=webmath@camel.math.ca&userid=568421&extra=&&&2002&&&http://www.reunion.com/showInviteRegistration.do?uid=323443615&invitee=webmath@camel.math.ca NO - I don't know Dawn http://smtp26.mail.reunion.com:80/track?type=click&mailingid=68800&messageid=6100&databaseid=1232595671&serial=1228209693&emailid=webmath@camel.math.ca&userid=568421&extra=&&&2000&&&http://www.reunion.com/showInviteRegistration.do?unsub=true&invitee=webmath@camel.math.ca&uid=323443615 ---------------------------- Reunion.com - Find Everyone from Your Past. You have received this e-mail because a Reunion.com Member sent an invitation to this e-mail address. For assistance, please refer to our FAQ or Contact Us. http://smtp26.mail.reunion.com:80/track?type=click&mailingid=68800&messageid=6100&databaseid=1232595671&serial=1228209693&emailid=webmath@camel.math.ca&userid=568421&extra=&&&2001&&&http://help.reunion.com/selfhelp?lid=2 Our Address: 2118 Wilshire Blvd., Box 1008, Santa Monica, CA 90403-5784 -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20090128/e866824b/attachment.htm From joerg.siekmann at dfki.de Mon Feb 2 04:25:58 2009 From: joerg.siekmann at dfki.de (Joerg Siekmann) Date: Mon Feb 2 10:00:01 2009 Subject: [Webmath] Job-Openings in e-learning Message-ID: <4986BC26.3020404@dfki.de> Please find enclosed job descriptions for research assistants (post doc and/or PhDs) in the area of ITS (Intelligent Tutor Systems). J?rg Siekmann -- Prof. Dr. Joerg Siekmann Saarland University Tel: +49-681-302-5275 German Research Centre for Fax: +49-681-302-2235 Artificial Intelligence (DFKI) Email: joerg.siekmann@dfki.de Campus D3 2, Stuhlsatzenhausweg 3 WWW: www-ags.dfki.uni-sb.de/ 66123 Saarbruecken, Germany ------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (CEO) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: Job Openings in the field of e.doc Type: application/msword Size: 26624 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20090202/8bd9b02f/JobOpeningsinthefieldofe.doc From ikotsire at wlu.ca Fri Feb 6 21:23:53 2009 From: ikotsire at wlu.ca (Ilias Kotsireas) Date: Mon Feb 9 10:15:00 2009 Subject: [Webmath] MKM 2009 Call For Papers, 10-12 July 2009 Grand Bend, Ontario, CANADA Message-ID: Ninth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT 10-12 July 2009 Grand Bend, Ontario (CANADA) http://www.orcca.on.ca/conferences/cicm09/mkm09 CALL FOR PAPERS Mathematical Knowledge Management is the field at the intersection of mathematics, computer science, library science and scientific publishing. Its development is driven by on the one hand new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and on the other hand the increasing demand by engineers and scientists for new techniques for 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 Paper Submission Papers may be submitted in either of two categories: as full papers or as short communications. All papers submitted to the conference will be reviewed. Submission is electronic in Postscript or PDF format via the EasyChair system at http://www.easychair.org/conferences/?conf=mkm09 . Submitted papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files available at http://www.springer.com/lncs . Full papers should not exceed 15 pages, must be original and not be submitted for consideration elsewhere. A submission not accepted as full paper will automatically be considered as a short communication, unless requested otherwise in the submission. Short communications are of a less formal nature to provide a forum for the presentation of works in progress. They may be up to 5 pages in LNCS style. Depending on the number of short communications accepted, presentation may be as a short talk or as a poster. 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. Important Dates March 3, 2009 Full paper abstract submission March 10, 2009 Full paper submission March 20, 2009 Short communication submission March 31, 2009 Acceptance notification April 29, 2009 Camera ready files due July 10-12, 2009 Conference Proceedings Past proceedings of the MKM conferences have been published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI) and this conference intends to continue that tradition. Workshops The following workshops take place in conjunction with MKM 2009: * The "Mathematical User-Interfaces" Workshop 2009 (MathUI09), organized by Paul Libbrecht. * The workshop "Towards Future Digital Mathematics Libraries", organized by Petr Sojka. * The Workshop "Compact Computer Algebra" 2009 (CCA09), co-organized by Elena Smirnova. * The "Pen-Based Mathematical Computation" Workshop 2009 (PenMath P09), co-organized by George Labahn. Venue The conference will be held in Grand Bend, Ontario. This is a favourite Canadian vacation spot in a natural setting on the shore of Lake Huron. Grand Bend can be reached most conveniently from the London (Ontario), Toronto, Buffalo or Detroit international airports. Program Committee Laurent Bernardin (Maplesoft, Canada) Olga Caprotti (U Helsinki, Finland) Simon Colton (Imperial College, UK) Tetsuo Ida (Tsukuba U, Japan) Mateja Jamnik (U Cambridge, UK) Tudor Jebelean (RISC Linz, Austria) Alejandro Jofre (U Chile, Chile) Michael Kohlhase (Jakobs U, Germany) Azzeddine Lazrek (U Marakech, Morocco) Paul Libbrecht (DFKI, Germany) Bruce Miller (NIST, USA) Robert Miner (Design Science, USA) Laurence Rideau (INRIA, France) Claudio Sacerdoti Cohen (Co-Chair) (U Bologna, Italy) Elena Smirnova (Texas Instruments, USA) Volker Sorge (U Birmingham, UK) Masakazu Suzuki (U Kyushu, Japan) Joseph Urban (Charles U, Czech Republic) Stephen Watt (Co-chair) (U Western Ontario, Canada) Freek Wiedijk (Rabdoub U, NL) Related Links MKM 2009 Submissions: http://www.easychair.org/conferences/?conf=mkm09 MKM Interest Group: http://www.mkm-ig.org Calculemus'09: http://www.calculemus.net/meetings/ontario09 CICM'09: http://www.orcca.on.ca/conferences/cicm09 From paul at activemath.org Wed Feb 18 18:29:07 2009 From: paul at activemath.org (Paul Libbrecht) Date: Wed Feb 18 18:29:19 2009 Subject: [Webmath] CfP MathUI 09 Message-ID: <499C99C3.2020108@activemath.org> Call for Papers: MathUI'09 ---------------------------------------- Mathematical User Interfaces Workshop 2009 ---------------------------------------- at the MKM conference, July 6th, Grand Bend Ontario Canada http://www.activemath.org/workshops/MathUI/09/ SCOPE The 5th mathematical user-interfaces workshop is a forum to discuss, demo, present, brainstorm, and review all the math-specific facets of user-interfaces. It happens in the form of a peer-reviewed workshop with presentations and discussion, followed by an expo-like demo-session. Programs for computerized mathematics are evolving rapidly and are being used by a wider audience than ever before. Researchers are aiming to provide well-designed and widely-applicable user interfaces for this diverse audience. Among the questions lies the hypothesis that unified mathematical language is used with all systems. Can we achieve this? This workshop provides a forum for the discussion of computer representations of mathematics, and how gestures, writing, speech, or other novel techniques can be used to improve mathematical user interfaces. Topics include: - presentations on manipulation of mathematical knowledge - workflow studies based on mathematical applications - user studies on the effectiveness of interfaces - interactive teaching and testing - novel, original or downright funky interfaces to mathematics software - interactive mathematics generally SUBMISSIONS We are seeking submissions of either papers on and/or demonstrations of user interfaces for mathematics. Videos, prototypes, mock ups and any other sort of demonstration are welcome! Proceedings will be online. Submission format: article of 3-8 (printed) pages, in PDF format only, which may include other electronic presentations such as videos or animations complemented by an abstract of less than 150 words. Important Dates: - Either submit your abstract on until May 1st 2009 and a paper on May 15th. or submit an paper on May 8th 2009 - Be prepared for a rebuttal phase from May 25th till 30th - Expect an answer on June 2nd 2009 - Enjoy the workshop on July 6th 2009 All submissions are done on MathUI's easychair. http://www.easychair.org/conferences/?conf=mathui09 PROGRAMME COMMITTEE The workshop will be reviewed by the following persons: - David Aspinall, Edinburgh, Scotland - Paul Cairns, York, Great Britain - Olga Caprotti, Helsinki, Finland - Richard Fateman, Berkeley, USA - Anthony Jameson, Saarbruecken, Germany - Paul Libbrecht (organizer), Saarbruecken, Germany - Robert Miner, Minneapolis, USA - Elena Smirnova, London, Canada Further information, please contact Paul Libbrecht, paul@activemath.org. From ijcsiseditor at gmail.com Mon Mar 23 18:08:20 2009 From: ijcsiseditor at gmail.com (IJCSIS editor) Date: Tue Mar 24 09:26:06 2009 Subject: [Webmath] CFP Computer Science and Information Security In-Reply-To: <642127590903230452i78a61a48iea1c3aaa4cf01bcc@mail.gmail.com> References: <642127590903230452i78a61a48iea1c3aaa4cf01bcc@mail.gmail.com> Message-ID: <642127590903231508ja286e8eycc3d4480f2f7615a@mail.gmail.com> Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: CFPIJCSISJune2009.pdf Type: application/pdf Size: 28375 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20090323/2284bc05/CFPIJCSISJune2009.pdf From dml2009 at easychair.org Thu Mar 26 09:50:24 2009 From: dml2009 at easychair.org (dml2009@easychair.org) Date: Thu Mar 26 10:39:42 2009 Subject: [Webmath] CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th Message-ID: <20090326135024.A6FC41F68B6@anxur.fi.muni.cz> Call for papers: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Ontario, CA c/o CICM 2009 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html Deadlines: April 29th: abstract submissions May 4th: paper submissions May 22nd: paper acceptance/rejection decision May 29th: versions for the proceedings due Jul 8th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2009 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, 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 [CEDRAM/Euclid model])? Proceedings: will be published by Masaryk University and will be available on site, with best papers chosen for postconference proceedings published by renowned publisher or for journal. Keynote (conditioned by funding approval): David Ruddy (Project Euclid, Cornell University Library, US): Getting from Here to There: Assembling the Pieces of the Digital Mathematics Library (tentative title) 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: Michael Doob, Adam Rambousek, Michal Ruzicka, Petr Sojka Registration, Travel, Accomodation: see CICM web pages http://www.orcca.on.ca/conferences/cicm09/ Questions/inquiries: email to dml2009 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! From paul at activemath.org Thu Apr 9 18:19:57 2009 From: paul at activemath.org (Paul Libbrecht) Date: Thu Apr 9 18:26:27 2009 Subject: [Webmath] Call for contributions to MathUI 09 Message-ID: <0632979C-7D3F-4FB3-BD96-7A6A17CF9965@activemath.org> Call for Papers: MathUI'09 ---------------------------------------- Mathematical User Interfaces Workshop 2009 ---------------------------------------- at the MKM conference, July 6th, Grand Bend Ontario Canada NEWS MathUI has elected Marko Panic as guest speaker to talk about the formula handwriting recognition as bundled in betas of Windows 7. DATES - May 1st for abstract then 15th for full - or May 8th for full - workshop on July 6th TOPICS include - presentations on manipulation of mathematical knowledge - workflow studies based on mathematical applications - user studies on the effectiveness of interfaces - interactive teaching and testing - novel, original or downright funky interfaces to mathematics software - interactive mathematics generally Further information: http://www.activemath.org/workshops/MathUI/09/ From dml2009 at easychair.org Wed Apr 15 17:10:12 2009 From: dml2009 at easychair.org (dml2009@easychair.org) Date: Thu Apr 16 09:58:33 2009 Subject: [Webmath] 2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th Message-ID: <20090415211012.66CD91F6EC0@anxur.fi.muni.cz> 2nd Call for papers: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Ontario, CA c/o CICM 2009 Web: http://www.fi.muni.cz/~sojka/dml-2009.html Deadlines: April 29th: abstract submissions May 4th: paper submissions May 22nd: paper acceptance/rejection decision May 29th: versions for the proceedings due Jul 8th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2009 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, 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 [CEDRAM/Euclid model])? Proceedings: will be published by Masaryk University and will be available on site, with best papers chosen for postconference proceedings published by renowned publisher or for journal. Keynote (conditioned by funding approval): David Ruddy (Project Euclid, Cornell University Library, US): Getting from Here to There: Assembling the Pieces of the Digital Mathematics Library (tentative title) 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) Yannis Haralambous (Telecom Bretagne, FR) 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 (Springer/Zentralblatt MATH, Berlin, DE) Organizing Committee: Michael Doob, Adam Rambousek, Michal Ruzicka, Petr Sojka Registration, Travel, Accomodation: see CICM web pages http://www.orcca.on.ca/conferences/cicm09/ Questions/inquiries: email to dml2009 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! This is not SPAM. If you want to be removed from this list, please tell us at the email above. From dml2009 at easychair.org Sun Apr 26 23:57:45 2009 From: dml2009 at easychair.org (dml2009@easychair.org) Date: Mon Apr 27 09:34:33 2009 Subject: [Webmath] Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th Message-ID: <20090427035745.074C31F6F2B@anxur.fi.muni.cz> Last Call for papers: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Ontario, CA c/o CICM 2009 Web: http://www.fi.muni.cz/~sojka/dml-2009.html Deadlines: April 29th: abstract submissions May 4th: paper submissions May 22nd: paper acceptance/rejection decision May 29th: versions for the proceedings due Jul 8th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2009 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, 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 [CEDRAM/Euclid model])? Proceedings: will be published by Masaryk University and will be available on site, with best papers chosen for postconference proceedings published by renowned publisher or for journal. Keynote (conditioned by funding approval): David Ruddy (Project Euclid, Cornell University Library, US): Getting from Here to There: Assembling the Pieces of the Digital Mathematics Library (tentative title) 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) Yannis Haralambous (Telecom Bretagne, FR) 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 (Springer/Zentralblatt MATH, Berlin, DE) Organizing Committee: Michael Doob, Adam Rambousek, Michal Ruzicka, Petr Sojka Registration, Travel, Accomodation: see CICM web pages http://www.orcca.on.ca/conferences/cicm09/ Questions/inquiries: email to dml2009 at easychair dot org CFP distribution: Please, distribute at your institution. Apologies for multiple postings! This is not SPAM. If you want to be removed from this list, please tell us at the email above. From paul at activemath.org Tue Jun 2 09:41:05 2009 From: paul at activemath.org (Paul Libbrecht) Date: Tue Jun 2 09:47:09 2009 Subject: [Webmath] Call for software demonstration MathUI'09 Message-ID: <7A90ADB2-F627-46F2-947A-D54EF0971BD8@activemath.org> Call for Demonstration: MathUI'09 ---------------------------------------- Mathematical User Interfaces Workshop 2009 ---------------------------------------- at the MKM conference, July 6th, Grand Bend Ontario Canada *** Early Registration Rate until June 5 *** We solicit software demonstrations to be presented at the end of the MathUI workshop 2009 presenting novel realizations of user-interfaces manipulating mathematics. Following earlier editions of the workshop, the demonstrations will run in exhibit like fashion with interactions with the visitors. SUBMISSIONS - submission per email to paul@activemath.org until June 20th - workshop on July 6th Come and attend the exciting MKM conference and the MathUI workshop. Further information: http://www.activemath.org/workshops/MathUI/09/ From dml2009 at easychair.org Mon Jun 29 20:35:12 2009 From: dml2009 at easychair.org (dml2009@easychair.org) Date: Tue Jun 30 10:00:42 2009 Subject: [Webmath] CFPart: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th Message-ID: <20090630003512.8C748493F00@anxur.fi.muni.cz> Call for participation: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Grand Bend, Ontario, Canada Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html Registration: http://www.orcca.on.ca/conferences/cicm09/cicm09/registration.html Travel: http://www.orcca.on.ca/conferences/cicm09/cicm09/travel.html Accomodation: http://www.orcca.on.ca/conferences/cicm09/cicm09/accommodation.html 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, 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 [CEDRAM model/Euclid])? Proceedings: has been published by Masaryk University Press and will be available on site. Papers and Posters selected for presentation at the workshop: Part I Towards Digital Mathematics Library * The Evolving Digital Mathematics Network (invited talk) David Ruddy (Cornell University Library, USA) * Community Curation and Management of Mathematical Literature John Burns and Nigel Kerr (Ithaka/JSTOR, USA) Part II Towards Mathematical OCR and Search * An Approach to Similarity Search for Mathematical Expressions using MathML Keisuke Yokoi (University of Tokyo, Japan) and Akiko Aizawa (University of Tokyo, National Institute of Informatics, Japan) * Improving Mathematics Retrieval Shahab Kamali and Frank Wm.~Tompa (University of Waterloo, Canada) * An Online Repository of Mathematical Samples Josef B. Baker, Alan P. Sexton, and Volker Sorge (University of Birmingham, UK) Part III Digitization Reports * Report on the Current State of the French DMLs Thierry Bouche (Universit\'e de Grenoble~I & CNRS, France) * Experimental DML over Digital Repositories in Japan Takao Namiki, Hiraku Kuroda, and Shunsuke Naruse (Hokkaido University, Sapporo, Japan) Part IV Digitization Technologies and Platforms * Document Interlinking in a Digital Math Library Claude Goutorbe (Cellule Mathdoc, Universit\'e Joseph Fourier and Centre National de la recherche Scientifique, Grenoble, France) * I2Geo: a Web-Library of Interactive Geometry Paul Libbrecht (DFKI GmbH, Saarbr\"ucken, Germany), Ulrich Kortenkamp (University of Education Karlsruhe, Germany) and Christian Mercat (I3M, Universit\'e Montpellier 2, France) Part V Tools and Techniques * MathML-aware Article Conversion from LaTeX Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase (Jacobs University Bremen, Germany) * Conversion of TeX Documents to PDF Aleksandar Pejovi\'c and \v{Z}arko Mijajlovi\'c (Mathematical Institute SANU, Belgarde, Serbia) Panel/round table discussion: Towards a Digital Mathematics Library: the Next Steps Panelists to be confirmed: Thierry Bouche (EuDML/EVLM/NUMDAM and CEDRAM), John Burns and/or Nigel Kerr (Ithaka/JSTOR, USA), Michael Doob (Canada), Patrick Ion (AMS, USA), David Ruddy (Cornell University Library, USA), Masakazu Suzuki (Japanese digitization projects), Petr Sojka (DML-CZ), Enrique Macias-Virgos (Spanish DML) Workshop 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: 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) Yannis Haralambous (Télécom Bretagne, FR) 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) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Volker Sorge (University of Birmingham, UK) Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Technical University & Zentralblatt MATH, Berlin, DE) Organizing Committee: Michael Doob, Michal Ruzicka, Petr Sojka Questions/inquiries: mail to dml2009 at easychair dot org CFP distribution: Please, distribute at your place. And apologies for multiple postings! From paul at activemath.org Fri Sep 25 01:48:18 2009 From: paul at activemath.org (Paul Libbrecht) Date: Fri Sep 25 01:58:02 2009 Subject: [Webmath] Fwd: Last Call Draft of MathML3 .0 References: <9F0A2A05-3BCD-4E00-8B63-0DE2419CB98E@ams.org> Message-ID: <5D4D0861-430F-44C8-9C88-44220A8F5D7B@activemath.org> Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 1629 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20090925/24f0d1f8/smime.bin From paul at activemath.org Sat Dec 12 09:02:51 2009 From: paul at activemath.org (Paul Libbrecht) Date: Sat Dec 12 09:12:23 2009 Subject: [Webmath] Announcing the Notation Census Message-ID: I am happy to announce the launch of the Mathematical Notation Census, a web-based recollection hosted by the Math-Bridge EU project. The intent of this census is to collect the mathematical notations in wide use around the world in a pictorial form with precise references to existing works. http://wiki.math-bridge.org/display/ntns This project is a wiki intended to attract contributions from around the world. A notation is generally just an "observation": name a culture, provide a picture, name the source. You are welcome to register, comment, suggest further source of widely used mathematical texts... Paul Libbrecht -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 1629 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20091212/b333d874/smime.bin From kortenkamp at cinderella.de Mon Dec 21 17:28:51 2009 From: kortenkamp at cinderella.de (Ulrich Kortenkamp) Date: Tue Dec 22 09:45:23 2009 Subject: [Webmath] CADGME-2010, I2GEO 2010 Conferences- First Announcement References: <43a88b490912211416o4dd18cd7rc9ca377623bffd44@mail.gmail.com> Message-ID: -- apologies for cross-posting -- please redistribute -- Dear Colleagues, We are delighted to announce the CADGME-2010 conference, which will be held on 29 June - 1 July 2010 at the University of South Bohemia, Czech Republic. You can find information about CADGME-2010 in the attached First Announcement and on the conference website: http://home.pf.jcu.cz/~cadgme2010/ CADGME-2010 will be followed by the I2GEO-2010 conference on 2-3 July 2010 (Announcement is attached). We hope that you will be able to join us next year. We also wish you a very pleasant Holiday and a Happy New Year. Kind regards, Csaba, Zsolt, Pavel, and Ulli -------------- next part -------------- Skipped content of type multipart/mixed