Dagstuhl Seminar 15171

  • Armin Biere (Organiser)

Activity: Participating in or organising an event › Organising a conference, workshop, ...

Description

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.
Period19 Apr 2015 → 24 Apr 2015
Event typeSeminar
LocationGermanyShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links