Location, Travel Participants Affiliated Workshops Pictures
Bisons in Bialowieza National Park
MKM 2004
Third International Conference on

MATHEMATICAL   KNOWLEDGE   MANAGEMENT
http://mizar.org/MKM2004

SEPTEMBER 19th - 21st, 2004
BIALOWIEZA - POLAND

MKM Conference Program (tentative)

Invited lecture, September 21, 9:00.
"Computability without numbers"

Andrzej Grzegorczyk, Institute of Philosophy and Sociology, Polish Academy of Sciences

Friday, September 17

15.00 - 21.00
Registration
20.00 Conference bus arrives (it leaves Warsaw Airport at 16:00)
20.30
Dinner

Saturday, September 18

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

We expect speakers to complete their talks 5 minutes earlier to allow a discussion.
Sunday, September 19

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
Coffee break
11.00 - 11.30 Integrated semantic browsing of the Mizar Mathematical Library for authoring Mizar articles
Grzegorz Bancerek, Josef Urban
11.30 - 12.00 C-CoRN, the Constructive Coq Repository at Nijmegen
Luis Cruz-Filipe, Herman Geuvers, Freek Wiedijk
12.00 - 12.30 Managing Heterogeneous Theories within a Mathematical Knowledge Repository
Adam Grabowski, Markus Moschner
Lunch
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
Coffee break
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
Concert in the orthodox church
University Choir of Bialystok
20.30
Dinner

Monday, September 20

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
Coffee break
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
Lunch
15.00 - 19.00
Primeval forest ramble
20.00
Banquet in hotel

Tuesday, September 21

9.00 - 10.00 Invited lecture "Computability without numbers"
Andrzej Grzegorczyk
Coffee break
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
Coffee break
12.00 - 12.30 Improving Mizar Texts with Properties and Requirements
Adam Naumowicz, Czeslaw Bylinski
12.30 - 13.00 A Graph-Based Approach towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert Constable
Lunch
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 Direct-Manipulation Editors for Mathematics
Luca Padovani, Riccardo Solmi
Coffee break
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
Business meeting
20.00
Bonfire

Wednesday, September 22

9.00
Conference bus departure (arriving in Warsaw at 13:00)

Breakfasts: 7:30 - 8:45.
Program Chair:
Andrzej Trybulec
University of Bialystok
Institute of Informatics
ul. Sosnowa 64
15-887 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
15-420 Bialystok, Poland
romat@mizar.org
Phone: + 48 85 745 75 10
Fax: + 48 85 745 74 78
mobile:+ 48-603-491-986
Organizing Committee
Adam Naumowicz (Univ. of Bialystok)
Mariusz Giero (Univ. of Bialystok)
Adam Grabowski (Univ. of Bialystok)
Magda Polubiec (Warsaw)
mobile: +48-602-133-431
Jan Matuszewski (Warsaw)
Robert Budzynski (Warsaw)
mobile: +48-602-646-432

Questions - should be sent to Roman Matuszewski

Sponsors:            

Location, Travel Participants Affiliated Workshops Pictures
Last modified: October 5, 2004