Courses: WS95-96

	Name	Number	Time	Location
Logic I for Mathematicians and Computer Scientists
	Bruno Buchberger	315.325	Fri 10:00-11:30	HS 10
Logic I (Lab exercises)
	Sabine Stifter	315.369	Fri 11:30-12:15	HS 4
Commutative Algebra and Algebraic Geometry
	Franz Winkler	315.301	Tue 16:30-18:00	T 1010
Practical Training in Problem Solving and Theorem Proving (Thinking - Speaking - Writing)
	Bruno Buchberger	315.321	Fri 13:00-14:30	HA 105
Introduction to Computer Algebra
	Franz Winkler	315.335	Tue 14:00-15:30	T 811
Introduction to Computer Algebra (Lab exercises)
	Franz Winkler	315.309	Tue 15:30-16:15	T 811
Polynomial Factorization
	George Collins	315.318	Thu 16:00-18:00	HA 105
Discrete Algorithmic Geometry
	Sabine Stifter	315.354	Wed 8:00-10:00	T 811
Theory of Computation
	Heinrich Rolletschek	315.342	Thu 8:00-10:00	K 009D
Automated Theorem Proving in Nonclassical Logic Systems
	Mathias Baaz	315.500	Fri 15:00-18:30 (bi-weekly)	T 211
Algebraic Constraint Solving
	Hoon Hong	315.316	Fri 8:00-10:00	J 314B
Algebraic Specification
	Franz Lichtenberger	315.399	Thu 10:15-11:45	K 009D
Program Transformation and Synthesis
	Hans-Wolfgang Loidl	315.323	in December
Structure of Programming Languages I (Denotational Semantics)
	Wolfgang Schreiner	315.505	Thu 15.30-17.00	K 009D
Logic Programming: Prolog
	Edward Blurock	315.332	Wed 16:15-18:00	T 211
Software Systems for Computer Algebra and Computational Geometry
	Edward Blurock	315.308	t.b.a.
Softautomation: Design and Modeling
	Herwig Mayr	315.448	Tue 8:00-10:00	T 811
Symbolic and Numerical Methods in Dynamics
	Wolfgang Hirschberg	315.448	Fri 15:00-18:30 (bi-weekly)	T 211
Introduction to Knowledge Based Systems
	Edward Blurock	315.373	Tue 12:00-13:30	T 811
Rule Based Systems
	Herwig Mayr	315.374	Tue 10:15-11:45	T 811
Introduction to Parallel Computation
	Wolfgang Schreiner	315.394	Mon 8:30-10:00	T 811
Systolic Algorithms in Computer Algebra
	Tudor Jebelean	315.377	Fri 10:00-12:00	KG 712
Computational Category Theory (wit ML)
	Joachim Pfalzgraf	315.350	t.b.a.
Teaching Mathematics with DERIVE and the TI-92
	Bernhard Kutzler	315.367	t.b.a.

Additionaly there is a list of seminars offered at RISC available.

Maintained by: Franz Lichtenberger at RISC-Linz