Logic Seminar - Daniel Palacin