Hi everyone, Grigore Rosu(http://fsl.cs.uiuc.edu/~grosu/) will be visiting next Wednesday. If you're interested in a meeting with him, please send me a list of times that work for you. He will be at the department from 10:30 to 19:00. Thanks. .Christos