types-announce  

Messages by Thread

• [TYPES/announce] 2nd Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17) Michael Sperber
• [TYPES/announce] ISSTA/SPLASH call for co-located workshops Ellen Arteca
• [TYPES/announce] Lectureships at Bath Thomas Powell
• [TYPES/announce] Applied Category Theory 2026: First Call for Papers Priyaa Varshinee Srinivasan
  • [TYPES/announce] Applied Category Theory 2026: First Call for Papers Priyaa Varshinee Srinivasan
• [TYPES/announce] [TFP 2026] 2nd Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-30 2026 Peter Achten
• [TYPES/announce] PLMW@POPL 26 Call for scholarship applications Ningning Xie
• [TYPES/announce] TPSA26 - Deadline extension Ayoun, Sacha-Elie
• [TYPES/announce] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025 Claudio MENGHI
• [TYPES/announce] Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec Tom de Jong
• [TYPES/announce] Two junior positions in quantum programming languages Robin Kaarsgaard Sales
• [TYPES/announce] PSSL 112 — 1st Call for Contributions Tom de Jong
• [TYPES/announce] Workshop on higher structures, 19 Nov, Nottingham Nicolai Kraus
• [TYPES/announce] Full professorship at FAU Erlangen-Nürnberg Lutz Schröder
• [TYPES/announce] Final Call for Papers: PLanQC 2026 - Programming Languages for Quantum Computing Vladimir Zamdzhiev
• [TYPES/announce] CSL’26 -- CALL FOR WORKSHOPS Elaine Pimentel
• [TYPES/announce] VERIFAI workshop on the Interplay between Artificial Intelligence and Software Verification -- Villebrumier, March 2026 -- CFP Bertrand Meyer
• [TYPES/announce] TYPES 2026 Call for Contributions Christian Sattler
• [TYPES/announce] Asst., Assoc., Full professor openings at Aarhus University, Denmark Lars Birkedal
• [TYPES/announce] 2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8) Michael Sperber
• [TYPES/announce] CT2026 + DV60, July 2026, Baltimore Jonathan Weinberger
• [TYPES/announce] Fully funded postdoc and PhD positions at UMass Lowell Gollamudi, Anitha
• [TYPES/announce] Deadline Extension - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Lesly-Ann Daniel
• [TYPES/announce] POPL 2026 Call for Student Volunteers Ningning Xie
• [TYPES/announce] Graduate School Application Mentorship Pedro Abreu
• [TYPES/announce] PhD position (or internship) - Provable Hardware-Software Security @ EURECOM Lesly-Ann Daniel
• [TYPES/announce] FoSSaCS 2026: 2nd call for papers Stefan Milius
• [TYPES/announce] LAST CFP: SAC 2026 -- Programming Languages Track Marco Giunti
• [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
  • Re: [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
  • Re: [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar: "Mathematics in the Age of AI" -- 6 November 2025, online via Zoom Andrei Popescu
  • [TYPES/announce] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom Andrei Popescu
• [TYPES/announce] POST-DOCTORAL POSITION within the SmartCloud INRIA project at Sophia-Antipolis or Lille, France Saverio Giallorenzo
• [TYPES/announce] ANU 33rd Logic Summer School, 1–12 December 2025 Michael Norrish
• [TYPES/announce] Call for interest: Formalizing Higher Categories, June 8–12 2026, Mittag-Leffler Institute Nima Rasekh
• [TYPES/announce] CFP: SAC 2026 -- Programming Languages Track Marco Giunti
• [TYPES/announce] Last call for registration, deadline 9 October: QCOMICAL School 2025 Alejandro Díaz-Caro
• [TYPES/announce] [PLDI 2026] Call for Papers, 47th ACM SIGPLAN Conference on Programming Language Design and Implementation Jenna DiVincenzo
• [TYPES/announce] Göteborgs universitet | Researcher in type theory for mathematics and computer science Ana Bove
• [TYPES/announce] 2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026) Uli Fahrenberg
• [TYPES/announce] [PLDI'26] Call for Workshops and Tutorials Jenna DiVincenzo
• [TYPES/announce] PEPM 2026: Second Call for Papers Ningning Xie
• [TYPES/announce] PhD positions in Mathematical Foundations of Computation Group at Bath Thomas Powell
• [TYPES/announce] Call for Papers: FormaliSE 2026 (submission deadline approaching) Claudio MENGHI
• [TYPES/announce] [2nd Call for Presentations] TPSA 2026 Ayoun, Sacha-Elie
• [TYPES/announce] TYPES 2025: Post-proceedings Call for Papers Fredrik Nordvall Forsberg
• [TYPES/announce] Call for Abstracts WITS'26 Niki Vazou
• [TYPES/announce] (3rd CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17) Michael Sperber
• [TYPES/announce] Postdoc positions available at IRIF Giuseppe Castagna
• [TYPES/announce] OOPSLA 2026 Round 1 Call for papers Ellen Arteca
• [TYPES/announce] Tenure-Track Assistant Professor in the School of Computer Science, McGill University Brigitte Pientka
• [TYPES/announce] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026) Munoz, Cesar A. (LARC-D320) via fm-announcements
• [TYPES/announce] [TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026 Peter Achten
• [TYPES/announce] FME Teaching Tutorial on September 26, 2025 @ 3 pm CEST: Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil, on "A personal account on teaching formal methods in Brazil: From specifications to code with B" Luigia Petre
• [TYPES/announce] LAFI 2026: Call for Extended Abstracts Hugo Paquet
  • [TYPES/announce] LAFI 2026: Final Call for Extended Abstracts Hugo Paquet
• [TYPES/announce] LICS 2026 Call for Workshops and First Call for Papers Sam Staton
• [TYPES/announce] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers Havelund, Klaus (US 348B) via fm-announcements
• [TYPES/announce] ETAPS 2026 Second Joint Call for Papers Jan Kofron
• [TYPES/announce] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems Taro Sekiyama
• [TYPES/announce] [2nd Call] Seeking nominations: POPL 2026 Artifact Evaluation Committee Calvin Beck
• [TYPES/announce] 32nd WoLLIC 2026 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Agda Implementors' Meeting XLI: First Call for Participation Jesper Cockx
• [TYPES/announce] Haskell Symposium 2025 Last Call for Talks (deadline Sept 15th) Ningning Xie
• [TYPES/announce] CFS - PLanQC 2026 - Programming Languages for Quantum Computing Vladimir Zamdzhiev
• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] PADL 2026 Call for Papers Nada Amin
• [TYPES/announce] Open PhD positions Kaushik Mallik
  • [TYPES/announce] Open PhD positions Kaushik Mallik
• [TYPES/announce] Call for Presentation - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Lesly-Ann Daniel
• [TYPES/announce] 7 Associate Professors/Professors at Department of Computer Science, University of Oxford Nobuko Yoshida
• [TYPES/announce] RocqPL 2026: Call for Presentations Benjamin J Delaware
  • Re: [TYPES/announce] RocqPL 2026 CfP: deadline extended to Oct 31st AoE Frederic Besson
• [TYPES/announce] [Call for Presentations] TPSA @POPL2026 Ayoun, Sacha-Elie
• [TYPES/announce] Assistant/associate professor at University of Birmingham, UK (apply by September 30, 2025) vincent rahli
• [TYPES/announce] PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam Benno van den Berg
• [TYPES/announce] Haskell Symposium 2025 Call for Talks (deadline Sept 15th) Ningning Xie
• [TYPES/announce] Call for nominations: POPL 2026 AEC Vadim Zaliva
• [TYPES/announce] Postdoc and PhD positions in Aarhus, Denmark Lars Birkedal
• [TYPES/announce] Call for Papers: BENEVOL 2025 (17-18 Nov, Enschede, the Netherlands) Vadim Zaytsev
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2025 Ryan Kavanagh
• [TYPES/announce] Call for Papers: FORMALISE 2026 Claudio MENGHI
• [TYPES/announce] S-REPLS (Amazon, 29 Oct) - Call for talks and registration Zetzsche, Stefan
• [TYPES/announce] DataMod 2025 - Final Call for Papers, Extended Deadline Ouadie Khebbeb
• [TYPES/announce] Tribute to Gilles Dowek Catherine DUBOIS
• [TYPES/announce] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia Serge Autexier
• [TYPES/announce] Ph.D. position in PL and quantum computing Charles Yuan
• [TYPES/announce] CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Michael Sperber
• [TYPES/announce] Tenure-track opening in Logic/Verification at Saarland University Derek Dreyer
• [TYPES/announce] Call for presentations: Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2025) Giuliano Losa
• [TYPES/announce] PEPM 2026 - Call for papers Yukiyoshi Kameyama
• [TYPES/announce] Postdoctoral position in logical methods and machine learning (2 years) Jamie Vicary
• [TYPES/announce] (CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] VMCAI 2026: second call for papers Thomas Jensen
• [TYPES/announce] PSSL111 in Bologna Matteo Capucci
• [TYPES/announce] FroCoS/ITP/TABLEAUX 2025 call for participation Tarmo Uustalu
• [TYPES/announce] FMCAD 2025 - Call for Participation Daniela Kaufmann
• [TYPES/announce] POPL 2026 Call For Tutorials Ningning Xie
• [TYPES/announce] ICFP 2025 (Co-Located with SPLASH!): Call for Participation ICFP Publicity
• [TYPES/announce] [call for participation] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
• [TYPES/announce] Post-doc position at ETH Zurich in formal semantics and verification (with a focus on Rust) Ralf Jung
• [TYPES/announce] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom Luigia Petre
• [TYPES/announce] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize Manuel Alejandro Borroto Santana
• [TYPES/announce] CfP: MathCompLing for Proofs (MCLP) 2025 Axel Ljungström
• [TYPES/announce] Call for Partecipation - GandALF 2025 Giorgio Bacci
• [TYPES/announce] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• [TYPES/announce] Save the Date: Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal! Caterina Urban
• [TYPES/announce] Call for Nominations: SIGPLAN Research Highlights for 2024. Ilya Sergey
• [TYPES/announce] Professorship in Quantum Computing @ Innsbruck Georg Moser
• [TYPES/announce] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [TYPES/announce] CFP: APLAS 2025 SRC & Posters: The 23rd Asian Symposium on Programming Languages and Systems - Student Research Competition and Posters Pritam Gharat
• [TYPES/announce] Undone Computer Science 2026: First call for presentations Guillaume Munch-Maccagnoni
• [TYPES/announce] Scheme 2025 - Call for Papers (extended deadline: July 24th) Youyou Cong
• [TYPES/announce] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE Ralf Kuesters
• [TYPES/announce] VMCAI 2026: first call for papers Thomas Jensen
• [TYPES/announce] WebAssembly Workshop @ ICFP / SPLASH 2025 - Call for Presentations Conrad Watt
• [TYPES/announce] Doctoral / Post-Doctoral Position at University of Konstanz Stefan Leue
• [TYPES/announce] FSCD 2025: Free online participation, 15 - 18 July 2025 Carsten Fuhs
• [TYPES/announce] CSL 2026 - Second Call for Papers Barbara König
• [TYPES/announce] Postdoc positions in type theory, closing date: 25 July Nicolai Kraus
• [TYPES/announce] Open postdoc position (3 years) in "Formal Engineering Support for Field-Programmable Gate Arrays", combining FPGAs with formal methods Rüdiger Ehlers
• [TYPES/announce] POPL 2026 Last Call for Papers Ningning Xie
• [TYPES/announce] CfP 5th IEEE International Conference on Code Quality (ICCQ'25) Yegor Bugayenko
• [TYPES/announce] ICFP/SPLASH 2025: call for volunteers ICFP Publicity
• [TYPES/announce] Two Assistant/Associate Professor Positions in Lisbon Vasco T. Vasconcelos
• [TYPES/announce] PhD position at Univ. of Oslo in formal methods for data protection in digital twins Silvia Lizeth Tapia Tarifa
• [TYPES/announce] PhD position in programming languages and security at Aarhus University Aslan Askarov
• [TYPES/announce] Postdoctoral Researcher Position at the University of Tartu Danel Ahman
• [TYPES/announce] CfR: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025 Giovanni Solda
• [TYPES/announce] one postdoc and one researcher position at University of Gothenburg Ana Bove
• [TYPES/announce] Call for Submissions: SPLASH Doctoral Symposium Conrad Watt
• [TYPES/announce] RVCase 2025 Call for Submissions Sean Kauffman
• [TYPES/announce] [CFP] FSTTCS 2025: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science C Aiswarya
• [TYPES/announce] CONFEST 2025: 1st Call for Participation (Early Registration until July 25) Marco Paolieri
• [TYPES/announce] CCC 2025: Swansea, 1-3 September 2025, Call for Contributions Monika Seisenberger
• [TYPES/announce] POPL 2026 Call for Papers Ningning Xie
• [TYPES/announce] POPL 2026 Call for Workshops Ningning Xie
• [TYPES/announce] Emily Riehl talk in Birmingham Paul Levy
• [TYPES/announce] ML Family Workshop 2025: extended deadline: July 3 Samuel Westrick
• [TYPES/announce] VSTTE 2025: Second call for papers (deadline July 18th, 2025) Clément Pit-Claudel
• [TYPES/announce] Postdoctoral Position Available in Systems Security Verification Atsushi Igarashi
• [TYPES/announce] FoSSaCS 2026: call for papers Stefan Milius
• [TYPES/announce] PL Principal Researcher / Research Engineer (full time) Dan Ghica
• [TYPES/announce] Call for Participation: Dutch Formal Methods Day 2025 in Amsterdam Andrés Goens
• [TYPES/announce] WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation Voigtländer , Prof . Dr . Janis
• [TYPES/announce] CfP deadline ectended: Functional Art, Music, Modelling and Design (FARM, June 25) Michael Sperber
• [TYPES/announce] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*) Carsten Fuhs
• [TYPES/announce] Call for participation to UNIF 2025 Laurent Vigneron
• [TYPES/announce] PhD position at the University of Duisburg-Essen Barbara König
• [TYPES/announce] PhD Position in Parametric Floating-Point Reasoning at Uppsala Tjark Weber
• [TYPES/announce] 1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics Alejandro Díaz-Caro
• [TYPES/announce] Assist./Assoc. Professor Positions at NII, Tokyo Ichiro Hasuo
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open Alejandro Díaz-Caro
  • [TYPES/announce] 2nd CFP: JLAMP Special Issue for QPL 2024 & 2025 Alejandro Díaz-Caro
  • [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – LAST CALL FOR PAPERS Alejandro Díaz-Caro
• [TYPES/announce] ML Family Workshop 2025: 2nd CFP: deadline June 19! Samuel Westrick
• [TYPES/announce] MOSCA 2025: Meeting on String Constraints and Applications, 22 July 2025, Zagreb Matthew Hague
• [TYPES/announce] FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*) Carsten Fuhs
• [TYPES/announce] ETAPS 2026 Joint Call for Papers root
• [TYPES/announce] HOPE'25: Deadline extension Guilhem Jaber
• [TYPES/announce] EXPRESS/SOS@CONFEST2025 - Last Call for papers Cinzia Di Giusto
• [TYPES/announce] IWC 2025: Deadline Extension Thiago Felicissimo
• [TYPES/announce] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions Besik Dundua
• [TYPES/announce] Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming Michael D. Adams
• [TYPES/announce] iFM 2025 Call for Papers - Deadline Extended Giorgio Audrito
• [TYPES/announce] CALCO/MFPS 2025: Second Call for Participation Thorsten Wissmann
• [TYPES/announce] Fully funded PhD position in the Foundations of Programming Languages at SDU Stelios Tsampas
• [TYPES/announce] CFP [deadline extension]: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• [TYPES/announce] CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer) Michael Sperber
• [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025 Valentin G. J. Herrmann
• [TYPES/announce] Haskell Symposium 2025 Call for Papers (deadline June 9 AOE) Ningning Xie
• [TYPES/announce] Call for Participation PVS Day @ NFM 2025 Munoz, Cesar A. (LARC-D320)
• [TYPES/announce] GandALF 2025 - Deadline Extension to 6 June Giorgio Bacci
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025 Carsten Fuhs
• [TYPES/announce] WoLLIC 2025 Call for Participation Rodrigo Marques
• [TYPES/announce] DaLí 2025 - 3rd Call for Papers ** deadline extension ** Alexandre Madeira
• [TYPES/announce] 2-year postdoc in Type theory and programming languages at Univ. of Gothenburg Ana Bove
• [TYPES/announce] Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025 Giovanni Solda
• [TYPES/announce] CfP: Functional Art, Music, Modelling and Design (FARM, Deadline June 13) Michael Sperber
• [TYPES/announce] Call for participation: PLF+PLAID @ ECOOP 2025 Alceste Scalas
• [TYPES/announce] ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching Violet Ka I Pun
• [TYPES/announce] VASSAL Workshop: Call for Presentation SIGNOLES Julien 215179
• [TYPES/announce] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Taro Sekiyama
• [TYPES/announce] ITP 2025: Call for workshops Yannick Forster
• [TYPES/announce] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [TYPES/announce] Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations) Jorge A . Pérez
• [TYPES/announce] [FOSAD] 24th Summerschool on Foundations of Security Analysis and Design Aldini, Alessandro
• [TYPES/announce] TYPES 2025: Final Call for Participation Fredrik Nordvall Forsberg
• [TYPES/announce] Postdoctoral Research Position, University of Birmingham Sergey Goncharov
  • [TYPES/announce] Postdoctoral Research Position, University of Birmingham Paul Levy
• [TYPES/announce] ETAPS 2026 - Call for Satellite Events root
• [TYPES/announce] ESOP 2026 - Second Call for Papers root
• [TYPES/announce] IWC 2025: Final Call for Papers Thiago Felicissimo
• [TYPES/announce] FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*) Carsten Fuhs
• [TYPES/announce] 2st cfp (deadline extension): 9th International Workshop on Trends in Linear Logic and Applications Lionel Vaux Auclair
• [TYPES/announce] 2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16) Michael Sperber
• [TYPES/announce] 2nd CfP: Functional Programming for Productivity and Performance (FProPer) Michael Sperber
• [TYPES/announce] Call for papers: PLAS @ CCS '25 Abhishek Bichhawat
  • [TYPES/announce] Second call for papers: PLAS @ CCS '25 Abhishek Bichhawat

• Earlier messages
• Later messages