RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
Details Past courses Course calendar (entire semester) View calendar (current week)

RISC Courses Summer Semester 2013

Find below the list of courses offered by RISC-Linz as of 30.6.2013.

Course Id Title Registration Type Hours Teachers Rhythm
326.007 (2013S) Algebraic and Discrete Methods for Biology
Further information
Register KV 2,00 Nikolaj Popov

Stephan Dreiseitl
Tudor Jebelean
Weekly
326.009 (2013S) Algorithmic combinatorics
Further information
Register VO 2,00 Carsten Schneider Weekly
326.043 (2013S) Algorithmic combinatorics
Further information
Register UE 1,00 Silviu Radu Weekly
326.052 (2013S) Computer systems
Further information
Register KV 2,00 Wolfgang Schreiner Weekly
326.058 (2013S) Elimination theory
Further information
Register VO 2,00 Günter Landsmann Weekly
326.703 (2013S) Formal Foundations in Business Informatics Register UE 1,00 Richard Lechner Weekly
326.712 (2013S) Formal Foundations in Business Informatics
Further information
Register VO 3,00 Veronika Elisabeth Pillwein Weekly
326.714 (2013S) Formal Foundations in Business Informatics
Further information
Register UE 1,00 Veronika Elisabeth Pillwein Weekly
326.027 (2013S) Formal semantics of programming languages
Further information
Register VO 2,00 Wolfgang Schreiner Weekly
326.003 (2013S) Fundamentals of Numerical Analysis and Symbolic Computation
Summer Semester 13
Further information
Register KV 2,00 Bruno Buchberger

Manuel Kauers
Walter Zulehner
Bert Jüttler
Peter Paule
Josef Schicho
Ronny Ramlau
Weekly
326.054 (2013S) Functional programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
326.035 (2013S) Linear algebra for physicists II
Further information
Register UE 1,00 Manuela Wiesinger-Widi Weekly
326.037 (2013S) Linear algebra for physicists II
Further information
Register UE 1,00 Christian Irrgeher Weekly
326.038 (2013S) Linear algebra for physicists II
Further information
Register VO 2,00 Peter Paule Weekly
326.018 (2013S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Burkhard Zimmermann Weekly
326.024 (2013S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Peter Mayr Weekly
326.034 (2013S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Georg Grasegger Weekly
326.040 (2013S) Linear algebra and analytic geometry 2
Further information
Register VO 5,00 Peter Paule Weekly
326.044 (2013S) Linear algebra and analytic geometry 2
Further information
Register KO 2,00 Franz Binder Weekly
326.048 (2013S) Logic as a working language
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.0XX (2013S) Seminar for graduate and doctoral students
Summer Semester 13
Further information
Register SE 2,00 Peter Paule Weekly
326.0YY (2013S) Seminar for graduate and doctoral students
Summer Semester 13
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.0ZZ (2013S) Seminar for graduate and doctoral students
Summer Semester 13
Further information
Register SE 2,00 Franz Winkler Weekly
326.059 (2013S) Mathematical logic 2
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
326.041 (2013S) Practical software technology
Further information
Register KV 4,00 Karoly Bosa Weekly
326.062 (2013S) Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.049 (2013S) Programming project symbolic computation
Computer algebra, Logic, and Software design II
Further information
Register KV 2,00 Ralf Hemmecke Weekly
326.065 (2013S) Rewriting in computer science and logic
Further information
Register VO 2,00 Teimuraz Kutsia Weekly
326.020 (2013S) Seminar logic and software design
Set Theory and Logical Foundations II (Summer semester 13)
Further information
Register SE 2,00 Heinrich Rolletschek Weekly
326.098 (2013S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema (Summer semester 13)
Further information
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.099 (2013S) Seminar logic and software design
Project seminar Formal Methods II (Summer semester 13)
Further information
Register SE 2,00 Wolfgang Schreiner

Franz Lichtenberger
Weekly
326.001 (2013S) Seminar symbolic computation
Computer-Algebra II (Summer Semester 13)
Further information
Register SE 2,00 Franz Winkler

Günter Landsmann
Weekly
326.060 (2013S) Seminar symbolic computation
Algorithmic Algebra (Summer semester 13)
Register SE 2,00 Josef Schicho Weekly
326.096 (2013S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 13)
Further information
Register SE 2,00 Peter Paule Weekly
326.0UU (2013S) Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 13)
Register SE 2,00 Franz Winkler Weekly
326.068 (2013S) Software engineering
Further information
Register KV 2,00 Petru Pau Weekly
326.077 (2013S) Special course Analysis
Artin Approximation and Solutions to Recursion Equations
Further information
Register VL 1,00 Herwig Hauser Block
326.00E (2013S) Special topics logic and software design
Formal Languages and Formal Grammars
Further information
Register VL 2,00 Nikolaj Popov Weekly
326.097 (2013S) Special topics logic and software design
Unification theory
Further information
Register VL 2,00 Teimuraz Kutsia Weekly
326.039 (2013S) Special Topics symbolic computation
Computer algebra II: Groebner bases
Further information
Register VL 2,00 Manuel Kauers Weekly
326.080 (2013S) Special Topics symbolic computation
Symbolic Linear Algebra
Register VL 2,00 Carsten Schneider Weekly
326.017 (2013S) Special Topics in Computer Science
Predicate Logic as a Working Language
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.I06 (2013S) Special Topics in Computer Science
Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.I07 (2013S) Special Topics in Computer Science
Functional Programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail