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

RISC-Linz Courses WS 1998/99

RISC-Linz logo

Number Title Lecturer Time Room

326.101

Logic I for Mathematicians and Computer Scientists B. Buchberger Fri 10:15-11:45 HS 10

326.103

Exercise for Logic I S. Stifter Fri 12:00-12:45 HS 3

326.201

Introduction to Computer Algebra F. Winkler Tue 17:00-18:30 HS 17

326.203

Exercise for Introduction to Computer Algebra F. Winkler Tue 15:30-16.15 K 153C

326.531

Logic Programming and PROLOG E. Blurock Wed 16:15-18:00 T 211

326.029

Project Engineering: Engineering-like Software Development H. Mayr Tue 10:00-11:30 J 311B

326.535

Knowledge-Based Engineering E. Blurock Wed 14:30-16:00 HS 14

326.429

Virtual Environments: Design and Modelling H. Mayr Tue 8:00-10:00 T 811

326.321

Design and Analysis of Algorithms H. Rolletschek Thu 8:00-10:00 K 009D

326.443

Geometric Modelling S. Stifter Wed 8:00-10:00 J 311B

326.225

Algorithmic Algebraic Geometry J. Schicho Wed 14:15-16:15 BA 9908

326.315

Decidable Logical Theories H. Rolletschek Thu 10:15-11:45 K 009D

326.260

Mathematical Education with DERIVE B. Kutzler to be agreed to be agreed

326.611

Fine-Grained Parallel Computing T. Jebelean Fri 10:00-12:00 T 112

326.623

Algorithms for Distributed Systems W. Schreiner Mon 8:30-10:00 T 811

326.511

Formal Specification of Abstract Data Types W. Schreiner Thu 16:30-18:00 HA 105

326.751

Literature Seminar Symbolic Computation I B. Buchberger and assistant to be agreed to be agreed

326.757

Programming Project Symbolic Computation I B. Buchberger and assistant to be agreed to be agreed

326.050

Lecture Series Symbolic Computation B. Buchberger , F. Winkler to be agreed to be agreed

326.010

Practical Proof Technique and Scientific Working in Symbolic Computation B. Buchberger Fri 13:00-14:30 HA 105

326.020

English for Diploma- and Doctoral Students Gregory Curtis to be agreed to be agreed

326.701

Seminar for Diploma- and Doctoral Students (Computer Algebra) B. Buchberger Mon 13:15-14.45 HA 105

326.703

Seminar for Diploma- and Doctoral Students (Symbolic Computation) F. Winkler to be agreed to be agreed

326.705

Seminar for Diploma- and Doctoral Students (Algebraic Geometry) S. Stifter to be agreed to be agreed

326.707

Seminar for Diploma- and Doctoral Students (Algorithm Theory) H. Rolletschek to be agreed to be agreed

326.709

Seminar for Diploma- and Doctoral Students (Algorithmic Combinatorics) P. Paule to be agreed to be agreed

326.813

Project Seminar(WS): Algorithms for CAD and Robot Programming S. Stifter Mon 15:15-16:45 HA 105

326.805

Project Seminar(WS): Computer Algebra F. Winkler Thu 14:30-16:00 HA 105

326.817

Project Seminar(WS): Expert Systems B. Buchberger , E. Blurock to be agreed to be agreed

326.807

Project Seminar(WS): Algorithmic Combinatorics P. Paule to be agreed to be agreed

326.823

Project Seminar(WS): Automatic Theorem Proving (Theorema Project) B. Buchberger , T. Jebelean to be agreed to be agreed

326.825

Project Seminar(WS): Geometry and Modelling B. Buchberger , H. Mayr to be agreed to be agreed

326.853

Project Seminar(WS): Proving and Solving over the Reals B. Buchberger , J. Schicho to be agreed to be agreed

326.857

Project Seminar(WS): Applications of Sheaf Theory B. Buchberger , J. Schicho to be agreed to be agreed

326.833

Project Seminar(WS): Parallel and Distributed Software and Algorithms B. Buchberger , W. Schreiner Wed 14:00-15:30 HA 105

Maintained by: The System Administration
Last Modification: February 3, 1999

[Up] [RISC-Linz] [University] [Search]