BSS Formal Seminar