Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Koblenz für das Wintersemester 2009/2010

Fachtagung Verwaltungsinformatik FTVI, Fachtagung Rechtsinformatik FTRI

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Landau für das Sommersemester 2008

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Landau für das Sommersemester 2009

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Koblenz für das Sommersemester 2009

This volume contains those research papers presented at the Second International Conference on Tests and Proofs (TAP 2008) that were not included in the main conference proceedings. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areas for the advancement of software quality. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope of proving its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to offer. The first TAP conference (held at ETH Zurich in February 2007) was an attempt to provide a forum for the cross-fertilization of ideas and approaches from the testing and proving communities. For the 2008 edition we found the Monash University Prato Centre near Florence to be an ideal place providing a stimulating environment. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members as well as additional referees for their great effort and professional work in the review and selection process. Their names are listed on the following pages. In addition to the contributed papers, the program included three excellent keynote talks. We are grateful to Michael Hennell (LDRA Ltd., Cheshire, UK), Orna Kupferman (Hebrew University, Israel), and Elaine Weyuker (AT&T Labs Inc., USA) for accepting the invitation to address the conference. Two very interesting tutorials were part of TAP 2008: "Parameterized Unit Testing with Pex" (J. de Halleux, N. Tillmann) and "Integrating Verification and Testing of Object-Oriented Software" (C. Engel, C. Gladisch, V. Klebanov, and P. Rümmer). We would like to express our thanks to the tutorial presenters for their contribution. It was a team effort that made the conference so successful. We are grateful to the Conference Chair and the Steering Committee members for their support. And we particularly thank Christoph Gladisch, Beate Körner, and Philipp Rümmer for their hard work and help in making the conference a success. In addition, we gratefully acknowledge the generous support of Microsoft Research Redmond, who financed an invited speaker.

Jahresbericht Informatik 1998/1999

Jahresbericht Informatik 2000/2001

Forschungs- und Lehrbericht 2002/2003 Fachbereich 4: Informatik

Forschungs- und Lehrbericht 2004/2005 Fachbereich 4: Informatik

Forschungs- und Lehrbericht 2006/2007 Fachbereich 4: Informatik

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Koblenz für das Wintersemester 2010/2011

Forschungs- und Lehrbericht 2008/2009 Fachbereich 4: Informatik

Geschäftsordnung des Interdisziplinären Promotionszentrums der Universität Koblenz-Landau Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang BioGeoWissenschaften der Universität Koblenz-Landau Ordnung zur Aufhebung der Ordnung für die Prüfung im Bachelorstudiengang Ecological Impact Assessment und der Ordnung für die Prüfung im Masterstudiengang Ecological Impact Assessment in Freshwater Ecosystems an der Universität Koblenz-Landau Gemeinsame Prüfungsordnung für den Bachelorstudiengang und den Masterstudiengang "Psychologie" des Fachbereichs Psychologie der Universität Koblenz-Landau, Campus Landau Ordnung zur Aufhebung der Diplomprüfungsordnung für Studierende der Psychologie an der Universität Koblenz-Landau, Abteilung Landau Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang "Sozialwissenschaften" und den Masterstudiengang "Moderne Gesellschaften im Wandel" des Fachbereichs 6: Kultur- und Sozialwissenschaften an der Universität Koblenz-Landau

Satzung zur Festsetzung von Zulassungszahlen an der Universität Koblenz-Landau für das Sommersemester 2011 (Korrigierte Fassung)

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Landau für das Wintersemester 2013/14

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Landau für das Wintersemester 2011/12

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Koblenz für das Wintersemester 2012/2013

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Koblenz für das Sommersemester 2013

Forschungs- und Lehrbericht 2011/2012, Fachbereich 4: Informatik, Universität Koblenz-Landau

Ordnung zur Änderung der Einschreibeordnung für die Universität Koblenz-Landau

Fünfte Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau Dritte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau

Dritte Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang "Sozialwissenschaften" und den Masterstudiengang "Moderne Gesellschaften im Wandel" des Fachbereichs 6: Kultur- und Sozialwissenschaften an der Universität Koblenz-Landau Sechste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau Vierte Ordnung zur Änderung der Prüfungsordnung für die Prüfung in den Masterstudiengängen für das Lehramt an Grundschulen, das Lehramt an Realschulen plus, das Lehramt an Förderschulen sowie das Lehramt an Gymnasien an der Universität Koblenz-Landau Vierte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau Erste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau Erste Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang Erziehungswissenschaft an der Universität Koblenz-Landau, Campus Landau

Veranstaltungsverzeichnis der Universität Koblenz - Landau, Campus Koblenz für das Sommersemester 2014

Engineered nanoparticles (ENP) are widely used in different industrial fields and products. In the last years, the risk potential for the release of ENP in the environment has increased as never before. ENP are expected to pass the wastewater-river-topsoil-groundwater pathway. In the terrestrial and aquatic environment ENP can undergo aging and transformation processes which can influence fate, transport and toxicological effects to different living organisms. The scope of this workshop is to gather researchers, scientists, experts and specialists from nanoparticle and colloid science, soil and environmental chemistry, ecotoxicology or neighbouring disciplines to discuss the latest results and findings in the field of aging, fate, transport and toxicological effects of nanoparticles in the environment.