Technische Universität Wien
Montag 16.07.2012
| Von: | 16.07.2012 |
| Bis: | 20.07.2012 |
| Titel: | KinderuniTechnik 2012 – Forschen einmal anders |
| Art: | KinderuniTechnik 2012 |
| Von: | 18.07.2012 10:00 |
| Bis: | 18.07.2012 15:30 |
| Titel: | Prof. Dr. Kokichi Futatsugi: Lecture and Tutorial Series on "Introduction to Specification and Verification in CafeOBJ" |
| Art: | Vortrags- und Tutoriumsreihe |
| Von: | 23.07.2012 |
| Bis: | 03.08.2012 |
| Titel: | TU Sportwochen für Kids |
| Art: | Feriencampus |
| Von: | 25.07.2012 10:00 |
| Bis: | 25.07.2012 15:30 |
| Titel: | Prof. Dr. Kokichi Futatsugi: Lecture and Tutorial Series on "Introduction to Specification and Verification in CafeOBJ" |
| Art: | Vortrags- und Tutoriumsreihe |
| Von: | 30.07.2012 |
| Bis: | 03.08.2012 |
| Titel: | QCMC 2012 |
| Art: | Konferenz |
| Von: | 01.08.2012 10:00 |
| Bis: | 01.08.2012 15:30 |
| Titel: | Prof. Dr. Kokichi Futatsugi: Lecture and Tutorial Series on "Introduction to Specification and Verification in CafeOBJ" |
| Art: | Vortrags- und Tutoriumsreihe |
| Von: | 08.08.2012 10:00 |
| Bis: | 08.08.2012 15:30 |
| Titel: | Prof. Dr. Kokichi Futatsugi: Lecture and Tutorial Series on "Introduction to Specification and Verification in CafeOBJ" |
| Art: | Vortrags- und Tutoriumsreihe |
| Von: | 20.08.2012 |
| Bis: | 07.09.2012 |
| Titel: | Integrated Water Quality and Bioindicators |
| Art: | block module |
| Von: | 24.08.2012 20:00 |
| Bis: | 24.08.2012 22:00 |
| Titel: | Der Gruen Effekt - Victor Gruen und die Shopping Mall |
| Art: | Filmabend, Diskussion |
| Von: | 04.09.2012 15:15 |
| Bis: | 04.09.2012 |
| Titel: | Dr. Xavier Rival: MemCAD, a Modular Abstract Domain for Reasoning on Memory States |
| Art: | Vortrag |