keeda is currently maintained by Ted Kremenek among others.
Among other things, it also hosts a variety of mailing lists, the public archives of which can be found here . It also hosts a group Wiki. Both are password protected; to gain access please contact the adminstrator for keeda.
mailto: kremenek at cs dot stanford dot edu