Jump to Navigation | Search | Content area | Page footer

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

Berg und Tal

Artist: Lola Sprenger
Format: 29,7cm x 42cm

Donated by:

  • Participants of Seminar 20031
    Scalability in Multiobjective Optimization

o. T.

Artist: Werner Constroffer
Format: 

Donated by:

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

Ü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

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

Artist: Tim Davis
Format: 

Donated by:


Inverse in Place

Artist: Tim Davis
Format: 

Donated by:


Closed

Artist: Annette Marx
Format: 

Donated by:

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

Flamingo

Artist: Gesine Marwedel
Format: 

Donated by:

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

Nr. 7

Artist: Gudrun Emmert
Format: 

Donated by:

  • Helen Purchase

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

Sandbild 5

Artist: Sabine Eisenbrand
Format: 

Donated by:


Drei Flugzeuge und zwölf Landschaften

Artist: Peter Amici
Format: 

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

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)

Peak of Hope

Artist: Volker Sieben
Format: 26 x 35 cm

Donated by:

  • Schloss Dagstuhl LZI

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

in seliger Bläue

Artist: Birgit Ginkel
Format: 15 x 15 cm

Donated by:

  • Stefan Jähnichen

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 12281
    Security and Dependability for Federated Cloud Platforms
  • Participants of Seminar 13051
    Software Certification: Methods and Tools
  • Participants of Seminar 13062
    Decentralized Systems for Privacy Preservation
  • Participants of Seminar 13181
    VaToMAS - Verification and Testing of Multi-Agent Systems

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
  • Various
  • 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

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

Konzentration

Artist: Maria Krause
Format: 160 x 50 x 50 cm

Donated by:

  • Maria Krause

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

Berlin

Artist: Maxwell J Roberts
Format: 

Donated by:

  • Participants of Dagstuhl Seminar 11011

Curvy Madrid

Artist: Maxwell J Roberts
Format: 

Donated by:

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

Curvy London

Artist: Maxwell J Roberts
Format: 

Donated by:

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

New York

Artist: Maxwell J Roberts
Format: 

Donated by:

  • Moshe Vardi

Moscow

Artist: Maxwell J Roberts
Format: 

Donated by:

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

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

Apfel, Birne

Artist: Rolf Zimmermann
Format: 

Donated by:

  • Barbara und Michael Marhöfer

DA/III

Artist: Franz Jenull
Format: 150 x 100

Donated by:

  • Britta Schinzel

ohne Titel

Artist: Annegret Ziegler
Format: 42 x 59,6 cm

Donated by:

  • Rotary Club Saarbrücken

ohne Titel

Artist: Annegret Ziegler
Format: 42 x 59,6 cm

Donated by:

  • Rotary Club Saarbrücken

ohne Titel

Artist: Annegret Ziegler
Format: 42 x 59,6 cm

Donated by:

  • Rotary Club Saarbrücken

ohne Titel

Artist: Boy Müller
Format: 65 x 80

Donated by:

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

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

ohne Titel

Artist: Johannes Buchmann
Format: 50x70 cm

Donated by:

  • CDU Paderborn und Umgebung
  • Kurt Mehlhorn

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

ohne Titel

Artist: Juliana Hümpfner
Format: 

Donated by:

  • Saarland Sporttoto GmbH

ohne Titel

Artist: Juliana Hümpfner
Format: 44,5 x 62,5 cm

Donated by:

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

Casino 1

Artist: Karola Perrot
Format: 31 cm x 42 cm

Donated by:

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

Santorin Aquarell

Artist: Renate Ortner
Format: 60 cm x 75 cm

Donated by:


Abendlicht

Artist: Renate Orthner
Format: 

Donated by:

  • Günter Hotz

New York 1

Artist: Hans Ortner
Format: 

Donated by:

  • Günter Hotz

Rotkohl 2

Artist: Werner Rauber
Format: 50 x 50 cm

Donated by:

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

igotstung

Artist: Rainer G. Baier
Format: 24 x 32 cm

Donated by:

  • Holger M. Kienle

l'oriental

Artist: Nell & Domingo Politi
Format: 

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
  • Participants of Seminar 07221
    Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation
  • Wissenschaftsforum
  • Lions Club
  • Reinhard Wilhelm
  • Participants of Seminar 07241
    Tools for the Model-based Development of Certifiable, Dependable Systems

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 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 09301
    Typing, Analysis and Verification of Heap-Manipulating Programs
  • Participants of Seminar 09361
    Design and Validation of Concurrent Systems
  • Participants of Seminar 09501
    Software Synthesis

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

Maoam

Artist: Gabriele Stirl
Format: 27cm x 37cm

Donated by:

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

Zeitungsbild 5

Artist: Maria Krause
Format: DIN A2

Donated by:

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

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

Knospe

Artist: Julia Baur
Format: 80cm x 100cm

Donated by:


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

"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

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

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

"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

"Qualle"

Artist: Marianne Aatz
Format: 40cm x 29cm

Donated by:

  • Lions Hilfe St Wendel

U1

Artist: Scott van Note
Format: 17 cm x 7 cm x 5 cm

Donated by:

  • Gerald Farin

"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

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

"o.T."

Artist: Natascha Popp
Format: 30cm x 30cm

Donated by:

  • Heckmann, Dominik
  • Ute & Roland Vollmar

"Blau innen / aussen"

Artist: Lukas Kramer
Format: 14cm x 71cm

Donated by:

  • Ute & Roland Vollmar

"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

o.T.

Artist: Maria Satter
Format: 70cm x 100cm

Donated by:

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

"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

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"

Nr. 20

Artist: Mechthild Schneider
Format: 35cm x 70cm

Donated by:

  • Verschiedene Spender
  • Reinhard Wilhelm

"o. T."

Artist: Mia Unverzagt
Format: 18cm x 24cm

Donated by:

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

"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

"Zeitspuren"

Artist: Anni Kenn-Fontaine
Format: 40cm x 40cm

Donated by:

  • Participants of Seminar 02401
    Algorithms and Complexity for Continuous Problems

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
  • Saarland Sporttoto GmbH
  • SAP Retail Solutions

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

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

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

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

Strukturelle Fläche "I"

Artist: Gabriele Stirl
Format: 70cm x 50cm

Donated by:

  • Participants of Seminar 00211
    Scientific Visualization
  • Participants of Seminar 00162
    4th Conference on "Real Numbers and Computers"

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

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

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

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"

Eurasia

Artist: Aloys Ohlmann
Format: 65cm x 50cm

Donated by:

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

Haus in Piégon

Artist: Petra Stoeppel
Format: 110cm x 85cm

Donated by:

  • Saarland Sporttoto GmbH

ohne Titel

Artist: Lukas Kramer
Format: 50cm x 65cm

Donated by:

  • SAP Retail Solutions

Tenderness of wolves in foreign times, 1989

Artist: T. A. Rekk
Format: 100cm x 160cm

Donated by:

  • Britta Schinzel

Wüste

Artist: Hiltrud Schinzel
Format: 60cm x 45cm

Donated by:

  • Britta Schinzel

Frau mit Katze

Artist: Aloys Ohlmann
Format: 90cm x 50cm

Donated by:

  • Prof. Wolfgang Wahlster

Japan

Artist: Franz Jenull
Format: 100cm x 150cm

Donated by:

  • Britta Schinzel

Durch die Stadt

Artist: Petra Stoeppel
Format: 195cm x 161cm

Donated by:

  • Saarland Sporttoto GmbH

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