Recent News (approximately the last six months)

December 2009

Joe Kiniry is on the Program Committee of CBSE 2010 and PMMPS 2010.

November 2009

Joe Kiniry has accepted an Associate Professor position at IT University of Copenhagen (ITU). Thus, the KindSoftware group is moving in January, 2010 to Copenhagen.

October 2009

A paper How to Complete an Interactive Configuration Process? by Mikoláš Janota, Goetz Botterweck, Radu Grigore, and Joao Marques-Silva was accepted to SOFSEM'10.

August 2009

Eight new MSc students have joined the group.

Joe Kiniry is on the Program Committee of ICECCS 2010.

A paper, "A Verification-centric Software Development Process for Java," by Joseph Kiniry and Daniel Zimmerman is being presented by Dan in Korea.

July 2009

Mikoláš Janota presented the command line processing library CLOPS at the IFIP Working Conference on Domain Specific Languages (DSL WC), see also the conference blog.

June 2009

Mikoláš Janota was invited to give a talk at a Czecho-Slovakian conference on current trends in theoretical computer science and wrote a blogpost about it.