[Haskell] Call for Participation - MKM 2004 (Bialowieza, Poland)

Roman Matuszewski romat at mizar.org
Thu Jun 24 20:13:15 EDT 2004

Please post - apologies for multiple copies.

                         MKM 2004

             Third International Conference on


                  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.


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)


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 at mizar.org

More information about the Haskell mailing list