Chair: Prof. Dr. rer. nat. habil. Horst
Reichel
Lecturing room: GRU 351
(Hans-Grundig-Str. 25)
Date and time: Wednesday,
13.00 - 14.30 h
Talks:
1) 28.04.05: Defa Trio Implementation of Categories with Additional Structures in Lambda-Prolog
2) 04.05.05: Konstantin Chekin Coalgebraic
Semantics of SystemC, Part I (Abstract)
3) 25.05.05: Konstantin Chekin Coalgebraic
Semantics of SystemC, Part II (Abstract)
4) 08.06.05: Sebastian Wandelt Alternating-time Temporal
Logic and jMocha (Abstract)
5) 15.06.05: Matthias Fruth Formal Verification
of Embedded Real-time Systems (Abstract)
6) 22.06.05: Konstantin Chekin Model Checking related to Coalgebraic Semantics of SystemC
7) 13.07.05: Bertram Felgenhauer Diplom Thesis: Recursive Class Specifications for CCSL
Please subscribe to our Mailing list
Last modified: 23.06.05, wn1@inf.tu-dresden.de