From chris at ags.uni-sb.de Fri Jan 11 03:46:29 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Fri Jan 11 15:49:39 2008 Subject: [Webmath] CFP: UITP'08 - User Interfaces for Theorem Provers Message-ID: <47872CE5.3090707@ags.uni-sb.de> [please apologize for multiple copies] UITP'08 The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montr?al, Qu?bec, Canada The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualisation of mathematical objects and proof * System descriptions UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION Submissions are encouraged in one of the following two categories: - Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 9th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbr?cken, Germany (Co-Chair) * Chris Benzm?ller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph L?th, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08@ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage [http://www.informatik.uni-bremen.de/uitp/]. From Serge.Autexier at dfki.de Tue Feb 12 05:41:18 2008 From: Serge.Autexier at dfki.de (Serge Autexier) Date: Tue Feb 12 10:03:09 2008 Subject: [Webmath] MKM'08: Second Call for Papers Message-ID: <47b177ce.+aA7TaEQPumvZ2dq%Serge.Autexier@dfki.de> [Please post - apologies for multiple copies] MKM 2008 The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://events.cs.bham.ac.uk/cicm08/mkm08/ 28-30 July 2008 Birmingham, UK SECOND 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 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 SUBMISSIONS All papers submitted to the Conference will be reviewed. Submission is electronic in Postscript or PDF format via the EasyChair system (http://www.easychair.org/MKM08). 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. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission website: http://www.easychair.org/MKM08 PROCEEDINGS The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). WORKSHOPS The following workshops take place in conjunction with MKM 2008: * The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is organized by Paul Libbrecht. * The Workshop "Towards Future Digital Mathematics Libraries", which is organized by Petr Sojka. IMPORTANT DATES Submission of title and abstract: March 7, 2008 Submission of full papers: March 14, 2008 Notification: May 2, 2008 Camera ready version: May 16, 2008 Conference in Birmingham: July 28-30, 2008 PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University., Germany Laurent Bernardin Maplesoft, Canada Thierry Bouche Universite de Grenoble I, France Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Simon Colton Imperial College, London, England Mike Dewar NAG Ltd., England William Farmer McMaster University, Hamilton, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Eberhard Hilf Inst. for Science Networking Oldenburg, Germany Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England Michael Kohlhase Jacobs University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Bruce Miller NIST, USA Robert Miner Design Science, Inc., USA Bengt Nordstroem Chalmers University of Technology, Sweden Eugenio Rocha University of Aveiro, Portugal Alan Sexton University of Birmingham, England Petr Sojka Masaryk University, Brno, CZ Volker Sorge University of Birmingham, England Masakazu Suzuki (Co-Chair) Kyushu University, Japan Andrzej Trybulec University of Bialystok, Poland Stephen Watt The University of Western Ontario, Canada Abdou Youssef George Washington University, Washington DC, USA CONFERENCE CHAIR Volker Sorge University of Birmingham, England RELATED LINKS MKM IG http://www.mkm-ig.org/ Calculemus'08 http://events.cs.bham.ac.uk/cicm08/calculemus08/ AISC'08 http://events.cs.bham.ac.uk/cicm08/aisc08/ CICM'08 http://events.cs.bham.ac.uk/cicm08 -- Serge Autexier Tel: +49-681-302-2133 DFKI GmbH & Fax: +49-681-302-5076 Informatics, Saarland University Email: autexier@dfki.de 66123 Saarbruecken WWW: www.dfki.de/~serge/ From Serge.Autexier at dfki.de Mon Mar 3 09:49:11 2008 From: Serge.Autexier at dfki.de (Serge Autexier) Date: Mon Mar 3 10:44:07 2008 Subject: [Webmath] MKM'08: Final Call for Papers Message-ID: <47cc0fe7.o/ef1abFIAV4y4ez%Serge.Autexier@dfki.de> [Please post - apologies for multiple copies] MKM 2008 The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://events.cs.bham.ac.uk/cicm08/mkm08/ 28-30 July 2008 Birmingham, UK 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 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 SUBMISSIONS All papers submitted to the Conference will be reviewed. Submission is electronic in Postscript or PDF format via the EasyChair system http://www.easychair.org/conferences/?conf=mkm08). 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. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission website: http://www.easychair.org/conferences/?conf=mkm08 PROCEEDINGS The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). WORKSHOPS The following workshops take place in conjunction with MKM 2008: * The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is organized by Paul Libbrecht. * The Workshop "Towards Future Digital Mathematics Libraries", which is organized by Petr Sojka. IMPORTANT DATES Submission of title and abstract: March 7, 2008 Submission of full papers: March 14, 2008 Notification: May 2, 2008 Camera ready version: May 16, 2008 Conference in Birmingham: July 28-30, 2008 PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University, Germany Laurent Bernardin Maplesoft, Canada Thierry Bouche Universite de Grenoble I, France Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Simon Colton Imperial College, London, England Mike Dewar NAG Ltd., England William Farmer McMaster University, Hamilton, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Eberhard Hilf Inst. for Science Networking Oldenburg, Germany Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England Michael Kohlhase Jacobs University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Bruce Miller NIST, USA Robert Miner Design Science, Inc., USA Bengt Nordstroem Chalmers University of Technology, Sweden Eugenio Rocha University of Aveiro, Portugal Alan Sexton University of Birmingham, England Petr Sojka Masaryk University, Brno, CZ Volker Sorge University of Birmingham, England Masakazu Suzuki (Co-Chair) Kyushu University, Japan Andrzej Trybulec University of Bialystok, Poland Stephen Watt The University of Western Ontario, Canada Abdou Youssef George Washington University, Washington DC, USA CONFERENCE CHAIR Volker Sorge University of Birmingham, England RELATED LINKS MKM IG http://www.mkm-ig.org/ Calculemus'08 http://events.cs.bham.ac.uk/cicm08/calculemus08/ AISC'08 http://events.cs.bham.ac.uk/cicm08/aisc08/ CICM'08 http://events.cs.bham.ac.uk/cicm08 -- Serge Autexier Tel: +49-681-302-2133 DFKI GmbH & Fax: +49-681-302-5076 Informatics, Saarland University Email: autexier@dfki.de 66123 Saarbruecken WWW: www.dfki.de/~serge/ From conferences at esf.org Tue Mar 25 09:23:15 2008 From: conferences at esf.org (ESF Research Conferences) Date: Tue Mar 25 11:00:56 2008 Subject: [Webmath] ESF-MSHE & PAN Conference on Operator Theory Message-ID: Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: Flyer_08-279.pdf Type: application/pdf Size: 318775 bytes Desc: Flyer_08-279.pdf Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20080325/877f3311/Flyer_08-279-0001.pdf From chris at ags.uni-sb.de Tue Apr 1 08:45:22 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Tue Apr 1 11:05:27 2008 Subject: [Webmath] 2nd CFP: UITP'08 - User Interfaces for Theorem Provers Message-ID: <47F22E62.4080703@ags.uni-sb.de> [please apologize for multiple copies] UITP'08 The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montr?al, Qu?bec, Canada The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualisation of mathematical objects and proof * System descriptions UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION Submissions are encouraged in one of the following two categories: - Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 9th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbr?cken, Germany (Co-Chair) * Chris Benzm?ller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph L?th, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08@ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage [http://www.informatik.uni-bremen.de/uitp/]. From kanej at uww.edu Thu Apr 3 21:28:13 2008 From: kanej at uww.edu (Kane, Jonathan M) Date: Fri Apr 4 10:32:30 2008 Subject: [Webmath] PURPLE COMET! MATH MEET Message-ID: <210769CA14C24E45B017756E557ECB7B028A33B3@facmail3.uww.edu> Registration is now open for the 2008 Purple Comet! Math Meet, a free, international, on-line, team mathematics competition for middle and high school students. Visit us at http://purplecomet.org where team supervisors can register and then sign up as many teams as they want. The contest web site has a complete list of contest rules, old contest problems, and a poster which you can download, print, and display to help generate interest in the meet. Teams of up to six students work on 25 problem for 90 minutes (high school) or 15 problems for 60 minutes (middle school). The meet runs for 96 hours from noon GMT April 14, 2008 to noon GMT April 18, so your teams select the time that is best for them to compete. As of April 3, over 300 teams have registered, but we expect thousands of teams to join the competition before it ends on April 18. Jonathan Kane, contest coordinator Professor of Mathematical and Computer Sciences University of Wisconsin -- Whitewater -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20080403/e6c31b91/attachment.htm From paul at activemath.org Wed Apr 9 10:50:30 2008 From: paul at activemath.org (Paul Libbrecht) Date: Wed Apr 9 10:59:36 2008 Subject: [Webmath] CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08 Message-ID: <32FA094A-6EF4-46F0-B72F-F5D91C6082D3@activemath.org> Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2203 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20080409/ba35f012/smime.bin From olga.caprotti at helsinki.fi Thu Apr 10 06:50:44 2008 From: olga.caprotti at helsinki.fi (Olga Caprotti) Date: Thu Apr 10 15:15:10 2008 Subject: [Webmath] CFP: 4th European Workshop on Mathematical and Scientific e-Contents Message-ID: <48c0ff420804100350t75444b64q870888137719aedc@mail.gmail.com> -------------------------------------------------------------- 4th European Workshop on Mathematical & Scientific e-Contents: http://www.ntnu.no/delta/workshop/ 11-13 September 2008, Trondheim, Norway -------------------------------------------------------------- Call for contributions connected around the themes: * Enabling technology for mathematical e-content * Designing and applying educational research * Learning mathematics and science online The abstracts will be reviewed by members of the Scientific Committee, and the accepted contributions will be printed in a Book of Abstracts before the conference. Full papers of the best contributions will be published in a special issue of Journal of Computers in Mathematics and Science Teaching (JCMST). ISSN 0731-9258. From chris at ags.uni-sb.de Wed Apr 30 13:53:32 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Thu May 1 15:36:16 2008 Subject: [Webmath] Final CFP: UITP'08 - User Interfaces for Theorem Provers Message-ID: <4818B21C.5080308@ags.uni-sb.de> [please apologize for multiple copies] UITP'08 (Final CFP) The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montr?al, Qu?bec, Canada The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualisation of mathematical objects and proof * System descriptions UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION Submissions are encouraged in one of the following two categories: - Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 9th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbr?cken, Germany (Co-Chair) * Chris Benzm?ller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph L?th, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08@ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage [http://www.informatik.uni-bremen.de/uitp/]. From V.Sorge at cs.bham.ac.uk Wed Apr 30 20:05:16 2008 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Thu May 1 15:40:50 2008 Subject: [Webmath] Call for Presentations at AISC'08 and Calculemus 2008 Message-ID: <200805010115.m411F0wZ002577@mail.cms.math.ca> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Call For Presentations ====================== jointly for AISC'08 -- Artificial Intelligence and Symbolic Computation and Calculemus 2008 -- Integrating Symbolic Computation and Mechanised Reasoning held as part of the Conferences on Intelligent Computer Mathematics (CICM '08). July 30 -- August 2, 2008 University of Birmingham, UK You are invited to submit a title and a short abstract proposing a talk on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for talks on both mature work and work in progress are welcome. For more information on the topics of interest please see: http://events.cs.bham.ac.uk/cicm08/aisc08 http://events.cs.bham.ac.uk/cicm08/calculemus08 Please submit title and abstract (one page or less) to: aisc08@easychair.org or calculemus08@easychair.org Deadlines ========= Submission of title and abstracts: 23 May Notification of acceptance 30 May The accepted work should be presented at the conference. The abstracts of the accepted presentations will be distributed as internal proceedings at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference. From rslace at waycross.edu Fri May 2 12:40:51 2008 From: rslace at waycross.edu (Roberta S Lacefield) Date: Fri May 2 12:56:55 2008 Subject: [Webmath] job opening In-Reply-To: <200805021606.m42G6iFU002881@mail.cms.math.ca> References: <200805021606.m42G6iFU002881@mail.cms.math.ca> Message-ID: <200805021640.m42Geq025847@wayfox.waycross.edu> Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: Math position rev08.doc Type: application/octet-stream Size: 32256 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20080502/8921a51a/Mathpositionrev08.obj From dml2008 at easychair.org Fri May 2 19:16:35 2008 From: dml2008 at easychair.org (dml2008@easychair.org) Date: Tue May 6 09:45:45 2008 Subject: [Webmath] CFP: DML 2008--Towards Digital Mathematics Library Message-ID: <20080502231635.A69EE1D39A0@anxur.fi.muni.cz> CFP: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Deadlines: May 31st: abstract submissions Jun 1st: paper submissions Jun 20th: paper acceptance/rejection decision Jun 27th: versions for the proceedings due Jul 27th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2008 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files. 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 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: Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics 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 for creating, handling MathML, OMDoc, OpenMath documents, and displaying them in WWW browsers Programme Committee: (other members upon approval) Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) David Carlisle (Numerical Algorithms Group, NAG, UK) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) 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] Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Zentralblatt MATH, Berlin, DE) Organizing Committee: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Questions/inquiries: to dml2008 at easychair.org CFP distribution: Please, distribute at your place, if possible. Apologies for multiple postings! From chris at ags.uni-sb.de Fri May 9 12:21:49 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Mon May 12 10:20:58 2008 Subject: [Webmath] UITP'08: Deadline Extension (25 May) Message-ID: <48247A1D.1030906@ags.uni-sb.de> [please apologize for multiple copies] Due to multiple requests the submisssion deadline for UITP'08 has been extended to Sunday, 25 May 2008. UITP'08 (Extended CFP) The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montr??al, Qu??bec, Canada The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualisation of mathematical objects and proof * System descriptions UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION Submissions are encouraged in one of the following two categories: - Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 25th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbr??cken, Germany (Co-Chair) * Chris Benzmueller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph Lueth, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08@ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage: http://www.informatik.uni-bremen.de/uitp/ From dml2008 at easychair.org Mon May 19 13:30:58 2008 From: dml2008 at easychair.org (dml2008@easychair.org) Date: Tue May 20 10:40:11 2008 Subject: [Webmath] CFP2: DML 2008--Towards Digital Mathematics Library Message-ID: <20080519173058.4C30C22B7DC@anxur.fi.muni.cz> Second Call for papers: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Deadlines: May 31st: abstract submissions Jun 1st: paper submissions Jun 20th: paper acceptance/rejection decision Jun 27th: versions for the proceedings due Jul 27th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2008 Submissions will be refereed on the basis of technical quality, novelty, potential impact for building DML, and clarity. Papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files. 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 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: Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics 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: (other members approval pending) Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) David Carlisle (Numerical Algorithms Group, NAG, UK) 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) 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: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Registration, Travel, Accomodation: see MKM web pages http://events.cs.bham.ac.uk/cicm08/ Questions/inquiries: mail to dml2008 at easychair dot org CFP distribution: Please, distribute at your place. Apologies for multiple postings! From V.Sorge at cs.bham.ac.uk Thu May 22 12:57:40 2008 From: V.Sorge at cs.bham.ac.uk (Volker Sorge) Date: Fri May 23 16:10:01 2008 Subject: [Webmath] Final Call for Presentations at AISC'08 and Calculemus 2008 Message-ID: <200805221723.m4MHNdHp007552@mail.cms.math.ca> ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ Call For Presentations ====================== jointly for AISC'08 -- Artificial Intelligence and Symbolic Computation and Calculemus 2008 -- Integrating Symbolic Computation and Mechanised Reasoning held as part of the Conferences on Intelligent Computer Mathematics (CICM '08). July 30 -- August 2, 2008 University of Birmingham, UK You are invited to submit a title and a short abstract proposing a talk on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for talks on both mature work and work in progress are welcome. For more information on the topics of interest please see: http://events.cs.bham.ac.uk/cicm08/aisc08 http://events.cs.bham.ac.uk/cicm08/calculemus08 Please submit title and abstract (one page or less) to: aisc08@easychair.org or calculemus08@easychair.org Deadlines ========= Submission of title and abstracts: 23 May Notification of acceptance 30 May The accepted work should be presented at the conference. The abstracts of the accepted presentations will be distributed as internal proceedings at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference. From paul at activemath.org Tue May 27 08:48:36 2008 From: paul at activemath.org (Paul Libbrecht) Date: Tue May 27 08:48:51 2008 Subject: [Webmath] MathUI 08: reminder. Mathematical User Interfaces Workshop 2008 Message-ID: <6AFCA367-27EE-4E46-888A-695B0F42E027@activemath.org> -- PLEASE SHARE: SECOND CALL FOR PAPERS -- This is a reminder about the MathUI workshop whose closing date is approaching. Mathematical User-Interfaces Workshop 2008 at the Seventh Mathematical Knowledge Management Conference University of Birmingham, UK, July 27th 2008 See the web-page at http://www.activemath.org/workshops/MathUI/08/ 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 HTML or PDF format, which may include other electronic presentations such as videos or animations complemented by an abstract of less than 150 words. DATES: Either submit a paper by email until May 31st 2008, or submit an abstract on May 20th 2008 and a paper on June 7th. Expect an answer on June 25th 2008. Enjoy the workshop on July 27th From chris at ags.uni-sb.de Mon Jun 2 14:30:24 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Thu Jun 12 13:53:06 2008 Subject: [Webmath] Doctoral Programme at CICM'08 in Birmingham (Some Student Grants Available!) Message-ID: <48443C40.3060309@ags.uni-sb.de> Doctoral Programme at CICM'08 in Birmingham http://events.cs.bham.ac.uk/cicm08/doctoral/ (Some Student Grants Available!) A Doctoral Programme will be organized as part of the CICM'08: Conferences on Intelligent Computer Mathematics in Birmingham. The CICM'08 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 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. Some financial support for travel and attendance are available to support some students attending CICM'08 and its Doctoral Programme. Application Ph.D. students at any level, working on a research topic related to the CICM'08 conferences (http://events.cs.bham.ac.uk/cicm08/ ) may apply for participation in the Doctoral Programme. Application documents shall be send to chris@ags.uni-sb.de 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 On the basis of this information, the programme committee and the Junior Advisory Board will invite eligible students to participate in the Doctoral Programme and award financial support. Dates Application Deadline: June 19 Acceptance Notification: June 23 Programme Committee Christoph Benzmueller (Saarland University) Jacques Fleuriot (The University of Edinburgh) William Farmer (Master University) Mateja Jamnik (Cambridge University) Joerg Siekmann (DFKI Saarbruecken and Saarland University) Junior Advisory Board: Josef Baker (The University of Birmingham) Christine Mueller (Jacobs University Bremen) Marc Wagner (Saarland University) From paul at activemath.org Fri Jun 13 09:27:50 2008 From: paul at activemath.org (Paul Libbrecht) Date: Fri Jun 13 09:27:58 2008 Subject: [Webmath] Call for Demonstration at MathUI 2008 Message-ID: Call for: Software demonstrations at the mathematical user interfaces workshop MathUI 2008 http://www.activemath.org/workshops/MathUI/08/ Part of the Seventh Mathematical Knowledge Management Conference at CICM 08, University of Birmingham, UK July 27th 2008 - Have a fancy mathematical user-interface? - Want to show a mathematical gesture that you just wish be operationalizes? - How about an intuitive manipulation which the crowd has loved? - Or a mature workflow? All of this, and any software demonstration of user interface for mathematics, is welcome as the demonstration session of the MathUI workshop. Please drop a mail with: - name and affiliation - a ten lines description - a picture - and a URL to paul@activemath.org until July 20th. -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2203 bytes Desc: not available Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20080613/d59cf3c6/smime.bin From Ulrich.Kortenkamp at ph-gmuend.de Tue Jun 17 11:46:52 2008 From: Ulrich.Kortenkamp at ph-gmuend.de (Ulrich Kortenkamp) Date: Tue Jun 17 12:25:25 2008 Subject: [Webmath] CfP: IEEE International Workshop on Multimedia Technologies for E-Learning (MTEL) Message-ID: Dear List, apologies if you already know about this. Please find below the Call for Papers for the 3rd MTEL workshop. Ulli The Third IEEE International Workshop on Multimedia Technologies for E-Learning (MTEL) http://www.math.tu-berlin.de/~knipping/ieee/ism08-mtel/ ======================================================================= A workshop held in conjuction with the The 9th IEEE International Symposium on Multimedia (ISM2008) http://ism2008.eecs.uci.edu/ December 15-17, 2008 Berkeley, USA ======================================================================== Call for Papers Due to its potential to make learning easier, more convenient, and more effective, education is one of the preeminent areas of applications for multimedia. Video capturing of lectures to produce e-learning content has become common practice. Simulations allow to explore experiments which would be too expensive or too dangerous to be conducted physically by students. Multimedia-powered demonstrations are freed from many physical restrictions such as the availability of an object to study or the timescale of an effect to observe. Teaching enriched by vivid presentations and possibility for interaction for students can also gain from improved learner's motivation. Concepts may be given perceivable existence in a demonstration and the observability of important details can be augmented. Quality control and learning processes with feedback loops are considered to be important concepts for more effective and sustainable e-learning solutions. Multimedia technologies facilitate the evaluation, improvement, and assurance of quality in loopback controlled e-learning processes. Multimedia feedback from individual and collaborative learning processes is essential for loopback control, spanning from human feedback on e-learning processes, computer-generated multimedia feedback, feedback concerning the transition from traditional to multimedia content (including authoring processes), and meta-feedback. The goals are the online adaptation of a multimedia e-learning system, the improvement of the quality of the next version of such a system, or the integration of the quality feedback in the teaching/learning process (e.g., in a university course). Most of these topics involve techniques from artificial intelligence, computer vision, multimedia, but also human computer interaction, and psychology. This workshop aims at bringing together researchers who are interested in this intersection area between the technological point of view and the human-centered view. The topics include but are not limited to: - Automated lecture recording and presentation techniques - Automated lecture analysis and indexing - Classroom note taking and whiteboard capturing and analysis - Automated analysis of learning and teaching interactions - Repositories for multimedia education - Multimedia information retrieval for educational use - Intelligent searching and navigation in e-learning portals - Interactive computer-based training - Simulations, animations, and virtual laboratories in teaching - Virtual reality and augmented reality in education - Multimedia authoring software for e-learning - Implicit and explicit learner feedback - User Tracking - Quality measures and assessment - Scaffolding - Support for multimedia authoring processes with feedback loops Workshop Proceedings The workshop solicits regular technical papers of up to 6 pages (IEEE double-column format). Workshop papers will be official publications of IEEE which will be included in IEEEXplore and also be available as printed workshop proceedings. A number of selected papers will be invited for extension and publication in a special issue of ITSE (International Journal of Interactive Technology and Smart Education) published by Troubador, UK. Submission Details: Papers must be original and not submitted to or accepted by any other conference or journal. Papers should be submitted in electronic form (PDF) to the organizers at ieeemtel@gmail.com. Submissions must be formatted according to the 8.5x11 inch double column IEEE CS proceedings format and must not exceed 6 pages. For downloading instructions and templates, go to the Author Forms web page of the IEEE Computer Society: http://www.computer.org/portal/pages/ieeecs/publications/cps/cps_forms.html Please do not send Word documents! Please do not hesitate to email the workshop contact if you have any questions. Important Dates: Submission due: July 13, 2008 Notification: August 28, 2008 Camera-Ready version due: September 15, 2008 Co-Chairs: Oliver Brdiczka, Palo Alto Research Center (PARC), USA Lars Knipping, Technische Universitaet Berlin, Germany Nadine Ludwig, Berlin Technical University, Germany Program Committee: Michael E. Auer, Carinthia Tech Institute, Austria Helmar Burkhart, University of Basel, Switzerland Paul Dickson, University of Massachussets, USA Wolfgang H?rst, Utrecht University, The Netherlands Sabina Jeschke, University of Stuttgart, Germany Ulrich Kortenkamp, P?dagogische Hochschule Gm?nd, Germany Ying Li, IBM TJ Watson Research Center, USA Marcus Liwicki, University of Bern, Switzerland Robert Mertens, Fraunhofer IAIS, Sankt Augustin, Germany Thomas Richter, University of Stuttgart, Germany Anna Marina Scapolla, University of Genova, Italy Nalin Sharda, Victoria University, Australia Georg Turban, Darmstadt Institute of Technology, Germany Dominique Vaufreydaz, Universit? Pierre-Mendes, France Debora Weber-Wulff, FHTW Berlin, Germany Peter Ziewer, Munich Institute of Technology, Germany From dml2008 at easychair.org Sat Jul 12 21:29:04 2008 From: dml2008 at easychair.org (dml2008@easychair.org) Date: Sun Jul 13 09:26:54 2008 Subject: [Webmath] CFP: DML 2008--Towards Digital Mathematics Library, Birmingham, UK, Jul 27th Message-ID: <20080713012904.7411422B824@anxur.fi.muni.cz> Call for participation: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Registration: http://events.cs.bham.ac.uk/cicm08/registration.php Travel: http://events.cs.bham.ac.uk/cicm08/travel.php Accomodation: http://events.cs.bham.ac.uk/cicm08/accommodation.php 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])? Proceedings: (200+ pages) was published by Masaryk University and will be available on site. Papers and Posters selected for presentation at the workshop: Part I Towards Digital Mathematics Library * Some Thoughts on the Near-Future Digital Mathematics Library Thierry Bouche (Université de Grenoble I, France) * From Pixels and Minds to the Mathematical Knowledge in a Digital Library Petr Sojka (Masaryk University, Brno, Czech Republic) Jiří Rákosník (Institute of Mathematics AS CR, Praha, Czech Republic) * Mathematical Document Classification via Symbol Frequency Analysis Stephen M. Watt (University of Western Ontario, London Ontario, Canada) Part II Towards Mathematical OCR and Search * Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval Seyed Ali Ahmadi (George Washington University, United States) Abdou Youssef (George Washington University, United States) * Extending Full Text Search Engine for Mathematical Content Jozef Mišutka (Charles University in Prague, Czech Republic) Leo Galamboš (Charles University in Prague, Czech Republic) * Mathematical Formulae Recognition Daniel Průša (Czech Technical University, Prague, Czech Republic) Václav Hlaváč (Czech Technical University, Prague, Czech Republic) * Extracting Precise Data on the Mathematical Content of PDF Documents Josef B. Baker (University of Birmingham, United Kingdom) Alan P. Sexton (University of Birmingham, United Kingdom) Volker Sorge (University of Birmingham, United Kingdom) Part III Digitization Reports * RusDML 2008 Bernd Wegner (Mathematisches Institut, TU Berlin, Germany) * Digitization of Mathematical Editions in Serbia Žarko Mijajlović (Faculty of Mathematics, Belgrade, Serbia) Zoran Ognjanović (Mathematical Institute, Belgrade, Serbia) * Current Status of Mathematical Publications in Japan Takao Namiki (Hokkaido University, Sapporo, Japan) * Small Scale Retrodigitization Michael Doob (The University of Manitoba, Canada) Part IV Digitization Technologies and Platforms * Building the Czech Digital Mathematics Library upon DSpace System Vlastimil Krejčíř (Masaryk University, Brno, Czech Republic) * Migration of the Mathematical Collection of Polish Virtual Library of Science to the YADDA Platform Katarzyna Zamlynska (University of Warsaw, Poland) Lukasz Bolikowski (University of Warsaw, Poland) Tomasz Rosiek (University of Warsaw, Poland) * A Language Engineering Architecture for Processing Informal Mathematical Discourse Magdalena Wolska (Saarland University, Germany) Part V Digitization Tools * DML-CZ Metadata Editor Miroslav Bartošek (Masaryk University, Brno, Czech Republic) Petr Kovář (Masaryk University, Brno, Czech Republic) Martin Šárfy (Masaryk University, Brno, Czech Republic) * CEDRICS: When CEDRAM Meets Tralics (Keynote) Thierry Bouche (Université de Grenoble I & CNRS, France) * Automated Processing of TEX-Typeset Articles for a Digital Library Michal Růžička (Masaryk University, Brno, Czech Republic) * Ideas from Oz, for New and Retro-Born Digital Mathematics Ross Moore (Macquarie University, Sydney, Australia) Workshop 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])? 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) 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) 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: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Questions/inquiries: mail to dml2008 at easychair dot org CFP distribution: Please, distribute at your place. And apologies for multiple postings! From admmk09 at easychair.org Fri Nov 7 17:15:35 2008 From: admmk09 at easychair.org (admmk09@easychair.org) Date: Mon Nov 10 09:40:11 2008 Subject: [Webmath] CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge Message-ID: <200811072215.mA7MFZQ4010461@dave.dfki.uni-sb.de> [Apologies for multiple copies] Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Deduction systems * Mathematical 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 * Collaboration tools for mathematics * Search, indexing and retrieval of mathematical documents * Ranking of mathematical papers, similarity of mathematical documents * Mathematical document compression * Processing of scanned images * Algorithms for crosslinking of bibliographical items, intext citations search * Mathematical document classification, MSC 2010 * Mathematical text mining * Inference of semantics for semi-formalized mathematics * Mathematical documents metadata * Long term archiving, data migration * Mathematical publishing with long term archival goal * Handwritten formulae recognition * Recognition and search of mathematical diagrams * E-learning of mathematics Potential contributors may also contact the guest editors to discuss suitability of topics and papers. SUBMISSION GUIDELINES Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with MCS' author guidelines (http://www.cc4cm.org/mcs/), be written in English, and be formatted using LaTeX. All submitted papers will be refereed according to the usual MCS refereeing process. Submission to this special issue is hereby encouraged via the EasyChair submission system (see URL below). To aid planning and organization, an early e-mail of intent to submit a paper (including author information, and a tentative title and abstract) would be appreciated. IMPORTANT DATES: Submission deadline: 5 January 2009 Notification of acceptance/rejection: 6 March 2009 Submission of revised versions: 17 April 2009 Final notification of acceptance/rejection: 8 May 2009 Submission of camera-ready copies: 29 May 2009 USEFUL ADDRESSES Special issue website: http://www.dfki.de/~serge/admmk09 Submission webpage: http://www.easychair.org/conferences/?conf=admmk09 Guest editors' email address: admmk09@easychair.org Journal MCS webpage: http://www.cc4cm.org/mcs MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08 DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml From admmk09 at easychair.org Fri Dec 5 10:34:10 2008 From: admmk09 at easychair.org (admmk09@easychair.org) Date: Mon Dec 8 12:47:52 2008 Subject: [Webmath] 2nd CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge Message-ID: <200812051534.mB5FYAMI008924@dave.dfki.uni-sb.de> [Apologies for multiple copies] Second Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Deduction systems * Mathematical 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 * Collaboration tools for mathematics * Search, indexing and retrieval of mathematical documents * Ranking of mathematical papers, similarity of mathematical documents * Mathematical document compression * Processing of scanned images * Algorithms for crosslinking of bibliographical items, intext citations search * Mathematical document classification, MSC 2010 * Mathematical text mining * Inference of semantics for semi-formalized mathematics * Mathematical documents metadata * Long term archiving, data migration * Mathematical publishing with long term archival goal * Handwritten formulae recognition * Recognition and search of mathematical diagrams * E-learning of mathematics Potential contributors may also contact the guest editors to discuss suitability of topics and papers. SUBMISSION GUIDELINES Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with MCS' author guidelines (http://www.cc4cm.org/mcs/), be written in English, and be formatted using LaTeX. All submitted papers will be refereed according to the usual MCS refereeing process. Submission to this special issue is hereby encouraged via the EasyChair submission system (see URL below). To aid planning and organization, an early e-mail of intent to submit a paper (including author information, and a tentative title and abstract) would be appreciated. IMPORTANT DATES: Submission deadline: 5 January 2009 Notification of acceptance/rejection: 6 March 2009 Submission of revised versions: 17 April 2009 Final notification of acceptance/rejection: 8 May 2009 Submission of camera-ready copies: 29 May 2009 USEFUL ADDRESSES Special issue website: http://www.dfki.de/~serge/admmk09 Submission webpage: http://www.easychair.org/conferences/?conf=admmk09 Guest editors' email address: admmk09@easychair.org Journal MCS webpage: http://www.cc4cm.org/mcs MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08 DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml From admmk09 at easychair.org Mon Dec 22 16:35:51 2008 From: admmk09 at easychair.org (admmk09@easychair.org) Date: Tue Jan 6 11:09:15 2009 Subject: [Webmath] CfP/Deadline Extension: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge Message-ID: <200812222135.mBMLZp6F026083@dave.dfki.uni-sb.de> [Apologies for multiple copies] ===================================================================== Due to multiple requests the deadline for submissions is extended to **26. January 2008**. ===================================================================== Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Deduction systems * Mathematical 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 * Collaboration tools for mathematics * Search, indexing and retrieval of mathematical documents * Ranking of mathematical papers, similarity of mathematical documents * Mathematical document compression * Processing of scanned images * Algorithms for crosslinking of bibliographical items, intext citations search * Mathematical document classification, MSC 2010 * Mathematical text mining * Inference of semantics for semi-formalized mathematics * Mathematical documents metadata * Long term archiving, data migration * Mathematical publishing with long term archival goal * Handwritten formulae recognition * Recognition and search of mathematical diagrams * E-learning of mathematics Potential contributors may also contact the guest editors to discuss suitability of topics and papers. SUBMISSION GUIDELINES Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with MCS' author guidelines (http://www.cc4cm.org/mcs/), be written in English, and be formatted using LaTeX. All submitted papers will be refereed according to the usual MCS refereeing process. Submission to this special issue is hereby encouraged via the EasyChair submission system (see URL below). To aid planning and organization, an early e-mail of intent to submit a paper (including author information, and a tentative title and abstract) would be appreciated. IMPORTANT DATES: Submission deadline (extended): 26 January 2009 Notification of acceptance/rejection: 6 March 2009 Submission of revised versions: 17 April 2009 Final notification of acceptance/rejection: 8 May 2009 Submission of camera-ready copies: 29 May 2009 USEFUL ADDRESSES Special issue website: http://www.dfki.de/~serge/admmk09 Submission webpage: http://www.easychair.org/conferences/?conf=admmk09 Guest editors' email address: admmk09@easychair.org Journal MCS webpage: http://www.cc4cm.org/mcs MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08 DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml