Location, Travel  Participants  Affiliated Workshops  Pictures 
MKM 2004 Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://mizar.org/MKM2004 SEPTEMBER 19th  21st, 2004 BIALOWIEZA  POLAND 
15.00  21.00  
20.00  Conference bus arrives (it leaves Warsaw Airport at 16:00) 
20.30 
Affiliated Workshops start at 9:00  
20.00  Registration  conference bus arrives (it leaves Warsaw Airport at 16:00)  
20.30  "Celebrating Mizar at 30"  welcome reception and dinner at the conference hotel 
9.00  9.10 
Opening of the Conference
Rector of the University of Białystok 
9.10  9.40 
Flexible Encoding of Mathematics on the Computer
Fairouz Kamareddine, Manuel Maarek, Joe Wells 
9.40  10.10 
An Environment for Building Mathematical Knowledge Libraries
Florina Piroi, Bruno Buchberger 
10.10  10.40 
A Path to Faithful Formalizations of Mathematics
Gueorgui Jojgov, Rob Nederpelt 
11.00  11.30 
Integrated semantic browsing of the Mizar Mathematical
Library for authoring Mizar articles
Grzegorz Bancerek, Josef Urban 
11.30  12.00 
CCoRN, the Constructive Coq Repository at Nijmegen
Luis CruzFilipe, Herman Geuvers, Freek Wiedijk 
12.00  12.30 
Managing Heterogeneous Theories within a Mathematical
Knowledge Repository
Adam Grabowski, Markus Moschner 
14.30  15.00 
Mathematical Libraries as Proof Assistant Environments
Claudio Sacerdoti Coen 
15.00  15.30 
On diagrammatic representation of mathematical knowledge
Zenon Kulpa 
15.30  16.00 
Intuitive and Formal Representations: The Case of Matrices
Martin Pollet, Volker Sorge, Manfred Kerber 
16.30  17.00 
The Categorial Type of OpenMath Objects
Andreas Strotmann 
17.00  17.30 
Mathematical Service Matching Using Description Logic and OWL
Olga Caprotti, Mike Dewar, Daniele Turi 
17.30  18.00 
Adaptive Access to a Proof Planner
Erica Melis, Andreas Meier, Martin Pollet 
18.30  Start from hotel to concert 
18.45  19.45 
University Choir of Bialystok 
20.30 
9.00  9.30 
Extraction of Logical Structure from Articles in Mathematics
Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki 
9.30  10.00 
Modeling Interactivity for Mathematics Learning by Demonstration
Miguel A. Mora, Roberto Moriyon, Francisco Saiz 
10.00  10.30 
Predicate Logic with Sequence Variables and Sequence
Function Symbols
Temur Kutsia, Bruno Buchberger 
11.00  11.30 
Copyright Issues for MKM
Andrew Adams, James Davenport 
11.30  12.00 
Classifying Differential Equations on the Web
Dirk Draheim, Winfried Neun, Dima Suliman 
12.00  12.30 
Efficient Ambiguous Parsing of Mathematical Formulae
Claudio Sacerdoti Coen, Stefano Zacchiroli 
15.00  19.00  
20.00 
9.00  10.00 
Invited lecture "Computability without numbers"
Andrzej Grzegorczyk 
10.30  11.00 
Formalizing Set Theory as It is Actually Used
Arnon Avron 
11.00  11.30 
Informalising Formal Mathematics: Searching the Mizar Library
Paul Cairns 
12.00  12.30 
Improving Mizar Texts with Properties and Requirements
Adam Naumowicz, Czeslaw Bylinski 
12.30  13.00 
A GraphBased Approach towards Discerning Inherent Structures
in a Digital Library of Formal Mathematics
Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert Constable 
14.30  15.00 
Rough Concept Analysis  Theory Development in the Mizar System
Adam Grabowski, Christoph Schwarzweller 
15.00  15.30 
CPoint: Dissolving the Author's Dilemma
Andrea Kohlhase, Michael Kohlhase 
15.30  16.00 
An Investigation on the Dynamics of DirectManipulation Editors
for Mathematics
Luca Padovani, Riccardo Solmi 
16.30  17.00 
Efficient Retrieval of Mathematical Statements
Andrea Asperti, Matteo Selmi 
17.00  17.30 
An Architecture for Distributed Mathematical Web Services
Elena Smirnova, Clare So, Stephen Watt 
17.30  18.00 
Theorem Proving and Proof Verification in the System SAD
Alexander Lyaletski, Andrey Paskevich, Konstantin Verchinine 
18.30  19.30 

20.00 

9.00 
Program Chair: Andrzej Trybulec University of Bialystok Institute of Informatics ul. Sosnowa 64 15887 Bialystok, Poland trybulec@math.uwb.edu.pl Phone: + 48 85 745 75 59 Fax: + 48 85 745 70 73 
Conference Chair: Roman Matuszewski University of Bialystok Department of Logic Plac Uniwersytecki 1 15420 Bialystok, Poland romat@mizar.org Phone: + 48 85 745 75 10 Fax: + 48 85 745 74 78 mobile:+ 48603491986 
Organizing Committee Adam Naumowicz (Univ. of Bialystok) Mariusz Giero (Univ. of Bialystok) Adam Grabowski (Univ. of Bialystok) Magda Polubiec (Warsaw) mobile: +48602133431 Jan Matuszewski (Warsaw) Robert Budzynski (Warsaw) mobile: +48602646432 
Questions  should be sent to Roman Matuszewski 
Sponsors: 
Location, Travel  Participants  Affiliated Workshops  Pictures 