From emma.tye at strath.ac.uk Mon Sep 7 10:38:05 2026 From: emma.tye at strath.ac.uk (=?utf-8?Q?Emma_Tye?=) Date: Mon, 07 Sep 2026 09:38:05 +0000 Subject: [msp-interest] [MSP101] Kostia Chardonnet: Approximation Theory for Distant Bang Calculus (1pm Tue 15/9, LT210) Message-ID: Dear all, We have another MSP101 seminar coming up. Hope to see you there! Best wishes, Emma Date, time and place: Tuesday 15 September, 13:00, Livingstone Tower room LT210 Online attendance: https://www.youtube.com/channel/UC3IBMh699qT5wawP3nHRItg/live Speaker: Kostia Chardonnet (INRIA Nancy) Title: Approximation Theory for Distant Bang Calculus Abstract: Approximation semantics capture the observable behaviour of ?-terms. B?hm Trees and Taylor Expansion are their two central paradigms, related by the Commutation Theorem. While these notions are well understood in Call-by-Name (CbN), they have only recently been developed for Call-by-Value (CbV). However, these notions require a separate development for each evaluation strategy of the ?-calculus, which motivates the search for a unified approximation framework. The Bang-calculus provides such a framework: it subsumes both CbN and CbV through linear-logic translations and enjoys robust rewriting properties. We develop the approximation semantics of dBang (the Bang-calculus with explicit substitutions and distant reductions) by introducing approximation trees in the B?hm tradition together with Taylor expansion. We establish their fundamental properties, including a commutation theorem. Via translations, our results recover the CbN and CbV setting within a single unifying framework capturing infinitary and resource-sensitive semantics. MSP101 Feeds: Web: http://msp.cis.strath.ac.uk/msp101.html RSS: http://msp.cis.strath.ac.uk/msp101.rss iCal: http://msp.cis.strath.ac.uk/msp101.ics From clemens.kupke at strath.ac.uk Tue Sep 8 11:58:05 2026 From: clemens.kupke at strath.ac.uk (Clemens Kupke) Date: Tue, 8 Sep 2026 10:58:05 +0000 Subject: [msp-interest] STPV 2026, University of Strathclyde Wednesday 7 October, noon - please register Message-ID: Dear All, We are restarting the Scottish Theorem Proving meeting series, with a slight rebranding and widening of scope as the Scottish Theorem Proving and Verification Seminar (STPV) The first edition will take place at University of Strathclyde on Wednesday 7 October at 12-5pm. We have 3 fantastic speakers followed by a hopefully lively discussion session about how to turn the event into something recurring. Lunch and coffee will be provided and is sponsored by SICSA. A website of the event can be found here https://msp.cis.strath.ac.uk/stpv2026/ Registration is free but required (for planning purposes). Registration can be done here: https://www.tickettailor.com/events/sicsa/2403747 by Wednesday 23 September. All the best, Clemens (on behalf of the SICSA Theory & Modelling theme) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20260908/9eb145c0/attachment.html