Tardis runs a server as part of the ImaginaryNet IRC network. The server's address is irchost.tardis.ed.ac.uk (works inside tardis but not outside) - irc.tardis.ed.ac.uk points the the IRC networks round-robin (works outside tardis too).
A guide for users on how to connect to the network can be found here.
Tardis admins aren't encouraged to add themselves as opers without the consent of the other network admins.
The server currently runs the default debian installation of inspircd.
There are two hub servers ginsberg.weegie.net and cowu.be which the tardis server will connect to (ginsberg by default).