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 2012

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

Course Id Title Registration Type Hours Teachers Rhythm
326.011 (2012W) Algorithms and data structures
Further information
Register KV 2,00 Carsten Schneider Weekly
326.002 (2012W) Algorithmic methods 1
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.022 (2012W) Analysis
Further information
Register VO 2,00 Manuel Kauers Weekly
326.027 (2012W) Analysis
Further information
Register UE 2,00 Monika Wolfmayr Weekly
326.055 (2012W) Analysis
Further information
Register UE 2,00 Philipp Birklbauer Weekly
326.056 (2012W) Analysis
Further information
Register UE 2,00 Christoph Koutschan Weekly
326.004 (2012W) Computability and Complexity
Further information
Register UE 1,00 Burkhard Zimmermann Weekly
326.016 (2012W) Computability and Complexity
Further information
Register UE 1,00 Ralf Hemmecke Weekly
326.023 (2012W) Computability and Complexity
Further information
Register VO 2,00 Wolfgang Schreiner Weekly
326.050 (2012W) Computability and Complexity
Further information
Register UE 1,00 Ralf Hemmecke Weekly
326.989 (2012W) Computer algebra
Further information
Register VL 2,00 Franz Winkler Weekly
326.990 (2012W) Computer algebra
Further information
Register UE 1,00 Günter Landsmann Weekly
326.046 (2012W) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,00 Veronika Elisabeth Pillwein Weekly
326.047 (2012W) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,00 Silviu Radu Weekly
326.008 (2012W) Computer-Based Working Environments
Further information
Register KV 1,00 Károly Erdei

Wolfgang Windsteiger
Ralf Hemmecke
Block
326.025 (2012W) Decidable logical theories
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
326.026 (2012W) Design and analysis of algorithms
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
326.053 (2012W) Formal methods in software development
Further information
Register KV 4,00 Wolfgang Schreiner

Mykola Nikitchenko
Weekly
326.013 (2012W) Formal Methods in Software Development
Further information
Register KV 3,00 Wolfgang Schreiner Weekly
326.003 (2012W) Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 12
Further information
Register KV 2,00 Bruno Buchberger

Walter Zulehner
Peter Paule
Ronny Ramlau
Franz Winkler
Bert Jüttler
Josef Schicho
Ulrich Langer
Manuel Kauers
Weekly
326.005 (2012W) Ordinary differential equations and dynamical systems 1
Further information
Register KV 5,00 Josef Schicho

Georg Regensburger
Weekly
326.015 (2012W) Information systems
Further information
Register KV 2,00 Nikolaj Popov Weekly
326.073 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Christian Irrgeher Weekly
326.074 (2012W) Linear algebra and analytic geometry 1
Further information
Register KO 2,00 Günter Landsmann Weekly
326.092 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Manuela Wiesinger-Widi Weekly
326.093 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Burkhard Zimmermann Weekly
326.0LA (2012W) Linear algebra and analytic geometry 1
Further information
Register VO 5,00 Peter Paule Weekly
326.LA1 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Peter Mayr Weekly
326.LA2 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Georg Grasegger Weekly
326.028 (2012W) Logic programming
Further information
Register KV 2,00 Teimuraz Kutsia Weekly
326.0XX (2012W) Seminar for graduate and doctoral students
Winter Semester 12
Further information
Register SE 2,00 Peter Paule Weekly
326.0YY (2012W) Seminar for graduate and doctoral students
Winter Semester 12
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.0ZZ (2012W) Seminar for graduate and doctoral students
Winter Semester 12
Further information
Register SE 2,00 Franz Winkler Weekly
326.700 (2012W) Mathematics and Logic Register VO 3,00 Veronika Elisabeth Pillwein Weekly
326.701 (2012W) Mathematics and Logic
Further information
Register UE 1,00 Veronika Elisabeth Pillwein

Richard Lechner
Weekly
326.702 (2012W) Mathematics and Logic
Further information
Register UE 1,00 Veronika Elisabeth Pillwein

Richard Lechner
Weekly
357.201 (2012W) Mathematical Foundations
Further information
Register UE 2,00 Wolfgang Windsteiger Weekly
326.019 (2012W) Mathematical logic 1
Further information
Register VO 4,00 Tudor Jebelean Weekly
326.021 (2012W) Mathematical logic 1
Further information
Register UE 1,00 Tudor Jebelean Weekly
326.049 (2012W) Programming project symbolic computation
Computer algebra, Logic, and Software design I
Further information
Register KV 2,00 Ralf Hemmecke Weekly
326.000 (2012W) 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.FM1 (2012W) Seminar logic and software design
Formal Methods I (Winter Semester 12)
Further information
Register SE 2,00 Wolfgang Schreiner

Franz Lichtenberger
Weekly
326.085 (2012W) Seminar symbolic computation
Projectseminar Computer-algebra I
Further information
Register SE 2,00 Franz Winkler Weekly
326.0TP (2012W) Seminar symbolic computation
Symbolic Summation for Particle Physics
Register SE 2,00 Carsten Schneider Weekly
326.AK1 (2012W) Seminar symbolic computation
Algorithmic Combinatorics I
Further information
Register SE 2,00 Peter Paule Weekly
326.CA1 (2012W) Seminar symbolic computation
Computer-Algebra I
Further information
Register SE 2,00 Franz Winkler Weekly
326.00B (2012W) Special topics logic and software design
Fixpoint Theory of Functional Programs
Further information
Register VL 2,00 Nikolaj Popov Block
326.075 (2012W) Special Topics symbolic computation
Symbolic Summation and Special Functions I (Winter Semester 12)
Further information
Register VL 2,00 Silviu Radu Weekly
326.0AT (2012W) Special Topics symbolic computation
Algebraic Topology
Further information
Register VL 2,00 Günter Landsmann Weekly
326.00I (2012W) Special Topics in Computer Science
Computer algebra
Further information
Register KV 3,00 Franz Winkler

Günter Landsmann
Weekly
326.I01 (2012W) Special Topics in Computer Science
Analytical Combinatorics
Further information
Register KV 3,00 Veronika Elisabeth Pillwein Weekly
326.I02 (2012W) Special Topics in Computer Science
Mathematical Logic I
Further information
Register KV 3,00 Tudor Jebelean Weekly
326.057 (2012W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,00 Tudor Jebelean Weekly
326.066 (2012W) Thinking, Speaking, Writing
Communication of Scientific Results
Further information
Register VO 2,00 Tudor Jebelean Weekly
326.999 (2012W) 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