Rob Kremer Formal Methods / System Design / Concept Mapping / CSCW / Software Engineering Assistant Professor Dept. of Computer Science University of Calgary  2500 University Drive NW  Calgary, Alberta T2N 1N4  CANADA
Phone: +1 403-220-7299 or 220-5115 or 247-1660 FAX: +1 403 284-4707 Email: kremer@cpsc.ucalgary.ca My cv is available in postscript or html.

Courses, etc

• CPSC 451: Practical Software Engineering
• CPSC 547: Advanced Information Systems
• SENG 609.03: Object Theory
• SENG 609.04: Design Patterns
• potential MSc topics
• tutorials:
• Concept Maps
• Java and HotJava
• Programming Patterns
• STL (C++ Standard Template Library)

Current Work

• A slide show about current research
• A Z Specification of CLASSIC (Work in progress)
• A variation on the Dexter Hypertext Reference Model Z specification (Work in progress)
• A Z specification for Typed Graphs and also a Z specification for the syntax of KDraw (a graphical form of the CLASSIC knowledge representation language) which has been generated by an implementation of the Typed Graphs system. (Work in progress)
• CMap: KSI's Concept Mapping interface library. (Work in progress)
• KSI software index

Papers

• "Visual Languages for Knowledge Representation" (KAW'98) (submission)
• "Constraint Graphs: A Concept Map Meta-Language" (PhD dissertation)
• "Modeling using Model-ECG and Constraint Graphs" ICCS'97
• "A Concept Mapping Tool to Emulate Multiple Knowledge Representation Formalisms" (AAAI Spring Symposium, Artificial Intelligence in Knowledge Management Stanford, University, March 24-26, 1997)
• "Multi-user Interactive Concept Maps for the Learning Web" (ED-MEDIA'97)
• "Toward a Multi-User, Programmable Web Concept Mapping "Shell" to Handle Multiple Formalisms" (KAW'96)
• "A Demonstration of KSIMapper and Constraint Graphs" (KAW'96)
• "Embedded Interactive Concept Maps in Web Documents" (WebNet'96) (also see the corresponding slide show)
• "The Design of a Concept Mapping Environment for Knowledge Acquisition and Knowledge Representation" (KAW'95)
• "Groupware Concept Mapping Techniques" (SIGDOC'94)
• "Concept Mapping: Informal to Formal" (ICCS'94)
• A Concept Map Based Approach to the Shared Workspace. (MSc Thesis, 1993)
• "Experience in Applying KRS to Actual Bussiness Problem" (KAW'91)

Home Pages

• University of Calgary Home Page
• U of C Computer Science Home Page
• KSI (Knowledge Science Institute) Home Page
• KAW home page
• NCSA Mosaic Home Page

Current Conferences

• KAW'98: CFP, submissions so far, and my paper, "Visual Languages for Knowledge Representation"

Knowledge Acquisition/Representation

• ARPA Knowledge Sharing Effort public library
• KQML
• KSI Concept Maps on Tiger

CSCW/HCI

• BSCW from GMD
• Some CSCW Stuff
• The Journal of Computer-Mediated Communication
• Index of HCI-related material in the Web

Formal Methods

• ORA Canada (Z,EVES)
• ZTC: a free Z type checker to FTP (Linux, Solaris, DOS...)

Concept Maps

• Computer Aided Thinking, Ir. Aw Kong Koy

Conceptual Graphs

• Conceptual Structures Electronic Information Corridor
• Conceptual Graphs FAQ
• Peirce (tool for conceptual graphs)
• Conceptual Graphs list server archives (FTP)

Programming Languages

• Programming Patterns: a tutorial on programming patterns based on Gamma et al, Design Patterns: Elements of Reusable Object-Oriented Software and Pree, Design Patterns for Object-Oriented Software
• ML algorithms advisor
• WWW-related languages
• Java
• Java Script
• Netscape Plugins
• C++
• ANSI C++ Standard
• C++ Standard Template Library
• Visual languages notes

Library Services

• Library Resources for Computer Science
• UofC Library
• UofC CLAVIS Catalogue (or by telnet)
• Document Delivery Services
• the journal Theoretical Computer Science (TCS)
• Artificial Intelligence

Net Stuff

• Smart Ideas
• Some WWW stuff
• MMWWWPC: a tool for working with ToolBook and Mosaic
• Lee Chen's chronological listings of WWW sites
• Web-Groupware: TCBWorks
• RTF to HTML User's Guide

Interesting Software Archives

• Oakland MSWindows FTP site
• Borland
• wustl archive
• sumex archive
• Linux sunsite mirror
• Moo-Tiff from InfoMagic

Other Stuff

• MRC Amodeus Project
• kid's page
• CBC Radio and CBC daily voice news
• Croquet

"The bringing together of theory and practice leads to the most favourable results. Not only does practice benefit, but sciences themselves develop under the influence of practice, which reveals new subjects for investigation and new aspects of familiar subjects."

P.L. Chebyshev