Pictures and more.

Springer LNCS 3119 is now available online.

Conference:
Mathematical Knowledge Management 2004

  1. Andrew Adams, School od Systems Engineering, The University of Reading Whiteknights, Reading RG6 6AY, UK
  2. Andrea Asperti, Dipartimento di Scienze dell'Informazione, Universita' degli Studi di Bologna, Bologna, Italy
  3. Arnon Avron, School of Computer Science, Tel-Aviv University, Tel Aviv 69978, Israel
  4. Grzegorz Bancerek, Faculty of Computer Science, Bialystok Technical University, Bialystok, Poland
  5. Christoph Benzmueller, Computer Science Department, Saarland University, D-66041 Saarbrücken, Germany
  6. Robert Budzyñski, Warsaw, Poland
  7. Czes³aw Byliñski, University of Bialystok, ul. Sk³odowskiej 14, 15-097 Bia³ystok, Poland
  8. Paul Cairns, UCL Interaction Centre, University College London, Remax House, 31-32 Alfred Place, London WC1E 7DP, UK
  9. James Davenport, University of Bath, UK
  10. Dirk Draheim, Institute of Computer Science, Freie Universitat Berlin, Takustrasse 9, D-14195 Berlin, Germany
  11. Roy Dyckhoff, University of St Andrews, School of Computer Science, North Haugh St Andrews Fife, Scotland
  12. Mitsushi Fujimoto, Fukuoka University of Education, 729-1, Akamabunkyo-machi, Munakata, Fukuoka 811-4192, Japan
  13. Herman Geuvers, NIII Faculty NWI, Radboud University, Nijmegen, NL
  14. Mariusz Giero, Department of Logic, University of Bialystok, Plac Uniwersytecki 1, 15-420 Bialystok, Poland
  15. Adam Grabowski, University of Bia³ystok, Institute of Mathematics, Akademicka 2, 15-267 Bia³ystok, Poland
  16. Barbara Grabowski, Hochschule für Technik und Wirtschaft des Saarlandes HTWdS (University of applied sciences), Department GIS, Goebenstraße 40, D-66117 Saarbrücken, Germany
  17. Andrzej Grzegorczyk, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland
  18. Susanne Gäng, Hochschule für Technik und Wirtschaft des Saarlandes HTWdS (University of applied sciences) department: GIS Goebenstraße 40, D-66117 Saarbrücken, Germany
  19. Joris van der Hoeven, Universite Paris-Sud, 91405 Orsay Cedex, Paris, France
  20. Gueorgui Jojgov, Technische Universiteit Eindhoven, Den Dolech 2, Postbus 513 5600MB, Eindhoven, The Netherlands
  21. Fairouz Kamareddine, ULTRA Group, Heriot-Watt University, School of Math. and C.S., Riccarton, Edinburgh EH14 4AS, Scotland, UK
  22. Toshihiro Kanahori, Research Center on Educational Media, Tsukuba College of Technology, 4-12 Kasuga, Tsukuba-shi, Ibaraki, 305-0821 Japan
  23. Manfred Kerber, Computer Science, The University of Birmingham, Birmingham B15 2TT, England, UK
  24. Andrea Kohlhase, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh Pa, USA
  25. Michael Kohlhase, International Univerisity Bremen, Campus Ring 12, D-28759 Bremen, Germany
  26. Zenon Kulpa, Institute of Fundamental Technological Research, ul. Swietokrzyska 21, 00-049 Warsaw, Poland
  27. Teimuraz Kutsia, RISC, Johannes Kepler University Linz, A-4232 Schloss Hagenberg, Austria
  28. Lori Lorigo, Cornell University, 4130 Upson Hall, Ithaca, NY 14850, USA
  29. Manuel Maarek, ULTRA Group, Heriot-Watt University School of Math. and C.S., Riccarton, Edinburgh EH14 4AS, Scotland, UK
  30. Lionel Mamane, Faculty of Science, Mathematics and Computing Science, University of Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands
  31. Roman Matuszewski, University of Bialystok, Department of Logic, Plac Uniwersytecki 1, 15-420 Bia³ystok, Poland
  32. Erica Melis, German Research Center for Artificial Intelligence, Saarbrucken, Germany
  33. Robert Milewski, University of Bialystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  34. Takashi Mitsuishi, Miyagi University, 1 Gakuen, Taiwa-cho, Kurokawa-gun, Miyagi, Japan
  35. Markus Moschner, Department of Statistics and D.S.S., University of Vienna, Vienna, Austria
  36. Koji Nakagawa, Faculty of Mathematics, Kyushu Univ., Hakozaki 6-10-1, Higashi-ku, Fukuoka-shi, 812-8581 Japan
  37. Adam Naumowicz, University of Bialystok, Institute of Computer Science, Bialystok, Poland
  38. Winfried Neun, ZIB, Takustrasse 7, 14195 Berlin, Germany
  39. Bengt Nordstrom, Dept of Computing Science, Chalmers University of Technology, S-412 96 Goteborg, Sweden
  40. Luca Padovani, Department of Computer Science, University of Bologna, Mura Anteo Zamboni, 7 40127 Bologna, Italy
  41. Andrei Paskevich, Kiev University, Ukraine
  42. Florina Piroi, RISC, Hagenberg, Austria
  43. Krzysztof Retel, University of Bia³ystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  44. Renaud Rioboo, LIP6, 8 rue du captaine Scott, F-75015 Paris, France
  45. Anna Rybak, University of Bia³ystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  46. Claudio Sacerdoti Coen, INRIA, Futurs Parc Club Orsay, Universite' 4, rue Jacques Monod, 91893 Orsay Cedex, France
  47. Francisco Saiz, Universidad Autonoma de Madrid, Spain
  48. Christoph Schwarzweller, Department for Computer Science, University of Gdansk, ul. Wita Stwosza 57, 80-952 Gdansk, Poland
  49. Yasunari Shidama, Shinshu University, Nagano, Japan
  50. Clare M. So, Ontario Research Centre for Computer Algebra, Department of Computer Science, University of Western Ontario, London, Ontario, N6A 5B7 Canada
  51. Andreas Strotmann, Universitaet zu Koeln, ZAIK/RRZK, Robert-Koch-Str. 10, D-50931 Koeln, Germany
  52. Dima Suliman, ZIB, Takustrasse 7, 14195 Berlin, Germany
  53. Masakazu Suzuki, Faculty of Mathematics, Kyushu University, Hakozaki 6-10-1, Higashi-ku, Fukuoka, 812-8581 Japan
  54. Andrzej Trybulec, University of Bialystok, Institute of Informatics, ul. Sosnowa 64, 15-887 Bia³ystok, Poland
  55. Josef Urban, Department of Theoretical Computer Science, Faculty of Mathematics and Physics, Charles University, Malostranske namesti 25, 118 00 Praha 1, Czech Republic
  56. Stephen Watt, Ontario Research Centre for Computer Algebra, Department of Computer Science, University of Western Ontario, London, Ontario, N6A 5B7 Canada
  57. Shin'nosuke Yamaguchi, Faculty of Computer Science and System Engineering, Kyushu Institute of Technology, Kyushu, Japan
  58. Anna Zalewska, University of Bia³ystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  59. Katarzyna Zbieæ, University of Bia³ystok, Department of Logic, Plac Uniwersytecki 1, 15-420 Bia³ystok, Poland

Workshop:
Mathematical User-Interfaces

  1. Andrew Adams, School of Systems Engineering, The University of Reading, Whiteknights, Reading RG6 6AY, UK
  2. Christoph Benzmueller, Computer Science Department, Saarland University, D-66041 Saarbrücken, Germany
  3. Paul Cairns, UCL Interaction Centre, University College London, Remax House, 31-32 Alfred Place, London WC1E 7DP, UK
  4. Mike Dewar, NAG Ltd, Wilkinson House, Jordan Hill Rd, Oxford OX2 8DR, United Kingdom
  5. Roy Dyckhoff, University of St Andrews, School of Computer Science, North Haugh St Andrews Fife, Scotland
  6. Mitsushi Fujimoto, Fukuoka University of Education, 729-1, Akamabunkyo-machi, Munakata, Fukuoka 811-4192, Japan
  7. Herman Geuvers, NIII Faculty NWI, Radboud University, Nijmegen, NL
  8. Barbara Grabowski, Hochschule für Technik und Wirtschaft des Saarlandes HTWdS (University of applied sciences), Department GIS, Goebenstraße 40, D-66117 Saarbrücken, Germany
  9. Susanne Gäng, Hochschule für Technik und Wirtschaft des Saarlandes HTWdS (University of applied sciences) department: GIS Goebenstraße 40, D-66117 Saarbrücken, Germany
  10. Joris van der Hoeven, Universite Paris-Sud, 91405 Orsay Cedex, Paris, France
  11. Toshihiro Kanahori, Research Center on Educational Media, Tsukuba College of Technology, 4-12 Kasuga, Tsukuba-shi, Ibaraki, 305-0821 Japan
  12. Andrea Kohlhase, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh Pa, USA
  13. Michael Kohlhase, International Univerisity Bremen, Campus Ring 12, D-28759 Bremen, Germany
  14. Ulrich Kortenkamp, Technische Universität Berlin, Insitute for Mathematics, Straße des 17. Juni 136, 10623 Berlin, Germany
  15. Paul Libbrecht, DFKI GmbH, Stuhlsatzenhausweg 3, 66123 Saarbrücken, Germany
  16. Lori Lorigo, Cornell University, 4130 Upson Hall, Ithaca, NY 14850, USA
  17. Manuel Maarek, ULTRA Group, Heriot-Watt University School of Math. and C.S., Riccarton, Edinburgh EH14 4AS, Scotland, UK
  18. Rob MacInnis, Department of Computer Science, North Haugh, St Andrews KY16 9SS, Scotland
  19. Lionel Mamane, Faculty of Science, Mathematics and Computing Science University of Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands
  20. Dirk Materlik, TU Berlin, Institute for Mathematics, Str. des 17. Juni, 136 10623 Berlin, Germany
  21. Koji Nakagawa, Faculty of Mathematics, Kyushu Univ., Hakozaki 6-10-1, Higashi-ku, Fukuoka-shi, 812-8581 Japan
  22. Luca Padovani, Department of Computer Science, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy
  23. Florina Piroi, RISC, Hagenberg, Austria
  24. Renaud Rioboo, LIP6, 8 rue du captaine Scott, F-75015 Paris, France
  25. Claudio Sacerdoti Coen, INRIA, Futurs Parc Club Orsay Universite', 4 rue Jacques Monod, 91893 Orsay Cedex, France
  26. Masakazu Suzuki, Faculty of Mathematics, Kyushu University, Hakozaki 6-10-1, Higashi-ku, Fukuoka, 812-8581 Japan

Workshop:
30 Years of Mizar

  1. Grzegorz Bancerek, Faculty of Computer Science, Bialystok Technical University, Bialystok, Poland
  2. Christoph Benzmueller, Computer Science Department, Saarland University, D-66041 Saarbrücken, Germany
  3. Czes³aw Byliñski, University of Bia³ystok, ul. Sk³odowskiej 14, 15-097 Bia³ystok, Poland
  4. Paul Cairns, UCL Interaction Centre, University College London, Remax House, 31-32 Alfred Place, London WC1E 7DP, UK
  5. Monika Gaczynska, Warsaw, Poland
  6. Mariusz Giero, Department of Logic, University of Bialystok, Plac Uniwersytecki 1, 15-420 Bialystok, Poland
  7. Adam Grabowski, University of Bia³ystok, Institute of Mathematics, Akademicka 2, 15-267 Bia³ystok, Poland
  8. Magdalena Jastrzêbska, University of Bialystok, Institute of Mathematics, Akademicka 2, 15-267 Bialystok, Poland
  9. Fairouz Kamareddine, ULTRA Group, Heriot-Watt University School of Math. and C.S., Riccarton, Edinburgh EH14 4AS, Scotland, UK
  10. Michael Kohlhase, International Univerisity Bremen, Campus Ring 12, D-28759 Bremen, Germany
  11. Artur Kuzyka, Faculty of Computer Science, Bialystok Technical University, Bialystok, Poland
  12. Roman Matuszewski, University of Bia³ystok, Department of Logic, Plac Uniwesytecki 1, 15-420 Bia³ystok, Poland
  13. Robert Milewski, University of Bialystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  14. Takashi Mitsuishi, Miyagi University 1 Gakuen, Taiwa-cho, Kurokawa-gun, Miyagi, Japan
  15. Markus Moschner, Department of Statistics and D.S.S., University of Vienna, Vienna, Austria
  16. Koji Nakagawa, Faculty of Mathematics, Kyushu Univ., Hakozaki 6-10-1, Higashi-ku, Fukuoka-shi, 812-8581 Japan
  17. Adam Naumowicz, University of Bialystok, Institute of Computer Science, Bialystok, Poland
  18. Krzysztof Retel, University of Bia³ystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  19. Anna Rybak, University of Bia³ystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  20. Claudio Sacerdoti Coen, INRIA, Futurs Parc Club Orsay Universite', 4 rue Jacques Monod, 91893 Orsay Cedex, France
  21. Christoph Schwarzweller, Department for Computer Science, University of Gdansk, ul. Wita Stwosza 57, 80-952 Gdansk, Poland
  22. Yasunari Shidama, Shinshu University, Nagano, Japan
  23. Zenon Sosnowski, Faculty of Computer Science, Bialystok Technical University, Bialystok, Poland
  24. Masakazu Suzuki, Faculty of Mathematics, Kyushu University, Hakozaki 6-10-1, Higashi-ku, Fukuoka, 812-8581 Japan
  25. Andrzej Trybulec, University of Bia³ystok, Institute of Informatics, ul. Sosnowa 64, 15-887 Bia³ystok, Poland
  26. Josef Urban, Department of Theoretical Computer Science, Faculty of Mathematics and Physics Charles University, Malostranske namesti 25, 118 00 Praha 1, Czech Republic
  27. Krzysztof Wojszko, Faculty of Computer Science, Bialystok Technical University, Bialystok, Poland
  28. Shin'nosuke Yamaguchi, Faculty of Computer Science and System Engineering, Kyushu Institute of Technology, Kyushu, Japan
  29. Anna Zalewska, University of Bia³ystok, Institute of Informatics, Sosnowa 64, 15-887 Bia³ystok, Poland
  30. Katarzyna Zbieæ, University of Bia³ystok, Department of Logic, Plac Uniwersytecki 1, 15-420 Bia³ystok, Poland
Pictures and more.

Questions - should be sent to Roman Matuszewski


Tomasz Rybak, last modified: September 7, 2004.