Институт Систем информатики им. Ершова - Официальный сайт
История института, список подразделений, дирекция. Направления деятельности: методы и системы искусственного интеллекта, методы и инструменты построения программ повышенной надежности, прикладное ПО. Расписание семинаров, результаты исследований.