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

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

08:30-10:00 Gewöhnliche Differentialgleichungen und Dynamische Systeme 1 (326005/2017W), Lva-LeiterIn: Josef Schicho

08:30-10:00 Lineare Algebra für Physiker(innen) (326017/2017W), Lva-LeiterIn: Franz Winkler

09:00-10:30 Seminar Logik und Softwaredesign - Automatisches Beweisen I: Theorema: Automatisches Beweisen in natuerlichem Stil (326061/2017W), Lva-LeiterIn: Bruno Buchberger

10:15-11:45 Lineare Algebra für Physiker(innen) (326058/2017W), Lva-LeiterIn: Robert Zillich

10:15-11:45 Lineare Algebra für Physiker(innen) (326071/2017W), Lva-LeiterIn: Günter Landsmann

12:00-13:30 Informationssysteme (326015/2017W), Lva-LeiterIn: Nikolaj Popov

15:30-16:15 Berechenbarkeit und Komplexität (326004/2017W), Lva-LeiterIn: Nikolaj Popov

21

08:30-10:00 Lineare Algebra für Physiker(innen) (326017/2017W), Lva-LeiterIn: Franz Winkler

08:30-11:00 Gewöhnliche Differentialgleichungen und Dynamische Systeme 1 (326005/2017W), Lva-LeiterIn: Josef Schicho

08:30-11:00 Gewöhnliche Differentialgleichungen und Dynamische Systeme 1 (326005/2017W), Lva-LeiterIn: Josef Schicho

10:15-11:45 Thinking, Speaking, Writing - Communication of Scientific Results (326066/2017W), Lva-LeiterIn: Tudor Jebelean

12:00-13:30 Algorithmische Kombinatorik (326009/2017W), Lva-LeiterIn: Silviu Radu

12:00-13:30 Algorithmische Methoden 1 (326002/2017W), Lva-LeiterIn: Wolfgang Windsteiger

13:45-14:30 Algorithmische Kombinatorik (326043/2017W), Lva-LeiterIn: Silviu Radu

15:30-17:00 Computer Algebra (326007/2017W), Lva-LeiterIn: Franz Winkler

16:15-17:00 Mathematik und Logik (326700/2017W), Lva-LeiterIn: Wolfgang Windsteiger

17:15-18:00 Computer Algebra (326031/2017W), Lva-LeiterIn: Günter Landsmann

17:15-18:00 Mathematik und Logik (326701/2017W), Lva-LeiterIn: Wolfgang Windsteiger

17:15-18:00 Mathematik und Logik (326702/2017W), Lva-LeiterIn: Nikolaj Popov

22

08:30-10:00 Automated Reasoning (3260AR/2017W), Lva-LeiterIn: Tudor Jebelean

12:30-14:00 Seminar Logik und Softwaredesign - Projektseminar Formale Methoden I (326063/2017W), Lva-LeiterIn: Wolfgang Schreiner

13:45-14:30 Algorithmische Methoden 1 (326002/2017W), Lva-LeiterIn: Wolfgang Windsteiger

14:00-15:30 Seminar Symbolisches Rechnen - Projektseminar Algorithmische Kombinatorik I (326AK1/2017W), Lva-LeiterIn: Peter Paule

16:15-18:00 Algorithmen und Datenstrukturen (326011/2017W), Lva-LeiterIn: Carsten Schneider

16:15-18:00 Logisches Programmieren (326028/2017W), Lva-LeiterIn: Teimuraz Kutsia

23

08:30-10:00 Algorithmen und Datenstrukturen (326011/2017W), Lva-LeiterIn: Carsten Schneider

08:30-10:00 Berechenbarkeitstheorie (326062/2017W), Lva-LeiterIn: Heinrich Rolletschek

08:30-11:45 Mathematische Logik 1 (326019/2017W), Lva-LeiterIn: Tudor Jebelean

08:30-11:45 Special Topics - Mathematische Logik I (326090/2017W), Lva-LeiterIn: Tudor Jebelean

10:15-11:45 Master- und Dissertantenseminar - Winter Semester 2017/18 (3260ZZ/2017W), Lva-LeiterIn: Franz Winkler

10:15-11:45 Seminar Symbolisches Rechnen - Computer-Algebra I (326CA1/2017W), Lva-LeiterIn: Franz Winkler

12:00-12:45 Mathematische Logik 1 (326021/2017W), Lva-LeiterIn: Tudor Jebelean

13:45-15:15 Algorithmen und Datenstrukturen (326011/2017W), Lva-LeiterIn: Carsten Schneider

14:30-15:15 Algorithmische Methoden 1 (326002/2017W), Lva-LeiterIn: Wolfgang Windsteiger

15:30-17:00 Analysis (326027/2017W), Lva-LeiterIn: Johannes Middeke

15:30-17:00 Analysis (326055/2017W), Lva-LeiterIn: Alexander Maletzky

15:30-17:00 Analysis (326056/2017W), Lva-LeiterIn: Günter Landsmann

24

08:30-10:00 Analysis (326022/2017W), Lva-LeiterIn: Carsten Schneider

08:30-10:00 Lineare Algebra für Physiker(innen) (326058/2017W), Lva-LeiterIn: Robert Zillich

08:30-10:00 Thinking, Speaking, Writing - Communication of Scientific Results (326066/2017W), Lva-LeiterIn: Tudor Jebelean

08:30-11:45 Formale Methoden in der Software-Entwicklung (326053/2017W), Lva-LeiterIn: Wolfgang Schreiner

08:30-11:45 Formal Methods in Software Development (326013/2017W), Lva-LeiterIn: Wolfgang Schreiner

10:15-11:00 Berechenbarkeit und Komplexität (326016/2017W), Lva-LeiterIn: Ralf Hemmecke

10:15-11:45 Thinking, Speaking, Writing - Understanding and Creating Mathematical Proofs (326057/2017W), Lva-LeiterIn: Tudor Jebelean

11:00-11:45 Berechenbarkeit und Komplexität (326050/2017W), Lva-LeiterIn: Ralf Hemmecke

12:00-13:30 Berechenbarkeit und Komplexität (326023/2017W), Lva-LeiterIn: Wolfgang Schreiner

13:45-15:15 Mathematik und Logik (326700/2017W), Lva-LeiterIn: Wolfgang Windsteiger

25

26

27

28

29

30