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.