RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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

RISC SWP Linz Austria World About TOC