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

If not announced otherwise, all courses start in the week of March 5.


Number Title Lecturer Time Room

326.302

Survey Course on Symbolic Computation B. Buchberger , F. Winkler Thur 12:00-13:30 Start: 15.3. HS 13

326.102

Logic II for Mathematicians and Computer Scientists J. Schicho HS 416 Tue 13:00-14:30

326.118

Rewriting in Computer Science and Logic F. Winkler Tue 16:30-18:00 T 1010

326.122

Automatic Theorem Proving I T. Jebelean Thur 10:15-11:45 J 311 B

326.168

Intuitionism and Constructivism M. Baaz Fri 15.00-18.30, every two weeks T 1010

326.208

Advanced Computer Algebra F. Winkler Tue 14:45-16:15 T 211

326.256

Programming in MATHEMATICA W. Windsteiger to be agreed to be agreed

326.260

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

326.272

Elimination Theory D. Wang Blocked to be agreed

326.406

Geometric Foundations for Symbolic Computation S. Stifter Wed 8:00-10:00 HT 177 F

326.408

Geometric Foundations for Symbolic Computation (Exercise) S. Stifter to be agreed to be agreed

326.432

Virtual Environments: Visualization and Simulation H. Mayr Tue 8:00-10:00 T 711

326.506

Formal Specification and Verification H. Rolletschek to be agreed to be agreed

326.512

Functional Programming (LISP) E. Blurock Wed 16:30-18:00 BA 9908

326.514

Formal Semantics of Programming Languages W. Schreiner Thur 16:30-18:00 Hagenberg

326.611

Fine-Grained Parallel Computing T. Jebelean Fri 10:15-11:45 T 112

326.619

Formal Models for Parallel and Distributed Systems W. Schreiner Wed 16:30-18:00 Hagenberg

326.010

Thinking, Speaking, Writing (General Working Technique for Mathematicians and Computer Scientists) 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 2 for Diploma- and Doctoral Students Gregory Curtis to be agreed to be agreed

326.050

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

326.752

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

326.758

Programming Project Symbolic Computation II B. Buchberger and assistant, W. Schreiner to be agreed to be agreed

326.702

Seminar for Diploma- and Doctoral Students II (Symbolic Computation) B. Buchberger and assistant Mon 13.30-15.00 HA 105

326.704

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

326.708

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

326.712

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

326.806

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

326.808

Project Seminar (SS): Algorithmic Combinatorics P. Paule Fri 10:00-12:00 HA 105

326.818

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

326.824

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

326.826

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

326.834

Project Seminar (SS): Parallel and Distributed Software and Algorithms B. Buchberger , W. Schreiner Thur 13:00-14:30 Hagenberg

326.854

Project Seminar (SS): Proving and Solving over the Reals F. Winkler , J. Schicho to be agreed to be agreed

How to Announce New Courses

Maintainer: The System Administration
Last Modification: August 28, 2001

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