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 Winter Semester 2013

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

Course Id Title Registration Type Hours Teachers Rhythm
326.011 (2013W) Algorithms and data structures
Further information
Register KV 2,00 Carsten Schneider Weekly
326.002 (2013W) Algorithmic methods 1
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.022 (2013W) Analysis
Further information
Register VO 2,00 Manuel Kauers Weekly
326.027 (2013W) Analysis
Further information
Register UE 2,00 Alexander Baumgartner Weekly
326.029 (2013W) Analysis
Further information
Register UE 2,00 Johanna Penteker Weekly
326.056 (2013W) Analysis
Further information
Register UE 2,00 Christoph Koutschan Weekly
326.094 (2013W) Automated Reasoning
Further information
Register UE 1,00 Tudor Jebelean

Teimuraz Kutsia
Weekly
326.0AR (2013W) Automated Reasoning
Further information
Register VL 2,00 Tudor Jebelean

Teimuraz Kutsia
Weekly
326.062 (2013W) Computability theory
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
326.004 (2013W) Computability and Complexity
Further information
Register UE 1,00 Nikolaj Popov Weekly
326.016 (2013W) Computability and Complexity
Further information
Register UE 1,00 Ralf Hemmecke Weekly
326.023 (2013W) Computability and Complexity
Further information
Register VO 2,00 Wolfgang Schreiner Weekly
326.050 (2013W) Computability and Complexity
Further information
Register UE 1,00 Ralf Hemmecke Weekly
326.010 (2013W) Computer Algebra
Further information
Register VL 2,00 Franz Winkler Weekly
326.031 (2013W) Computer Algebra
Further information
Register UE 1,00 Günter Landsmann Weekly
326.046 (2013W) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,00 Peter Paule Weekly
326.047 (2013W) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,00 Peter Paule Weekly
326.008 (2013W) Computer-Based Working Environments
Further information
Register KV 1,00 Károly Erdei

Ralf Hemmecke
Block
357.211 (2013W) Discrete Structures
Further information
Register UE 1,00 Wolfgang Windsteiger Weekly
357.212 (2013W) Discrete Structures
Further information
Register UE 1,00 Wolfgang Windsteiger Weekly
326.053 (2013W) Formal methods in software development
Further information
Register KV 4,00 Wolfgang Schreiner

Janos Sztrik
Weekly
326.091 (2013W) Formal Methods in Software Development
Further information
Register KV 3,00 Wolfgang Schreiner Weekly
326.003 (2013W) Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 13
Further information
Register KV 2,00 Christoph Koutschan Weekly
326.005 (2013W) Ordinary differential equations and dynamical systems 1 Register KV 5,00 Josef Schicho

Georg Regensburger
Weekly
326.015 (2013W) Information systems
Further information
Register KV 2,00 Nikolaj Popov Weekly
326.036 (2013W) Linear algebra and analytic geometry 1
Further information
Register VO 5,00 Franz Winkler Weekly
326.045 (2013W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Günter Landsmann Weekly
326.051 (2013W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Franz Binder Weekly
326.073 (2013W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Wolfgang Leeb Weekly
326.074 (2013W) Linear algebra and analytic geometry 1
Further information
Register KO 2,00 Günter Landsmann Weekly
326.092 (2013W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Burkhard Zimmermann Weekly
326.093 (2013W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Carsten Schneider Weekly
342.209 (2013W) Logic
Further information
Register UE 1,00 Armin Biere

Wolfgang Schreiner
Wolfgang Windsteiger
Martina Seidl
Weekly
342.208 (2013W) Logic
Further information
Register VL 2,00 Armin Biere

Wolfgang Schreiner
Wolfgang Windsteiger
Martina Seidl
Weekly
326.028 (2013W) Logic programming
Further information
Register KV 2,00 Teimuraz Kutsia Weekly
326.000 (2013W) Seminar for graduate and doctoral students
Winter Semester 13
Further information
Register SE 2,00 Peter Paule Weekly
326.012 (2013W) Seminar for graduate and doctoral students
Winter Semester 13
Further information
Register SE 2,00 Franz Winkler Weekly
326.013 (2013W) Seminar for graduate and doctoral students
Winter Semester 13
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.700 (2013W) Mathematics and Logic
Further information
Register VO 3,00 Veronika Elisabeth Pillwein Weekly
326.701 (2013W) Mathematics and Logic
Further information
Register UE 1,00 Veronika Elisabeth Pillwein Weekly
326.702 (2013W) Mathematics and Logic
Further information
Register UE 1,00 Richard Lechner Weekly
326.019 (2013W) Mathematical logic 1
Further information
Register VO 4,00 Tudor Jebelean Weekly
326.021 (2013W) Mathematical logic 1
Further information
Register UE 1,00 Tudor Jebelean Weekly
326.049 (2013W) Programming project symbolic computation
Computer algebra, Logic and Softwaredesign I
Further information
Register KV 2,00 Ralf Hemmecke Weekly
326.061 (2013W) Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style (Winter Semester 12)
Further information
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.063 (2013W) Seminar logic and software design
Project seminar Formal Methods I
Further information
Register SE 2,00 Wolfgang Schreiner Weekly
326.083 (2013W) Seminar logic and software design
Set Theory and Logical Foundations I
Further information
Register SE 2,00 Heinrich Rolletschek Weekly
326.064 (2013W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
Register SE 2,00 Peter Paule Weekly
326.067 (2013W) Seminar symbolic computation
Symbolic Summation for Particle Physics
Register SE 2,00 Carsten Schneider Weekly
326.069 (2013W) Seminar symbolic computation
Computer-Algebra I
Further information
Register SE 2,00 Franz Winkler Weekly
326.085 (2013W) Seminar symbolic computation
Projectseminar Computer-algebra I
Further information
Register SE 2,00 Franz Winkler Weekly
326.087 (2013W) Special Topics
Chess Programming
Further information
Register VL 2,00 Heinrich Rolletschek

Stephan Winkler
Weekly
326.088 (2013W) Special Topics
Formal Languages and Formal Grammars II
Further information
Register VL 2,00 Nikolaj Popov Weekly
326.025 (2013W) Special topics logic and software design
Formal Languages and Formal Grammars II
Further information
Register VL 2,00 Nikolaj Popov Weekly
326.078 (2013W) Special topics logic and software design
Chess Programming
Further information
Register VL 2,00 Heinrich Rolletschek

Stephan Winkler
Weekly
326.0LS (2013W) Special topics logic and software design
Logic-based Program Verification
Further information
Register VL 2,00 Tudor Jebelean

Madalina Erascu
Weekly
326.032 (2013W) Special Topics symbolic computation
Homological Algebra
Further information
Register VL 2,00 Günter Landsmann Weekly
326.075 (2013W) Special Topics symbolic computation
Symbolic Summation and Special Functions I (Winter Semester 13)
Further information
Register VL 2,00 Silviu Radu Weekly
326.082 (2013W) Special Topics symbolic computation
Parallel Algorithms in Symbolic Computation
Further information
Register VL 2,00 Tudor Jebelean Weekly
326.057 (2013W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,00 Tudor Jebelean Weekly
326.066 (2013W) Thinking, Speaking, Writing
Communication of Scientific Results
Further information
Register VO 2,00 Tudor Jebelean Weekly
326.071 (2013W) Preparatory course mathematics for first-year students of Business Informatics
Further information
Register VK 2,00 Veronika Elisabeth Pillwein Block
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail