types-announce  

Messages by Thread

• [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] VORTEX 2025 - 1st Call for Papers Davide Ancona
• [TYPES/announce] Call for Contributions - 2nd Workshop on Programming for the Planet (PROPL) co-located with ICFP-SPLASH 2025 Dominic Orchard
  • [TYPES/announce] 2nd Call for Contributions: PROPL 'Programming for the Planet' workshop co-located with ICFP-SPLASH 2025 Dominic Orchard
• [TYPES/announce] MIT Programming Languages Review Workshop 2025 Dustin Jamner
• [TYPES/announce] Prefaculty/postdoc position in the OCaml Language team at Jane Street Richard Eisenberg
• [TYPES/announce] iFM 2025 Call for Papers - 20th International Conference on Integrated, Formal Methods Giorgio Audrito
• [TYPES/announce] MFPS FInal Call for Papers (extended deadlines) Fredrik Nordvall Forsberg
• [TYPES/announce] PLMW@PLDI'25 is now accepting applications Jingbo Wang
• [TYPES/announce] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris Francois Pottier
• [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] Postdoc position available Patricia Johann
• [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] 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] IWC 2025: First Call For Papers Thiago Felicissimo
• [TYPES/announce] LSFA 2025 Second Call for Papers Christophe Ringeissen
• [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] [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, 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] 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] 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] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
  • [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
  • [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
• [TYPES/announce] OPLSS 2025 registration still open Zena Matilde Ariola
• [TYPES/announce] Call for Papers: Deduktionstreffen 2025 at CADE Florian Rabe
• [TYPES/announce] Registration reminder for HoTT/UF 2025 Daniel Gratzer
• [TYPES/announce] ETAPS 2025 - CALL FOR PARTICIPATION Claudio MENGHI
• [TYPES/announce] ESOP 2026 - Call for Papers Claudio MENGHI
• [TYPES/announce] PhD studentship at Imperial on automated testing and verification of machine learning compilers and runtimes Donaldson, Alastair F
• [TYPES/announce] ML Family Workshop 2025: Call for Presentations Samuel Westrick
• [TYPES/announce] ICE 2025: Second Call for Papers Clément Aubert
• [TYPES/announce] PhD positions at Stockholm University (deadline April 22) Anders Mortberg
• [TYPES/announce] PhD funding in logic at UCL Elaine Pimentel
• [TYPES/announce] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC) Lionel Parreaux
• [TYPES/announce] Call for dissertations -- E.W. Beth Dissertation Prize 2025 Elaine Pimentel
• [TYPES/announce] Funded PhD Position for UK Students at University of Strathclyde Jan de Muijnck-Hughes
  • [TYPES/announce] *Last Call*: 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] 12 fully-funded PhD scholarships in Computer Science at GSSI emilio . tuosto
• [TYPES/announce] Fully-Funded Overseas or Home PhD Studentship in Oxford University Nobuko Yoshida
• [TYPES/announce] PhD positions in DFG RTG "Cybercrime and Forensic Computing", FAU Erlangen-Nürnberg Lutz Schröder
• [TYPES/announce] TABLEAUX 2025 2nd call for papers Tarmo Uustalu
• [TYPES/announce] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• [TYPES/announce] PhD and postdoc positions at Uppsala in Practically Usable Verification for Numerical Programs Eva Darulova
• [TYPES/announce] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• [TYPES/announce] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21) Yannick Forster
• [TYPES/announce] Call for papers: FCS @ CSF'25 Vassena, M. (Marco)
• [TYPES/announce] HOR 2025: Call for Papers Pablo Barenbaum
• [TYPES/announce] FMCAD 2025 - 2nd Call for Papers Daniela Kaufmann
• [TYPES/announce] PhD Positions in Programming Semantics and Systems for Probabilistic and Differential Programming Matthijs
• [TYPES/announce] The 2025 Alonzo Church Award - Call for Nominations Andrzej Murawski
• [TYPES/announce] FTfJP 2025 - First Call for Papers Crystal Chang Din
• [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] 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] 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] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
• [TYPES/announce] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals Frédéric Blanqui
• [TYPES/announce] Onward! 2025 Joint Call for Papers and Essays Gordon,Colin
• [TYPES/announce] CfP: GPCE 2025 Jeremy Yallop
  • [TYPES/announce] Deadline extension (9 April): GPCE 2025 Jeremy Yallop
• [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] CALCO 2025: Final Call for Papers Thorsten Wissmann
• [TYPES/announce] TYPES 2025: Deadline Extension and Final Call for Contributions Fredrik Nordvall Forsberg
• [TYPES/announce] ECOOP 2025: 2nd Call for Papers Giorgio Audrito
• [TYPES/announce] MFPS 2025: Second Call for Papers Thorsten Wissmann
• [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] WQS 2025 - Second Call for Papers Nicola Assolini
• [TYPES/announce] Call for talks: PLF+PLAID @ ECOOP 2025 Alceste Scalas
• [TYPES/announce] Asst. Prof. in Math. Logic at Stockholm, deadline April 15 Peter LeFanu Lumsdaine
• [TYPES/announce] VerifyThis 2025 - Call for Participation Thomas Wies
• [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] 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] PhD positions available on formal methods and digital twins at University of Oslo Einar Broch Johnsen
• [TYPES/announce] Postdoc position at MPI-SWS (Foundations of Programming group) Derek Dreyer
• [TYPES/announce] Postdoc position in quantum computing at Chalmers University of Technology Robin Adams
• [TYPES/announce] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield Andrei Popescu
• [TYPES/announce] Call for Papers - Abstract Registration Deadline is Approaching Farzaneh Derakhshan
• [TYPES/announce] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• [TYPES/announce] Rod Burstall Gordon Plotkin
• [TYPES/announce] 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025) Konstantinos Kallas
• [TYPES/announce] ECOOP 2025: Call for AEC members Giorgio Audrito
• [TYPES/announce] Postdoc position at University of Iceland Anders Claesson
• [TYPES/announce] FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22) Carsten Fuhs
• [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] 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] TYPES 2025: Second Call for Contributions Fredrik Nordvall Forsberg
• [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] FSEN 2025 - Call for Participation Petra van den Bos
• [TYPES/announce] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16) Steven Keuchel
• [TYPES/announce] SPIN: Final Call for Papers Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] CALCO 2025: Second Call for Papers Thorsten Wissmann
• [TYPES/announce] PPDP 2025 Call for papers Małgorzata Biernacka
• [TYPES/announce] SPAA'25 Call for Papers -- deadline Feb 28 Samuel Westrick
• [TYPES/announce] TABLEAUX 2025 call for papers Tarmo Uustalu
• [TYPES/announce] 2025 Estonian Winter School in Computer Science Tarmo Uustalu
• [TYPES/announce] QPL 2025 - Final Call for Papers Alejandro Díaz-Caro
• [TYPES/announce] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [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] 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] PhD/PostDoc positions in Formal Methods at the University of Konstanz (Germany) Emanuele D'Osualdo
• [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] LSFA 2025 Call for Papers Christophe Ringeissen
• [TYPES/announce] Call for constributions: ASL Special Session on Proof Assistants Patricia Johann
• [TYPES/announce] Faculty position at ULB Emmanuel Filiot
• [TYPES/announce] Last Call for ECOOP 2025 Workshop Proposals Clément Aubert
• [TYPES/announce] Postdoc position at Tufts University Jeff Foster
• [TYPES/announce] IEEE CSF 2025: CFP Winter Cycle - Deadline Feb 4, 2025, AoE Ralf Kuesters
• [TYPES/announce] IEEE CSF 2025:: Call for Workshops Ralf Kuesters
• [TYPES/announce] 31st WoLLIC 2025 - 3rd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [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] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - Final CfP Simone Martini
• [TYPES/announce] FMCAD 2025: Call for Papers Daniela Kaufmann
• [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] New postdoc position in the Frama-C team, Paris-Saclay, France SIGNOLES Julien 215179
• [TYPES/announce] Fully Funded PhD position in Secure Compilation Gollamudi, Anitha
• [TYPES/announce] Final CfP for HoTT/UF'25 Daniel Gratzer
• [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] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [TYPES/announce] Call for Papers: TbiLLC 2025 Balder ten Cate
• [TYPES/announce] LATTE 2025 (Co-Located with ASPLOS): CFP Edward Wang
• [TYPES/announce] 2nd Call for Participation: BOB 2025 (Berlin, Mar 14) Michael Sperber
• [TYPES/announce] Fully-funded PhD position in Static Analysis at Inria Lille, France Raphaël Monat
• [TYPES/announce] QPL 2025 - Second Call for Papers Alejandro Díaz-Caro
• [TYPES/announce] PhD Scholarships in Quantum Computing Venanzio Capretta
• [TYPES/announce] Postdoctoral Research Fellow Brijesh Dongol
• [TYPES/announce] LICS 2025 final call for papers Sam Staton
• [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] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Inbox Andrei Popescu
• [TYPES/announce] Programs from Proofs Meets Formal Mathematics - call for participation Thomas Powell
• [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] RC 2025: Second Call for Papers Robin Kaarsgaard Sales
• [TYPES/announce] POPL 2025 Call for Participation (January 19-25, Denver, Colorado) Ningning Xie
• [TYPES/announce] ECOOP 2025: Call for Papers Giorgio Audrito
• [TYPES/announce] [FORTE2025@DisCoTec] First call for papers Claudio Mezzina
• [TYPES/announce] FMBC 2025 - First Call for Papers Teng Zhang
• [TYPES/announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025 Klaus Ostermann
  • [TYPES/announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025 Giorgio Audrito
• [TYPES/announce] ICGT 2025 - Call for Papers Joerg Endrullis
• [TYPES/announce] Faculty Positions at Tulane University - Emphasis on PL and SE Rajan, Hridesh
• [TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations Daniel Gratzer
• [TYPES/announce] CALCO 2025: Call for Papers Thorsten Wissmann
• [TYPES/announce] MFPS 2025: Call for Papers Thorsten Wissmann
• [TYPES/announce] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK) Peter Achten
• [TYPES/announce] PhD position at ETH Zurich in formal semantics and verification (and Rust) Ralf Jung
• [TYPES/announce] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Andrei Popescu
• [TYPES/announce] Call for Participation: BOB 2025 (Berlin, Mar 14) Michael Sperber
• [TYPES/announce] PaPoC 2025 - Call for Papers Gowtham Kaki
• [TYPES/announce] WQS 2025 - First Call for Papers Nicola Assolini
• [TYPES/announce] Programming Language Implementation Summer School (PLISS) Laurence Tratt
• [TYPES/announce] Fully-Funded PhD Positions at University of South Carolina Frank Fu
• [TYPES/announce] TYPES 2025: First Call for Contributions Fredrik Nordvall Forsberg
• [TYPES/announce] Fully-Funded PhD Positions at University of. Massachusetts Lowell Gollamudi, Anitha
• [TYPES/announce] FSCD 2025: Second Call for Papers Carsten Fuhs
• [TYPES/announce] call for nominations: SIGLOG Research Highlights Liron Cohen
• [TYPES/announce] fully-funded PhD and Research MSc positions at UBC CS: applications by 15th December, information sessions tomorrow (5th December) Summers, Alexander
• [TYPES/announce] Call for Nominations for the ETAPS Doctoral Dissertation Award 2025 Caterina Urban
• [TYPES/announce] Multiple Ph.D. Positions in Security and Privacy at TU Wien Maffei, Matteo
• [TYPES/announce] 31st WoLLIC 2025 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Permanent lecturer/senior lecturer position at the University of Strathclyde Fredrik Nordvall Forsberg
• [TYPES/announce] Doctoral program in math/philosophy/physics at Chapman U Jonathan Weinberger
• [TYPES/announce] PLDI’25 Artifact Evaluation Committee: Call for nominations Konstantinos Kallas
• [TYPES/announce] PhD Studentship Opportunity: Proof-Theoretic Semantics for Non-Classical and Modal Logics (Leverhulme ECUMENICAL Project) Elaine Pimentel
• [TYPES/announce] RRRR 2025 Call for Submissions: Reproducibility and Replication of Research Results Arnd Hartmanns
• [TYPES/announce] POPL 2025 Call for Participation - Early registration: 20 December Ningning Xie
• [TYPES/announce] PhD Studentships in PL at the University of Glasgow Simon Fowler
• [TYPES/announce] Call for Participation: FSTTCS 2024 and allied workshops Shibashis Guha
• [TYPES/announce] Open-rank faculty position in Programming Languages at University of California, Riverside Manu Sridharan
• [TYPES/announce] SIGPLAN Research Highlights 2021-2023: Call for Nominations Sergey, Ilya
• [TYPES/announce] SPIN 2025: Call for Papers Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science Catalin Hritcu
  • [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science Catalin Hritcu
• [TYPES/announce] Faculty Position at University of Colorado Boulder Gowtham Kaki
• [TYPES/announce] Postdoc in Chambéry Tom Hirschowitz

• Earlier messages
• Later messages