ReRISE'14 Winter School

  • Armin Biere (Organiser)
  • Doris Falb (Organiser)

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

Description

The ReRiSE'14 winter school is an event of the Austrian national research network RiSE. The school is about reasoning engines for rigourous system engineering and consists of lectures on principles of decision procedures, including fundamentals, state-of-art algorithms and data structures, as well as implementation techniques. The emphasis is on techniques which are important for practical applications and used in rigorous system engineering.
Period03 Feb 2014 → 07 Feb 2014
Event typeOther
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links