Oberseminar: Updated time
We invite you to the following Oberseminars.
"Expressing Properties of Resource-Bounded Systems: The Logics RTL and RTL∗"
"Towards a Verification Framework for Communicating Rational Agents"
Place: Seminar room, Am Regenbogen 15
Nils will give a talk about
"Expressing Properties of Resource-Bounded Systems: The Logics RTL and RTL∗", 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