SAT2015は今日から開催。僕は参加できないけれど、予稿集がオープンアクセスになっていて素晴らし。 http://link.springer.com/book/10.1007%2F978-3-319-24318-4 http://www.cs.utexas.edu/~marijn/sat15/