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

RISC-Linz Courses SS 2000

RISC-Linz logo

Number Title Lecturer Time Room

326.913

Mathematik 1 (Analysis) [früher Mathematik für Informatiker III] P. Paule Mon 8:30-10:00, Wed 9:15-10:00 HS 15, HS 9

326.923

Mathematik 1 (Analysis) Übung [früher Mathematik für Informatiker III] W. Windsteiger Wed 8:15-9:00 HS 9

326.952

Algorithms and Data Structures F. Lichtenberger , P. Kulczycki Tue 13:00-14:30 Wed 16:15-17:45 HS 4, HS 12

326.102

Logic II for Mathematicians and Computer Scientists J. Schicho Tue 10:15-11:45 T 416

326.002

Survey Course on Symbolic Computation F. Winkler Thu 12:00-13:30 HS 13

326.156

The Generalization of Proofs and Calculations M. Baaz Fri 15:00-18:00 T 1010

326.208

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

326.218

Commutative Algebra and Algebraic Geometry F. Winkler Tue 16:30-18:00 T 211

326.256

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

326.260

Computer Algebra Systems (DERIVE, TI 89/92) as Tools for Mathematical Education B. Kutzler to be agreed to be agreed

326.272

Elimination Theory D. Wang Blocked to be agreed

326.306

Decidability- and Complexity Classes H. Rolletschek Thur 10:15-11:45 K 223 B

326.406

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

326.408

Geometric Foundations for Symbolic Computation (exercises) 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 Thur 8:00-10:00 K 009 D

326.512

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

326.517

Formal Semantics of Type and Module Systems W. Schreiner Thu 16:30-18:00 KG 712

326.616

Parallel Algorithms in Symbolic Computation T. Jebelean Fri 10:15-11:45 K 123 A

326.623

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

326.558

Recent Trends in Computer Architectures P. Kacsuk Blocked  

326.658

Parallel Software Engineering P. Kacsuk Blocked  

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 II for Diploma- and Doctoral Students Gregory Curtis to be agreed to be agreed

326.050

Lecture Series Symbolic Computation F. Winkler to be agreed to be agreed

326.702

Seminar for Diploma- and Doctoral Students II (Symbolic Computation) B. Buchberger 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.706

Seminar for Diploma- and Doctoral Students II (Algorithmic Geometry) S. Stifter 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.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 to be agreed to be agreed

326.806

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

326.808

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

326.814

Project Seminar (SS): Algorithms for CAD and Robot Programming S. Stifter Mon 15:15-17:00 HA 105

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

Projektseminar (SS) Parallel and Distributed Software and Algorithms B. Buchberger , W. Schreiner Thu 13:00-14:30 HA 105

326.854

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

326.858

Project Seminar (SS): Applications of Sheaf Theory B. Buchberger , J. Schicho to be agreed to be agreed
How to Announce New Courses

Exams (Klausuren)

Formale Grundlagen der Informatik 1
Die nächste Klausur findet am 20.3.2000 statt.
Theoretische Informatik
Die zweite Klausur zur Vorlesung "Theoretische Informatik" (WS 99/00) findet am Samstag dem 6.5.2000 in der Zeit 9.30 - 11.00 im HS 2 (HT182E) statt. Die Klausur ist ohne irgendwelche Unterlagen zu schreiben. Die Teilnehmer an der Klausur haben sich durch ihren Studentenausweis auszuweisen.

Maintainer: The System Administration
Last Modification: July 6, 2000

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