Programming Languages, Semantics, Logic reading group at the University of Southern Denmark

π-Calculus, internal mobility, and agent-passing-calculi (part 1)

Dec 1, 2025 | 1:00 pm - 2:00 pm | Odense, NAT IMADA Meeting Room 3 (Ø9-601a-2)

This session inaugurates the first cycle of PLSL meetings, which is dedicated to (higher-order) concurrency theory