ACP SectionFrom 14:30 to 15:30 on Wednesday, March 18, the PLSL reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.
https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/
Stefano Volpe 
Q: Is @acp's PLSL reading group associated with PSSL, the Peripatetic Seminar on Sheaves and Logic happening next month?
A: No, but we are not the ones outsourcing web hosting to google sites, so PLSL won't be the one backing down first #PLSL
A: No, but we are not the ones outsourcing web hosting to google sites, so PLSL won't be the one backing down first #PLSL
From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.
https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/
#PLSL #algebraicEffects #effectSystems #semantics #logic #programmingLanguages
From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLSL reading group. The material to be read before the meeting is sections 6-9 of Davide Sangiorgi, "π-Calculus, internal mobility, and agent-passing calculi", Theoretical Computer Science, Volume 167, Issues 1–2, 1996, Pages 235-274.
#PLSL #programmingLanguages #semantics #concurrency #functionalProgramming
The PhD students of our section just started PLSL (/ˈpləs-əl/, like the Pokémon!), the reading group on Programming Languages, Semantics, and Logic! Read more on the "About" page of the PLSL website (RSS and ICAL available!).
From 13 to 14 on December 1, sections 1-5 of Davide Sangiorgi, "π-Calculus, internal mobility, and agent-passing calculi" will be discussed.
#PLSL #programmingLanguages #semantics #logic #concurrency #functionalProgramming