falls im Physikzentrum in Bad Honnef statt.

We find the number of partitions of n whose BG-rank is j, in terms of pp(n), the number of pairs of partitions whose total number of cells is n, giving both bijective and generating function proofs. Next we find congruences mod 5 for pp(n), and then we use these to give a new proof of a refined system of congruences for p(n) that was found by Berkovich and Garvan.

Biogeochemical processes in sediments of the Manfredonia Gulf (Southern Adriatic Sea): early diagenesis of carbon and nutrient and benthic exchange F. Spagnoli, G. Bartholini, M. Marini, and P. Giordano National Research Council-Marine Science Institute-Departement of Lesina (FG), Italy National Research Council-Marine Science Institute-Department of Ancona, Italy National Research Council-Mari...

Given an arbitrary group G we construct a semigroup of idempotents (band) BG with the property that the free idempotent generated semigroup over BG has a maximal subgroup isomorphic to G. If G is finitely presented then BG is finite. This answers several questions from recent papers in the area.

Let G be a compact Lie group with H and K arbitrary closed subgroups. Let BG, BH, BK be /-universal classifying spaces, with p{H, G): BH -» BG the natural projection. Then transfer homomorphisms J\H, G): h(BH) -» h(BG) are defined for h an arbitrary cohomology theory. One of the basic properties of the transfer for finite coverings is a double coset formula. This paper proves a double coset the...

We prove that a finitely generated soluble residually finite group has polynomial index growth if and only if it is a minimax group. We also show that if a finitely generated group with PIG is residually finite-soluble then it is a linear group. These results apply in particular to boundedly generated groups; they imply that every infinite BG residually finite group has an infinite linear quoti...

Das Vortragsprogramm eröffnete Carsten Weise mit seiner Keynote Testen mobiler, verteilter Netzwerke mittels symbolischer Ausführung welche die symbolische Ausführung von Programkode in der industriellen Praxis nahebrachte. Im zweiten Vortrag Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Softwareproduktlinienstellte der Preisträger des GI TAV-Award 2011, ...

Let G be a discrete, torsion free group with a finite dimensional classifying space BG. We show that the existence of a γ-element for such G is a metric, that is, coarse, invariant of G. We also obtain results for groups with torsion. The method of proof involves showing that a group G possesses a γ-element if and only if a certain coarse (co)-assembly map is an isomorphism.

Work-related stress can lead to substantial health problems and thereby result in immense costs for establishments. Therefore, the question as to what extent establishments contribute to their employees’ stress levels is of great importance for firm performance. We investigate the relationship between personnel policies and work-related stress by considering a series of personnel policies that ...

Die Qualitätssicherung von Software avanciert immer mehr zu einer Kerndisziplin der Softwaretechnik. Dies bedeutet gleichzeitig, dass die Qualitätssicherungstechniken mit der fortschreitenden Weiterentwicklung entsprechender Spezifikationstechniken und Entwicklungssowie Einsatzplattformen Schritt halten müssen. Das 28. Treffen der Fachgruppe TAV der Gesellschaft für Informatik (GI) am Donnersta...