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 topi

• 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)
• Foundations of Computer Science (Dr. Huhn)
• Human-Centered Information Systems (Prof. Pinkwart)
• Mobile and Enterprise Computing (Prof. Müller)

The language of the seminar is English!

Mailing List

We host a mailing list, if you are interested please subscribe to masseminar@in.tu-clausthal.de. Forthcoming events will be posted there.

Subscription

For subscribing to our list, please send an e-mail to masseminar-subscribe [at] in.tu-clausthal.de with subject "subscribe".<p/> Shortly you will receive a request for confirmation of your e-mail address to which you should reply and your e-mail address finally will be registered.

Unsubscription

To unsubscribe from our list, please send an empty e-mail to masseminar-off [at] in.tu-clausthal.de. <p/>

Organization and contact

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

Forthcoming and past events

• Tuesday, 16.04.2013, 13:00: Jerzy Pilecki (Uni Luxembourg): Finding strategies for agents with limited information and memory
• Tuesday, 07.08.2012, 10:00: Nils Bulling: A Game-Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
• Canceled: Wojtek Jamroga: Games with Epistemic Moves
• Friday, 26.08.2011, 10:00: Nils Bulling: Comparing Semantics of Strategic Ability
• Tuesday, 25.08.2011, 10:00: Federico Schlesinger: Preliminary approaches on Multi-Agent Mission Planning
• Tuesday, 07.07.2011, 13:15: Nils Bulling: Verifying Normative Behaviour via Normative Mechanism Design<br/>
• Tuesday, 12.04.2011, 14:00ct: Mihnea Muraru and Matei Popovici: Temporal Reasoning with Fluid Qualities<br/>
• Thursday, 24.03.2011, 13:00ct: Nils Bulling: Model Checking Strategic Logics for Resource-Bounded Agents<br/>
• Thursday, 24.02.2011, 1:30 pm: Michael Köster: Abstraction for Model Checking Modular Interpreted Systems over ATL<br/>
• Thursday, 24.02.2011, 1:30 pm: Oberseminar revival.

koester11a.pdf Michael Koester (24.2.2011)