types-announce  

Messages by Date

• 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
• 2024/08/19 [TYPES/announce] ICTCS 24 - Call for Participation Riccardo Treglia
• 2024/08/16 [TYPES/announce] British Logic Colloquium 2024 -- Final call for participation Paul Levy
• 2024/08/14 [TYPES/announce] Research positions in Systems Software Verification Peter Sewell
• 2024/08/14 [TYPES/announce] APLAS 2024 Call for Participation Mirai Ikebuchi
• 2024/08/14 [TYPES/announce] Post-doctoral Research Associate in Programming Languages and Systems for Climate Modelling at the University of Kent (33 months) Dominic Orchard
• 2024/08/09 [TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award (Second Round Submissions due by 19th August) Summers, Alexander
• 2024/08/09 [TYPES/announce] ETAPS 2025 1st joint call for papers Claudio MENGHI
• 2024/08/08 [TYPES/announce] POPL 2025 Call for Tutorials Ningning Xie
• 2024/08/05 [TYPES/announce] ITP 2024: Call for Online Participation Besik Dundua
• 2024/08/05 [TYPES/announce] Quantitative Principles of CPSs -- call for abstracts Renato Neves
• 2024/08/03 [TYPES/announce] CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024) FMAS Workshop
• 2024/08/03 [TYPES/announce] CfP: ITP 2024: The Fifteenth International Conference on Interactive Theorem Proving, 9-14. September, Tbilsi (Georgia) Besik Dundua
• 2024/08/03 [TYPES/announce] Final CfPart: Proof Society School and Workshop [PS24]. **Extended registration deadline: 16 August**. 9-13 September, Birmingham, UK. Anupam das
• 2024/07/31 [TYPES/announce] Autumn school on Probability in Computer Science (PICS). Early registration deadline approaching! Andrzej Wasowski
• 2024/07/31 [TYPES/announce] FSEN 2025 - 2nd Call for Papers Petra van den Bos
• 2024/07/31 [TYPES/announce] Call for Participation, Functional Software Architecture (Sep 6, Milan) Michael Sperber
• 2024/07/27 [TYPES/announce] 3-Year Postdoc in Structures and Homotopy in Optimisation Henning Basold
• 2024/07/22 [TYPES/announce] ICFP 2024: Call for Participation ICFP Publicity
• 2024/07/19 [TYPES/announce] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE) Ningning Xie
• 2024/07/17 [TYPES/announce] 2nd CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK. Anupam das
• 2024/07/17 [TYPES/announce] Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland Guido Salvaneschi
• 2024/07/16 [TYPES/announce] Call for Papers: Scheme ‘24 (extended deadline: July 25th) Kristopher K Micinski
• 2024/07/16 [TYPES/announce] CCC 2024: Continuity, Computability, Constructivity – From Logic to Algorithms (extended deadline) Olivier Bournez
• 2024/07/10 [TYPES/announce] SREPLS / CW -- Last Call for Registration Marco Paviotti
• 2024/07/10 [TYPES/announce] Final CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants Cyrus Omar
• 2024/07/09 [TYPES/announce] Oxford call for Royal Society Faraday Discovery Fellowships Sam Staton
• 2024/07/09 [TYPES/announce] RP 2024 - call for presentation-only abstracts, deadline August 2, 2024 Ana Sokolova
• 2024/07/09 [TYPES/announce] ICFP 2024: Call for Volunteers Gabriele Vanoni
• 2024/07/06 [TYPES/announce] TLLA 2024, July 8-9: free online participation Paolo Pistone
• 2024/07/06 [TYPES/announce] ECCL 24 - a celebration of Pino Rosolini's 70th birthday Jacopo Emmenegger
• 2024/07/06 [TYPES/announce] CSL 2025 --- call for papers Sylvain Schmitz
• 2024/07/06 [TYPES/announce] 3rd Call for Papers: Mathematical User Interaction (MathUI'24) Serge Autexier
• 2024/07/03 [TYPES/announce] PhD position on automated verification at ETH Zurich Michalis Kokologiannakis
• 2024/07/03 [TYPES/announce] ITRS'24 - Free online participation, 9th July 2024 Riccardo Treglia
• 2024/07/03 [TYPES/announce] FSCD 2024: Free online participation, 10 - 13 July 2024 Carsten Fuhs
• 2024/07/01 [TYPES/announce] SREPLS 15 / Concurrency Workshop -- Call for Participation Marco Paviotti
• 2024/07/01 [TYPES/announce] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden) Bahareh Afshari
• 2024/07/01 [TYPES/announce] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 Serge Autexier
• 2024/07/01 [TYPES/announce] Free online participation in MSFP, 8th July 2024 Jeremy Gibbons
• 2024/06/28 [TYPES/announce] Faculty positions at the University of Copenhagen Dmitriy Traytel
• 2024/06/28 [TYPES/announce] Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• 2024/06/27 [TYPES/announce] QPL 2024 - Last Call for Participation - Late registration deadline: July 1st Alejandro Díaz-Caro
• 2024/06/27 [TYPES/announce] 2nd CALL FOR PAPERS EXPRESS/SOS@CONFEST2024 Cinzia Di Giusto
• 2024/06/25 [TYPES/announce] British Logic Colloquium 2024 -- Call for abstracts Paul Levy
• 2024/06/25 [TYPES/announce] Postdoctoral position in Birmigham, UK Dan Ghica
• 2024/06/25 [TYPES/announce] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada Serge Autexier
• 2024/06/25 [TYPES/announce] [VORTEX 2024] extended submission deadline: July 8 Davide Ancona
• 2024/06/23 [TYPES/announce] PLAS'24 - Deadline extended Vineet Rajani
• 2024/06/23 [TYPES/announce] UNIF 2024 - Call for Participation Oliver Fernandez Gil
• 2024/06/23 [TYPES/announce] Positions in Eindhoven: Assistant Professor and PhD student Serebrenik, Alexander
• 2024/06/23 [TYPES/announce] SEFM'24 -- Last Call for papers Alexandre Madeira
• 2024/06/21 [TYPES/announce] CCC 2024: Call For Contributions Olivier Bournez
• 2024/06/20 [TYPES/announce] SREPLS15 + CW - Deadline for Talks Extended Marco Paviotti
• 2024/06/18 [TYPES/announce] FTfJP 2024 - Last CfP (extended deadline) Luca Di Stefano
• 2024/06/17 [TYPES/announce] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca Cosimo P. Brogi
• 2024/06/17 [TYPES/announce] PLMW@ICFP'24: Final call for Participation (travel funding application by June 21) Ningning Xie
• 2024/06/17 [TYPES/announce] CAV 2024 - Call for Participation (Early Registration Ends June 23) Norine Coenen
• 2024/06/17 [TYPES/announce] CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK. Anupam das
• 2024/06/17 [TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award Summers, Alexander
• 2024/06/14 [TYPES/announce] PLAS 2024 - Deadline Approaching, Call For Papers Vineet Rajani
• 2024/06/14 [TYPES/announce] Special Volume of MSCS In Honor Of Phil Scott Thomas Ehrhard
• 2024/06/13 [TYPES/announce] POPL 2025: Call for Workshops and Co-located Events Ningning Xie
• 2024/06/13 [TYPES/announce] FTfJP 2024 - Second CfP (deadline approaching) Luca Di Stefano
• 2024/06/13 [TYPES/announce] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City Raffi Khatchadourian
• 2024/06/13 [TYPES/announce] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia) Yves Bertot
• 2024/06/13 [TYPES/announce] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024 Serge Autexier
• 2024/06/13 [TYPES/announce] SBMF 2024: Call for papers Haniel Barbosa
• 2024/06/10 [TYPES/announce] Postdoc/PhD on compiler optimisations/meta-programming for DSLs @ Inria Lyon, France Gabriel Radanne
• 2024/06/10 [TYPES/announce] DisCoTec 2024 Final Call for Participation Bas van den Heuvel
• 2024/06/10 [TYPES/announce] Working Formal Methods Symposium (FROM) 2024, Timisoara, Romania Madalina Erascu
• 2024/06/08 [TYPES/announce] BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts Paul Levy
• 2024/06/08 [TYPES/announce] joint PhD position between Grenoble and Genova Radu Iosif
• 2024/06/08 [TYPES/announce] Call for Papers: SPLASH 2024 Student Research Competition Umar Farooq
• 2024/06/08 [TYPES/announce] SEFM'24 -- Deadline extended! Alexandre Madeira
• 2024/06/07 [TYPES/announce] VORTEX 2024: 2nd Call for Papers Davide Ancona
• 2024/06/07 [TYPES/announce] CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants Cyrus Omar
• 2024/06/06 [TYPES/announce] CfP ICTCS24 - Extended deadline Riccardo Treglia
• 2024/06/06 [TYPES/announce] University Professorship (W3) Programming Languages and Program Analysis at KIT André Platzer
• 2024/06/06 [TYPES/announce] Call for Participation: Scottish PL & Verification Summer School Guillaume Allais
• 2024/06/06 [TYPES/announce] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• 2024/06/06 [TYPES/announce] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs Frédéric Blanqui
• 2024/06/06 [TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024 Rosemary Monahan
• 2024/06/06 [TYPES/announce] Deadline extension: ACM Workshop on Functional Software Architecture [NOW JUNE 12] Michael Sperber
• 2024/06/06 [TYPES/announce] [Deadline extention] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop Guillaume Munch-Maccagnoni
• 2024/06/06 [TYPES/announce] Call for Participation: 3rd Summer School on Security Testing and Verification (ST&V 2024) Dominique Devriese
• 2024/06/04 [TYPES/announce] Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing Nobuko Yoshida
• 2024/06/04 [TYPES/announce] Reachability Problems (RP'24) EXTENDED deadline: Abstracts 24 June, Full papers 26 June 2024 Ana Sokolova
• 2024/06/04 [TYPES/announce] deadline extended: LSFA 2024 Cynthia Kop

• Earlier messages
• Later messages