RISC JKU

RISC-Linz Courses SS 97

RISC-Linz logo

Unless announced otherwise in the course information below, all courses start in the week beginning on March 10.

Number Title Lecturer Time Room

315.310

Logic II for Mathematicians and Computer Scientists J. Pfalzgraf to be agreed to be agreed

315.320

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

315.088

Advanced Computer Algebra F. Winkler Tue 14.45-16.15 HS 12

315.089

Analytic Combinatorics P. Paule Wed 8.00-10.00 K 009D

315.371

Functional Programming (LISP) E. Blurock Wed 16.30-18.00 HS 9

315.091

Formal Specification and Verification H. Rolletschek Thu 8.00-10.00 K 009D

315.468

Inductive Learning and Subsymbolic Reasoning E. Blurock Wed 14.45-16.15 T 811

315.095

Geometric Foundations for Symbolic Computation S. Stifter Tue 9.45-11.15 K 009D

315.519

Exercise for Geometric Foundations for Symbolic Computation S. Stifter Tue 11.30-13.00 to be agreed

315.385

Geometric Modelling S. Stifter Tue 11.30-13.00 K 009D

315.366

Softautomation: Simulation and Programming H. Mayr Tue 8.00-9.30 K 009D

315.376

Algorithmic Combinatorics P. Paule Wed 10.00-12.00 K 009D

315.352

Automatic Theorem Proving B T. Jebelean Thu 10.00-12.00 T 911

315.306

Rewriting in Computer Science and Logic F. Winkler Tue 16.30-18.00 T 1010

315.345

Lambda-Calculus H. Hong Fri 8.00-10.00 T 112

315.367

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

315.452

Elimination Theory D. Wang Blocked to be agreed

315.397

Parallel Computation Laboratory W. Schreiner Mon 8.30-10.00 T 212

315.391

Compilation of Functional Languages for Parallel Execution W. Schreiner Thu 16.30-18.00 T 711

315.375

Parallel Algorithms for Symbolic Computation H. Hong Fri 10.00-12.00 K 177F

315.395

Temporal Logic and Parallel Processes M. Baaz Fri 15.00-18.30, every two weeks T 711

315.504

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

315.330

Programming Project Parallel Software II B. Buchberger , H. Hong to be agreed to be agreed

315.314

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

315.313

Programming Project Symbolic Computation II 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.527

Symbolic-Numerical Methods for Computer-Aided Geometric Design Tran Quoc Nam to be agreed to be agreed

315.528

Data-Structures and Paradigms in Computational Geometry C. Van Geem to be agreed to be agreed

315.465

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

315.333

Seminar for Diploma- and Doctoral Students II B. Buchberger and assistant Mon 13:00-15:15 HA 105

315.388

Seminar for Diploma- and Doctoral Students II F. Winkler to be agreed to be agreed

315.471

Seminar for Diploma- and Doctoral Students II S. Stifter Mon 15:30-17:00 HS 9

315.098

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

315.099

Project Seminar (SS): Parallel Algorithms and Software for Symbolic Computation B. Buchberger , H. Hong Mon 17:00-19:00 HA 105

315.312

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

315.319

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

315.329

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

315.327

Project Seminar (SS): Symbolic Computation in Education B. Buchberger , B. Kutzler , F. Lichtenberger to be agreed to be agreed

315.363

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


Maintained by: The System Administration
Last Modification: September 11, 1997

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