JFYI: The eduroam connectivity problems stem from Bug No. 1104476. A work-around exists, see here. I hope the problem gets fixed in 13.10, tho.