This is a reading group where we discuss research topics regarding LF and logical reasoning. Meetings take place on Mondays at 3 PM in Carsten's office.

Next week

Past topics