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

RISC-Linz Courses WS 1999

RISC-Linz logo

Number Title Lecturer Time Room

326.931

Formale Grundlagen der Informatik 1 W. Schreiner Tue 8:15-9:45 HS 12

326.943

Theoretische Informatik F. Winkler Fr 12:00-13:30 HS 10

326.101

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

326.103

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

326.123

Automated Theorem Proving II T. Jebelean Thu 10:00-12:00 HA 105

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.241

Homological Algebra Günter Landsmann Mon 16:15-17:45 T 212

326.260

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

326.303

Computability Theory H. Rolletschek Thu 8:00-10:00 BA 9908

326.413

Discrete Algorithmic Geometry S. Stifter Thu 10:15-11:45 HS 9

326.429

Virtual Automation Environments: Design, Modeling, Visualization H. Mayr Tue 8:00-10:00 T 811

326.531

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

326.619

Formal Models for Parallel and Distributed Systems W. Schreiner Mon 8:30-10:00 T 711

326.010

Thinking, Speaking, Writing (Scientific Working in Symbolic Computation) B. Buchberger Fri 13:00-15:00 HA 105

326.020

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

326.029

Software Project Engineering 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 I (Symbolic Computation) B. Buchberger Mon 13:00-15:00 HA 105

326.703

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

326.705

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

326.707

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

326.711

Seminar for Diploma- and Doctoral Students I (Algorithmic Combinatorics) P. Paule 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 B. Buchberger , 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 B. Buchberger , W. Schreiner 13:00-14:30 HA 105

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
How to Announce New Courses

Maintainer: The System Administration
Last Modification: February 14, 2000

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