NEW DEADLINE: MKM 2004 - CFP (Bialowieza, Poland)
Please post - apologies for multiple copies. ============================================ *** NEW DEADLINE: May 15, 2004 *** MKM 2004 Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://mizar.org/MKM2004 September 19 - 21, 2004 Bialowieza - Poland (organized by University of Bialystok) CALL FOR PAPERS Mathematical Knowledge Management is a new field in the intersection of mathematics and computer science. We need new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. A list of topics (to be understood as specialized to the realm of mathematical information) comprises but is not restricted to: Knowledge representation Repositories of formalized mathematics Metadata Deduction systems Datamining Computer Algebra Systems Digital libraries Authoring languages and tools Searching and retrieving Interactive learning Languages of mathematics Web presentation of mathematics Math assistants MathML- and XML-based standards SUBMISSION To submit your paper go to MKM 2004 electronic submission site: http://mizar.uwb.edu.pl/CyberChairMKM/ The deadline for submissions is May 15, 2004. Submitted papers should not exceed 15 pages, must be original and not submitted for publication elsewhere. All papers submitted to the Conference will be reviewed. Accepted papers will appear in the proceedings before the Conference. PROCEEDINGS We plan to publish the proceedings of the Conference in the Springer-Verlag Lecture Notes in Computer Science series (http://www.springer.de/comp/lncs/). Submitted papers must be prepared according to "Authors Instructions of LNCS" (http://www.springer.de/comp/lncs/authors.html). We strongly encourage the author(s) to use LaTeX. Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES NEW Submission Deadline: May 15, 2004 Notification of acceptance/rejection: June 10, 2004 Camera ready copies: July 1st, 2004 Conference: September 19 - September 21, 2004 AFFILIATED WORKSHOPS - September 18, 2004 - Mathematical User-Interfaces, organized by Paul Libbrecht, - 30 Years of Mizar, organized by Grzegorz Bancerek. PROGRAM COMMITTEE Andrzej Trybulec, Univ. of Bialystok, Poland (Chair) Andrew A. Adams, University of Reading, U.K. Andrea Asperti, University of Bologna, Italy Bruno Buchberger, RISC Linz, Austria Roy McCasland , U. of Edinburgh, U.K. James Davenport, University of Bath, U.K. William M.Farmer, McMaster University, Canada Herman Geuvers, Katholieke U. Nijmegen, NL Therese Hardin, Pierre & Marie Curie U., France Fairouz Kamareddine, Heriot-Watt U., U.K. Michael Kohlhase, Internat. U. Bremen, Germany Paul Libbrecht, Saarland University, Germany Bengt Nordstrom, Chalmers U. of Techn., Sweden Renaud Rioboo, Pierre & Marie Curie U., France Bernd Wegner, Technical U. of Berlin, Germany RELATED LINKS MKM Consortium, http://monet.nag.co.uk/mkm/consortium.html MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/ MKM 2003, http://www.cs.unibo.it/MKM03/ MKM NET, http://monet.nag.co.uk/mkm/ 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 should be sent to Conference Chair: Roman Matuszewski, mailto:romat@mizar.org http://mizar.org/people/romat/
Please post - apologies for multiple copies. ============================================ We kindly recall you that the deadline for "MKM 2004" is approaching MKM 2004 Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://mizar.org/MKM2004 September 19 - 21, 2004 Bialowieza - Poland (organized by University of Bialystok) CALL FOR PAPERS Mathematical Knowledge Management is a new field in the intersection of mathematics and computer science. We need new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. A list of topics (to be understood as specialized to the realm of mathematical information) comprises but is not restricted to: Knowledge representation Repositories of formalized mathematics Metadata Deduction systems Datamining Computer Algebra Systems Digital libraries Authoring languages and tools Searching and retrieving Interactive learning Languages of mathematics Web presentation of mathematics Math assistants MathML- and XML-based standards SUBMISSION To submit your paper go to MKM 2004 electronic submission site: http://mizar.uwb.edu.pl/CyberChairMKM/ The deadline for submissions is May 15, 2004. Submitted papers should not exceed 15 pages, must be original and not submitted for publication elsewhere. All papers submitted to the Conference will be reviewed. Accepted papers will appear in the proceedings before the Conference. PROCEEDINGS We plan to publish the proceedings of the Conference in the Springer-Verlag Lecture Notes in Computer Science series (http://www.springer.de/comp/lncs/). Submitted papers must be prepared according to "Authors Instructions of LNCS" (http://www.springer.de/comp/lncs/authors.html). We strongly encourage the author(s) to use LaTeX. Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES Submission Deadline: May 15, 2004 Notification of acceptance/rejection: June 10, 2004 Camera ready copies: July 1st, 2004 Conference: September 19 - September 21, 2004 AFFILIATED WORKSHOPS - September 18, 2004 - Mathematical User-Interfaces, organized by Paul Libbrecht, - 30 Years of Mizar, organized by Grzegorz Bancerek. PROGRAM COMMITTEE Andrzej Trybulec, Univ. of Bialystok, Poland (Chair) Andrew A. Adams, University of Reading, U.K. Andrea Asperti, University of Bologna, Italy Bruno Buchberger, RISC Linz, Austria Roy McCasland , U. of Edinburgh, U.K. James Davenport, University of Bath, U.K. William M.Farmer, McMaster University, Canada Herman Geuvers, Katholieke U. Nijmegen, NL Therese Hardin, Pierre & Marie Curie U., France Fairouz Kamareddine, Heriot-Watt U., U.K. Michael Kohlhase, Internat. U. Bremen, Germany Paul Libbrecht, Saarland University, Germany Bengt Nordstrom, Chalmers U. of Techn., Sweden Renaud Rioboo, Pierre & Marie Curie U., France Bernd Wegner, Technical U. of Berlin, Germany RELATED LINKS MKM Consortium, http://monet.nag.co.uk/mkm/consortium.html MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/ MKM 2003, http://www.cs.unibo.it/MKM03/ MKM NET, http://monet.nag.co.uk/mkm/ 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 should be sent to Conference Chair: Roman Matuszewski, mailto:romat@mizar.org http://mizar.org/people/romat/
Please post - apologies for multiple copies. ============================================ MKM 2004 Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://mizar.org/MKM2004 September 19 - 21, 2004 Bialowieza - Poland Registration to MKM 2004 is open: the deadline for early registration is August 12, 2004 CALL FOR PARTICIPATION Mathematical Knowledge Management is a new field in the intersection of mathematics and computer science. IMPORTANT DATES Early registration deadline: August 12, 2004 Late registration deadline: September 7, 2004 Conference: September 19 - September 21, 2004 AFFILIATED WORKSHOPS - September 18, 2004 - Mathematical User-Interfaces, organized by Paul Libbrecht, - 30 Years of Mizar, organized by Grzegorz Bancerek. MKM 2004 Conference - list of accepted papers in alphabetical order: 1. Adaptive Access to a Proof Planner (Erica Melis, Andreas Meier, Martin Pollet) 2. A Graph-Based Approach towards Discerning Inherent Structures in a Digital Library of Formal Mathematics (Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert Constable) 3. An Architecture for Distributed Mathematical Web Services (Elena Smirnova, Clare So, Stephen Watt) 4. An Environment for Building Mathematical Knowledge Libraries (Florina Piroi, Bruno Buchberger) 5. An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics (Luca Padovani, Riccardo Solmi) 6. A Path to Faithful Formalizations of Mathematics (Gueorgui Jojgov, Rob Nederpelt) 7. C-CoRN, the Constructive Coq Repository at Nijmegen (Luis Cruz-Filipe, Herman Geuvers, Freek Wiedijk) 8. Copyright Issues for MKM (Andrew Adams, James Davenport) 9. CPoint: Dissolving the Author's Dilemma (Andrea Kohlhase, Michael Kohlhase) 10. Efficient Ambiguous Parsing of Mathematical Formulae (Claudio Sacerdoti Coen, Stefano Zacchiroli) 11. Efficient Retrieval of Mathematical Statements (Andrea Asperti, Matteo Selmi) 12. Extraction of Logical Structure from Articles in Mathematics (Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki) 13. Finding and Analyzing Differential Equations on the Web (Dirk Draheim, Winfried Neun, Dima Suliman) 14. Flexible Encoding of Mathematics on the Computer (Fairouz Kamareddine, Manuel Maarek, Joe Wells) 15. Formalizing Set Theory as It is Actually Used (Arnon Avron) 16. Improving Mizar Texts with Properties and Requirements (Adam Naumowicz, Czeslaw Bylinski) 17. Informalising Formal Mathematics: the latent semantics of the Mizar library (Paul Cairns) 18. Integrated semantic browsing of the Mizar Mathematical Library for authoring Mizar articles (Josef Urban, Grzegorz Bancerek) 19. Intuitive and Formal Representations: The Case of Matrices (Martin Pollet, Volker Sorge, Manfred Kerber) 20. Managing Heterogeneous Theories within a Mathematical Knowledge Repository (Adam Grabowski, Markus Moschner) 21. Mathematical Libraries as Proof Assistant Environments (Claudio Sacerdoti Coen) 22. Mathematical Service Matching Using Description Logic and OWL (Olga Caprotti, Mike Dewar, Daniele Turi) 23. Modeling Interactivity for Mathematics Learning by Demonstration (Miguel A. Mora, Roberto Moriyon, Francisco Saiz) 24. On diagrammatic representation of mathematical knowledge (Zenon Kulpa) 25. Predicate Logic with Sequence Variables and Sequence Function Symbols (Temur Kutsia, Bruno Buchberger) 26. Rough Concept Analysis -- Theory Development in Mizar (Adam Grabowski, Christoph Schwarzweller) 27. The Categorial Type of OpenMath Objects (Andreas Strotmann) 28. Theorem Proving and Proof Verification in the System SAD (Alexander Lyaletski, Andrey Paskevich, Konstantin Verchinine) RELATED LINKS MKM Consortium, http://monet.nag.co.uk/mkm/consortium.html MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/ MKM 2003, http://www.cs.unibo.it/MKM03/ MKM NET, http://monet.nag.co.uk/mkm/ 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 should be sent to Conference Chair: Roman Matuszewski, mailto:romat@mizar.org http://mizar.org/people/romat/
participants (1)
-
Roman Matuszewski