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


Seminar News

Interaktion versus Automatisierung: Die zwei Gesichter der Deduktion

Categories:
Computerclub Zwei, Folge 193. Wolfgang Back und Wolfgang Rudolph im Gespräch mit Prof. Dr. Jürgen Giesl

Unfortunately, this article is only available in German.

Computerclub Zwei, Folge 193

Wolfgang Back und Wolfgang Rudolph im Gespräch mit Prof. Dr. Jürgen Giesl zu Dagstuhl-Seminar 09411:

Interaktion versus Automatisierung: Die zwei Gesichter der Deduktion

Download der Sendung

(Interview ab 20:50 min)

Details zu dem Dagstuhl-Seminar

09411 «Interaction versus Automation: The two Faces of Deduktion»


Related Seminar: 09411 Interaction versus Automation: The two Faces of Deduction