|
|
|
|
|
RISC-Linz Courses SS 97 |
|
Unless announced otherwise in the course information below, all courses start in the week beginning on March 10.
| Number | Title | Lecturer | Time | Room |
|
315.310 | Logic II for Mathematicians and Computer Scientists | J. Pfalzgraf | to be agreed | to be agreed |
|
315.320 | Survey Course on Symbolic Computation | B. Buchberger , F. Winkler | Thur 12:00-13:30 | HS13 |
|
315.088 | Advanced Computer Algebra | F. Winkler | Tue 14.45-16.15 | HS 12 |
|
315.089 | Analytic Combinatorics | P. Paule | Wed 8.00-10.00 | K 009D |
|
315.371 | Functional Programming (LISP) | E. Blurock | Wed 16.30-18.00 | HS 9 |
|
315.091 | Formal Specification and Verification | H. Rolletschek | Thu 8.00-10.00 | K 009D |
|
315.468 | Inductive Learning and Subsymbolic Reasoning | E. Blurock | Wed 14.45-16.15 | T 811 |
|
315.095 | Geometric Foundations for Symbolic Computation | S. Stifter | Tue 9.45-11.15 | K 009D |
|
315.519 | Exercise for Geometric Foundations for Symbolic Computation | S. Stifter | Tue 11.30-13.00 | to be agreed |
|
315.385 | Geometric Modelling | S. Stifter | Tue 11.30-13.00 | K 009D |
|
315.366 | Softautomation: Simulation and Programming | H. Mayr | Tue 8.00-9.30 | K 009D |
|
315.376 | Algorithmic Combinatorics | P. Paule | Wed 10.00-12.00 | K 009D |
|
315.352 | Automatic Theorem Proving B | T. Jebelean | Thu 10.00-12.00 | T 911 |
|
315.306 | Rewriting in Computer Science and Logic | F. Winkler | Tue 16.30-18.00 | T 1010 |
|
315.345 | Lambda-Calculus | H. Hong | Fri 8.00-10.00 | T 112 |
|
315.367 | Mathematical Education with DERIVE and the TI-92 | B. Kutzler | to be agreed | to be agreed |
|
315.452 | Elimination Theory | D. Wang | Blocked | to be agreed |
|
315.397 | Parallel Computation Laboratory | W. Schreiner | Mon 8.30-10.00 | T 212 |
|
315.391 | Compilation of Functional Languages for Parallel Execution | W. Schreiner | Thu 16.30-18.00 | T 711 |
|
315.375 | Parallel Algorithms for Symbolic Computation | H. Hong | Fri 10.00-12.00 | K 177F |
|
315.395 | Temporal Logic and Parallel Processes | M. Baaz | Fri 15.00-18.30, every two weeks | T 711 |
|
315.504 | Programming in Mathematica | W. Windsteiger | to be agreed | to be agreed |
|
315.330 | Programming Project Parallel Software II | B. Buchberger , H. Hong | to be agreed | to be agreed |
|
315.314 | Literature Seminar Symbolic Computation II | B. Buchberger and assistant | to be agreed | to be agreed |
|
315.313 | Programming Project Symbolic Computation II | B. Buchberger and assistant | to be agreed | to be agreed |
|
315.311 | Lecture Series Symbolic Computation | B. Buchberger , F. Winkler | to be agreed | to be agreed |
|
315.321 | Practical Proof Technique and Scientific Working in Symbolic Computation | B. Buchberger | Fri 13:00-14:30 | HA 105 |
|
315.527 | Symbolic-Numerical Methods for Computer-Aided Geometric Design | Tran Quoc Nam | to be agreed | to be agreed |
|
315.528 | Data-Structures and Paradigms in Computational Geometry | C. Van Geem | to be agreed | to be agreed |
|
315.465 | English for Diploma- and Doctoral Students | Gregory Curtis | to be agreed | to be agreed |
|
315.333 | Seminar for Diploma- and Doctoral Students II | B. Buchberger and assistant | Mon 13:00-15:15 | HA 105 |
|
315.388 | Seminar for Diploma- and Doctoral Students II | F. Winkler | to be agreed | to be agreed |
|
315.471 | Seminar for Diploma- and Doctoral Students II | S. Stifter | Mon 15:30-17:00 | HS 9 |
|
315.098 | Project Seminar (SS): Algorithms for CAD and Robot Programming | S. Stifter | Mon 15:30-17:00 | HS 9 |
|
315.099 | Project Seminar (SS): Parallel Algorithms and Software for Symbolic Computation | B. Buchberger , H. Hong | Mon 17:00-19:00 | HA 105 |
|
315.312 | Project Seminar (SS): Computer Algebra | F. Winkler | Thu 14:30-16:00 | HA 105 |
|
315.319 | Project Seminar (SS): Expert Systems | B. Buchberger , E. Blurock | to be agreed | to be agreed |
|
315.329 | Project Seminar (SS): Algorithmic Combinatorics | P. Paule | to be agreed | to be agreed |
|
315.327 | Project Seminar (SS): Symbolic Computation in Education | B. Buchberger , B. Kutzler , F. Lichtenberger | to be agreed | to be agreed |
|
315.363 | Project Seminar (SS): Geometry and Modelling | B. Buchberger , H. Mayr | to be agreed | to be agreed |