I organize two weekly seminars:

• Working group on semantics every tuesday from 11am to 1pm.

• Working group on type theory and realizability every wednesday afternoon from 2pm to 3.30pm, which I coordinate with Hugo Herbelin.

I also used to organize the general seminar of the PPS lab:

• PPS seminar every thursday from 11am to 1pm -- coordinated by Roberto Amadio and Claudia Faggian.

Please contact me here for information.