[TYPES/announce] SREPLS 15 / Concurrency Workshop -- Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, This is a reminder that the deadline for the submission of talks to SREPLS/CW is today, July 1st. However, we could still accept some more talks after this date, so please do

[TYPES/announce] SREPLS15 + CW - Deadline for Talks Extended

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi all, The deadline for talks submissions to SREPLS and the Kent Concurrency Workshop has been extended to the *1st of July*. More information below. Best, Marco

[TYPES/announce] SREPLS 15 / Concurrency Workshop -- Second Call for Talks

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talks S-REPLS 15 / Concurrency Workshop Joint meeting on Programming Languages and

[TYPES/announce] SREPLS 15 / Concurrency Workshop at Kent (UK) -- Call for Talks

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] S-REPLS 15 / Concurrency Workshop Joint meeting on Programming Languages and Concurrency Thursday and Friday, 18-19 July 2024, 9:30 -

[TYPES/announce] Fully-Funded PhD Studentships at University of Kent (UK)

; concurrency; parallel programming; debugging; - Dominic Orchard - Categorical semantics; linear and graded type theories - Marco Paviotti - Category theory; semantics; type theory; functional programming - Vineet Rajani - Logic and verification; security properties; resource analysis and probabilistic

[TYPES/announce] PhD scholarships at University of Kent (UK)

types; behavioural type theories; programming language design; program languages and tools for computational science. Marco Paviotti - Category theory; functional programming; recursion schemes; computational effects; denotational semantics and guarded recursion Vineet Rajani - Logic