From wmfarmer at mcmaster.ca Mon Jan 30 09:39:04 2006 From: wmfarmer at mcmaster.ca (William Farmer) Date: Mon Jan 30 11:26:23 2006 Subject: [Webmath] MKM 2006 Second Call for Papers and Workshop Proposals Message-ID: <20060130143904.BFFCF13F17B@hygd.cas.mcmaster.ca> ===================================================================== MKM 2006 The Fifth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.reading.ac.uk/MKM06/ An ICM Madrid 2006 Satellite Conference 10-12 August 2006 St. Anne's Manor, Wokingham, UK http://www.hilton.co.uk/stannes/ SECOND CALL FOR PAPERS AND WORKSHOPS ===================================================================== GENERAL Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World Wide Web. Sponsored by the MKM Interest Group, MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001 (see below). MKM 2006 is an official satellite conference of the International Congress of Mathematicians Madrid 2006 (August 22-30, 2006). A related ICM satellite conference is Communicating Mathematics in the Digital Era (August 15-18, 2006 in Aveiro, Portugal). CONFERENCE THEMES MKM 2006 will stress two themes: 1. The nature of mathematical proof and its role in managing mathematical knowledge. Mathematical proof is the traditional method for certifying, communicating, and discovering mathematical knowledge. The innovative use of computers to perform mathematical computations, empirical confirmations, and logical deductions is challenging conventional notions of mathematical proof. What impact will new ideas about proof have on MKM? 2. New modes of consuming and producing mathematical knowledge. Engineers and scientists increasingly demand sophisticated mathematical knowledge that is different from the kind of knowledge mathematicians traditionally produce. Moreover, engineers and scientists are obtaining a large and growing portion of their mathematical knowledge by way of mathematical software systems. How will such mathematical knowledge be produced, transmitted, and consumed in the future? MKM 2006 welcomes research papers and workshop proposals on these two themes as well as on all other aspects of MKM. PLENARY SPEAKERS o Gregory J. Chaitin IBM Research o Abdou Youssef George Washington University PAPER SUBMISSIONS Authors are invited to submit papers up to 12 pages that describe original theoretical or applied research and that have not been submitted for publication elsewhere. Submitted papers will be peer-reviewed, and those papers accepted will appear in the proceedings before the Conference. Authors of accepted papers are expected to present their work at MKM 2006. The full paper in PDF format should be submitted electronically via the EasyChair submission system at http://www.easychair.org/MKM2006/ no later than March 13, 2006. The conference proceedings will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. The final versions of accepted papers must be prepared in LaTeX2e according to Springer's "Information for LNCS Authors". WORKSHOP PROPOSALS Proposals for workshops on MKM-related topics are solicited. Workshops will run for a half day or full day and may present preliminary work, new ideas, or specialized topics for dissemination and discussion. The workshop organizers are responsible for the workshop program, but local arrangements will be organized by the Conference. A workshop proposal of no more than three pages should include the workshop's title, the names and backgrounds of the organizers, the description of the workshop topics and goals, the intended audience, and a description of how the workshop will be run. Proposals in PDF format should be submitted electronically via the EasyChair submission system at http://www.easychair.org/MKM2006/ no later than February 27, 2006. IMPORTANT DATES Workshop proposals deadline: February 27, 2006 Paper submission deadline: March 13, 2006 Notification of acceptance/rejection: April 24, 2006 Final versions due: May 15, 2006 Conference: August 10-12, 2006 PROGRAM COMMITTEE Andrew Adams University of Reading, UK Alessandro Armando University of Genova, Italy Jonathan Borwein (Co-Chair) Dalhousie University, Canada Paul Cairns University College London, UK William Farmer (Co-Chair) McMaster University, Canada Michiel Hazewinkel CWI, Netherlands Alejandro Jofre University of Chile, Chile Michael Kohlhase International University Bremen, Germany Dan Lozier National Institute of Standards and Technology, USA Robert Miner Design Science, USA Jim Pitman University of California at Berkeley, USA Andrzej Trybulec University of Bialystok, Poland Alf van der Poorten Macquarie University, Australia Stephen Watt University of Western Ontario, Canada Bernd Wegner Technical University of Berlin, Germany Freek Wiedijk Nijmegen University, Netherlands CONFERENCE CO-CHAIRS Andrew Adams University of Reading, UK Paul Cairns University College London, UK RELATED LINKS MKM IG http://www.mkm-ig.org/ MKM 2001 http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/ MKM 2003 http://www.cs.unibo.it/MKM03/ MKM 2004 http://mizar.uwb.edu.pl/MKM2004/ MKM 2005 http://www.mkm-ig.org/meetings/mkm05/ MKM Symposium 2003 http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/ NA-MKM 2002 http://imps.mcmaster.ca/na-mkm-2002/ NA-MKM 2004 http://imps.mcmaster.ca/na-mkm-2004/ QUESTIONS Please send questions to W. Farmer at wmfarmer@mcmaster.ca. ===================================================================== From wmfarmer at mcmaster.ca Sun Feb 26 12:28:53 2006 From: wmfarmer at mcmaster.ca (William Farmer) Date: Mon Feb 27 13:20:47 2006 Subject: [Webmath] MKM 2006 Final Call for Papers and Workshop Proposals Message-ID: <20060226172853.0BB0E147A43@hygd.cas.mcmaster.ca> ===================================================================== MKM 2006 The Fifth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.reading.ac.uk/MKM06/ An ICM Madrid 2006 Satellite Conference 10-12 August 2006 St. Anne's Manor, Wokingham, UK http://www.hilton.co.uk/stannes/ FINAL CALL FOR PAPERS AND WORKSHOPS ===================================================================== GENERAL Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World Wide Web. Sponsored by the MKM Interest Group, MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001 (see below). MKM 2006 is an official satellite conference of the International Congress of Mathematicians Madrid 2006 (August 22-30, 2006). A related ICM satellite conference is Communicating Mathematics in the Digital Era (August 15-18, 2006 in Aveiro, Portugal). CONFERENCE THEMES MKM 2006 will stress two themes: 1. The nature of mathematical proof and its role in managing mathematical knowledge. Mathematical proof is the traditional method for certifying, communicating, and discovering mathematical knowledge. The innovative use of computers to perform mathematical computations, empirical confirmations, and logical deductions is challenging conventional notions of mathematical proof. What impact will new ideas about proof have on MKM? 2. New modes of consuming and producing mathematical knowledge. Engineers and scientists increasingly demand sophisticated mathematical knowledge that is different from the kind of knowledge mathematicians traditionally produce. Moreover, engineers and scientists are obtaining a large and growing portion of their mathematical knowledge by way of mathematical software systems. How will such mathematical knowledge be produced, transmitted, and consumed in the future? MKM 2006 welcomes research papers and workshop proposals on these two themes as well as on all other aspects of MKM. PLENARY SPEAKERS o Gregory J. Chaitin IBM Research o Abdou Youssef George Washington University PAPER SUBMISSIONS Authors are invited to submit papers up to 12 pages that describe original theoretical or applied research and that have not been submitted for publication elsewhere. Submitted papers will be peer-reviewed, and those papers accepted will appear in the proceedings before the Conference. Authors of accepted papers are expected to present their work at MKM 2006. The full paper in PDF format should be submitted electronically via the EasyChair submission system at http://www.easychair.org/MKM2006/ no later than March 13, 2006. The conference proceedings will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. The final versions of accepted papers must be prepared in LaTeX2e according to Springer's "Information for LNCS Authors". WORKSHOP PROPOSALS Proposals for workshops on MKM-related topics are solicited. Workshops will run for a half day or full day and may present preliminary work, new ideas, or specialized topics for dissemination and discussion. The workshop organizers are responsible for the workshop program, but local arrangements will be organized by the Conference. A workshop proposal of no more than three pages should include the workshop's title, the names and backgrounds of the organizers, the description of the workshop topics and goals, the intended audience, and a description of how the workshop will be run. Proposals in PDF format should be submitted electronically via the EasyChair submission system at http://www.easychair.org/MKM2006/ no later than February 27, 2006. IMPORTANT DATES Workshop proposals deadline: February 27, 2006 Paper submission deadline: March 13, 2006 Notification of acceptance/rejection: April 24, 2006 Final versions due: May 15, 2006 Conference: August 10-12, 2006 PROGRAM COMMITTEE Andrew Adams University of Reading, UK Alessandro Armando University of Genova, Italy Jonathan Borwein (Co-Chair) Dalhousie University, Canada Paul Cairns University College London, UK William Farmer (Co-Chair) McMaster University, Canada Michiel Hazewinkel CWI, Netherlands Alejandro Jofre University of Chile, Chile Michael Kohlhase International University Bremen, Germany Dan Lozier National Institute of Standards and Technology, USA Robert Miner Design Science, USA Jim Pitman University of California at Berkeley, USA Andrzej Trybulec University of Bialystok, Poland Alf van der Poorten Macquarie University, Australia Stephen Watt University of Western Ontario, Canada Bernd Wegner Technical University of Berlin, Germany Freek Wiedijk Nijmegen University, Netherlands CONFERENCE CO-CHAIRS Andrew Adams University of Reading, UK Paul Cairns University College London, UK RELATED LINKS MKM IG http://www.mkm-ig.org/ MKM 2001 http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/ MKM 2003 http://www.cs.unibo.it/MKM03/ MKM 2004 http://mizar.uwb.edu.pl/MKM2004/ MKM 2005 http://www.mkm-ig.org/meetings/mkm05/ MKM Symposium 2003 http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/ NA-MKM 2002 http://imps.mcmaster.ca/na-mkm-2002/ NA-MKM 2004 http://imps.mcmaster.ca/na-mkm-2004/ QUESTIONS Please send questions to W. Farmer at wmfarmer@mcmaster.ca. ===================================================================== From paul at activemath.org Mon Apr 3 09:05:48 2006 From: paul at activemath.org (Paul Libbrecht) Date: Mon Apr 3 10:14:28 2006 Subject: [Webmath] [CfP] Mathematical User Interfaces 2006 (MathUI06) Message-ID: <44311DAC.3040307@activemath.org> :please distribute: :call for papers: workshop on Mathematical User Interfaces ---------------------------- 10th August, 2006, nr Oxford, UK at the Fifth Mathematical Knowledge Management Conference http://www.activemath.org/~paul/MathUI06/ SCOPE Building on the success and interest of the first MathUI workshop, this second one is intended to bring together researchers working on MKM but from the perspective of mathematics manipulated by end users. Accordingly, an emphasis is on providing users with interfaces and software systems that enhance their mathematical working experience. The topics of the workshop centre around, but are not restricted to: - presenting mathematical knowledge - user studies with MKM tools or other mathematical interfaces - novel, original or downright funky interfaces to mathematics software - interactive mathematics SUBMISSIONS AND DATES 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! Initial proceedings will be online and we will discuss at the workshop the possibilities of a special issue in a human factors journal. 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. - Either: - Submit your presentation proposal by 5th June - Or submit an abstract of your presentation by 5th June and a revised version before 12th June - Expect an answer on 27th June - Enjoy the workshop on 10th August PROGRAMME COMMITTEE David Aspinall School of Informatics, University of Edinburgh, Scotland Paul Cairns UCL Interaction Center, University College London, Great Britain Olga Caprotti Research Institute for Symbolic Computation, Linz, Austria Norbert Kajler Ecole Nationale Superieure des Mines de Paris, France Paul Libbrecht (organizer) Competence Center for E-Learning, DFKI GmbH, Saarbruecken, Germany Robert Miner Design Science, Long Beach, California, USA MORE INFORMATION More about MKM 2006 can be found at: http://www.reading.ac.uk/MKM06/ More information can be read from the workshop's web-page http://www.activemath.org/~paul/MathUI06/ From tchdongue at hotmail.fr Tue May 23 06:29:48 2006 From: tchdongue at hotmail.fr (francillette thierry) Date: Tue May 23 10:22:40 2006 Subject: [Webmath] =?iso-8859-1?q?Arithm=E9tics_progressions_ruling_prime?= =?iso-8859-1?q?s?= Message-ID: hello, How to know if N is prime? with N, odd and different than 3; We can find (N-1)/3 or (N-2)/3, I call an ALTHEYR = R (integer). Looking each R, odd or even, we can discribe when 3r+1 or 3r+2 is Prime. with (n) going from 0 to infinite and K stricly positive --With R even : 3R+1 is prime if R is not (8+10n) + K (10+12n) or (16+16n) + K(14+12n) --With r odd : 3r+2 is prime if R is not (11+14n) + K(10+12n) or (11+10n) + K(14+12n) There are others ?quations with only odds or enes numbers and a big one on one line: N= 2R+1 and R= (4+3n) + K(3+2n) With a program we can "CRIBLE" all PRIMES and find factors ... Thanks to study this, I have only a TI 92 _________________________________________________________________ Windows Live Mail : venez tester la version b?ta ! http://www.ideas.live.com/programpage.aspx?versionId=5d21c51a-b161-4314-9b0e-4911fb2b2e6d From a.a.adams at reading.ac.uk Tue May 23 09:42:00 2006 From: a.a.adams at reading.ac.uk (Andrew A. Adams ) Date: Tue May 23 10:22:41 2006 Subject: [Webmath] MKM 2006: Call for Participation Message-ID: <200605231342.k4NDg0kb001883@dragon.reading.ac.uk> [Apologies if you receive multiple copies.] MKM 2006: The 5th International Conference on Mathematical Knowledge Management 10-12 August 2006, St Annes Manor Hotel, Wokingham, UK. Call for Participation Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web. Sponsored by the MKM Interest Group, MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. The event consists of a one day workshop (MathUI - Mathematical User Interfaces) on the 10th August and the main conference on 11th and 12th August. The main conference programme will consist of 20 fully refereed papers, two invited speakers and a panel discussion. The MKM Interest Group Business Meeting will be held on the Friday. Invited Speakers: * Gregory J. Chaitin, IBM Research Irreducible complexity in pure math * Abdou Youssef, George Washington University Roles of Math Search in Mathematics The conference programme will be available on the web site shortly. Registration for the conference, and the associated workshop is now available via the conference web site at: http://www.rdg.ac.uk/MKM06/ Organisers: Conference Co-Chairs: * Andrew A. Adams, The University of Reading, UK * Paul Cairns, UCL, UK Programme Committee Co-Chairs: * Jon Borwein, Dalhousie University, Canada * William Farmer, McMaster University, Canada MKM 2006 is run under the auspices of the MKM Interest Group (www.mkm-ig.org). MKM 2006 is an official Satellite Conference of the International Congress of Mathematicians. -- Dr Andrew A. Adams, Lecturer in Systems Engineering, University of Reading http://www.rdg.ac.uk/~sis00aaa Conference Chair, MKM '06 http://www.rdg.ac.uk/MKM06/ From Ulrich.Kortenkamp at ph-gmuend.de Wed May 24 06:46:49 2006 From: Ulrich.Kortenkamp at ph-gmuend.de (Ulrich Kortenkamp) Date: Wed May 24 10:09:43 2006 Subject: [Webmath] Math-oriented E-Learning specialist wanted Message-ID: Hi, here at Schw?bisch Gm?nd (located in the beautiful south-west of Germany near Stuttgart) we have a new position for somebody who can help the University to implement e-Learning and at the same time do research in the area of collaborative mathematics education using the web. German language is a plus, but if you think you are suited for the position although you are not a native German speaker, just contact me before applying. Please distribute the announcement to appropriate persons -- thanks a lot. Ulli Kortenkamp --- Zum 01.08.2006 oder 01.10.2006 ist in der Fakult?t II am Institut f?r Mathematik und Informatik, Abteilung Informatik, folgende Stelle zu besetzen: Wissenschaftliche(r) Mitarbeiter(in) Informatik / E-Learning (BAT IIa) (Kennziffer 2006/09) Aufgaben: Die IKT- und Medienentwicklungsstelle umfasst als Hauptaufgaben die Unterst?tzung des Fachs Informatik bei der hochschulweiten Einf?hrung einer E-Learning-Plattform und die Durchf?hrung von Lehrveranstaltungen und Workshops im Bereich E-Learning und f?r die Lehramtsstudieng?nge Haupt- und Realschule. Des Weiteren die ?bernahme von Dienstleistungen im Fach Informatik, z.B. der Pflege von Online-Materialien. Die Mitarbeit in der akademischen Selbstverwaltung und in Forschungsprojekten der Abteilung Informatik, z.B. internetbasierten Lehr/Lernplattformen f?r mathematische und informatische Themen, wird erwartet. Die M?glichkeit zur Promotion in diesem Bereich ist vorhanden. Einstellungsvoraussetzungen: Abgeschlossenes Hochschulstudium in Informatik oder Mathematik bzw. 1. und 2. Staatsexamen f?r das Lehramt. Die Stelle ist zun?chst auf 3 Jahre befristet. Bewerbungen mit den ?blichen Unterlagen werden bis sp?testens 30.06.2006 erbeten an Prof. Dr. Ulrich Kortenkamp, Abteilung Informatik, P?dagogische Hochschule Schw?bisch Gm?nd, Oberbettringer Stra?e 200, 73525 Schw?bisch Gm?nd. Weitere Informationen zu dieser Stelle erteilt Prof. Dr. Ulrich Kortenkamp, Email: ulrich.kortenkamp@ph-gmuend.de. From kortenkamp at cinderella.de Thu Jun 1 10:28:36 2006 From: kortenkamp at cinderella.de (Ulrich Kortenkamp) Date: Tue Jun 6 10:33:24 2006 Subject: [Webmath] Announcement: Cinderella.2 release Message-ID: <6AFFBA7D-8DFA-40DD-896E-F039B8B6F7C5@cinderella.de> Hi, for those of you who do geometry on web -- we just released Cinderella.2, see the PR below. Ulli PRESS RELEASE The Interactive Geometry Software Cinderella.2 has been released. More than seven years after its award-winning first version was published, this version sets new standards for interactive geometry in the classroom. The previous version received, among others, the European Academic Software Award and the German Educational Software Award digita2001. Besides extensions to the geometry part of the software the integrated physics simulation engine is particularly interesting for classroom use in mathematics and science education. Furthermore, an API allows for even more customized virtual experiments. The solid mathematical foundation of Cinderella.2 makes it a suitable software not only for K-12 education, but also in university teaching and research. Cinderella has been developed by Prof. Dr. Dr. J?rgen Richter-Gebert (Technical University Munich) and Prof. Dr. Ulrich Kortenkamp (University of Education Schw?bisch Gm?nd). A single user license is available for 59 US$, an extended school license, which can be used by all teachers and students of a school at school and at home, costs 199 ? (VAT might be added). More information about Cinderella.2 as well as a demo version are available at its web site http:// cinderella.de. As an introductory offer customers entering the coupon code CDY2- INTRO-M will receive a discount of 10%. The offer ends July 1st. Currently, Cinderella.2 is a download product only. A book version including a CD-ROM to be published by Springer-Verlag is in preparation. More informationen about the software and graphics are available on request. From p.cairns at ucl.ac.uk Wed Jun 28 05:19:53 2006 From: p.cairns at ucl.ac.uk (Paul Cairns) Date: Wed Jun 28 10:14:22 2006 Subject: [Webmath] MKM 2006: Call for Participation Message-ID: <6.0.3.0.0.20060628101601.01f4e3f0@pop-server.ucl.ac.uk> MKM 2006: The 5th internation Conference on Mathematical Knowledger Management ***EARLY REGISTRATION ENDS 1st JULY***** 10-12 August 2006, St Annes Manor Hotel, Wokingham, UK. Call for Participation Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web. Sponsored by the MKM Interest Group, MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. The two day conference programme will consist of 20 fully refereed papers, two invited speakers and a panel discussion. The MKM Interest Group Business Meeting will be held on the Friday of the conference. Invited Speakers: * Gregory J. Chaitin, IBM Research Irreducible complexity in pure math * Abdou Youssef, George Washington University Roles of Math Search in Mathematics The conference programme will be available on the web site shortly. Registration for the conference, and the associated workshop MathUI (User Interfaces for Mathematics) is now available via the conference web site at: http://www.rdg.ac.uk/MKM06/ Organisers: Conference Co-Chairs: * Andrew A. Adams, The University of Reading, UK * Paul Cairns, UCL, UK Programme Committee Co-Chairs: * Jon Borwein, Dalhousie University, Canada * William Farmer, McMaster University, Canada MKM 2006 is an official Satellite Conference of the International Congress of Mathematicians. From paul at activemath.org Thu Jun 29 07:21:58 2006 From: paul at activemath.org (Paul Libbrecht) Date: Thu Jun 29 09:30:58 2006 Subject: [Webmath] [CfP] MathUI 2006: call to participate and demonstrate Message-ID: <44A3B7D6.2010400@activemath.org> :please distribute: :call for demonstrations and participations: workshop on Mathematical User Interfaces ---------------------------- 10th August, 2006, nr Oxford, UK at the Fifth Mathematical Knowledge Management Conference http://www.activemath.org/~paul/MathUI06/ Come and join MathUI'06! Early registration rate for the conference ends on June 30th. PRESENTATIONS The following presentations have been accepted to MathUI'06: - A Document-Oriented Coq Plugin for TEXmacs L. E. Mamane, H. Geuvers - BrEdiMa: Yet Another Web-browser Tool for Mathematical Expressions H. Murao, Y. Nakano - Drag-and-drop of Formulae from a Browser P. Libbrecht, D. Jednoralski - Mathematical documents authoring on xfy M. Kume, A. Miyamoto, H. Kai, M.-T. Noda, Y. Tamura - PG Tips, a recommender system for an interactive prover A.M. Mercer, A. Bundy, H. Duncan, D. Aspinall - The GLOSS system for transformations from plain text to XML R. Kaye - WIRIS OM Tools a Semantic Formula Editor , D. Marqu?s, R. Eixarch, G. Casanellas, B. Mart?nez, T. Smith The workshop will feature the invited talk: - Highly interactive mathematical user interfaces Harold Thimbleby The workshop will be concluded with a demonstration session. SCOPE Building on the success and interest of the first MathUI workshop, this second one is intended to bring together researchers working on MKM but from the perspective of mathematics manipulated by end users. Accordingly, an emphasis is on providing users with interfaces and software systems that enhance their mathematical working experience. The topics of the workshop centre around, but are not restricted to: - presenting mathematical knowledge - user studies with MKM tools or other mathematical interfaces - novel, original or downright funky interfaces to mathematics software - interactive mathematics CALL FOR SOFTWARE DEMONSTRATIONS We are also seeking mathematical software user-interfaces to be exposed during the demonstration-session at the end of the workshop. Send your request for demo with title, project-URL, and a short description to paul@activemath.org until July 20th 2006. PROGRAMME COMMITTEE David Aspinall School of Informatics, University of Edinburgh, Scotland Paul Cairns UCL Interaction Center, University College London, Great Britain Olga Caprotti University of Helsinki, Helsinki, Finland Norbert Kajler Ecole Nationale Superieure des Mines de Paris, France Paul Libbrecht (organizer) Competence Center for E-Learning, DFKI GmbH, Saarbruecken, Germany Robert Miner Design Science, Long Beach, California, USA MORE INFORMATION MKM 2006: http://www.reading.ac.uk/MKM06/ MathUI 2006: http://www.activemath.org/~paul/MathUI06/ -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/x-pkcs7-signature Size: 3245 bytes Desc: S/MIME Cryptographic Signature Url : https://mail.cms.math.ca/pipermail/webmath/attachments/20060629/67a12a6b/smime.bin From fairouz at macs.hw.ac.uk Mon Jul 17 05:36:56 2006 From: fairouz at macs.hw.ac.uk (Fairouz Kamareddine) Date: Mon Jul 17 10:16:22 2006 Subject: [Webmath] New PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK Message-ID: New Ph.D. Student Positions ULTRA group (Useful Logics, Types, Rewriting, and their Automation) Computer Science Department School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK The HTML version of this posting can be found at: http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html Description of the Positions Changes since our announcement earlier this year: (1) Additional positions have become available. (2) Additional possible research topics have been included. Several new Ph.D. student positions are available in areas involving research into the theories of logics, types, and rewriting and their applications in reasoning about computer systems and mathematics. The positions are at Heriot-Watt University[1] in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group[2] in the Computer Science Department[3] in the School of Mathematical and Computer Sciences[4] at Heriot-Watt University in Edinburgh[5], the capital of Scotland[6]. The Ph.D. supervisors will be either Fairouz Kamareddine[7] and/or Joe Wells[8]. Available research topics include work on any of the following: * The Poly*[9] polymorphic retargetable type system for process and mobility calculi, aimed at the goal of supporting modular reasoning and compositional analysis for systems involving mobility and concurrency (such systems can include combinations of hardware, software, people, etc.). * The MathLang[10] framework for computerizing mathematical text. MathLang tries to keep the computerization as close as possible to the mathematician's text while at the same time providing a formal structure supporting mathematical software systems (e.g., computer algebra systems, theorem provers, etc.). Possible MathLang work includes: + Building libraries of computerized books of mathematics. + Developing bridges between MathLang and proof checkers (e.g., Coq, Mizar, Isabelle, OMEGA, etc.). * The idea of Expansion[11] as a fundamental organizing principle for obtaining flexible and compositional polymorphic type inference for computer software. * The use of Type Error Slicing[12] as a superior user interface for explaining type errors to users of new programming languages with advanced (and complicated!) type systems. * Any other reasonable idea which builds on work we have already started, including both theory and implementation. In general, we are interested in the design and implementation of useful and elegant type systems and logics which can reason about or extend existing programming languages and theorem provers. It will be helpful to have interests (or possibly even competence) in 1 or more of the following background knowledge areas: * Formal calculi for reasoning about the meaning of systems (including computer programs) such as the lambda calculus, the pi calculus, and the numerous other calculi they have inspired that deal with aspects of concurrency, mobility, modules, components, linking & loading, resource usage, staged compilation, classes & objects, etc. * Methods for analyzing specific systems (e.g., specific computer programs) represented by individual terms of such formal calculi. * Formal calculi for representing mathematical texts, including those aspects related to how actual practicing mathematicians (i.e., not mathematical logicians) construct and present mathematics. * Type systems for the kinds of formal calculi mentioned above, especially those with features similar to intersection, union, dependent, and singleton types. * Rewriting theories, especially those with higher-order features, such as the lambda calculus, higher-order rewriting (HOR), systems with explicit substitutions, higher-order abstract syntax (HOAS), combinators, etc. * Constraint solving and unification. * Theorem provers and mathematical reasoning tools. * Programming languages especially suitable for use for any of the above. The usual duration of Ph.D. studentships in the UK is 3 years. The positions are available immediately. The Ph.D. students will probably collaborate on 1 or more of the following activities. The specific activities will be matched to their strengths. * Designing languages/calculi for representing various aspects of such things as computer programs, concurrent systems, mathematical texts, etc. * Developing theories for reasoning about such a calculus as a whole as well as individual terms written in the calculus. * Developing new type systems for such calculi with useful properties. * Developing analysis algorithms for the new type systems. * Proving various properties of the above items. * Making software systems incorporating the new calculi, theories, type systems, and algorithms. * Publishing scientific reports on the work done. References 1. http://www.hw.ac.uk/ 2. http://www.macs.hw.ac.uk/ultra/ 3. http://www.macs.hw.ac.uk/cs/ 4. http://www.macs.hw.ac.uk/ 5. http://www.geo.ed.ac.uk/home/tour/edintour.html 6. http://www.geo.ed.ac.uk/home/scotland/scotland.html 7. http://www.macs.hw.ac.uk/~fairouz/ 8. http://www.macs.hw.ac.uk/~jbw/ 9. http://www.macs.hw.ac.uk/DART/software/PolyStar/ 10. http://www.macs.hw.ac.uk/~fairouz/talks/talks2005/mathlang-general-talk.pdf 11. http://www.macs.hw.ac.uk/~jbw/papers/#Car+Wel:ITRS-2004 12. http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/ Contact Information Inquiries can be directed to Fairouz Kamareddine at: web: http://www.macs.hw.ac.uk/~fairouz/ e-mail: fairouz@macs.hw.ac.uk fax: +44 131 451 8179 Inquiries can be directed to Joe Wells at: web: http://www.macs.hw.ac.uk/~jbw/ e-mail: jbw@macs.hw.ac.uk fax: +44 131 451 8179 Applying for the Positions Please contact Fairouz Kamareddine and Joe Wells for full details on how to apply. We will want to see your curriculum vitae, as well as 2 (or even 3 if possible) recommendation letters (preferably written by people familiar with your academic and research abilities, but a letter from an industry source is better than no letter at all). We will expect recommendation letters to be sent directly by their authors and will need contact details for the letter authors. You should probably already have a master's degree or equivalent experience. It can be helpful to write a brief statement about why your research interests are a good match for the ULTRA group. If you already have research publications (this is not required), it can be helpful to send 1 (or even 2) of them. There will also be official Heriot-Watt application forms to fill out. Please convert Microsoft Word documents to a public, standard, and non-proprietary format. PDF is good, plain text is good, LaTeX is okay (if using only standard packages), HTML is okay (if not generated by Microsoft Word), PostScript is sometimes okay, Open Document format is undesirable, Microsoft Word format will not be accepted. For your information, it is helpful if writers of recommendation letters provide details of: * the capacity in which they know the candidate, * the candidate's skills, abilities and performance in relation to the post applied for, * the candidate's record including details of the candidate's role(s) and service dates, * their view of the candidate's suitability for the post as a whole, in light of the attached details and their knowledge of the candidate's experience and abilities, * any further relevant information which would assist us in choosing the right candidate. From dimabt at yahoo.com Sat Jul 29 09:41:02 2006 From: dimabt at yahoo.com (dima bintareef) Date: Sat Jul 29 18:25:15 2006 Subject: [Webmath] MAthML usage Statistics Message-ID: <20060729134102.47263.qmail@web60314.mail.yahoo.com> Hi, I want to ask about any statistics about the usage of MathML on the web, the used tags, or any comparison between MathML and other representation types. I have this Document: http://www.mathmlconference.org/2002/presentations/hunt/ But it would be helpful if there is more. Dima __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com From dmcdougall at oise.utoronto.ca Sun Jul 30 12:01:11 2006 From: dmcdougall at oise.utoronto.ca (Doug McDougall) Date: Sun Jul 30 12:30:29 2006 Subject: [Webmath] Re: Webmath Digest, Vol 2, Issue 10 Message-ID: Hi I will be away from my office and email until August 14, 2006. I will get back to you as soon as possible after that time. Have a great day. Doug McDougall OISE/UT -------------- next part -------------- An HTML attachment was scrubbed... URL: https://mail.cms.math.ca/pipermail/webmath/attachments/20060730/58c05441/attachment.htm From hermitech at ztu.edu.ua Sat Sep 16 09:05:15 2006 From: hermitech at ztu.edu.ua (Hermitech Laboratory) Date: Mon Sep 18 11:08:26 2006 Subject: [Webmath] Formulator 3.7 MathML Suite is released Message-ID: <450BF68B.9000501@ztu.edu.ua> Hello, I'm glad to announce a new release of an interactive mathematical expressions editor (mathematical typesetting software) by Hermitech Laboratory (http://www.hermitech.ic.zt.ua). Formulator 3.7 MathML Suite (http://hermitech.ic.zt.ua/index.php?option=com_content&task=blogsection&id=6&Itemid=43) comprises: I. mathematical expressions editing (based on MathML 2.0) a) standalone editions Formulator MathML Weaver (shareware) Formulator Express (freeware) b) component editions Formulator ActiveX Control (shareware) Formulator Express ActiveX Control (freeware) II. plug-ins (freeware) Formulator MathML IE Performer (plug-in for Internet Explorer) Formulator plug-in for Altova XMLSpy III. support of mathematics learning activities (freeware) Formulator Tarsia The main improvements are the following: 1. Visual creating and editing of MathML 2.0 Content and Mixed markup. (The previous versions had already support of Content markup, but before it was too limited to be useful.) 2. Advanced MathML 2.0 editing features (on-the-fly editing of MathML node properties, "MathML Tree", "MathML Text", "XHTML" editing modes). 3. Better import/export features (EMF is supported), improved GUI and general appearance, and many other improvements. 4. Higher availability due to support of free (features limited) versions of both standalone and component editions of Formulator. We hope that our software is helpful to community and will be grateful for any notes and suggestions. Thank you, Vyacheslav Levitsky, Hermitech Laboratory, Mathematical and Modeling Software, Zhytomyr, UKRAINE Web: http://www.hermitech.ic.zt.ua E-mail: info@hermitech.ic.zt.ua From bobm at dessci.com Fri Oct 6 10:40:13 2006 From: bobm at dessci.com (Bob Mathews) Date: Fri Oct 6 10:59:43 2006 Subject: [Webmath] Call for MathPlayer beta testers Message-ID: <7.0.1.0.2.20061006074005.025ea588@dessci.com> Hi, Many of you are familiar with our product MathPlayer, which is a high-performance display engine allowing the display of MathML in IE browsers. We are close to releasing a MathPlayer 2.1 beta, and are looking for beta testers. If you create web pages using MathML, and are interested in being a beta tester, please e-mail us at mp21beta@dessci.com. Thanks, Bob Mathews email: bobm@dessci.com Director of Training phone: 830-990-9699 Design Science, Inc. -- "How Science Communicates" MathType, WebEQ, MathPlayer, MathFlow, Equation Editor, TeXaide From bobm at dessci.com Tue Oct 10 23:06:16 2006 From: bobm at dessci.com (Bob Mathews) Date: Tue Oct 10 23:42:55 2006 Subject: [Webmath] Call for MathPlayer beta testers, correction Message-ID: <7.0.1.0.2.20061010230609.02682f70@dessci.com> Hi, I apologize for the need to post this message again, but we had a glitch with our beta e-mail account the first time around. If you had intended to respond but didn't get a chance to write yet, there's still time. Likewise, if you responded and got an "undeliverable" message, please try again. If you wrote me privately to let me know about the e-mail problem, I have already passed your information along to our Beta Team. Here is the original message, with the corrected e-mail address: We are close to releasing a MathPlayer 2.1 beta, and are looking for beta testers. MathPlayer 2.1 will feature IE7 compatibility, accessibility (math to speech) enhancements, and lots of small bug fixes and enhancements. A more complete list of fixes will be provided to beta testers later. If you create web pages using MathML, and are interested in being a beta tester, please e-mail us at beta@dessci.com. Thanks, Bob Mathews email: bobm@dessci.com Director of Training phone: 830-990-9699 Design Science, Inc. -- "How Science Communicates" MathType, WebEQ, MathPlayer, MathFlow, Equation Editor, TeXaide From mpi at osc.kiku.dk Fri Oct 20 18:28:42 2006 From: mpi at osc.kiku.dk (Mads Ipsen) Date: Mon Oct 23 10:39:36 2006 Subject: [Webmath] How to use CM fonts when rendering MathML Message-ID: Hey, First - Sorry if this is the wrong place for posting this question. I am trying to get Firefox (XP) to display MathML using the computer modern fonts, but have failed so far. I put this into the 'user.js' file user_pref("font.mathfont-family", "CMR10, CMSY10, CMEX10, CMMI10, Symbol"); user_pref("browser.blink_allowed", false); The second line stopped text from blinking, so the file does get read by mozilla. Have tried the torture page http://www.mozilla.org/projects/mathml/demo/texvsmml.xhtml and tried to shift styles using View->Page Style->TeX View->Page Style->Mathematica Neither seem to have any effect. I have installed the MIT font package. Any help is greatly appreciated. // Mads From M.Kerber at cs.bham.ac.uk Fri Dec 8 05:11:42 2006 From: M.Kerber at cs.bham.ac.uk (Manfred Kerber) Date: Mon Dec 11 08:09:44 2006 Subject: [Webmath] First Call for Papers MKM-2007 (Mathematical Knowledge Management) Message-ID: ------- Blind-Carbon-Copy From: mkm07@cs.bham.ac.uk To: mkm07@cs.bham.ac.uk Subject: First Call for Papers MKM-2007 (Mathematical Knowledge Management) Date: Fri, 08 Dec 2006 10:11:42 +0000 Sender: mmk@cs.bham.ac.uk [Please post - apologies for multiple copies.] MKM 2007 Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.cs.bham.ac.uk/~mmk/events/MKM07/ 27--30 June 2007 Hagenberg --- Austria FIRST CALL FOR PAPERS Mathematical Knowledge Management is an innovative field in the intersection of mathematics and computer science. Its development is driven on the one hand by the new technological possibilities which computer science, the internet, and intelligent knowledge processing offer, and on the other hand by the need for new techniques for managing the rapidly growing volume of mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A (non-exclusive) list of important areas of current interest includes: Representation of mathematical knowledge Repositories of formalized mathematics Diagrammatic representations Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Mathematical OCR Inference of semantics for semi-formalized mathematics Digital libraries 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 SUBMISSION The deadline for submissions is 12 February 2007. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. All papers submitted to the Conference will be reviewed. Submission details will be announced on the conference web pages. PROCEEDINGS We we will publish the proceedings in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES 12 February 2007: Submission deadline 12 March 2007: Notification of acceptance 26 March 2007: Camera ready copies due 27--30 June 2007: Conference in Hagenberg, Austria LOCAL ORGANIZER Wolfgang Windsteiger, Johannes Kepler University, Linz, Austria PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Laurent Bernardin Maplesoft, Canada Jonathan Borwein Dalhousie University, Canada Thierry Bouche Universite de Grenoble I, France Bruno Buchberger Johannes Kepler University, Linz, Austria Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Bruce Char Drexel University, Philadelphia, USA Simon Colton Imperial College London, England Mike Dewar Numerical Algorithms Group, England William Farmer McMaster University, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England (co-chair) Michael Kohlhase International University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Robert Miner Design Science, USA (co-chair) Bengt Nordstrom Chalmers University of Technology, Sweden Ross Reedstrom Rice University, USA Eugenio Rocha Universidade de Aveiro, Portugal Alan Sexton University of Birmingham, England Andrzej Trybulec University of Bialystok, Poland Stephen Watt University Western Ontario, Canada Abdou Youssef George Washington University, USA RELATED LINKS http://www.mkm-ig.org http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/ WORKSHOPS There will be affiliated workshops with the MKM and Calculemus conferences. If you are interested in organizing one, contact the co-chairs Manfred Kerber and Robert Miner at mkm07@cs.bham.ac.uk. ------- End of Blind-Carbon-Copy