[TYPES/announce] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] EVENT: Annual LMS/BCS-FACS Evening Seminar SPEAKER: Sam Staton, University of Oxford TITLE: Programming-based foundations for statistics DATE: Thursday, 17 November 2022, Starting time:

[TYPES/announce] ANU Logic Summer School: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, after last year's online edition of the logic summer school, it is our greatest pleasure to announce that we organise The Logic Summer School @ ANU 5-16

[TYPES/announce] Assistant professor position in Theoretical Computer Science at University of Groningen.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The University of Groningen (NL) invites applications for one assistant professor position (tenure-track) in Theoretical Computer Science. The successful candidate will

[TYPES/announce] ProofGeneal release 4.5

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear list, We are happy to announce the release of [Proof General version

[TYPES/announce] CONFEST 2023 -- Call for Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * CONFEST 2023 * -- Call for Workshop Proposals September 18 - September 23 2023, Antwerpen, Belgium

[TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 7 Dec 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Application deadline: Midnight, 7 Dec 2022 - Salary: £37,467 - Duration: until November 2023 Applications are invited for the post of Post-Doctoral Research Assistant in the Computer

[TYPES/announce] PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for strong and motivated candidates for 11 PhD positions in the Italian National PhD Program in Blockchain and and Distributed Ledger Technology at various Italian