Suche

"Enhancing Product Line Development by Safety Requirements and Verification" will be published in the LNCS post-proceedings volume for FHIES 12.

Special Issue on the recent Multi-Agent Programming Contest 2017 will appear in Annals of Mathematics and Artificial Intelligence .

Today our two guests from Romania are going back after visiting us for 3 months. Farewell Michnea and Matei!

CIG in Dagstuhl Tristan, Jürgen, Wojtek, Peter, Nils and Michael attend the Dagstuhl-Seminar "Programming Multi-Agent Systems".- Seminar -

Jürgen in Leipzig Jürgen spends this week in Leipzig, where he visits Gerhard Brewka and Heinrich Herre.- IFI Uni Leipzig -

Today, our cherished colleague Tristan successfully defended his PhD-thesis. We congratulate and wish him all the best!

Development and Green Certificates in Germany, Norwegian School of Management , Report No. 3/2001. Supporting Renewable Energy on Liberalised Markets: Green Electricity between Additionality and Consumer […] Vol. 31 (2003), No. 7, S. 583-596. Crowding Out or Crowding In? Consumer Preferences and the Design of Policy and Products in the Green Electricity Market Case , in: Polityka Energetyczna , Vol. 6 (2003) […] ft, Flensburg, März 2005. Altruism, Warm Glow and the Willingness-to-Donate for Green Electricity: An Artefactual Field Experiment, in: Environmental and Resource Economics, Vol. 31 (2005), S. 431-458

We have a new colleague: Dr. Pietro Galliani. We welcome him warmly and are looking forward to work with him.

Sara Bessling gives a talk at the ERCIM/EWICS Workshop on Dependable Embedded and Cyberphysical Systems at SAFECOMP 2013in Toulouse.

Jürgen Dix in Bath 24-27 May 2006: JD is visiting Dept. of CS at Bath University and giving an invited talk.