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

RISC-Linz Courses WS 2000/2001

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

Logic I for Mathematicians and Computer Scientists: Exercise S. Stifter Fri 12:00-12:45 HS 3

326.201

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

326.203

Introduction to Computer Algebra: Exercises F. Winkler Tue 15:30-16:15 K 153C

326.225

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

326.233

Computer Analysis P. Paule Wed 10:15-11.45 T 1010

326.246

Algorithmic Combinatorics P. Paule Wed 8:30-10:00 T 711

326.260

Mathematical Education with DERIVE and TI-89/92 B. Kutzler to be agreed to be agreed

326.267

Algebraic Coding Theory F. Winkler Tue 13:45-15:15 K 223B

326.315

Decidable Logical Theories H. Rolletschek Thu 10:15-11:45 K 123A

326.321

Design and Analysis of Algorithms H. Rolletschek Thu 8:15-9:45 K 009D

326.429

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

326.443

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

326.511

Formal Specification of Abstract Data Types W. Schreiner Thu 16:00-18:00 (Start: 9.11.) Hagenberg

326.531

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

326.535

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

326.575

Special Topics from Software Technology Werner Winiwarter Thu 15:15-16:45 T 111

326.579

Special Topics from Language Technology Werner Winiwarter Thu 16:45-18:15 T 111

326.602

Introduction to Parallel and Distributed Computing W. Schreiner Mon 8:00-10:00 (Start: 23.10.) T 811

326.010

Thinking, Speaking, Writing (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.022

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

326.029

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

326.050

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

326.751

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

326.757

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

326.701

Seminar for Diploma- and Doctoral Students (Symbolic Computation) B. Buchberger Mon 13:30-15:00 HA 105

326.703

Seminar for Diploma- and Doctoral Students (Computer Algebra) F. Winkler to be agreed to be agreed

326.705

Seminar for Diploma- and Doctoral Students (Algorithmic 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.711

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

326.719

Seminar for Diploma- and Doctoral Students Werner Winiwarter to be agreed to be agreed

326.805

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

326.807

Project Seminar (WS): 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-17:00 HA 105

326.817

Project Seminar (WS): Expert Systems F. Winkler , E. Blurock to be agreed to be agreed

326.823

Project Seminar (WS): Automated 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.833

Project Seminar (WS): Parallel and Distributed Software and Algorithms F. Winkler , W. Schreiner to be agreed to be agreed

326.853

Project Seminar (WS): Proving and Solving over the Reals F. Winkler to be agreed to be agreed

326.867

Project Seminar (WS): Language Technology 2 Werner Winiwarter to be agreed to be agreed


Maintainer: The System Administration
Last Modification: February 9, 2001

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