Chair: Prof. Dr. rer. nat. habil. Horst
Reichel
Lecturing room: GRU 359
(Hans-Grundig-Str. 25)
Date and time: Wednesday,
13.00 - 14.30 h
Talks:
1) 19.10.05: Beratung
2) 02.11.05: Sebastian Wandelt:: Alternating-time Temporal
Logic and jMocha (Abstract)
3) 09.11.05: Prof. Dr. rer. nat. habil. Horst Reichel: An algebraic approach to regular sets (Abstract)
4) 23.11.05: Ida
Siahaan: Verification of Cryptographic Protocols
Beller-Chang-Yacobi MSR Protocols with ProVerif (Abstract)
5) 07.12.05: Christian
Hofmann: DNA-Computing (Abstract)
6) 15.03.06: Ida
Siahaan: Beller-Chang-Yacobi Protocols Verification using
ProVerif (Abstract)
7) 17.03.06: Ali Mahboob:
Continuous stochastic logic model checker with Möbius (Abstract)
Friday, 11:00 h, r. 351
Please subscribe to our Mailing list
Last modified: 09.03.06, wn1@inf.tu-dresden.de