The most likely time for me to IRC would be between 5 and 7 pm UK time
(Noon and 2 EST, the wee hours in Australia), but I may be able to other
times (and I won't be around every day of course). The university
reasonably discourages IRC during the day, but any time I think I might,
I'll just go onto it and look for or start a channel called #lojban.
Colin