... Invited lecture by Prof. Vijay Ganesh (University of Waterloo, Ontario, Canada) . ... In his talk Prof. Ganesh will present a few results that provide a deeper empirical understanding of why CDCL SAT solvers are so efficient. ... CMC MSU students at GSIS Summer School, Tohoku University, Japan . ... Second CMC MSU ? ... CMC MSU ? ... Delegation from Tohoku University (Japan) at CMC MSU . ... Lecture of invited Professor Gill Barequet (Technion, Israel) . ...