TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Art

Since 1995 the art showcased at the center has harmonized beautifully with the more or less "nuts and bolts" nature of the work done in the seminars and other events hosted at the center, thus offering the researchers a pleasing aesthetic diversion. Works of national and international artists grace the courtyards, cloisters and gallery walls, thus providing a counterbalance to the sober logic which otherwise characterizes the center. The result is an unusual symbiosis between aesthetics and craftsmanship, giving the center's historic walls their unmistakable ambience and making Schloss Dagstuhl an academic as well as a cultural meeting place.

This concept is the brainchild of Prof. Reinhard Wilhelm, the center's founding scientific director.

There are several methods to this "madness:" for one, the regularly changing exhibits are designed to offer artists a platform for showcasing their work, while offering the center's guests a wonderful opportunity to experience art. The center is also afforded the opportunity of acquiring a collection of its own by way of art donations. Visitors to the center can make a contribution by acquiring shares in a work of art. When the art item is purchased, the donors' names are listed on it. The works of the artists are available for sale to the general public and the center's guests alike.

Donations

Artwork Image: Der Beobachter by Lola Sprenger


Der Beobachter

Artist: Lola Sprenger

Format: 29,7cm x 42cm


donated by

  • Margret Wilhelm

Artwork Image: Begrenzung der Leere by Lola Sprenger


Begrenzung der Leere

Artist: Lola Sprenger

Format: 29,7cm x 42cm


donated by

  • Gerik Scheuermann
  • Helwig Hauser
  • Min Chen
  • Penny Rheingans
  • Participants of Seminar 18041
    Foundations of Data Visualization

Artwork Image: Berg und Tal by Lola Sprenger


Berg und Tal

Artist: Lola Sprenger

Format: 29,7cm x 42cm


donated by

  • Participants of Seminar 20031
    Scalability in Multiobjective Optimization

Artwork Image: o. T. by Werner Constroffer


o. T.

Artist: Werner Constroffer

 


donated by

  • David M Mount
  • Reinhard Wilhelm
  • Participants of Seminar 19181
    Computational Geometry

Artwork Image: Übergang by Sabrina Sperl


Übergang

Artist: Sabrina Sperl

Format: 26 x 20 cm


donated by

  • Martin Kreutzer
  • Saarland-Sporttoto GmbH
  • Participants of Seminar 19031
    Logics for Dependence and Independence

Artwork Image: Inverse in Place by Tim Davis


Inverse in Place

Artist: Tim Davis

 


donated by

Artwork Image: Algorithmic translation of Fantasia Apocalyptica, Chapter 6 (Don Knuth) by Tim Davis


Algorithmic translation of Fantasia Apocalyptica, Chapter 6 (Don Knuth)

Artist: Tim Davis

 


donated by

Artwork Image: Closed by Annette Marx


Closed

Artist: Annette Marx

 


donated by

  • Peter Schneider
  • Schloss Dagstuhl LZI
  • Participants of Seminar 17291
    Resource Bound Analysis
  • Participants of Seminar 17292
    Topology, Computation and Data Analysis

Artwork Image: Flamingo by Gesine Marwedel


Flamingo

Artist: Gesine Marwedel

 


donated by

  • Alfons Simon
  • Reinhard Wilhelm
  • Participants of Seminar 17091
    Computer Science Meets Ecology
  • various

Artwork Image: Nr. 7 by Gudrun Emmert


Nr. 7

Artist: Gudrun Emmert

 


donated by

  • Helen Purchase

Artwork Image: Apart from Mauve by Fabian Treiber


Apart from Mauve

Artist: Fabian Treiber

Format: 40 x 30 cm


donated by

  • Rogerio de Lemos
  • Jörg Ott
  • Reinhard Wilhelm
  • Roland & Ute Vollmar
  • Participants of Seminar 14052
    Ethics in Data Sharing
  • various

Artwork Image: Sandbild 5 by Sabine Eisenbrand


Sandbild 5

Artist: Sabine Eisenbrand

 


donated by

Artwork Image: Drei Flugzeuge und zwölf Landschaften by Peter Amici


Drei Flugzeuge und zwölf Landschaften

Artist: Peter Amici

 


donated by

  • Reinhard Wilhelm
  • Angelika Mueller v. Brochowski
  • Jon Callas
  • Lenore D. Zuck
  • Maxime Crochemore
  • Participants of Seminar 13382
    Collaboration and learning through live coding
  • Participants of Seminar 13511
    Software Engineering for Self-Adaptive Systems: Assurances
  • Participants of Seminar 14031
    Randomized Timed and Hybrid Models for Critical Infrastructures

Artwork Image: Forschungsaufenthalt by Art students of Prof. G. Langendorf (HBK Saarbrücken)


Forschungsaufenthalt

Artist: Art students of Prof. G. Langendorf (HBK Saarbrücken)

Format: 70 x 50 cm


donated by

  • Art students of Prof. G. Langendorf (HBK Saarbrücken)

Artwork Image: Peak of Hope by Volker Sieben


Peak of Hope

Artist: Volker Sieben

Format: 26 x 35 cm


donated by

  • Schloss Dagstuhl LZI

Artwork Image: Poster inside by Ila Wingen


Poster inside

Artist: Ila Wingen

Format: 120 x 80 cm


donated by

  • Schloss Dagstuhl LZI
  • Participants of Seminar 12471
    SAT Interactions
  • Hans Uszkoreit
  • Reinhard Wilhelm
  • Participants of Seminar 13372
    Integration of Tools for Rigorous Software Construction and Analysis
  • Participants of Seminar 14031
    Randomized Timed and Hybrid Models for Critical Infrastructures
  • Participants of Seminar 14341
    Resource-bounded Problem Solving
  • Ute & Roland Vollmar

Artwork Image: in seliger Bläue by Birgit Ginkel


in seliger Bläue

Artist: Birgit Ginkel

Format: 15 x 15 cm


donated by

  • Stefan Jähnichen

Artwork Image: Bergbild by Mane Hellenthal


Bergbild

Artist: Mane Hellenthal

Format: 80 x 80 cm


donated by

  • Reinhard Wilhelm
  • Holger Schlingloff
  • Kathi Fisler and Shriram Krishnamurthi
  • Kirk Pruhs
  • Kurt Mehlhorn
  • Marc Herbstritt
  • Rainer Koschke
  • Roland & Ute Vollmar
  • Participants of Seminar 12271
    AI meets Formal Software Development
  • Participants of Seminar 13051
    Software Certification: Methods and Tools
  • Participants of Seminar 13181
    VaToMAS - Verification and Testing of Multi-Agent Systems
  • Participants of Seminar 12281
    Security and Dependability for Federated Cloud Platforms
  • Participants of Seminar 13062
    Decentralized Systems for Privacy Preservation

Artwork Image: o. T. by Uwe Loebens


o. T.

Artist: Uwe Loebens

Format: 115 x 95 cm


donated by

  • Schloss Dagstuhl LZI
  • Friedrich von Oppeln
  • Reinhard Wilhelm
  • Jens Dittrich
  • Jürgen A. Becker
  • Klaus Schmid
  • Mila Majster-Cederbaum
  • Participants of Seminar 13371
    Quantum Cryptanalysis
  • Aaron Quigley
  • Manfred Droste
  • Roland & Ute Vollmar
  • Participants of Seminar 11492
    Secure Architectures in the Cloud
  • Participants of Seminar 12091
    Principles of Provenance
  • Participants of Seminar 13041
    Civilian Crisis Response Models
  • Participants of Seminar 12271
    AI meets Formal Software Development
  • Participants of Seminar 12282
    Database Workload Management
  • Participants of Seminar 12452
    Publication Culture in Computing Research
  • Participants of Seminar 13052
    Multicore Enablement for Embedded and Cyber Physical Systems
  • Participants of Seminar 13411
    Deduction and Arithmetic
  • Participants of Seminar 14041
    Quantitative Models: Expressiveness, Analysis, and New Applications
  • Participants of Seminar 14042
    Do-it-yourself Networking: an Interdisciplinary Approach
  • Participants of Seminar 14341
    Resource-bounded Problem Solving
  • Participants of Seminar 15052
    Empirical Evaluation for Graph Drawing
  • Various
  • various

Artwork Image: Hommage an Nicola by Marlene Reucher


Hommage an Nicola

Artist: Marlene Reucher

Format: 60 x 50 cm


donated by

  • Alfons Simon
  • 11492
  • Reinhard Wilhelm
  • Roland & Ute Vollmar
  • Participants of Seminar 12091
    Principles of Provenance

Artwork Image: Konzentration by Maria Krause


Konzentration

Artist: Maria Krause

Format: 160 x 50 x 50 cm


donated by

  • Maria Krause

Artwork Image: konzentration II by Irene Zaharoff


konzentration II

Artist: Irene Zaharoff

Format: 130 x 60 cm


donated by

  • Participants of Seminar 11121
    Computational Complexity of Discrete Problems
  • Reinhard Wilhelm
  • Rüdiger und Marlies Reischuk
  • Participants of Seminar 11162
    GIBU 2011: GI-Beirat der Universitätsprofessoren
  • Various
  • Roland und Ute Vollmar

Artwork Image: Berlin by Maxwell J Roberts


Berlin

Artist: Maxwell J Roberts

 


donated by

  • Participants of Seminar 11011
    Multi-Core Memory Models and Concurrency Theory

Artwork Image: New York by Maxwell J Roberts


New York

Artist: Maxwell J Roberts

 


donated by

  • Moshe Vardi

Artwork Image: Moscow by Maxwell J Roberts


Moscow

Artist: Maxwell J Roberts

 


donated by

  • Participants of Seminar 10482
    Formal Methods - Just a Euro-Science?

Artwork Image: Curvy Madrid by Maxwell J Roberts


Curvy Madrid

Artist: Maxwell J Roberts

 


donated by

  • Participants of Seminar 10461
    Schematization in Cartography, Visualization, and Computational Geometry

Artwork Image: Curvy London by Maxwell J Roberts


Curvy London

Artist: Maxwell J Roberts

 


donated by

  • Participants of Seminar 10461
    Schematization in Cartography, Visualization, and Computational Geometry

Artwork Image: Overlayed Vowels in Latin, Kana and Code by Josef Linschinger


Overlayed Vowels in Latin, Kana and Code

Artist: Josef Linschinger

Format: 70 x 50 cm


donated by

  • Reinhard Wilhelm
  • Participants of Seminar 11041
    Multimodal Music Processing
  • Participants of Seminar 11351
    Computer Science and Problem Solving: New Foundations
  • Participants of Seminar 12071
    Software Clone Management Towards Industrial Application

Artwork Image: Apfel, Birne by Rolf Zimmermann


Apfel, Birne

Artist: Rolf Zimmermann

 


donated by

  • Barbara und Michael Marhöfer

Artwork Image: DA/III by Franz Jenull


DA/III

Artist: Franz Jenull

Format: 150 x 100


donated by

  • Britta Schinzel

Artwork Image: ohne Titel by Annegret Ziegler


ohne Titel

Artist: Annegret Ziegler

Format: 42 x 59,6 cm


donated by

  • Rotary Club Saarbrücken

Artwork Image: ohne Titel by Annegret Ziegler


ohne Titel

Artist: Annegret Ziegler

Format: 42 x 59,6 cm


donated by

  • Rotary Club Saarbrücken

Artwork Image: ohne Titel by Annegret Ziegler


ohne Titel

Artist: Annegret Ziegler

Format: 42 x 59,6 cm


donated by

  • Rotary Club Saarbrücken

Artwork Image: ohne Titel by Boy Müller


ohne Titel

Artist: Boy Müller

Format: 65 x 80


donated by

  • Participants of Seminar 10181
    Program Development for Extreme-Scale Computing
  • Others
  • Participants of Seminar 10421
    Model-Based Testing in Practice

Artwork Image: o.T. by Simone Litschka


o.T.

Artist: Simone Litschka

Format: 70x100 cm


donated by

  • Rotary Club Saarbrücken
  • Participants of Seminar 10071
    Scheduling
  • Architekturbüro Birtel, Wadern
  • Participants of Seminar 10361
    Theory of Evolutionary Algorithms
  • Participants of Seminar 10362
    AVACS-Klausurtagung

Artwork Image: ohne Titel by Johannes Buchmann


ohne Titel

Artist: Johannes Buchmann

Format: 50x70 cm


donated by

  • CDU Paderborn und Umgebung
  • Kurt Mehlhorn

Artwork Image: In den Tiefen des Saarlandes by Maria Krause


In den Tiefen des Saarlandes

Artist: Maria Krause

Format: 189 x 44 cm


donated by

  • Participants of Seminar 09381
    Refinement Based Methods for the Construction of Dependable Systems
  • Gisela Ohly
  • Reinhard Wilhelm
  • Participants of Seminar 09221
    Algorithms and Number Theory
  • Participants of Seminar 09301
    Typing, Analysis and Verification of Heap-Manipulating Programs
  • Ute & Roland Vollmar

Artwork Image: ohne Titel by Juliana Hümpfner


ohne Titel

Artist: Juliana Hümpfner

 


donated by

  • Saarland Sporttoto GmbH

Artwork Image: ohne Titel by Juliana Hümpfner


ohne Titel

Artist: Juliana Hümpfner

Format: 44,5 x 62,5 cm


donated by

  • Angelika Mueller-v.Brochowski
  • Reinhard Wilhelm
  • Roland & Ute Vollmar
  • Various
  • Participants of Seminar 09503
    Lehrerfortbildung in Informatik

Artwork Image: Casino 1 by Karola Perrot


Casino 1

Artist: Karola Perrot

Format: 31 cm x 42 cm


donated by

  • Reinhard Wilhelm
  • Participants of Seminar 08402
    Herbstschule "Information Retrieval"

Artwork Image: Santorin Aquarell by Renate Ortner


Santorin Aquarell

Artist: Renate Ortner

Format: 60 cm x 75 cm


donated by

Artwork Image: Abendlicht by Renate Orthner


Abendlicht

Artist: Renate Orthner

 


donated by

  • Günter Hotz

Artwork Image: New York 1 by Hans Ortner


New York 1

Artist: Hans Ortner

 


donated by

  • Günter Hotz

Artwork Image: Rotkohl 2 by Werner Rauber


Rotkohl 2

Artist: Werner Rauber

Format: 50 x 50 cm


donated by

  • Markus Schordan
  • Ute & Roland Vollmar
  • Participants of Seminar 08161
    Scalable Program Analysis

Artwork Image: igotstung by Rainer G. Baier


igotstung

Artist: Rainer G. Baier

Format: 24 x 32 cm


donated by

  • Holger M. Kienle

Artwork Image: l'oriental by Nell & Domingo Politi


l'oriental

Artist: Nell & Domingo Politi

 


donated by

  • Participants of Seminar 07271
    Computational Social Systems and the Internet
  • Participants of Seminar 07341
    Code Instrumentation and Modeling for Parallel Performance Analysis
  • Cornelia Zahlten
  • Wissenschaftsforum
  • Participants of Seminar 07221
    Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation
  • Lions Club
  • Reinhard Wilhelm
  • Participants of Seminar 07241
    Tools for the Model-based Development of Certifiable, Dependable Systems

Artwork Image: Laveline  by Andrea Neumann


Laveline

Artist: Andrea Neumann

Format: 130cm x 160cm


donated by

  • Schloss Dagstuhl LZI
  • Participants of Seminar 08512
    Evaluation Initiative for XML Document Retrieval
  • Igor Walukiewicz & Anca Muscholl
  • Kurt Geihs
  • Reinhard Wilhelm
  • Roland & Ute Vollmar
  • Participants of Seminar 09301
    Typing, Analysis and Verification of Heap-Manipulating Programs
  • Participants of Seminar 07451
    Model-Based Engineering of Embedded Real-Time Systems
  • Participants of Seminar 08441
    Emerging Uses and Paradigms for Dynamic Binary Translation
  • Participants of Seminar 09201
    Self-Healing and Self-Adaptive Systems
  • Participants of Seminar 09361
    Design and Validation of Concurrent Systems
  • Participants of Seminar 09501
    Software Synthesis

Artwork Image: Diaspore by Jaques Gassmann


Diaspore

Artist: Jaques Gassmann

Format: 95cm x 88cm


donated by

  • Schloss Dagstuhl LZI
  • Andreas Zeller
  • Participants of Seminar 07101
    Quantitative Aspects of Embedded Systems
  • Participants of Seminar 08031
    Software Engineering for Self-Adaptive Systems
  • Participants of Seminar 08051
    Theory of Evolutionary Algorithms
  • Reinhard Wilhelm
  • Participants of Seminar 07341
    Code Instrumentation and Modeling for Parallel Performance Analysis
  • Participants of Seminar 08302
    Countering Insider Threats
  • Participants of Seminar 08441
    Emerging Uses and Paradigms for Dynamic Binary Translation

Artwork Image: Maoam by Gabriele Stirl


Maoam

Artist: Gabriele Stirl

Format: 27cm x 37cm


donated by

  • Participants of Seminar 06411
    Specification, Verification and Test of Open Systems
  • Holger Schlingloff

Artwork Image: Zeitungsbild 5 by Maria Krause


Zeitungsbild 5

Artist: Maria Krause

Format: DIN A2


donated by

  • Participants of Seminar 06351
    Methods for Modelling Software Systems (MMOSS)

Artwork Image: Völklingen 4 by Maria Krause


Völklingen 4

Artist: Maria Krause

Format: DIN A 1


donated by

  • Participants of Seminar 07011
    Runtime Verification
  • Markus Müller-Olm
  • Roland & Ute Vollmar
  • Participants of Seminar 07051
    Programming Paradigms for the Web: Web Programming and Web Services

Artwork Image: o. T. by Ursel Kessler


o. T.

Artist: Ursel Kessler

Format: 80cm x 100cm


donated by

  • Reinhard Wilhelm
  • Participants of Seminar 07011
    Runtime Verification
  • Joachim Hornegger
  • Markus Müller-Olm
  • Max Nelson

Artwork Image: Knospe by Julia Baur


Knospe

Artist: Julia Baur

Format: 80cm x 100cm


donated by

Artwork Image: "o. T." by Sabrina Sperl


"o. T."

Artist: Sabrina Sperl

Format: 13cm x 21cm x 4,5cm


donated by

  • Andreas Zeller
  • Participants of Seminar 06081
    Software Verification: Infinite-State Model Checking and Static Program Analysis
  • SW Component Technology Project, Robert Bosch GmbH, Dagstuhl Event 06052

Artwork Image: Lagune I by Uwe Loebens


Lagune I

Artist: Uwe Loebens

Format: 125cm x 140cm


donated by

  • SaarToto
  • Reinhard Wilhelm
  • Friends and relatives of Hannah and Sebastian Fischer
  • Participants of Seminar 06121
    Atomicity: A Unifying Concept in Computer Science
  • Roland und Ute Vollmar
  • Participants of Seminar 06081
    Software Verification: Infinite-State Model Checking and Static Program Analysis
  • Participants of Seminar 06281
    The Challenge of Software Verification

Artwork Image: Figures Libres by Steven Hautemaniere


Figures Libres

Artist: Steven Hautemaniere

Format: 60cm x 80cm


donated by

  • Angelika Mueller
  • Participants of Seminar 05311
    Verifying Optimizing Compilers
  • Participants of Seminar 05421
    Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data

Artwork Image: "o. T." by Mia Unverzagt


"o. T."

Artist: Mia Unverzagt

Format: 43cm x 53cm


donated by

  • Dorothea Wagner, Karlsruhe
  • Reinhard Wilhelm, Saarbrücken
  • Participants of Seminar 05101
    Scheduling for Parallel Architectures: Theory, Applications, Challenges
  • Participants of Seminar 05261
    Multi-Version Program Analysis

Artwork Image: "Qualle" by Marianne Aatz


"Qualle"

Artist: Marianne Aatz

Format: 40cm x 29cm


donated by

  • Lions Hilfe St Wendel

Artwork Image: U1 by Scott van Note


U1

Artist: Scott van Note

Format: 17 cm x 7 cm x 5 cm


donated by

  • Gerald Farin

Artwork Image: "Spitze gruen/blau" by Lukas Kramer


"Spitze gruen/blau"

Artist: Lukas Kramer

Format: 101cm x 16cm


donated by

  • Mirko Conrad
  • Reinhard Wilhelm
  • Participants of Seminar 03491
    Understanding Program Dynamics
  • Ute & Roland Vollmar

Artwork Image: Duft der Zeit by Baik-ran Kim


Duft der Zeit

Artist: Baik-ran Kim

Format: 70cm x 50cm


donated by

  • Participants of Seminar 04251
    Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision

Artwork Image: "o.T." by Natascha Popp


"o.T."

Artist: Natascha Popp

Format: 30cm x 30cm


donated by

  • Heckmann, Dominik
  • Ute & Roland Vollmar

Artwork Image: "Blau innen / aussen" by Lukas Kramer


"Blau innen / aussen"

Artist: Lukas Kramer

Format: 14cm x 71cm


donated by

  • Ute & Roland Vollmar

Artwork Image: "ohne Titel" by Joachim Ickrath


"ohne Titel"

Artist: Joachim Ickrath

Format: 50cm x 50cm


donated by

  • Saarland Sporttoto GmbH
  • Participants of Seminar 03101
    Reasoning about Shape
  • Participants of Seminar 03431
    Hardware and Software Consistency Models: Programmability and Performance
  • Participants of Seminar 03461
    Software Intensive Embedded Systems - with Special Emphasis on Automotive

Artwork Image: o.T. by Maria Satter


o.T.

Artist: Maria Satter

Format: 70cm x 100cm


donated by

  • Participants of Seminar 03111
    Challenges in High Performance Simulations for Science and Engineering

Artwork Image: "ohne Titel" by Anna-Lena Sauer


"ohne Titel"

Artist: Anna-Lena Sauer

Format: 80cm x 80cm


donated by

  • David Naumann
  • Reinhard Wilhelm
  • Roland Vollmar
  • Participants of Seminar 03101
    Reasoning about Shape
  • Ute Vollmar
  • Verschiedene Spender

Artwork Image: Reisebilder des Nordens by Astrid Hübbe-Mosler


Reisebilder des Nordens

Artist: Astrid Hübbe-Mosler

Format: 50cm x 60cm


donated by

  • Roland & Ute Vollmar
  • Participants of Seminar 02462
    IFIP WG 2.4 "Software Implementation Technology"

Artwork Image: Nr. 20 by Mechthild Schneider


Nr. 20

Artist: Mechthild Schneider

Format: 35cm x 70cm


donated by

  • Verschiedene Spender
  • Reinhard Wilhelm

Artwork Image: "o. T." by Friederike Bauer


"o. T."

Artist: Friederike Bauer

Format: 50cm x 70cm


donated by

  • Marlies & Rüdiger Reischuk
  • Reinhard Wilhelm
  • Participants of Seminar 02121
    Complexity of Boolean Functions
  • verschiedene Spender

Artwork Image: "o. T." by Mia Unverzagt


"o. T."

Artist: Mia Unverzagt

Format: 18cm x 24cm


donated by

  • Alejandro Lopez-Ortiz, Waterloo (Canada)
  • Roland & Ute Vollmar, Karlsruhe

Artwork Image: "Zeitspuren" by Anni Kenn-Fontaine


"Zeitspuren"

Artist: Anni Kenn-Fontaine

Format: 40cm x 40cm


donated by

  • Participants of Seminar 02401
    Algorithms and Complexity for Continuous Problems

Artwork Image: Crescendo für Gelb Decrescendo für Grau by Gabriele Stirl


Crescendo für Gelb Decrescendo für Grau

Artist: Gabriele Stirl

Format: 26cm x 33cm /ea


donated by

  • Landeszentralbank in Rheinland-Pfalz und im Saarland
  • Reinhard Wilhelm
  • SAP Retail Solutions
  • Saarland Sporttoto GmbH

Artwork Image: Der Fluss meiner Gedanken / The flow of my thoughts by Baik-ran Kim


Der Fluss meiner Gedanken / The flow of my thoughts

Artist: Baik-ran Kim

Format: 600cm x 50cm


donated by

  • Margret Wilhelm
  • Participants of Seminar 99451
    Rigorous Analysis and Design for Software Intensive Systems
  • Participants of Seminar 00162
    4th Conference on "Real Numbers and Computers"

Artwork Image: Grüner-Ausschnitt by Gabriele Eickhoff


Grüner-Ausschnitt

Artist: Gabriele Eickhoff

Format: 40cm x 50cm


donated by

  • Barbara Ryder & Uwe Assmann
  • Franz & Lilli Schimpf
  • Margret Wilhelm
  • Participants of Seminar 00381
    Code Optimisation: Trends, Challenges and Perspectives
  • THS Wirtschaftsprüfung
  • Ute & Roland Vollmar
  • Wolfgang Eisenbrand

Artwork Image: Eurasia by Aloys Ohlmann


Eurasia

Artist: Aloys Ohlmann

Format: 65cm x 50cm


donated by

  • Bernd Gärtner
  • Participants of Seminar 01301
    Inference Principles and Model Selection

Artwork Image: Zeichnung O.T.  by Sigrun Olafsdottir


Zeichnung O.T.

Artist: Sigrun Olafsdottir

Format: 78 x 106 cm


donated by

  • Angelika Müller
  • Friedemann Mattern
  • Participants of Seminar 98091
    Data Structures
  • Participants of Seminar 98161
    Programs with Recursively Defined Data Structures

Artwork Image: Skulpturen by Sigrun Olafsdottir


Skulpturen

Artist: Sigrun Olafsdottir

Format: 220cm


donated by

  • Chris Hankin
  • Flemming Nielson
  • Friedemann Mattern
  • Hanne Riis Nielson
  • Landeszentralbank in Rheinland-Pfalz und im Saarland
  • Reinhard Wilhelm
  • Saar Toto
  • Participants of Seminar 98191
    Quantum Algorithms

Artwork Image: Oelbild  by Ina Rolshoven


Oelbild

Artist: Ina Rolshoven

Format: 40cm x 60cm


donated by

  • Reinhard Wilhelm
  • Roland Vollmar
  • Participants of Seminar 99041
    Computer Aided Design and Test Decision Diagrams - Concepts and Applications
  • Ute Vollmar

Artwork Image: Strukturelle Fläche "I" by Gabriele Stirl


Strukturelle Fläche "I"

Artist: Gabriele Stirl

Format: 70cm x 50cm


donated by

Artwork Image: Burg in Assisi  by Petra Stoeppel


Burg in Assisi

Artist: Petra Stoeppel

Format: 48cm x 33cm


donated by

  • GrammaTech, Ithaca
  • Reinhard Wilhelm
  • Participants of Seminar 98101
    Program Comprehension and Software Reengineering
  • Participants of Seminar 98111
    Evaluation and Validation of Computer Vision Algorithms
  • SoftFrutti, Saarbrücken

Artwork Image: Musik in der Stadt by Petra Stoeppel


Musik in der Stadt

Artist: Petra Stoeppel

Format: 200cm x 150cm


donated by

  • Chris Hankin, Flemming Nielson and Hanne Riis Nielson
  • Harald Ganzinger
  • Reinhard Wilhelm
  • Participants of Seminar 99151
    Program Analysis
  • Ulrike Lechner
  • Ute & Roland Vollmar

Artwork Image: Polyrythmie  by Günter Wilkes


Polyrythmie

Artist: Günter Wilkes

Format: 60cm x 60cm


donated by

  • Barbara Ryder & Uwe Assmann
  • Dorothea Wagner
  • Reinhard Wilhelm
  • Participants of Seminar 01271
    Link Analysis and Visualization
  • Participants of Seminar 01301
    Inference Principles and Model Selection
  • Ulrike Brandes

Artwork Image: Japan  by Franz Jenull


Japan

Artist: Franz Jenull

Format: 100cm x 150cm


donated by

  • Britta Schinzel

Artwork Image: ohne Titel by Lukas Kramer


ohne Titel

Artist: Lukas Kramer

Format: 50cm x 65cm


donated by

  • SAP Retail Solutions

Artwork Image: Frau mit Katze  by Aloys Ohlmann


Frau mit Katze

Artist: Aloys Ohlmann

Format: 90cm x 50cm


donated by

  • Prof. Wolfgang Wahlster

Artwork Image: Tenderness of wolves in foreign times, 1989 by T. A. Rekk


Tenderness of wolves in foreign times, 1989

Artist: T. A. Rekk

Format: 100cm x 160cm


donated by

  • Britta Schinzel

Artwork Image: Wüste  by Hiltrud Schinzel


Wüste

Artist: Hiltrud Schinzel

Format: 60cm x 45cm


donated by

  • Britta Schinzel

Artwork Image: Durch die Stadt by Petra Stoeppel


Durch die Stadt

Artist: Petra Stoeppel

Format: 195cm x 161cm


donated by

  • Saarland Sporttoto GmbH

Artwork Image: Haus in Piégon by Petra Stoeppel


Haus in Piégon

Artist: Petra Stoeppel

Format: 110cm x 85cm


donated by

  • Saarland Sporttoto GmbH

Artwork Image:  Horizont, 1999 by Werner Rauber


Horizont, 1999

Artist: Werner Rauber

Format: 40cm x 40cm /ea


donated by

  • Mark Vogelgesang
  • Plus Werbung Saarbrücken
  • Reinhard Wilhelm
  • Participants of Seminar 00211
    Scientific Visualization
  • Ute & Roland Vollmar