PLUSLE

Entries tagged - "π-calculus"

• Proofs as Processes. Propositions as sessions
  May 28, 2026 | 11:00 am - 12:00 pm | Odense, NAT IMADA Meeting Room 4 (Ø14-605b-2)
• π-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)
• π-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)