types-announce  

Messages by Thread

• • [TYPES/announce] Deadline extended for PLAS @ CCS '25 Abhishek Bichhawat
  • [TYPES/announce] Final Reminder: Deadline extended for PLAS @ CCS '25 [4th July 2025] Abhishek Bichhawat
• [TYPES/announce] DisCoTec Call for Participation - Early Registration Deadline Soon Matthew Alan Le Brun (PGR)
• [TYPES/announce] 2nd Call for papers - GandALF 2025 Giorgio Bacci
• [TYPES/announce] Open Faculty Positions in Computer Science at NOVA University Lisbon Carla Ferreira
• [TYPES/announce] LMW@LICS'25 - Call for participation and Buddy program Chana Weil-Kennedy
• [TYPES/announce] Postdoc Fellowship at the University of Bologna - Call for Expressions of Interest Ugo Dal Lago
• [TYPES/announce] QPL 2025 - Registration is now open Alejandro Díaz-Caro
• [TYPES/announce] HOR 2025: Deadline extension - Last Call for Papers Pablo Barenbaum
• [TYPES/announce] CfP: 39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025) Sibylle Schwarz
• [TYPES/announce] SMT 2025 Call for Papers: Deadline extension! Sophie Tourret
• [TYPES/announce] RC 2025: Call for Participation Robin Kaarsgaard Sales
• [TYPES/announce] WST 2025 - Workshop on Termination, First Call for Papers Carsten Fuhs
• [TYPES/announce] VeriProP 2025: Call for Presentations Dr. Maximilian Weininger
• [TYPES/announce] (Senior) Research Associate in Static Analysis and Programming Language Tools at the University of Cambridge Dominic Orchard
• [TYPES/announce] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation Voigtländer , Prof . Dr . Janis
• [TYPES/announce] UNIF 2025: Extended submission deadline (May 17) Laurent Vigneron
• [TYPES/announce] CALCO/MFPS 2025: Call for Participation Thorsten Wissmann
• [TYPES/announce] LAP 2025 - Logic and Applications: CFP Silvia Ghilezan
• [TYPES/announce] Second call for papers, SMT 2025 Sophie Tourret
• [TYPES/announce] Faculty Positions at the University of Chile Éric Tanter
• [TYPES/announce] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• [TYPES/announce] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26) Christophe Ringeissen
• [TYPES/announce] GALOP 2025 — second CFP (extended deadline and invited speakers) Hugo Paquet
• [TYPES/announce] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
• [TYPES/announce] Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23. Jorge A . Pérez
• [TYPES/announce] IEEE CSF 2025: Early Bird Registration Ends Today! Ralf Kuesters
• [TYPES/announce] TyDe 2025 - Second Call for Papers Yuting Wang
• [TYPES/announce] CSL 2026 - First Call for Papers Barbara König
• [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] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK *** Serge Autexier
• [TYPES/announce] ECOOP Doctoral Symposium -- 2nd Call for Papers Carla Ferreira
• [TYPES/announce] Women in Logic 2025 -- Deadline extension Elaine Pimentel
• [TYPES/announce] 1st Call for Papers Express/SOS 2025 Giorgio Bacci
• [TYPES/announce] FTfJP 2025 - Call for Papers with deadline extension 7 May Crystal Chang Din
• [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] Final CFP: LFMTP 2025 - Extended deadlines - Affiliated with FSCD @ Birmingham UK Kaustuv Chaudhuri
• [TYPES/announce] HOR 2025: Second Call for Papers Pablo Barenbaum
• [TYPES/announce] Haskell Symposium 2025 Second Call for Papers Ningning Xie
• [TYPES/announce] Utrecht Summer School on Advanced Functional Programming Wouter Swierstra
• [TYPES/announce] Last CfP for SC-Square 2025 and Christian Zipfel Award Mikoláš Janota
• [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] PhD scholarship in PL, SE, and GenAI at DTU Christian Gram Kalhauge
• [TYPES/announce] UNIF 2025 Last Call for Papers (a FSCD event) Laurent Vigneron
• [TYPES/announce] TABLEAUX 2025 final call for papers Tarmo Uustalu
• [TYPES/announce] [Scala 2025] Call for Presentations Oliver Bracevac
  • [TYPES/announce] [Scala 2025] *Extended Deadline July 18* Call for Presentations Oliver Bracevac
• [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers Andrea Rosa
  • [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers Andrea Rosa
• [TYPES/announce] Open postdoc position Patricia Johann
  • [TYPES/announce] Open postdoc position Patricia Johann
• [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] 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] ICFP 2025 Student Research Competition Call for Submissions Kimball Germane
• [TYPES/announce] TYPES 2025: Call for Participation Fredrik Nordvall Forsberg
• [TYPES/announce] LICS 2025 Call for Participation Sam Staton
• [TYPES/announce] SPLV 2025 - last call for applications Sam Lindley
• [TYPES/announce] GALOP 2025 call for contributions Hugo Paquet
• [TYPES/announce] [CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Taro Sekiyama
• [TYPES/announce] Scheme 2025 - Call for Papers Youyou Cong
• [TYPES/announce] LSFA 2025 Last Call for Papers Christophe Ringeissen
• [TYPES/announce] Open PhD position in the Frama-C team, Paris-Saclay, France SIGNOLES Julien 215179
• [TYPES/announce] DaLi 25, 2nd call for papers Alexandre Madeira
• [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] Book Announcement: Session Types Vasco T. Vasconcelos
• [TYPES/announce] [CHC-COMP 2025] - Call for Solver Submission Gidon Ernst
• [TYPES/announce] DisCoTec 2025 Call for Participation Matthew Alan Le Brun (PGR)
• [TYPES/announce] First call for papers, SC-Square 2025 Mikoláš Janota
• [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
  • [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• [TYPES/announce] 4th Women in EuroProofNet - Call for contributions and participation Sandra Alves
• [TYPES/announce] Aczel Memorial Conference / BLC 2025 meeting: first announcement Nicola Gambino
• [TYPES/announce] 1st cfp: 9th International Workshop on Trends in Linear Logic and Applications Lionel Vaux Auclair
• [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] LMW@LICS'25 - Call for participation and scholarship applications Chana Weil-Kennedy
• [TYPES/announce] Final call for dissertations -- E.W. Beth Dissertation Prize 2025 Elaine Pimentel
• [TYPES/announce] 10 funded PhD positions on Automated Reasoning in Vienna, Austria Weissenbacher, Georg
• [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] Call for TYPES 2027 location Paige Randall North
• [TYPES/announce] CICM 2025: 3rd Announcement and Call for Papers Serge Autexier
• [TYPES/announce] SMT 2025 - Call for Papers Sophie Tourret
• [TYPES/announce] UNIF 2025 2nd Call for Papers Laurent Vigneron
• [TYPES/announce] 2nd call for talks: PLF+PLAID @ ECOOP 2025 Alceste Scalas
• [TYPES/announce] FTfJP 2025 - Second Call for Papers Crystal Chang Din
• [TYPES/announce] Postdoc in Semantics at ENS de Lyon Michele Pagani
• [TYPES/announce] VSTTE 2025: First call for papers Clément Pit-Claudel
• [TYPES/announce] Midlands Graduate School - final call for participation Tom de Jong
• [TYPES/announce] FSCD 2027: Call for Location Carsten Fuhs
• [TYPES/announce] Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium Dominique Devriese
• [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

• Earlier messages
• Later messages