RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
Schedule Summer Semester 2018
SundayMondayTuesdayWednesdayThursdayFridaySaturday

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

08:30-10:00 Einführung in paralleles und verteiltes Rechnen (326081/2018S), Lva-LeiterIn: Wolfgang Schreiner

08:30-10:00 Special Topics - Einführung in paralleles und verteiltes Rechnen (3260AD/2018S), Lva-LeiterIn: Wolfgang Schreiner

09:00-10:30 Seminar Logik und Softwaredesign - Projektseminar Automatisches Beweisen II: Theorema Mathematische Theorie Exploration (326098/2018S), Lva-LeiterIn: Bruno Buchberger

16:15-18:00 Computersysteme (326052/2018S), Lva-LeiterIn: Wolfgang Schreiner

19

11:00-11:45 Computer Algebra for Concrete Mathematics (326047/2018S), Lva-LeiterIn: Silviu Radu

12:00-13:30 Computer Algebra for Concrete Mathematics (326046/2018S), Lva-LeiterIn: Carsten Schneider

12:00-13:30 Computer-Analysis (326079/2018S), Lva-LeiterIn: Franz Winkler

12:00-13:30 Logik als Arbeitssprache (326048/2018S), Lva-LeiterIn: Wolfgang Windsteiger

13:45-15:15 Fundamentals of Numerical Analysis and Symbolic Computation - Sommer Semester 2018 (326003/2018S), Lva-LeiterIn: Diego Dominici

14:30-16:15 Kommutative Algebra und Algebraische Geometrie (3260KA/2018S), Lva-LeiterIn: Franz Winkler

14:30-16:15 Programmieren in Mathematica (326062/2018S), Lva-LeiterIn: Teimuraz Kutsia

14:30-16:15 Special Topics - Programmieren in Mathematica (3260MM/2018S), Lva-LeiterIn: Teimuraz Kutsia

16:15-17:00 Kommutative Algebra und Algebraische Geometrie (3260UK/2018S), Lva-LeiterIn: Franz Winkler

16:15-18:00 Software Engineering (326068/2018S), Lva-LeiterIn: Petru Pau

20

12:30-14:00 Seminar Logik und Softwaredesign - Projektseminar Formale Methoden II (Sommer Semester 18) (326099/2018S), Lva-LeiterIn: Wolfgang Schreiner

14:00-15:30 Seminar Symbolisches Rechnen - Projektseminar Algorithmische Kombinatorik II (Sommer Semester 2018) (326096/2018S), Lva-LeiterIn: Peter Paule

14:30-16:15 Computersysteme (326052/2018S), Lva-LeiterIn: Wolfgang Schreiner

14:30-16:15 Praktische Softwaretechnologie (326041/2018S), Lva-LeiterIn: Ioana Cleopatra Pau

16:00-17:30 Spezialvorlesung Symbolisches Rechnen - Symbolische Summation und Spezielle Funktionen II (326075/2018S), Lva-LeiterIn: Silviu Radu

17:15-18:45 Funktionales Programmieren (326054/2018S), Lva-LeiterIn: Nikolaj Popov

17:15-18:45 Special Topics - Funktionales Programmieren (326087/2018S), Lva-LeiterIn: Nikolaj Popov

21

08:30-10:00 Entscheidbarkeits- und Komplexitätsklassen (326008/2018S), Lva-LeiterIn: Heinrich Rolletschek

08:30-10:00 Special Topics - Entscheidbarkeits- und Komplexitätsklassen (3260DC/2018S), Lva-LeiterIn: Heinrich Rolletschek

10:15-11:45 Master- und Dissertantenseminar - Sommer Semester 2018 (3260ZZ/2018S), Lva-LeiterIn: Franz Winkler

10:15-11:45 Seminar Symbolisches Rechnen - Computer-Algebra II (3260CA/2018S), Lva-LeiterIn: Franz Winkler

13:45-15:15 Seminar Symbolisches Rechnen - Geschichte und Philosophie der Mathematik (326060/2018S), Lva-LeiterIn: Josef Schicho

14:30-16:15 Praktische Softwaretechnologie (326041/2018S), Lva-LeiterIn: Ioana Cleopatra Pau

16:15-17:00 Formale Grundlagen der Wirtschaftsinformatik (326703/2018S), Lva-LeiterIn: Günter Landsmann

16:15-17:00 Formale Grundlagen der Wirtschaftsinformatik (326714/2018S), Lva-LeiterIn: Nikolaj Popov

16:15-18:00 Spezialvorlesung Logik und Softwaredesign - Unifikationstheorie (326097/2018S), Lva-LeiterIn: Teimuraz Kutsia

16:15-18:00 Spezialvorlesung Logik und Softwaredesign - Arithmetic, Recursion, and Types (3260DD/2018S), Lva-LeiterIn: David Cerna

22

08:30-10:00 Spezialvorlesung Logik und Softwaredesign - Formale Spezifikation Abstrakter Datentypen (326076/2018S), Lva-LeiterIn: Wolfgang Schreiner

10:15-11:45 Computersysteme (326052/2018S), Lva-LeiterIn: Wolfgang Schreiner

10:15-11:45 Kommutative Algebra und Algebraische Geometrie (3260KA/2018S), Lva-LeiterIn: Franz Winkler

23

24

25

26

27

28

29

30