Events and seminars at School of Information Science, Computer and Electrical Engineering
May 30 - June 1 The 2nd Summer School on Accurate Programming
Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state of the art software development methods. In addition to building on approaches that have proven effective in practice, it emphasizes concepts that help programmers sharpen their understanding of both the problems they are solving and the solutions they come up with. This is achieved by encouraging programmers to think about programs in terms of properties.
The 2nd Halmstad Summer School on Accurate Programming serves as an introduction to the topic including industrial cases, state-of-the-art tools for modern programming languages and hands-on tutorials.
June 6-8 Second Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'12)
June 11 Licentiate seminar with Jens Lundström
Time: 10.15 a.m. Room: Wigforssalen, house Visionen
Time: 10.15 a.m. Room: Wigforssalen, house Visionen
Title: Understanding Offset Print Quality: A Computational Intelligence-based Approach
Opponent: Ulf Johansson, associate professor, School of Business and IT, University of Borås
Main supervisor: Antanas Verikas, professor, Halmstad university
Co-supervisor: Ivan Kalaykov, professor, Örebro university
Examiner: Silvia Coradeschi, professor Örebro university
Welcome!
June 25 - 27 Program generation WG 2.11, the eleventh meeting
Program generation has the potential to revolutionize software development in the same way that automation and components revolutionized manufacturing. Current research in this area targets a host of technical problems both at the foundational and engineering levels. The aim of this IFIP Working Group of researchers and practitioners is to promote progress in this area.
This time the meeting is hosted by Halmstad university.
Page editor: Eva Nestius
Page last updated 2012-05-22
Halmstad University | Box 823 | S-301 18 Halmstad, Sweden | Tel: +46 35-16 71 00 | registrator@hh.se | Visiting address: Kristian IV:s väg 3