2025 Archives by date

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

Starting: Tue Jan 7 04:24:23 EST 2025
Ending: Thu Apr 17 14:07:57 EDT 2025
Messages: 188

• [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)

Last message date: Thu Apr 17 14:07:57 EDT 2025
Archived on: Thu Apr 17 14:36:59 EDT 2025

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