types-announce  

Messages by Date

• 2025/02/14 [TYPES/announce] Rod Burstall Gordon Plotkin
• 2025/02/14 [TYPES/announce] 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025) Konstantinos Kallas
• 2025/02/13 [TYPES/announce] ECOOP 2025: Call for AEC members Giorgio Audrito
• 2025/02/13 [TYPES/announce] Postdoc position at University of Iceland Anders Claesson
• 2025/02/12 [TYPES/announce] FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22) Carsten Fuhs
• 2025/02/11 [TYPES/announce] RC 2025: Third Call for Papers (Deadline extended!) Robin Kaarsgaard Sales
• 2025/02/11 [TYPES/announce] Scottish Programming Languages and Verification Summer School (SPLV) 2025 at the University of Edinburgh Simon Fowler
• 2025/02/10 [TYPES/announce] Second Call for Submissions (deadline on 14th Feb): Fifth Rust Verification Workshop (RW2025) Summers, Alexander
• 2025/02/10 [TYPES/announce] 2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM) Jonathan Weinberger
• 2025/02/10 [TYPES/announce] TYPES 2025: Second Call for Contributions Fredrik Nordvall Forsberg
• 2025/02/08 [TYPES/announce] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025 Manuel Alejandro Borroto Santana
• 2025/02/07 [TYPES/announce] FSEN 2025 - Call for Participation Petra van den Bos
• 2025/02/07 [TYPES/announce] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16) Steven Keuchel
• 2025/02/07 [TYPES/announce] SPIN: Final Call for Papers Rozier, Kristin-Yvonne [AER E]
• 2025/02/05 [TYPES/announce] CALCO 2025: Second Call for Papers Thorsten Wissmann
• 2025/02/05 [TYPES/announce] PPDP 2025 Call for papers Małgorzata Biernacka
• 2025/02/05 [TYPES/announce] SPAA'25 Call for Papers -- deadline Feb 28 Samuel Westrick
• 2025/02/04 [TYPES/announce] TABLEAUX 2025 call for papers Tarmo Uustalu
• 2025/02/04 [TYPES/announce] 2025 Estonian Winter School in Computer Science Tarmo Uustalu
• 2025/02/04 [TYPES/announce] QPL 2025 - Final Call for Papers Alejandro Díaz-Caro
• 2025/02/04 [TYPES/announce] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• 2025/02/03 [TYPES/announce] PhD position at Univ. of Oslo in information-flow analysis for digital twins Silvia Lizeth Tapia Tarifa
• 2025/02/03 [TYPES/announce] Midlands Graduate School 2025 hosted by the University of Sheffield Andrei Popescu
• 2025/01/31 [TYPES/announce] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025 Natarajan Shankar
• 2025/01/31 [TYPES/announce] S-REPLS 16 at Imperial College London - 1st April 2025 Donaldson, Alastair F
• 2025/01/31 [TYPES/announce] PhD/PostDoc positions in Formal Methods at the University of Konstanz (Germany) Emanuele D'Osualdo
• 2025/01/29 [TYPES/announce] Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary) Ambrus Kaposi
• 2025/01/29 [TYPES/announce] FroCoS 2025 - Call for Papers Thiemann , René
• 2025/01/27 [TYPES/announce] LSFA 2025 Call for Papers Christophe Ringeissen
• 2025/01/27 [TYPES/announce] Call for constributions: ASL Special Session on Proof Assistants Patricia Johann
• 2025/01/27 [TYPES/announce] Faculty position at ULB Emmanuel Filiot
• 2025/01/25 [TYPES/announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025 Giorgio Audrito
• 2025/01/25 [TYPES/announce] CfP: PLACES 2025 Farzaneh Derakhshan
• 2025/01/23 [TYPES/announce] Last Call for ECOOP 2025 Workshop Proposals Clément Aubert
• 2025/01/22 [TYPES/announce] Postdoc position at Tufts University Jeff Foster
• 2025/01/21 [TYPES/announce] IEEE CSF 2025: CFP Winter Cycle - Deadline Feb 4, 2025, AoE Ralf Kuesters
• 2025/01/21 [TYPES/announce] IEEE CSF 2025:: Call for Workshops Ralf Kuesters
• 2025/01/21 [TYPES/announce] 31st WoLLIC 2025 - 3rd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• 2025/01/20 [TYPES/announce] Two fully-funded PhD positions in France on formal verification of probabilistic programs and differential privacy Martin Avanzini
• 2025/01/20 [TYPES/announce] (Call for Participation) Dafny Workshop at POPL 2025 Stefan Zetzsche
• 2025/01/17 [TYPES/announce] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - Final CfP Simone Martini
• 2025/01/17 [TYPES/announce] FMCAD 2025: Call for Papers Daniela Kaufmann
• 2025/01/17 [TYPES/announce] New PhD position in the Frama-C team, Paris-Saclay, France SIGNOLES Julien 215179
• 2025/01/17 [TYPES/announce] New postdoc position in the Frama-C team, Paris-Saclay, France SIGNOLES Julien 215179
• 2025/01/16 [TYPES/announce] Fully Funded PhD position in Secure Compilation Gollamudi, Anitha
• 2025/01/16 [TYPES/announce] Final CfP for HoTT/UF'25 Daniel Gratzer
• 2025/01/16 [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
• 2025/01/15 [TYPES/announce] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• 2025/01/15 [TYPES/announce] Call for Papers: TbiLLC 2025 Balder ten Cate
• 2025/01/15 [TYPES/announce] LATTE 2025 (Co-Located with ASPLOS): CFP Edward Wang
• 2025/01/15 [TYPES/announce] 2nd Call for Participation: BOB 2025 (Berlin, Mar 14) Michael Sperber
• 2025/01/14 [TYPES/announce] Fully-funded PhD position in Static Analysis at Inria Lille, France Raphaël Monat
• 2025/01/14 [TYPES/announce] QPL 2025 - Second Call for Papers Alejandro Díaz-Caro
• 2025/01/14 [TYPES/announce] PhD Scholarships in Quantum Computing Venanzio Capretta
• 2025/01/14 [TYPES/announce] Postdoctoral Research Fellow Brijesh Dongol
• 2025/01/14 [TYPES/announce] LICS 2025 final call for papers Sam Staton
• 2025/01/11 [TYPES/announce] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16 ICFP Publicity
• 2025/01/11 [TYPES/announce] Call for Problems: VerifyThis 2025 Thomas Wies
• 2025/01/11 [TYPES/announce] OPLSS 2025 back in Eugene! Zena Matilde Ariola
• 2025/01/09 [TYPES/announce] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Inbox Andrei Popescu
• 2025/01/08 [TYPES/announce] Programs from Proofs Meets Formal Mathematics - call for participation Thomas Powell
• 2025/01/08 [TYPES/announce] Call for Submissions: Fifth Rust Verification Workshop (RW2025) Summers, Alexander
• 2025/01/08 [TYPES/announce] Call for PhD applications (University of Kent, UK) Marco Paviotti
• 2025/01/07 [TYPES/announce] RC 2025: Second Call for Papers Robin Kaarsgaard Sales
• 2025/01/07 [TYPES/announce] POPL 2025 Call for Participation (January 19-25, Denver, Colorado) Ningning Xie
• 2025/01/07 [TYPES/announce] ECOOP 2025: Call for Papers Giorgio Audrito
• 2025/01/01 [TYPES/announce] [FORTE2025@DisCoTec] First call for papers Claudio Mezzina
• 2025/01/01 [TYPES/announce] FMBC 2025 - First Call for Papers Teng Zhang
• 2025/01/01 [TYPES/announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025 Klaus Ostermann
• 2025/01/01 [TYPES/announce] ICGT 2025 - Call for Papers Joerg Endrullis
• 2024/12/21 [TYPES/announce] Faculty Positions at Tulane University - Emphasis on PL and SE Rajan, Hridesh
• 2024/12/21 [TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations Daniel Gratzer
• 2024/12/21 [TYPES/announce] CALCO 2025: Call for Papers Thorsten Wissmann
• 2024/12/21 [TYPES/announce] MFPS 2025: Call for Papers Thorsten Wissmann
• 2024/12/18 [TYPES/announce] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK) Peter Achten
• 2024/12/18 [TYPES/announce] PhD position at ETH Zurich in formal semantics and verification (and Rust) Ralf Jung
• 2024/12/18 [TYPES/announce] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Andrei Popescu
• 2024/12/16 [TYPES/announce] Call for Participation: BOB 2025 (Berlin, Mar 14) Michael Sperber
• 2024/12/14 [TYPES/announce] PaPoC 2025 - Call for Papers Gowtham Kaki
• 2024/12/14 [TYPES/announce] WQS 2025 - First Call for Papers Nicola Assolini
• 2024/12/13 [TYPES/announce] Programming Language Implementation Summer School (PLISS) Laurence Tratt
• 2024/12/12 [TYPES/announce] Fully-Funded PhD Positions at University of South Carolina Frank Fu
• 2024/12/11 [TYPES/announce] TYPES 2025: First Call for Contributions Fredrik Nordvall Forsberg
• 2024/12/10 [TYPES/announce] Fully-Funded PhD Positions at University of. Massachusetts Lowell Gollamudi, Anitha
• 2024/12/10 [TYPES/announce] FSCD 2025: Second Call for Papers Carsten Fuhs
• 2024/12/10 [TYPES/announce] call for nominations: SIGLOG Research Highlights Liron Cohen
• 2024/12/09 [TYPES/announce] fully-funded PhD and Research MSc positions at UBC CS: applications by 15th December, information sessions tomorrow (5th December) Summers, Alexander
• 2024/12/09 [TYPES/announce] Call for Nominations for the ETAPS Doctoral Dissertation Award 2025 Caterina Urban
• 2024/12/04 [TYPES/announce] Multiple Ph.D. Positions in Security and Privacy at TU Wien Maffei, Matteo
• 2024/12/04 [TYPES/announce] 31st WoLLIC 2025 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• 2024/11/29 [TYPES/announce] Permanent lecturer/senior lecturer position at the University of Strathclyde Fredrik Nordvall Forsberg
• 2024/11/26 [TYPES/announce] PhD opportunities at the University of Birmingham Paul Levy
• 2024/11/26 [TYPES/announce] Doctoral program in math/philosophy/physics at Chapman U Jonathan Weinberger
• 2024/11/24 [TYPES/announce] PLDI’25 Artifact Evaluation Committee: Call for nominations Konstantinos Kallas
• 2024/11/21 [TYPES/announce] PhD Studentship Opportunity: Proof-Theoretic Semantics for Non-Classical and Modal Logics (Leverhulme ECUMENICAL Project) Elaine Pimentel
• 2024/11/20 [TYPES/announce] RRRR 2025 Call for Submissions: Reproducibility and Replication of Research Results Arnd Hartmanns
• 2024/11/20 [TYPES/announce] POPL 2025 Call for Participation - Early registration: 20 December Ningning Xie
• 2024/11/19 [TYPES/announce] PhD Studentships in PL at the University of Glasgow Simon Fowler
• 2024/11/19 [TYPES/announce] Call for Participation: FSTTCS 2024 and allied workshops Shibashis Guha
• 2024/11/19 [TYPES/announce] Open-rank faculty position in Programming Languages at University of California, Riverside Manu Sridharan
• 2024/11/19 [TYPES/announce] SIGPLAN Research Highlights 2021-2023: Call for Nominations Sergey, Ilya
• 2024/11/18 [TYPES/announce] SPIN 2025: Call for Papers Rozier, Kristin-Yvonne [AER E]
• 2024/11/18 [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science Catalin Hritcu
• 2024/11/18 [TYPES/announce] Faculty Position at University of Colorado Boulder Gowtham Kaki
• 2024/11/18 [TYPES/announce] Postdoc in Chambéry Tom Hirschowitz
• 2024/11/18 [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
• 2024/11/16 [TYPES/announce] Call for ECOOP 2025 Workshop Proposals Clément Aubert
• 2024/11/15 [TYPES/announce] Postdoc and PhD student positions at Aarhus University, Denmark Lars Birkedal
• 2024/11/15 [TYPES/announce] [TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK) Peter Achten
• 2024/11/15 [TYPES/announce] Workshop on Homotopy Type Theory and Univalent Foundations Daniel Gratzer
• 2024/11/15 [TYPES/announce] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK) Nicolai Kraus
• 2024/11/13 [TYPES/announce] Glasstone Research Fellowship in Computer Science at Oxford Sam Staton
• 2024/11/13 [TYPES/announce] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES Gwen Salaün
• 2024/11/13 [TYPES/announce] POPL25: Student volunteers deadline extension Ayoun, Sacha-Elie
• 2024/11/13 [TYPES/announce] RC 2025: First Call for Papers Robin Kaarsgaard Sales
• 2024/11/10 [TYPES/announce] CfP: PLACES 2025 Jan Hoffmann
• 2024/11/10 Re: [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions Ralf Jung
• 2024/11/07 [TYPES/announce] [POPL25] Reminder: Call for student volunteers Ayoun, Sacha-Elie
• 2024/11/07 [TYPES/announce] PriSC @ POPL'25: Extended deadline Vassena, M. (Marco)
• 2024/11/07 [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions Ralf Jung
• 2024/11/05 [TYPES/announce] ICFP 2025: Call for Papers ICFP Publicity
• 2024/11/05 [TYPES/announce] Faculty positions at Florida State University Grigory Fedyukovich
• 2024/11/05 [TYPES/announce] PhD scholarship at King's College London Maribel Fernandez
• 2024/11/05 [TYPES/announce] Funded PhD Positions at Boston University Das, Ankush
• 2024/11/04 [TYPES/announce] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15) Michael Sperber
• 2024/11/04 [TYPES/announce] PhD studentships at the University of Strathclyde Fredrik Nordvall Forsberg
• 2024/10/31 [TYPES/announce] QPL 2025: First Call for Papers Alejandro Díaz-Caro
• 2024/10/31 [TYPES/announce] PhD and postdoc positions in program verification at Uppsala University Eva Darulova Bruggisser
• 2024/10/31 [TYPES/announce] Call for Participation: BLDL 15, Bergen Norway, 26-27 Nov 2024 Jaakko Järvi
• 2024/10/30 [TYPES/announce] Lecturer in Computational Linguistics in UCL Sadrzadeh, Mehrnoosh
• 2024/10/30 [TYPES/announce] [TPSA@POPL25] Call for presentations Ayoun, Sacha-Elie
• 2024/10/30 [TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Invited Speakers and final CFP Conrad Watt
• 2024/10/30 [TYPES/announce] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification Oliver Fernandez Gil
• 2024/10/24 [TYPES/announce] 2nd CFS - PLanQC 2025 (+ deadline extension) Jennifer Paykin
• 2024/10/22 [TYPES/announce] FSCD 2025: Call for Workshop Proposals Carsten Fuhs
• 2024/10/22 [TYPES/announce] PriSC @ POPL'25: 2nd Call for Paper Vassena, M. (Marco)
• 2024/10/18 [TYPES/announce] FSCD 2025: First Call for Papers Carsten Fuhs
• 2024/10/17 [TYPES/announce] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024) Ningning Xie
• 2024/10/16 [TYPES/announce] [CFP] CiE 2025, 14-18 July 2025, Lisbon (Portugal) – 1st CfP Simone Martini
• 2024/10/14 [TYPES/announce] [CFP] PEPM 2025 co-located with POPL Guillaume Allais
• 2024/10/14 [TYPES/announce] Eastern Canada Logic and Programming Seminar 2024 Ryan Kavanagh
• 2024/10/11 [TYPES/announce] PhD position on multimodal Agda @ KU Leuven, Belgium Andreas Nuyts
• 2024/10/11 [TYPES/announce] Professorship for "Verification of Complex Systems" at the University of Duisburg-Essen Barbara König
• 2024/10/11 [TYPES/announce] WITS @ POPL 2025: Call for Contributions Sebastian Ullrich
• 2024/10/11 [TYPES/announce] [TFP 2025 2nd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK) Peter Achten
• 2024/10/11 [TYPES/announce] Faculty position at University of Oregon Zena Matilde Ariola
• 2024/10/09 [TYPES/announce] Assistant Professor (Tenure Track) position at ETH Zurich Ralf Jung
• 2024/10/09 [TYPES/announce] 31st WoLLIC 2025 - Call for Papers Ruy Jose Guerra Barretto de Queiroz
• 2024/10/09 [TYPES/announce] Dafny Workshop at POPL 2025 (deadline extension) Stefan Zetzsche
• 2024/10/09 [TYPES/announce] postdoc on higher category theory in Gothenburg, Sweden Christian Sattler
• 2024/10/09 [TYPES/announce] PhD and postdoc position at the University of Copenhagen Dmitriy Traytel
• 2024/10/08 [TYPES/announce] 24th ANU Logic Summer School Ranald Clouston
• 2024/10/08 [TYPES/announce] postdoctoral positions at IRIF, Paris, France Giuseppe Castagna
• 2024/10/06 [TYPES/announce] POPL25: Call for Student Volunteers Ayoun, Sacha-Elie
• 2024/10/06 [TYPES/announce] Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15) Michael Sperber
• 2024/10/06 [TYPES/announce] Midwest PL Summit 2024 Robert Rand
• 2024/09/28 [TYPES/announce] LICS 2025 Call for Papers and Call for Workshops Sam Staton
• 2024/09/28 [TYPES/announce] PADL 2025: Second Call for Papers Germán Vidal
• 2024/09/27 [TYPES/announce] Types post-proceedings call for papers Rasmus Ejlers Møgelberg
• 2024/09/27 [TYPES/announce] OOPSLA 2025 R1 Call For Papers publicity
• 2024/09/23 [TYPES/announce] PLDI 2025 Call For Papers Konstantinos Kallas
• 2024/09/23 [TYPES/announce] ETAPS 2025 Final Joint Call for Papers Claudio MENGHI
• 2024/09/23 [TYPES/announce] Computer Science Faculty positions at Oxford Sam Staton
• 2024/09/23 [TYPES/announce] Workshop on "Big Specification: Specification, Proof, and Testing at Scale" Peter Sewell
• 2024/09/20 [TYPES/announce] PLanQC 2025: Call for Submissions Jennifer Paykin
• 2024/09/20 [TYPES/announce] 39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg Andreas Abel
• 2024/09/20 [TYPES/announce] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes Luigia Petre
• 2024/09/20 [TYPES/announce] CfP: STACS'25: 42nd International Symposium on Theoretical Aspects of Computer Science, March 4-7, Jena (Germany) Elaine Pimentel
• 2024/09/19 [TYPES/announce] Postdoc & senior researcher positions in Tokyo Ichiro Hasuo
• 2024/09/19 [TYPES/announce] PriSC @ POPL'25: Call for Presentations Vassena, M. (Marco)
• 2024/09/19 [TYPES/announce] IEEE CSF 2025 - Fall Cycle - Deadline October 1, 2024, AoE Ralf Kuesters
• 2024/09/18 [TYPES/announce] 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025) Ashutosh Trivedi
• 2024/09/18 [TYPES/announce] CCC 2024: Call For Participation Olivier Bournez
• 2024/09/18 [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2025 Stefan Zetzsche
• 2024/09/18 [TYPES/announce] Lectureship positions in Bath Thomas Powell
• 2024/09/16 [TYPES/announce] Post-Doctoral Position at CLE-UNICAMP (Campinas, Brazil) - 2 years Elaine Pimentel
• 2024/09/12 [TYPES/announce] LAFI 2025 Call for Papers (Deadline Oct 30) Matthijs Vákár
• 2024/09/12 [TYPES/announce] Fully remote postdoc positions at Bar-Ilan University on SMT Yoni
• 2024/09/12 [TYPES/announce] Professorship "Fundamental Aspects of Programming Languages" in Munich, Germany M G
• 2024/09/09 [TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Call for Presentations Conrad Watt
• 2024/09/09 [TYPES/announce] CFP: SAC 2025 -- Programming Languages Track Marco Giunti
• 2024/09/09 [TYPES/announce] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14 Luigia Petre
• 2024/09/06 [TYPES/announce] Seeking nominations: POPL 2025 Artifact Evaluation Committee Vadim Zaliva
• 2024/09/04 [TYPES/announce] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK) Peter Achten
• 2024/09/04 [TYPES/announce] Postdoc position at University of Kent Vineet Rajani
• 2024/09/03 [TYPES/announce] Two post-doc positions at Topos Research UK David Jaz Myers
• 2024/09/02 [TYPES/announce] PADL 2025: First Call for Papers Germán Vidal
• 2024/09/02 [TYPES/announce] researcher position in Trieste Tatjana Petrov
• 2024/09/02 [TYPES/announce] FSEN 2025 - Final Call for Papers Petra van den Bos
• 2024/08/29 [TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP Catalin Hritcu
• 2024/08/29 [TYPES/announce] PhD and Post-Doc Positions Available in PL Michael D. Adams
• 2024/08/28 [TYPES/announce] CoqPL 2025: Call for Presentations Delaware, Benjamin J
• 2024/08/27 [TYPES/announce] 2 year postdoc in Tallinn - application deadline 15 September Pawel Sobocinski
• 2024/08/25 [TYPES/announce] CCC 2024: Call For Contributions (deadline extended to 14 September 2024) Olivier Bournez
• 2024/08/23 [TYPES/announce] 4-year PhD position in Innsbruck Aart Middeldorp
• 2024/08/23 [TYPES/announce] (CfP) Dafny Workshop at POPL 2025 Stefan Zetzsche
• 2024/08/21 Re: [TYPES/announce] Workshop on Big Specification (Registration open until 31 Oct) Peter Sewell
• 2024/08/21 [TYPES/announce] 3-years postdoc on Type theory for mathematics and computer science at Gothenburg University Ana Bove
• 2024/08/19 [TYPES/announce] ISR 2026 - 15th International School on Rewriting - Call for Proposals Thiemann , René
• 2024/08/19 [TYPES/announce] Workshop on Big Specification (Registration open until 31 Oct) Peter Sewell

• Earlier messages
• Later messages