Oberseminar: Updated Time!
We invite you to the following Oberseminars.
We invite you to the following Oberseminars.
Nils will give a talk about
"Expressing Properties of Resource-Bounded Systems: The Logics RTL andRTL∗", 20.8.2009, 10:00st
and
"Towards a Verification Framework for Communicating Rational Agents", 3.9.2009, 10:00st
Place: Seminar room, Am Regenbogen 15