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

RISC-Linz Courses WS 96

RISC-Linz logo

Unless announced otherwise in the individual course description, all courses start beginning from October 7.

Number Title Lecturer Time Room
315.325 Logic I for Mathematicians and Computer Scientists B. Buchberger Fri 10:15-11:45 HS 10
315.369 Exercise for Logic I S. Stifter Fri 12:00-12:45 HS 4
315.335 Introduction to Computer Algebra F. Winkler Tue 13:45-15:15 HS 14
315.309 Exercise for Introduction to Computer Algebra F. Winkler Tue 15:30-16:15 Oct 1: T 811; Oct. 8-Jan 28: T 212
315.332 Logic Programming E. Blurock Wed 16:15-18:00 T 211
315.373 Foundations of Knowledge Engineering E. Blurock Wed 14:30-16:00 T 811
315.308 Software Systems for Computer Algebra and Geometry E. Blurock To be agreed To be agreed
315.448 Softautomation: Construction and Modelling H. Mayr Tue 8:00-10:00 T 811
315.351 Design and Analysis of Algorithms H. Rolletschek Thu 8:00-10:00 K 009D
315.469 Discrete Algorithmic Geometry II S. Stifter Tue 10:00-12:00 K 009D
315.303 Automatic Theorem Proving A T. Jebelean Fri 8:00-10:00 K 123A
315.353 Computer Analysis F. Winkler Tue 16:30-18:00 T 212
315.453 Decidable Logical Theories H. Rolletschek Thu 10:00-12:00 K 009D
315.367 Mathematical Education with DERIVE and the TI-92 B. Kutzler To be agreed To be agreed
315.394 Introduction to Parallel Computation W. Schreiner Mon 8:00-10:00 T 811
315.525 Parallel Languages and Programming Models W. Schreiner Thu 16:00-18:00 KHG II
315.316 Algebraic Constraint Solving H. Hong Fri 10:00-12:00 J 311B
315.379 Analogous Reasoning M. Baaz Fri 15:00-18:00, every two weeks T 1010
315.317 Programming Project Parallel Software I B. Buchberger , H. Hong To be agreed To be agreed
315.338 Literature Seminar Symbolic Computation I B. Buchberger and assistant To be agreed To be agreed
315.336 Programming Project Symbolic Computation I B. Buchberger and assistant To be agreed To be agreed
315.311 Lecture Series Symbolic Computation B. Buchberger , F. Winkler To be agreed To be agreed
315.321 Practical Proof Technique and Scientific Working in Symbolic Computation B. Buchberger Fri 13:00-14:30 HA 105
315.465 English for Diploma- and Doctoral Students Gregory Curtis To be agreed To be agreed
315.270 Seminar for Diploma- and Doctoral Students I B. Buchberger and assistant Mon 13:00-15:15 HA 105
315.387 Seminar for Diploma- and Doctoral Students I F. Winkler To be agreed To be agreed
315.470 Seminar for Diploma- and Doctoral Students I S. Stifter To be agreed To be agreed
315.514 Seminar for Diploma- and Doctoral Students I J. Pfalzgraf To be agreed To be agreed
315.380 Project Seminar (WS): Algorithms for CAD and Robot Programming S. Stifter Mon 15:15-16:45 HA 105
315.381 Project Seminar (WS): Parallel Algorithms and Software for Symbolic Computation B. Buchberger , H. Hong Mon 17:00-19:00 HA 105
315.382 Project Seminar (WS): Computer Algebra F. Winkler Thu 14:30-16:00 HA 105
315.384 Project Seminar (WS): Expert Systems B. Buchberger , E. Blurock To be agreed To be agreed
315.450 Project Seminar (WS): Algorithmic Combinatorics B. Buchberger , P. Paule To be agreed To be agreed
315.349 Project Seminar (WS): Neural Networks J. Pfalzgraf To be agreed To be agreed
315.396 Project Seminar (WS): Symbolic Computation in Education B. Buchberger , B. Kutzler , F. Lichtenberger To be agreed To be agreed
315.361 Project Seminar (WS): Computational Category Theory J. Pfalzgraf To be agreed To be agreed
315.389 Project Seminar (WS): Geometry and Modelling B. Buchberger , H. Mayr To be agreed To be agreed


Maintained by: The System Administration
Last Modification: February 18, 1997

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