Log of the #nice channel on irc.freenode.net

Using timezone: Central European Time
* CIA-2 leaves09:03
* CIA-2 joins09:06
* ChanServ leaves09:18
* ChanServ joins09:29
* Bluelive joins11:34
http://research.sun.com/projects/plrg/fortress0618.pdf ?11:53
* mb__ joins12:21
* arjanb joins12:29
* arjanb leaves
* Bluelive leaves12:54
* Atomixx joins14:37
* mb__ leaves14:49
* Atomixx leaves16:57
* Atomixx joins21:32
* Atomixx leaves23:28