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 2017

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

Course Id Title Registration Type Hours Teachers Rhythm
326.047 (2017S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,0 Silviu Radu Weekly
326.046 (2017S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,0 Carsten Schneider Weekly
326.052 (2017S) Computer systems
Further information
Register KV 2,0 Wolfgang Schreiner Weekly
326.712 (2017S) Formal Foundations in Business Informatics
Further information
Register VL 3,0 Nikolaj Popov Weekly
326.703 (2017S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.714 (2017S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.0FS (2017S) Formal Semantics of Programming Languages
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.003 (2017S) Fundamentals of Numerical Analysis and Symbolic Computation
Further information
Register KV 2,0 Clemens Raab Weekly
326.054 (2017S) Functional programming
Further information
Register KV 2,0 Nikolaj Popov Weekly
326.0KA (2017S) Commutative algebra and algebraic geometry
Further information
Register VO 4,0 Franz Winkler Weekly
326.0UK (2017S) Commutative algebra and algebraic geometry
Further information
Register UE 1,0 Franz Winkler Weekly
326.048 (2017S) Logic as a working language
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
326.0ZZ (2017S) Seminar for graduate and doctoral students
Summer Semester 17
Further information
Register SE 2,0 Franz Winkler Weekly
326.0XX (2017S) Seminar for graduate and doctoral students
Sommer Semester 17
Further information
Register SE 2,0 Peter Paule Weekly
326.0YY (2017S) Seminar for graduate and doctoral students
Summer Semester 17
Register SE 2,0 Tudor Jebelean

Bruno Buchberger
Weekly
357.301 (2017S) Mathematics for Economists
Further information
Register KS 2,0 Wolfgang Windsteiger Weekly
326.059 (2017S) Mathematical logic 2
Further information
Register VO 2,0 Heinrich Rolletschek Weekly
326.041 (2017S) Practical software technology
Further information
Register KV 4,0 Ioana Cleopatra Pau

David Cerna
Weekly
326.062 (2017S) Programming in Mathematica
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.065 (2017S) Rewriting in Computer Science and Logic
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.099 (2017S) Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 17)
Further information
Register SE 2,0 Wolfgang Schreiner

Franz Lichtenberger
Weekly
326.098 (2017S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
Register SE 2,0 Bruno Buchberger

Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
326.060 (2017S) Seminar symbolic computation
Algorithmic Algebra
Register SE 2,0 Josef Schicho Weekly
326.006 (2017S) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
Register SE 2,0 Veronika Elisabeth Pillwein Weekly
326.0UU (2017S) Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 17)
Further information
Register SE 2,0 Franz Winkler Weekly
326.096 (2017S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 17)
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
326.068 (2017S) Software engineering
Further information
Register KV 2,0 Petru Pau Weekly
326.0VR (2017S) Special Topics
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.0MM (2017S) Special Topics
Programming in Mathematica
Register KV 2,0 Teimuraz Kutsia Weekly
326.087 (2017S) Special Topics
Functional Programming
Further information
Register VL 2,0 Nikolaj Popov Weekly
326.00E (2017S) Special topics logic and software design
Formal Languages and Formal Grammars
Further information
Register VL 2,0 Heinrich Rolletschek Weekly
326.076 (2017S) Special topics logic and software design
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.080 (2017S) Special Topics symbolic computation
Symbolic Linear Algebra
Further information
Register VL 2,0 Johannes Middeke Weekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail