- An Introduction to Bass-Serre Theory
(Departamento de Matemáticas,
Universidad de Chile, Santiago/Chile)
- Calculo IV (vector analysis and ordinary differential equations)
- Seminar and Colloquium Talks
(Departamento de Matemáticas y Computación,
Universidad de Talca, Talca/Chile)
- Topological Groups
- Mathematics for Natural Scientists
- Mathematics for Biologists
- Introduction to the Theory of Fiber Bundles
(a special short course)
- Mathematical Methods in Robotics
- Working Group with Physicists
(geometry of manifolds, fiber bundles, Lie groups, homogeneous spaces)
(Department of Mathematics, University of Saarbrücken, Germany)
- Logic II for Mathematicians and Computer Scientists
- Categories, Fiberings, Sheaves, and Topoi
- Artificial Neural Networks (ANN)
- Computational Category Theory (with ML)
- Seminars with the Applied and Computational Category Theory
(ACCAT) Group
on ACCAT and Related Topics
(like, among others, sheaves in geometry and logic)
- Seminars with the ANN Group
- Summer Semester 2004 as Guest Professor: ACCAT Course
(RISC-Linz, University of Linz, Austria)
- Selected Topics in Theoretical Computer Science
(incl. selected topics from mathematical methods in robotics).
- Formal Systems (introductory course, 2nd Semester).
- Formal Systems (continued).
- Knowledge Based Systems (introductory course).
- Knowledge Based Systems (continued).
- Applied and Computational Category Theory (ACCAT),
(and implementational aspects).
- Artificial Neural Networks (ANN, introductory course).
- Multiagent Systems (MAS) and Cooperating Robots.
- Formal Systems ("Formale Systeme",
1st Semester Course, since 2008/09).
- Seminars on Multi-Agent Systems (MAS), Robotics.
- Seminars on Artificial Neural Networks (ANN).
- Seminars for Undergraduates (selected topics).
- Seminars for Graduates (selected topics).
- Special Seminars for Diploma and PhD Students.
Applied and Computational Category Theory (ACCAT):
Cf. Information and general comments:
Remarks on ACCAT.
- ACCAT Tutorial held for a working group of Prof.Wilfried Brauer
at TU Munich, September 1997.
- ACCAT Course and recent trends in interdisciplinary cooperation events.
(Guest Lecturer at
RISC-Linz, U of Linz, Summer Semester 2004).
- ACCAT Tutorial at the conference KI-2004, Sept. 2004, Univ. Ulm,
ACCAT - Tutorial.
- In Preparation (and Intended Courses):
Course on Artificial Intelligence.
Course on Computer Algebra (CA) for Engineers.
Course on Mathematical Logic.
Artificial Neural Networks (continued).
Algorithms for Bioinformatics.
Formal Systems [continued], (emphasis on Algebraic Structures,
CA demos integrated).
Knowledge Based Systems [continued],
(emphasis on MAS and Logical Fiberings, Simulations).
Course on Robotics (Kinematics: mathematical methods, CA applications,
ANN approach; Singularities: CA, geometric and topological methods).
Course on Soft Computing.
Course on Information Retrieval.
Course on Graphs, Networks and Algorithms.
Course on Production Planning (e.g. selected Job-Shop problems).
Introduction to Noncommutative Geometry (NCG),
Automated Deduction in NCG (with hard computer applications).
ACCAT and NCG with applications to Neural Network Structure Modeling,
Homomorphic Learning (aspects of a new theory of learning).
(Department of Computer Sciences, University of Salzburg
- since Winter Semester 1996)