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

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

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

In this session, we relate internal mobility to agent-passing calculi.

π-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.