Laboratory of Axiomatics Seminar