Chair: Prof. Dr. rer. nat. habil. Horst
Reichel
Lecturing room: GRU 356
(Hans-Grundig-Str. 25)
Date and time: Friday, 13.00 h
Talks:
1) 01.11.02: Dipl.-Inform. Jan Rothe Notions of
Observation for Coalgebras
2) 08.11.02: Wei Wei "Proof
Carrying Code" frame and its temporal logic approach
Foundational Proof
Carrying Code
3) 15.11.02: Wei Wei Foundational
Type System used in PCC system
A Semantic Model of Types and Machine
Instructions for Proof-Carrying Code
4) 22.11.02: Dipl.-Inform. Dmitri Schamschurko memo.REAL - Verifikation
der Konverter, aktueller Stand
Project: Portable modular MPEG-1/2 decoder (by M. Hohmuth, TCS only)
5) 4.12.02: Bertram Felgenhauer Coalgebraische
Spezifikationen
imperativer Programme
Wednesday, 10.00,
r. GRU 356
6) 06.12.02: Dipl.-Inform. Frank Felfe Approaches to partial coalgebra
7) 17.01.03: Dipl.-Inform. Martin Morgenthal Views at CSP, Part I
8) 24.01.03: Dipl.-Inform. Martin Morgenthal Views at CSP, Part II
9) 31.01.03: Hendrik Tews VFiasco - Semantik von C++
Datentypen
10) 07.02.03: Dipl.-Inform. Dmitri Schamschurko Ambient Kalkül und die
passende Logik I
11) 14.02.03: Dipl.-Inform. Dmitri
Schamschurko Ambient Kalkül und die passende Logik II
Please subscribe to our Mailing list
Last modified: 22.01.03, wn1@inf.tu-dresden.de