Courses: WS95-96
Name
Number
Time
Location
Logic I for Mathematicians and Computer Scientists
Bruno Buchberger
315.325
Fri 10:00-11:30
HS 10
Logic I (Lab exercises)
Sabine Stifter
315.369
Fri 11:30-12:15
HS 4
Commutative Algebra and Algebraic Geometry
Franz Winkler
315.301
Tue 16:30-18:00
T 1010
Practical Training in Problem Solving and Theorem Proving (Thinking - Speaking - Writing)
Bruno Buchberger
315.321
Fri 13:00-14:30
HA 105
Introduction to Computer Algebra
Franz Winkler
315.335
Tue 14:00-15:30
T 811
Introduction to Computer Algebra (Lab exercises)
Franz Winkler
315.309
Tue 15:30-16:15
T 811
Polynomial Factorization
George Collins
315.318
Thu 16:00-18:00
HA 105
Discrete Algorithmic Geometry
Sabine Stifter
315.354
Wed 8:00-10:00
T 811
Theory of Computation
Heinrich Rolletschek
315.342
Thu 8:00-10:00
K 009D
Automated Theorem Proving in Nonclassical Logic Systems
Mathias Baaz
315.500
Fri 15:00-18:30 (bi-weekly)
T 211
Algebraic Constraint Solving
Hoon Hong
315.316
Fri 8:00-10:00
J 314B
Algebraic Specification
Franz Lichtenberger
315.399
Thu 10:15-11:45
K 009D
Program Transformation and Synthesis
Hans-Wolfgang Loidl
315.323
in December
Structure of Programming Languages I (Denotational Semantics)
Wolfgang Schreiner
315.505
Thu 15.30-17.00
K 009D
Logic Programming: Prolog
Edward Blurock
315.332
Wed 16:15-18:00
T 211
Software Systems for Computer Algebra and Computational Geometry
Edward Blurock
315.308
t.b.a.
Softautomation: Design and Modeling
Herwig Mayr
315.448
Tue 8:00-10:00
T 811
Symbolic and Numerical Methods in Dynamics
Wolfgang Hirschberg
315.448
Fri 15:00-18:30 (bi-weekly)
T 211
Introduction to Knowledge Based Systems
Edward Blurock
315.373
Tue 12:00-13:30
T 811
Rule Based Systems
Herwig Mayr
315.374
Tue 10:15-11:45
T 811
Introduction to Parallel Computation
Wolfgang Schreiner
315.394
Mon 8:30-10:00
T 811
Systolic Algorithms in Computer Algebra
Tudor Jebelean
315.377
Fri 10:00-12:00
KG 712
Computational Category Theory (wit ML)
Joachim Pfalzgraf
315.350
t.b.a.
Teaching Mathematics with DERIVE and the TI-92
Bernhard Kutzler
315.367
t.b.a.
Additionaly there is a list of
seminars
offered at RISC available.
Maintained by:
Franz Lichtenberger
at
RISC-Linz