seminar

The STyLo seminar is a weekly internal meeting for members of the Systems, Types, and Logic group. It provides a space to present ongoing research, share preliminary results, and discuss papers relevant to the group’s themes such as type systems, categorical semantics, and formal methods for system verification.

When: Mondays at 11:00 (starting from week 38)
Where: Location announced via the mailing list
Who: Open to all members of the STyLo research group