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 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)
  • Mobile and Enterprise Computing (Prof. Müller)



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". 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.

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

  • Wednesday, 30.04.2014, 13:30: Sara Mahvi: Model based safety analysis of a medical device using SCADE
  • Wednesday, 30.04.2014, 13:00: Xiaoqian Gu: Modellierung und Verifikation einer Familie von sicherheitskritischen Medizingeräten mit der SCADE
  • Wednesday, 23.04.2014, 14:00: Nils Bulling: A Boolean Game Based Modeling of Socio-Technical Systems
  • Wednesday, 02.10.2013, 13:00: Pietro Galliani: On the Dynamics of Imperfect Information
  • Wednesday, 14.08.2013, 10:00: Nils Bulling: Coalitional Responsibility in Strategic Settings
  • 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
  • Tuesday, 12.04.2011, 14:00ct: Mihnea Muraru and Matei Popovici: Temporal Reasoning with Fluid Qualities
  • Thursday, 24.03.2011, 13:00ct: Nils Bulling: Model Checking Strategic Logics for Resource-Bounded Agents
  • Thursday, 24.02.2011, 1:30 pm: Michael Köster: Abstraction for Model Checking Modular Interpreted Systems over ATL
  • Thursday, 24.02.2011, 1:30 pm: Oberseminar revival.

Slides

koester11a.pdf

Michael Koester (24.2.2011)

 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2017