Bilgi ve Bilgi İşleme BilimleriAlgoritmalar ve Hesaplama KuramıVeri Yapıları ve AlgoritmalarBilgisayar Sistemlerinin Adalet, Hesap Verebilirlik, Şeffaflık, Güven ve EtiğiYaygın HesaplamaBağlam ÖğrenimiNöral AğlarYaşam Bilimlerinde Bilgi İşlemeBulanık HesaplamaEvrimsel HesaplamaPlanlama ve Karar VermeAmpirik Yazılım MühendisliğiGereksinim MühendisliğiYazılım Kalitesi, Süreçler ve MetriklerYazılım Testi, Doğrulama ve Validasyon