KAUST CEMSE AMCS STAT Graduate Seminar Basilis Gidas Towards a Syntactic Probabilistic