This page lists news about the status of the KAIST Sage server
at sagenb.kaist.ac.kr. All
times are Korean Standard Time, UTC+9.
Mon, 02 Feb 2009
It’s February 2nd, Groundhog Day, and since we run a “Groundhog Day” server, it seems appropriate to wish everyone a happy Groundhog Day.
posted at: 08:19 | permalink
Get the RSS
feed, or just go back to the main page.