This page contains a list of papers that one could present at the logic & semantics seminar.

• Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau and Nicolas Tabareau. The Definitional Side of the Forcing. To appear at LICS'16.