Oberseminar

We frequently organize oberseminar meetings.
They provide an excellent environment to learn about research done in
Clausthal. They give opportunities to share ideas and to come up with
possible joint projects. Moreover, they offer students the possibility to get in touch with
late-breaking research.
We heartily welcome students and interested colleagues with related interests!

About the seminar

The scope of the seminar includes (and is not limited to) the following topics:

logics

multi-agent systems

formal methods

security and trust

safety and reliability

agent systems and agent programming

game theory

verification and model checking

databases and informtation systems

We also organize joint sessions

Computational Intelligence (Prof. Dix)

Databases and Information Systems (Prof. Hartmann)

Mobile and Enterprise Computing (Prof. Müller)

Organization and contact

The seminar is organized by Tobias Ahlbrecht. For any further questions, please do not hesitate to contact him.
Usually, the seminar takes place in Seminarraum 210 located at Am Regenbogen 15.