E-mail:
nuclid [at] proof.cz
Jabber:
nuclid [at] njs.netlab.cz
ICQ:
66883066