2025 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Jan 7 04:24:23 EST 2025
Ending: Thu Jan 16 13:29:47 EST 2025
Messages: 26

• [TYPES/announce] RC 2025: Second Call for Papers   Robin Kaarsgaard Sales
• [TYPES/announce] Programs from Proofs Meets Formal Mathematics - call for participation   Thomas Powell
• [TYPES/announce] ECOOP 2025: Call for Papers   Giorgio Audrito
• [TYPES/announce] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)   Ningning Xie
• [TYPES/announce] Call for Submissions: Fifth Rust Verification Workshop (RW2025)   Summers, Alexander
• [TYPES/announce] Call for PhD applications (University of Kent, UK)   Marco Paviotti
• [TYPES/announce] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Inbox   Andrei Popescu
• [TYPES/announce] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16   ICFP Publicity
• [TYPES/announce] Call for Problems: VerifyThis 2025   Thomas Wies
• [TYPES/announce] OPLSS 2025 back in Eugene!   Zena Matilde Ariola
• [TYPES/announce] Postdoctoral Research Fellow   Brijesh Dongol
• [TYPES/announce] PhD Scholarships in Quantum Computing   Venanzio Capretta
• [TYPES/announce] LICS 2025 final call for papers   Sam Staton
• [TYPES/announce] QPL 2025 - Second Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] Fully-funded PhD position in Static Analysis at Inria Lille, France   Raphaël Monat
• [TYPES/announce] 2nd Call for Participation: BOB 2025 (Berlin, Mar 14)   Michael Sperber
• [TYPES/announce] LATTE 2025 (Co-Located with ASPLOS): CFP   Edward Wang
• [TYPES/announce] Call for Papers: TbiLLC 2025   Balder ten Cate
• [TYPES/announce] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025   Francesco Dagnino
• [TYPES/announce] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - Final CfP   Simone Martini
• [TYPES/announce] Final CfP for HoTT/UF'25   Daniel Gratzer
• [TYPES/announce] Fully Funded PhD position in Secure Compilation   Gollamudi, Anitha
• [TYPES/announce] New PhD position in the Frama-C team, Paris-Saclay, France   SIGNOLES Julien 215179
• [TYPES/announce] New postdoc position in the Frama-C team, Paris-Saclay, France   SIGNOLES Julien 215179
• [TYPES/announce] FMCAD 2025: Call for Papers   Daniela Kaufmann

Last message date: Thu Jan 16 13:29:47 EST 2025
Archived on: Fri Jan 17 10:28:03 EST 2025

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...