Abstract :
I´d like to start with an apology to Prof. Hadas Kress-Gazit for a most egregious error in our last issue (see below). Prof. Kress-Gazit was the guest editor for our special issue on formal methods. Guest editors play an important role for the magazine in bringing forward cogent collections of articles that illustrate what is happening in important and often emerging topics. If you have an idea for a special issue, please contact me. The lead time is close to one year, and at this point, we have topics for every issue in 2012, so it is time to start thinking about 2013.
