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: Fri Sep 19 10:18:24 EDT 2025
Messages: 405

• [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
• [TYPES/announce] Two fully-funded PhD positions in France on formal verification of probabilistic programs and differential privacy   Martin Avanzini
• [TYPES/announce] (Call for Participation) Dafny Workshop at POPL 2025   Stefan Zetzsche
• [TYPES/announce] IEEE CSF 2025:: Call for Workshops   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2025: CFP Winter Cycle - Deadline Feb 4, 2025, AoE   Ralf Kuesters
• [TYPES/announce] 31st WoLLIC 2025 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Postdoc position at Tufts University   Jeff Foster
• [TYPES/announce] Last Call for ECOOP 2025 Workshop Proposals   Clément Aubert
• [TYPES/announce] CfP: PLACES 2025   Farzaneh Derakhshan
• [TYPES/announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025   Giorgio Audrito
• [TYPES/announce] Faculty position at ULB   Emmanuel Filiot
• [TYPES/announce] Call for constributions: ASL Special Session on Proof Assistants   Patricia Johann
• [TYPES/announce] LSFA 2025 Call for Papers   Christophe Ringeissen
• [TYPES/announce] Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)   Ambrus Kaposi
• [TYPES/announce] FroCoS 2025 - Call for Papers   Thiemann, René
• [TYPES/announce] PhD/PostDoc positions in Formal Methods at the University of Konstanz (Germany)   Emanuele D'Osualdo
• [TYPES/announce] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025   Natarajan Shankar
• [TYPES/announce] S-REPLS 16 at Imperial College London - 1st April 2025   Donaldson, Alastair F
• [TYPES/announce] QPL 2025 - Final Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] PhD position at Univ. of Oslo in information-flow analysis for digital twins   Silvia Lizeth Tapia Tarifa
• [TYPES/announce] Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [TYPES/announce] TABLEAUX 2025 call for papers   Tarmo Uustalu
• [TYPES/announce] 2025 Estonian Winter School in Computer Science   Tarmo Uustalu
• [TYPES/announce] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] SPAA'25 Call for Papers -- deadline Feb 28   Samuel Westrick
• [TYPES/announce] PPDP 2025 Call for papers   Małgorzata Biernacka
• [TYPES/announce] CALCO 2025: Second Call for Papers   Thorsten Wissmann
• [TYPES/announce] SPIN: Final Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)   Steven Keuchel
• [TYPES/announce] FSEN 2025 - Call for Participation   Petra van den Bos
• [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
• [TYPES/announce] TYPES 2025: Second Call for Contributions   Fredrik Nordvall Forsberg
• [TYPES/announce] Second Call for Submissions (deadline on 14th Feb): Fifth Rust Verification Workshop (RW2025)   Summers, Alexander
• [TYPES/announce] 2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)   Jonathan Weinberger
• [TYPES/announce] RC 2025: Third Call for Papers (Deadline extended!)   Robin Kaarsgaard Sales
• [TYPES/announce] Scottish Programming Languages and Verification Summer School (SPLV) 2025 at the University of Edinburgh   Simon Fowler
• [TYPES/announce] FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22)   Carsten Fuhs
• [TYPES/announce] Postdoc position at University of Iceland   Anders Claesson
• [TYPES/announce] ECOOP 2025: Call for AEC members   Giorgio Audrito
• [TYPES/announce] 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025)   Konstantinos Kallas
• [TYPES/announce] Rod Burstall   Gordon Plotkin
• [TYPES/announce] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [TYPES/announce] Call for Papers - Abstract Registration Deadline is Approaching   Farzaneh Derakhshan
• [TYPES/announce] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [TYPES/announce] Postdoc position in quantum computing at Chalmers University of Technology   Robin Adams
• [TYPES/announce] Postdoc position at MPI-SWS (Foundations of Programming group)   Derek Dreyer
• [TYPES/announce] PhD positions available on formal methods and digital twins at University of Oslo   Einar Broch Johnsen
• [TYPES/announce] DaLí 2025, 1st call for papers   Alexandre Madeira
• [TYPES/announce] UNIF 2025 Call for Papers   Laurent Vigneron
• [TYPES/announce] Last Call for Participation: BOB 2025 (Berlin, Mar 14)   Michael Sperber
• [TYPES/announce] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals   Luigia Petre
• [TYPES/announce] PLACES Deadline Extension   Farzaneh Derakhshan
• [TYPES/announce] VerifyThis 2025 - Call for Participation   Thomas Wies
• [TYPES/announce] Asst. Prof. in Math. Logic at Stockholm, deadline April 15   Peter LeFanu Lumsdaine
• [TYPES/announce] Call for talks: PLF+PLAID @ ECOOP 2025   Alceste Scalas
• [TYPES/announce] WQS 2025 - Second Call for Papers   Nicola Assolini
• [TYPES/announce] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [TYPES/announce] CALCO 2025: Final Call for Papers   Thorsten Wissmann
• [TYPES/announce] MFPS 2025: Second Call for Papers   Thorsten Wissmann
• [TYPES/announce] ECOOP 2025: 2nd Call for Papers   Giorgio Audrito
• [TYPES/announce] TYPES 2025: Deadline Extension and Final Call for Contributions   Fredrik Nordvall Forsberg
• [TYPES/announce] 2025 UC/EasyUC Summer School   Alley Stoughton
• [TYPES/announce] Call for Papers: SETTA 2025, Symposium on Dependable Software Engineering: Theories, Tools and Applications   Oleg Sokolsky
• [TYPES/announce] 2nd Call for Papers: TbiLLC 2025   Balder ten Cate
• [TYPES/announce] CfP: GPCE 2025   Jeremy Yallop
• [TYPES/announce] Onward! 2025 Joint Call for Papers and Essays   Gordon,Colin
• [TYPES/announce] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals   Frédéric Blanqui
• [TYPES/announce] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)   Frédéric Blanqui
• [TYPES/announce] graduate students and post-doc positions in France   DAVID MONNIAUX
• [TYPES/announce] Research Fellow position at the University of Tartu, Estonia   Danel Ahman
• [TYPES/announce] ITP 2025: Second Call for Papers   Tom de Jong
• [TYPES/announce] Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)   Alexis Saurin
• [TYPES/announce] ARRAY 2025: Call for contributions   Artem Shinkarov
• [TYPES/announce] CALCO 2025: Deadline Extension   Thorsten Wissmann
• [TYPES/announce] PhD positions on ERC project on type systems and separation logic   Robbert Krebbers
• [TYPES/announce] FTfJP 2025 - First Call for Papers   Crystal Chang Din
• [TYPES/announce] The 2025 Alonzo Church Award - Call for Nominations   Andrzej Murawski
• [TYPES/announce] FMCAD 2025 - 2nd Call for Papers   Daniela Kaufmann
• [TYPES/announce] PhD Positions in Programming Semantics and Systems for Probabilistic and Differential Programming   Vákár, M.I.L. (Matthijs)
• [TYPES/announce] HOR 2025: Call for Papers   Pablo Barenbaum
• [TYPES/announce] Fully-Funded Overseas or Home PhD Studentship in Oxford University   Nobuko Yoshida
• [TYPES/announce] Call for papers: FCS @ CSF'25   Vassena, M. (Marco)
• [TYPES/announce] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21)   Yannick Forster
• [TYPES/announce] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [TYPES/announce] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [TYPES/announce] TABLEAUX 2025 2nd call for papers   Tarmo Uustalu
• [TYPES/announce] PhD and postdoc positions at Uppsala in Practically Usable Verification for Numerical Programs   Eva Darulova
• [TYPES/announce] 12 fully-funded PhD scholarships in Computer Science at GSSI   emilio.tuosto at gssi.it
• [TYPES/announce] PhD positions in DFG RTG "Cybercrime and Forensic Computing", FAU Erlangen-Nürnberg   Lutz Schröder
• [TYPES/announce] Funded PhD Position for UK Students at University of Strathclyde   Jan de Muijnck-Hughes
• [TYPES/announce] Women in Logic 2025 -- 1st cfp   Elaine Pimentel
• [TYPES/announce] PhD funding in logic at UCL   Elaine Pimentel
• [TYPES/announce] Call for dissertations -- E.W. Beth Dissertation Prize 2025   Elaine Pimentel
• [TYPES/announce] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC)   Lionel Parreaux
• [TYPES/announce] Midlands Graduate School - final call for participation   Tom de Jong
• [TYPES/announce] ICE 2025: Second Call for Papers   Clément Aubert
• [TYPES/announce] PhD studentship at Imperial on automated testing and verification of machine learning compilers and runtimes   Donaldson, Alastair F
• [TYPES/announce] PhD positions at Stockholm University (deadline April 22)   Anders Mortberg
• [TYPES/announce] Call for Papers: Deduktionstreffen 2025 at CADE   Florian Rabe
• [TYPES/announce] ML Family Workshop 2025: Call for Presentations   Samuel Westrick
• [TYPES/announce] Registration reminder for HoTT/UF 2025   Daniel Gratzer
• [TYPES/announce] ESOP 2026 - Call for Papers   Claudio MENGHI
• [TYPES/announce] ETAPS 2025 - CALL FOR PARTICIPATION   Claudio MENGHI
• [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] OPLSS 2025 registration still open   Zena Matilde Ariola
• [TYPES/announce] WQS 2025 - Deadline Extended   Nicola Assolini
• [TYPES/announce] Call for Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025   Francesco Dagnino
• [TYPES/announce] VORTEX 2025 1st Call for Papers   Giorgio Audrito
• [TYPES/announce] WPTE 2025 - Call for Papers - Rewriting Techniques for Program Transformations and Evaluation   Janis Voigtländer
• [TYPES/announce] Call for Papers, Functional Software Architecture (Deadline June 16)   Michael Sperber
• [TYPES/announce] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"   Luigia Petre
• [TYPES/announce] IWC 2025: First Call For Papers   Thiago Felicissimo
• [TYPES/announce] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [TYPES/announce] Call for papers: FCS @ CSF'25 (Extended deadline: April 6 AoE)   Vassena, M. (Marco)
• [TYPES/announce] Postdoc position in quantum computing - deadline extension 30 March   Robin Adams
• [TYPES/announce] LSFA 2025 Second Call for Papers   Christophe Ringeissen
• [TYPES/announce] Academic Positions in Foundational AI at the University of Glasgow   Simon Fowler
• [TYPES/announce] Call for papers: LFMTP 2025 -- Birmingham, UK   Kaustuv Chaudhuri
• [TYPES/announce] Scottish Programming Languages and Verification Summer School 2025 -- Call for Applications   Simon Fowler
• [TYPES/announce] Haskell Symposium 2025 First Call for Papers   Ningning Xie
• [TYPES/announce] Postdoc position available   Patricia Johann
• [TYPES/announce] Call For Papers - APLAS 2025, Bengaluru, India   Pritam Gharat
• [TYPES/announce] Professorhip in Logic and Verification in Computer Science   Javier Esparza
• [TYPES/announce] Deadline extension (9 April): GPCE 2025   Jeremy Yallop
• [TYPES/announce] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris   Francois Pottier
• [TYPES/announce] PLMW at PLDI'25 is now accepting applications   Jingbo Wang
• [TYPES/announce] MFPS FInal Call for Papers (extended deadlines)   Fredrik Nordvall Forsberg
• [TYPES/announce] iFM 2025 Call for Papers - 20th International Conference on Integrated, Formal Methods   Giorgio Audrito
• [TYPES/announce] Prefaculty/postdoc position in the OCaml Language team at Jane Street   Richard Eisenberg
• [TYPES/announce] MIT Programming Languages Review Workshop 2025   Dustin Jamner
• [TYPES/announce] Call for Contributions - 2nd Workshop on Programming for the Planet (PROPL) co-located with ICFP-SPLASH 2025   Dominic Orchard
• [TYPES/announce] VORTEX 2025 - 1st Call for Papers   Davide Ancona
• [TYPES/announce] FSCD 2027: Call for Location   Carsten Fuhs
• [TYPES/announce] Dutch Formal Methods Day 2025, 26 June, Amsterdam   Benno van den Berg
• [TYPES/announce] Six PhD positions on “Cyclic Structures in Programs and Proofs” (The Netherlands).   Jorge A. Pérez
• [TYPES/announce] Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium   Dominique Devriese
• [TYPES/announce] VSTTE 2025: First call for papers   Clément Pit-Claudel
• [TYPES/announce] Postdoc in Semantics at ENS de Lyon   Michele Pagani
• [TYPES/announce] FTfJP 2025 - Second Call for Papers   Crystal Chang Din
• [TYPES/announce] 2nd call for talks: PLF+PLAID @ ECOOP 2025   Alceste Scalas
• [TYPES/announce] UNIF 2025 2nd Call for Papers   Laurent Vigneron
• [TYPES/announce] SMT 2025 - Call for Papers   Sophie Tourret
• [TYPES/announce] resignation from MLQ - re-birth of ZML   Maria Emilia Maietti
• [TYPES/announce] CICM 2025: 3rd Announcement and Call for Papers   Serge Autexier
• [TYPES/announce] 10 funded PhD positions on Automated Reasoning in Vienna, Austria   Weissenbacher, Georg
• [TYPES/announce] *Last Call*: Funded PhD Position for UK Students at University of Strathclyde   Jan de Muijnck-Hughes
• [TYPES/announce] Call for TYPES 2027 location   Paige Randall North
• [TYPES/announce] TyDe 2025 - call for papers & extended abstracts   Andras Kovacs
• [TYPES/announce] Call for Papers: Functional Programming for Productivity and Performance (FProPer)   Michael Sperber
• [TYPES/announce] Final call for dissertations -- E.W. Beth Dissertation Prize 2025   Elaine Pimentel
• [TYPES/announce] LMW at LICS'25 - Call for participation and scholarship applications   Chana Weil-Kennedy
• [TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications   Mukund Raghothaman
• [TYPES/announce] FMCAD 2025: Deadline Extension   Daniela Kaufmann
• [TYPES/announce] 2nd Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium   Dominique Devriese
• [TYPES/announce] FTfJP 2025 - Last CfP (extended deadline)   Crystal Chang Din
• [TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July   Maribel Fernandez
• [TYPES/announce] Aczel Memorial Conference / BLC 2025 meeting: first announcement   Nicola Gambino
• [TYPES/announce] 4th Women in EuroProofNet - Call for contributions and participation   Sandra Alves
• [TYPES/announce] 1st cfp: 9th International Workshop on Trends in Linear Logic and Applications   Lionel Vaux Auclair
• [TYPES/announce] [CHC-COMP 2025] - Call for Solver Submission   Gidon Ernst
• [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] First call for papers, SC-Square 2025   Mikoláš Janota
• [TYPES/announce] DisCoTec 2025 Call for Participation   Matthew Alan Le Brun (PGR)
• [TYPES/announce] Book Announcement: Session Types   Vasco T. Vasconcelos
• [TYPES/announce] Call for preregistration: CIRM Conference "Synthetic mathematics, logic-affine computation and efficient proof systems", Marseille Luminy, France, 8-12 September 2025   Liron Cohen
• [TYPES/announce] Open 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] DaLi 25, 2nd call for papers   Alexandre Madeira
• [TYPES/announce] LSFA 2025 Last Call for Papers   Christophe Ringeissen
• [TYPES/announce] Scheme 2025 - Call for Papers   Youyou Cong
• [TYPES/announce] LICS 2025 Call for Participation   Sam Staton
• [TYPES/announce] [CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Taro Sekiyama
• [TYPES/announce] GALOP 2025 call for contributions   Hugo Paquet
• [TYPES/announce] TYPES 2025: Call for Participation   Fredrik Nordvall Forsberg
• [TYPES/announce] SPLV 2025 - last call for applications   Sam Lindley
• [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] ICFP 2025 Student Research Competition Call for Submissions   Kimball Germane
• [TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications (Extended deadline: May 2, 2025)   Mukund Raghothaman
• [TYPES/announce] CICM 2025: 4th Announcement and Call for Papers with deadline extension   Serge Autexier
• [TYPES/announce] WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation   Voigtländer, Prof. Dr. Janis
• [TYPES/announce] [VORTEX 2025] Deadline extended   Davide Ancona
• [TYPES/announce] Open postdoc position   Patricia Johann
• [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers   Andrea Rosa
• [TYPES/announce] [Scala 2025] Call for Presentations   Oliver Bracevac
• [TYPES/announce] TABLEAUX 2025 final call for papers   Tarmo Uustalu
• [TYPES/announce] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [TYPES/announce] UNIF 2025 Last Call for Papers (a FSCD event)   Laurent Vigneron
• [TYPES/announce] PhD scholarship in PL, SE, and GenAI at DTU   Christian Gram Kalhauge
• [TYPES/announce] Last CfP for SC-Square 2025 and Christian Zipfel Award   Mikoláš Janota
• [TYPES/announce] Utrecht Summer School on Advanced Functional Programming   Wouter Swierstra
• [TYPES/announce] Haskell Symposium 2025 Second Call for Papers   Ningning Xie
• [TYPES/announce] VeTSS Doctoral Dissertation Awards, Call for nominations, deadline Monday 2nd June, three £1K awards for dissertations published in 2022, 2023 and 2024.   Carbajo Garcia, Teresa
• [TYPES/announce] HOR 2025: Second Call for Papers   Pablo Barenbaum
• [TYPES/announce] Final CFP: LFMTP 2025 - Extended deadlines - Affiliated with FSCD @ Birmingham UK   Kaustuv Chaudhuri
• [TYPES/announce] FTfJP 2025 - Call for Papers with deadline extension 7 May   Crystal Chang Din
• [TYPES/announce] 1st Call for Papers Express/SOS 2025   Giorgio Bacci
• [TYPES/announce] Women in Logic 2025 -- Deadline extension   Elaine Pimentel
• [TYPES/announce] ECOOP Doctoral Symposium -- 2nd Call for Papers   Carla Ferreira
• [TYPES/announce] Final CfP and Deadline extension: 15th International Workshop on Pragmatics of SAT (PoS 2025)   Mikoláš Janota
• [TYPES/announce] QPL 2024 & QPL2025 Special Issue of "Journal of Logical and Algebraic Methods in Programming"   Alejandro Díaz-Caro
• [TYPES/announce] ECOOP 2025: Call for Participation   Violet Ka I Pun
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***   Serge Autexier
• [TYPES/announce] CSL 2026 - First Call for Papers   Barbara König
• [TYPES/announce] TyDe 2025 - Second Call for Papers   Yuting Wang
• [TYPES/announce] IEEE CSF 2025: Early Bird Registration Ends Today!   Ralf Kuesters
• [TYPES/announce] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)   Christophe Ringeissen
• [TYPES/announce] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)   Frédéric Blanqui
• [TYPES/announce] GALOP 2025 — second CFP (extended deadline and invited speakers)   Hugo Paquet
• [TYPES/announce] Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23.   Jorge A. Pérez
• [TYPES/announce] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [TYPES/announce] Faculty Positions at the University of Chile   Éric Tanter
• [TYPES/announce] CALCO/MFPS 2025: Call for Participation   Thorsten Wissmann
• [TYPES/announce] Second call for papers, SMT 2025   Sophie Tourret
• [TYPES/announce] LAP 2025 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] UNIF 2025: Extended submission deadline (May 17)   Laurent Vigneron
• [TYPES/announce] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation   Voigtländer, Prof. Dr. Janis
• [TYPES/announce] VeriProP 2025: Call for Presentations   Dr. Maximilian Weininger
• [TYPES/announce] WST 2025 - Workshop on Termination, First Call for Papers   Carsten Fuhs
• [TYPES/announce] (Senior) Research Associate in Static Analysis and Programming Language Tools at the University of Cambridge   Dominic Orchard
• [TYPES/announce] CfP: 39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025)   Sibylle Schwarz
• [TYPES/announce] RC 2025: Call for Participation   Robin Kaarsgaard Sales
• [TYPES/announce] SMT 2025 Call for Papers: Deadline extension!   Sophie Tourret
• [TYPES/announce] HOR 2025: Deadline extension - Last Call for Papers   Pablo Barenbaum
• [TYPES/announce] QPL 2025 - Registration is now open   Alejandro Díaz-Caro
• [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] Postdoc Fellowship at the University of Bologna - Call for Expressions of Interest   Ugo Dal Lago
• [TYPES/announce] LMW at LICS'25 - Call for participation and Buddy program   Chana Weil-Kennedy
• [TYPES/announce] Open Faculty Positions in Computer Science at NOVA University Lisbon   Carla Ferreira
• [TYPES/announce] 2nd Call for papers - GandALF 2025   Giorgio Bacci
• [TYPES/announce] DisCoTec Call for Participation - Early Registration Deadline Soon   Matthew Alan Le Brun (PGR)
• [TYPES/announce] Call for papers: PLAS @ CCS '25   Abhishek Bichhawat
• [TYPES/announce] 2nd CfP: Functional Programming for Productivity and Performance (FProPer)   Michael Sperber
• [TYPES/announce] 2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16)   Michael Sperber
• [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] IWC 2025: Final Call for Papers   Thiago Felicissimo
• [TYPES/announce] ETAPS 2026 - Call for Satellite Events   root
• [TYPES/announce] ESOP 2026 - Second Call for Papers   root
• [TYPES/announce] Postdoctoral Research Position, University of Birmingham   Sergey Goncharov
• [TYPES/announce] TYPES 2025: Final Call for Participation   Fredrik Nordvall Forsberg
• [TYPES/announce] [FOSAD] 24th Summerschool on Foundations of Security Analysis and Design   Aldini, Alessandro
• [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers   Andrea Rosa
• [TYPES/announce] Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)   Jorge A. Pérez
• [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] ITP 2025: Call for workshops   Yannick Forster
• [TYPES/announce] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Taro Sekiyama
• [TYPES/announce] Call for participation: PLF+PLAID @ ECOOP 2025   Alceste Scalas
• [TYPES/announce] VASSAL Workshop: Call for Presentation   SIGNOLES Julien 215179
• [TYPES/announce] ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching   Violet Ka I Pun
• [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] CfP: Functional Art, Music, Modelling and Design (FARM, Deadline June 13)   Michael Sperber
• [TYPES/announce] Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025   Giovanni Solda
• [TYPES/announce] 2-year postdoc in Type theory and programming languages at Univ. of Gothenburg   Ana Bove
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025   Carsten Fuhs
• [TYPES/announce] DaLí 2025 - 3rd Call for Papers ** deadline extension **   Alexandre Madeira
• [TYPES/announce] WoLLIC 2025 Call for Participation   Rodrigo Marques
• [TYPES/announce] GandALF 2025 - Deadline Extension to 6 June   Giorgio Bacci
• [TYPES/announce] Call for Participation PVS Day @ NFM 2025   Munoz, Cesar A. (LARC-D320)
• [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] 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] CALCO/MFPS 2025: Second Call for Participation   Thorsten Wissmann
• [TYPES/announce] iFM 2025 Call for Papers - Deadline Extended   Giorgio Audrito
• [TYPES/announce] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions   Besik Dundua
• [TYPES/announce] IWC 2025: Deadline Extension   Thiago Felicissimo
• [TYPES/announce] Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming   Michael D. Adams
• [TYPES/announce] ETAPS 2026 Joint Call for Papers   root
• [TYPES/announce] EXPRESS/SOS at CONFEST2025 - Last Call for papers   Cinzia Di Giusto
• [TYPES/announce] HOPE'25: Deadline extension   Guilhem Jaber
• [TYPES/announce] MOSCA 2025: Meeting on String Constraints and Applications, 22 July 2025, Zagreb   Matthew Hague
• [TYPES/announce] ML Family Workshop 2025: 2nd CFP: deadline June 19!   Samuel Westrick
• [TYPES/announce] FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*)   Carsten Fuhs
• [TYPES/announce] 1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics   Alejandro Díaz-Caro
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open   Alejandro Díaz-Caro
• [TYPES/announce] Assist./Assoc. Professor Positions at NII, Tokyo   Ichiro Hasuo
• [TYPES/announce] PhD position at the University of Duisburg-Essen   Barbara König
• [TYPES/announce] Second call for papers: PLAS @ CCS '25   Abhishek Bichhawat
• [TYPES/announce] PhD Position in Parametric Floating-Point Reasoning at Uppsala   Tjark Weber
• [TYPES/announce] Call for participation to UNIF 2025   Laurent Vigneron
• [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: 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] [Scala 2025] *Extended Deadline July 18* Call for Presentations   Oliver Bracevac
• [TYPES/announce] FoSSaCS 2026: call for papers   Stefan Milius
• [TYPES/announce] PL Principal Researcher / Research Engineer (full time)   Dan Ghica
• [TYPES/announce] Postdoctoral Position Available in Systems Security Verification   Atsushi Igarashi
• [TYPES/announce] VSTTE 2025: Second call for papers (deadline July 18th, 2025)   Clément Pit-Claudel
• [TYPES/announce] Deadline extended for PLAS @ CCS '25   Abhishek Bichhawat
• [TYPES/announce] ML Family Workshop 2025: extended deadline: July 3   Samuel Westrick
• [TYPES/announce] Emily Riehl talk in Birmingham   Paul Levy
• [TYPES/announce] POPL 2026 Call for Workshops   Ningning Xie
• [TYPES/announce] POPL 2026 Call for Papers   Ningning Xie
• [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] RVCase 2025 Call for Submissions   Sean Kauffman
• [TYPES/announce] Call for Submissions: SPLASH Doctoral Symposium   Conrad Watt
• [TYPES/announce] [CFP] FSTTCS 2025: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science   C Aiswarya
• [TYPES/announce] one postdoc and one researcher position at University of Gothenburg   Ana Bove
• [TYPES/announce] CfR: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025   Giovanni Solda
• [TYPES/announce] Postdoctoral Researcher Position at the University of Tartu   Danel Ahman
• [TYPES/announce] 2nd Call for Contributions: PROPL 'Programming for the Planet' workshop co-located with ICFP-SPLASH 2025   Dominic Orchard
• [TYPES/announce] PhD position at Univ. of Oslo in formal methods for data protection in digital twins   Silvia Lizeth Tapia Tarifa
• [TYPES/announce] Final Reminder: Deadline extended for PLAS @ CCS '25 [4th July 2025]   Abhishek Bichhawat
• [TYPES/announce] PhD position in programming languages and security at Aarhus University   Aslan Askarov
• [TYPES/announce] Two Assistant/Associate Professor Positions in Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] ICFP/SPLASH 2025: call for volunteers   ICFP Publicity
• [TYPES/announce] CfP 5th IEEE International Conference on Code Quality (ICCQ'25)   Yegor Bugayenko
• [TYPES/announce] POPL 2026 Last Call for Papers   Ningning Xie
• [TYPES/announce] CSL 2026 - Second Call for Papers   Barbara König
• [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] Postdoc positions in type theory, closing date: 25 July   Nicolai Kraus
• [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] VMCAI 2026: first call for papers   Thomas Jensen
• [TYPES/announce] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE   Ralf Kuesters
• [TYPES/announce] Scheme 2025 - Call for Papers (extended deadline: July 24th)   Youyou Cong
• [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] Undone Computer Science 2026: First call for presentations   Guillaume Munch-Maccagnoni
• [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] Professorship in Quantum Computing @ Innsbruck   Georg Moser
• [TYPES/announce] Call for Nominations: SIGPLAN Research Highlights for 2024.   Ilya Sergey
• [TYPES/announce] Save the Date: Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal!   Caterina Urban
• [TYPES/announce] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] Call for Partecipation - GandALF 2025   Giorgio Bacci
• [TYPES/announce] Open postdoc position   Patricia Johann
• [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] CfP: MathCompLing for Proofs (MCLP) 2025   Axel Ljungström
• [TYPES/announce] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize   Manuel Alejandro Borroto Santana
• [TYPES/announce] Post-doc position at ETH Zurich in formal semantics and verification (with a focus on Rust)   Ralf Jung
• [TYPES/announce] [call for participation] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] ICFP 2025 (Co-Located with SPLASH!): Call for Participation   ICFP Publicity
• [TYPES/announce] FMCAD 2025 - Call for Participation   Daniela Kaufmann
• [TYPES/announce] POPL 2026 Call For Tutorials   Ningning Xie
• [TYPES/announce] FroCoS/ITP/TABLEAUX 2025 call for participation   Tarmo Uustalu
• [TYPES/announce] PSSL111 in Bologna   Matteo Capucci
• [TYPES/announce] (CfP) Dafny Workshop at POPL 2026   Stefan Zetzsche
• [TYPES/announce] VMCAI 2026: second call for papers   Thomas Jensen
• [TYPES/announce] Postdoctoral position in logical methods and machine learning (2 years)   Jamie Vicary
• [TYPES/announce] PEPM 2026 - Call for papers   Yukiyoshi Kameyama
• [TYPES/announce] Call for presentations: Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2025)   Giuliano Losa
• [TYPES/announce] Tenure-track opening in Logic/Verification at Saarland University   Derek Dreyer
• [TYPES/announce] CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)   Michael Sperber
• [TYPES/announce] Ph.D. position in PL and quantum computing   Charles Yuan
• [TYPES/announce] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia   Serge Autexier
• [TYPES/announce] DataMod 2025 - Final Call for Papers, Extended Deadline   Ouadie Khebbeb
• [TYPES/announce] Tribute to Gilles Dowek   Catherine DUBOIS
• [TYPES/announce] S-REPLS (Amazon, 29 Oct) - Call for talks and registration   Zetzsche, Stefan
• [TYPES/announce] Call for Papers: FORMALISE 2026   Claudio MENGHI
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2025   Ryan Kavanagh
• [TYPES/announce] Call for Papers: BENEVOL 2025 (17-18 Nov, Enschede, the Netherlands)   Vadim Zaytsev
• [TYPES/announce] Postdoc and PhD positions in Aarhus, Denmark   Lars Birkedal
• [TYPES/announce] Call for nominations: POPL 2026 AEC   Vadim Zaliva
• [TYPES/announce] Haskell Symposium 2025 Call for Talks (deadline Sept 15th)   Ningning Xie
• [TYPES/announce] PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam   Benno van den Berg
• [TYPES/announce] Assistant/associate professor at University of Birmingham, UK (apply by September 30, 2025)   vincent rahli
• [TYPES/announce] [Call for Presentations] TPSA @POPL2026   Ayoun, Sacha-Elie
• [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa   J. Garrett Morris
• [TYPES/announce] RocqPL 2026: Call for Presentations   Benjamin J Delaware
• [TYPES/announce] 7 Associate Professors/Professors at Department of Computer Science, University of Oxford   Nobuko Yoshida
• [TYPES/announce] Call for Presentation - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL)   Lesly-Ann Daniel
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Open PhD positions   Kaushik Mallik
• [TYPES/announce] PADL 2026 Call for Papers   Nada Amin
• [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] Agda Implementors' Meeting XLI: First Call for Participation   Jesper Cockx
• [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions   Ralf Jung
• [TYPES/announce] Haskell Symposium 2025 Last Call for Talks (deadline Sept 15th)   Ningning Xie
• [TYPES/announce] 32nd WoLLIC 2026 - 1st Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems   Taro Sekiyama
• [TYPES/announce] ETAPS 2026 Second Joint Call for Papers   Jan Kofron
• [TYPES/announce] [2nd Call] Seeking nominations: POPL 2026 Artifact Evaluation Committee   Calvin Beck
• [TYPES/announce] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers   Havelund, Klaus (US 348B) via fm-announcements
• [TYPES/announce] LICS 2026 Call for Workshops and First Call for Papers   Sam Staton
• [TYPES/announce] LAFI 2026: Call for Extended Abstracts   Hugo Paquet

Last message date: Fri Sep 19 10:18:24 EDT 2025
Archived on: Fri Sep 19 10:24:58 EDT 2025

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