types-announce  

Messages by Thread

• [TYPES/announce] Applications Open: Post-Baccalaureate Fellowship in Functional Programming/ OCaml Rishiyur Nikhil
• [TYPES/announce] LSFA 2026 - Call for Papers (Extended deadlines) Alexandre Madeira
• [TYPES/announce] PERR2026 @ CAV/FLOC: Second Call For Papers Milovancevic, Dragana
• [TYPES/announce] 52nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2026) Christian Berger
• [TYPES/announce] CFP: RADICAL 2026: Concurrency & Logic, Liverpool (UK) - co-located with CONFEST 2026 Najib, Muhammad
• [TYPES/announce] LSFA 2026 -- Last call for papers Alexandre Madeira
• [TYPES/announce] Scottish Programming Languages and Verification Summer School 2026: Call for Studentship & Accommodation Applications Simon Fowler
• [TYPES/announce] Last call for contributions: UNSOUND Workshop at ECOOP 2026 (deadline 14 April 2026) [email protected]
• [TYPES/announce] Last Call for contributions : MSFP, Saturday 18th July 2026, Lisbon Marie Kerjean
• [TYPES/announce] Call for applications for the first Summer School on Programming Languages, Logic, and Software Security Amin Timany
• [TYPES/announce] [C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26 Manuel Alejandro Borroto Santana
• [TYPES/announce] Call for Registration: HoTT/UF 2026 Daniel Gratzer
• [TYPES/announce] [PROPL'26] Call for Participation and Papers Jenna DiVincenzo
• [TYPES/announce] E-CoRe PhD Positions — 13 PhD Positions in Energy-Efficient Computing ivan.lanese
• [TYPES/announce] CSL 2027 – First Call for Papers Yannick Forster
• [TYPES/announce] Call for Participation: Workshop in Celebration of Marcelo Fiore's 60th Birthday Vikraman Choudhury
• [TYPES/announce] International School on Rewriting: 12 July – 16 July (Nijmegen, the Netherlands) Cynthia Kop
• [TYPES/announce] FLoC'26 workshop - Tribute to Gilles Dowek - Call for talks Frédéric Blanqui
• [TYPES/announce] Co-chair sought: ICFP 2026 Student Research Competition Kimball Germane
• [TYPES/announce] Call for Contributions : GaLoP 16th @ FLoC 2026 Adrienne Lancelot
• [TYPES/announce] FMICS 2026: Last Call for Papers! Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] Call for Participation: MIT Programming Languages Review Workshop 2026! Click to teach Gmail this conversation is important Amanda Liu
• [TYPES/announce] UNSOUND Workshop at ECOOP 2026 [email protected]
• [TYPES/announce] Workshop on Higher-Order Computation in Implicit and Descriptive Complexity, Paris, 26-27 May Gabriele Vanoni
• [TYPES/announce] FLoC 2026 Mentoring Workshop: Last Call for Scholarship Applications Marie Kerjean
• [TYPES/announce] 19th Interaction and Concurrency Experience (ICE 2026) -- Deadline Extension: 9th April Simon Fowler
• [TYPES/announce] [VORTEX 2026] Deadline Extended Davide Ancona
• [TYPES/announce] FSCD 2028: Call for Location Carsten Fuhs
• [TYPES/announce] PLMW at PLDI 2026: Applications Now Open Jingbo Wang
• [TYPES/announce] CfP: 1st Workshop on Formal Reasoning for Compositional Systems Engineering (FORCE), co-located with CAV and FLoC on July 25 Inigo Incer
• [TYPES/announce] 1st Call for papers - GandALF 2026 Giorgio Bacci
• [TYPES/announce] [ARRAY 2026] Deadline Extended and Keynotes Announced Jenna DiVincenzo
• [TYPES/announce] Eindhoven University of Technology is hiring an Assistant Professor in Artificial Intelligence for Software Engineering! Serebrenik, Alexander
• [TYPES/announce] Postdoctoral position at University of Birmingham Dan Ghica
• [TYPES/announce] CfP: TERMGRAPH 2026 in FLoC Koko Akazaki Muroya
• [TYPES/announce] Call for Submissions: ICFP 2026 Student Research Competition Kimball Germane
• [TYPES/announce] [3rd CFP] SCML-2026 International Conference on Symbolic Computation and Machine Learning Temur Kutsia
• [TYPES/announce] Runtime Verification 2026 Call for Papers Sean Kauffman
• [TYPES/announce] 2nd CFP: Structures and Deduction 2026, Lisbon, 24-25 July Lutz Strassburger
• [TYPES/announce] Call for Papers: SAS'26 Turcotte, Alexi
• [TYPES/announce] LSFA 2026, deadline extension Alexandre Madeira
• [TYPES/announce] Final CFP: Workshop on HoTT/UF Daniel Gratzer
• [TYPES/announce] CFP WADT 2026 Markus Roggenbach
• [TYPES/announce] MFCS 2026 - Second Call for Papers Sarah Winter
• [TYPES/announce] 3rd Call for Papers of QEST+FORMAT 2026 Marco Paolieri
• [TYPES/announce] Call for Participation: 14th Southern and Midlands Logic Seminar, University of Birmingham, 1st April Sonia Marin
• [TYPES/announce] First CfP: 11th ACM SIGPLAN Workshop on Numerical and Symbolic Abstract Domains Michael Schwarz
• [TYPES/announce] ICE 2026: Second Call for Papers Violet Ka I Pun
• [TYPES/announce] 1st cfp: 10th International Workshop on Trends in Linear Logic and Applications federico.olimpieri
• [TYPES/announce] Proof Society Seminar 20.04.2026 (at 13:00 UTC = 14:00 BST = 15:00 CEST) Elaine Pimentel
• [TYPES/announce] OPLSS 2026 registration still open Zena Matilde Ariola
• [TYPES/announce] educator and visiting junior researcher positions at Jane Street Richard Eisenberg
• [TYPES/announce] Reminder: Call for Contributions – CCC 2026 Holger Thies
• [TYPES/announce] Logic Colloquium 2026, speaker update, call for contributed talks Monika Seisenberger
  • [TYPES/announce] Logic Colloquium 2026, extended deadline for contributed talks: 13 April 2026 Monika Seisenberger
• [TYPES/announce] [Call for Papers] Special Issue – 10 Years of the Women in Logic Workshop Journal of Logic and Computation Elaine Pimentel
• [TYPES/announce] Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Second call for contributions Anders Mortberg
• [TYPES/announce] Scala Workshop 2026 (ECOOP), deadline Mon 23 Mar 2026 Matthieu Bovel
• [TYPES/announce] Postdoc, Algorithmic verification of dynamical systems, Oxford UK James Worrell
• [TYPES/announce] Volunteers for ICFP 2026 Artifact Evaluation Committee (AEC) Son Ho
• [TYPES/announce] The 2026 Alonzo Church Award - Call for Nominations Andrzej Murawski
• [TYPES/announce] WADT 2026 Call for Papers and Presentations Benjamin Kaminski
• [TYPES/announce] [FOSAD] 25th Summerschool on Foundations of Security Analysis and Design Aldini, Alessandro
• [TYPES/announce] WPTE 2026: Call for Papers Carsten Fuhs
• [TYPES/announce] PhD Position in Programming Languages and Program Verification at Aarhus University (Deadline: May 1, 2026) Amin Timany
• [TYPES/announce] 3 researcher positions in type theory for mathematics and computer science Ana Bove
• [TYPES/announce] Chaire Jean Morlet, jan-jun 2027, CIRM, France Lionel Vaux Auclair
• [TYPES/announce] The first summer school on Programming Languages, Logic, and Software Security Amin Timany
• [TYPES/announce] [BCTCS 2026] Registration open! Paul Levy
• [TYPES/announce] SYNASC 2026 - Call for Papers Peter Csaba Ølveczky
• [TYPES/announce] NETYS 2026 Final Call for Papers Roland Meyer
• [TYPES/announce] ACT 2026: Second Call for Papers Priyaa Varshinee Srinivasan
• [TYPES/announce] LIQCS 2026: Final Call For Contributions Vladimir Zamdzhiev
• [TYPES/announce] HoTT/UF Second Call for Contributions Daniel Gratzer
• [TYPES/announce] [PLDI 2026] Call for Student Volunteers Jenna DiVincenzo
• [TYPES/announce] PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network Peter Csaba Ølveczky
• [TYPES/announce] LSFA 2026 Second Call for Papers Alexandre Madeira
• [TYPES/announce] PhD in categorical foundations of type theory at Utrecht Paige Randall North
• [TYPES/announce] ICTCS'26 (Udine, Italy) - Call For Papers Angelo Matteo
• [TYPES/announce] NETYS 2026 Third Call for Papers Roland Meyer
• [TYPES/announce] FoPPS Summer School 2026, co-located with FLOC 2026 — First announcement Bernardo Toninho
• [TYPES/announce] GPCE 2026: Deadline Extension (12 March) Lionel Parreaux
• [TYPES/announce] PSSL 112: Program & registration Tom de Jong
• [TYPES/announce] FCS 2026 Call For Papers Gollamudi, Anitha
  • Re: [TYPES/announce] FCS 2026 Call For Papers Gollamudi, Anitha
• [TYPES/announce] CfP: LFMTP 2026 - Logical Frameworks and Meta-Languages: Theory and Practice Sophie Tourret
  • [TYPES/announce] 2nd CfP: LFMTP 2026 - Logical Frameworks and Meta-Languages: Theory and Practice Sophie Tourret
• [TYPES/announce] Call for contributions : Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon Marie Kerjean
• [TYPES/announce] FLoC 2026 Mentoring Workshop: Call for Scholarship Applications Marie Kerjean
• [TYPES/announce] MFPS XLII: Deadline Extension Danel Ahman
• [TYPES/announce] Reminder: WiL Online with Rosalie Iemhoff Elaine Pimentel
• [TYPES/announce] CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026) Ana Bove
• [TYPES/announce] [STD] P3S3 - Privacy, Protocols and Proofs Saclay Summer School SIGNOLES Julien 215179
• [TYPES/announce] Call for Abstracts: IMLA Workshop, Lisbon, 24-25 July Sonia Marin
• [TYPES/announce] ISMM 2026 Call for Papers Jenna DiVincenzo
• [TYPES/announce] Last call for applications: Quantum Informatics CDT Spring School Malin Altenmuller
• [TYPES/announce] TYPES 2026: Call for Participation Ana Bove
• [TYPES/announce] Ecoles d'été CEA EDF Inria [email protected]
• [TYPES/announce] Faculty position in Computer Science (Software Systems Engineering) at DTU Compute, Technical University of Denmark Alceste Scalas
• [TYPES/announce] CfC: SmP 2026 – Structure meets Power, 18 July, Lisbon (Portugal) Yoàv Montacute
• [TYPES/announce] CMCS 2026: Call for Short Contributions Thorsten Wissmann
• [TYPES/announce] One or multiple positions as Tenure-track or Associate Professor in Formal Methods or Process Science - Technical University of Denmark (DTU) Hugo Andrés López
• [TYPES/announce] MGS 2026 registration now open Dan Marsden (staff)
• [TYPES/announce] [VORTEX 2026] - Call for Papers Davide Ancona
• [TYPES/announce] 2nd CFP: ACM TOPLAS Special Issue on Multiparty Languages (Deadline: 15 May 2026) Saverio Giallorenzo
• [TYPES/announce] Proof Society Seminar 09.03.2026 -- Raheleh Jalali Elaine Pimentel
• [TYPES/announce] Job Opening: Lecturer/Associate Professor in Programming Principles, Logic, and Verification (PPLV) Elaine Pimentel
• [TYPES/announce] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning Antonio Ielo
  • [TYPES/announce] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning Antonio Ielo
• [TYPES/announce] [ARRAY'26 @ PLDI'26] Call for Papers for ARRAY 2026 Jenna DiVincenzo
• [TYPES/announce] Call for Papers - ICFEM 2026 (17–20 November 2026, Southampton, UK) Asieh Salehi Fathabadi
• [TYPES/announce] IWC 2026: Second Call For Papers Thiago Felicissimo
• [TYPES/announce] Post-doc & PhD positions on incremental computing – KIT (Germany) Erdweg, Sebastian (IPD)
• [TYPES/announce] Final Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM Nima Rasekh
• [TYPES/announce] Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba) Michael Sperber
• [TYPES/announce] ICTAC 2026, First Call for Papers Florencia Zanollo
• [TYPES/announce] PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM – 2nd Call for Papers Antonios Achilleos
  • [TYPES/announce] PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM – Final Call for Papers and deadline extension Antonios Achilleos
• [TYPES/announce] CiE 2026: 2nd round of submissions CfP acie
• [TYPES/announce] NETYS 2026 Second Call for Papers Roland Meyer
• [TYPES/announce] MFPS XLII: Final call for papers Danel Ahman
• [TYPES/announce] Call for Papers: EGRAPHS 2026 (Fifth Edition) Jenna DiVincenzo
• [TYPES/announce] Tools for Educational Activities in Logic (TEAL@FLoC'26) Luigia Petre
• [TYPES/announce] PhD on the Verification of Statistical Model Checking Algorithms Mohammad Abdulaziz
• [TYPES/announce] [BCTCS 2026] Second call for abstracts Paul Levy
• [TYPES/announce] [LCTES 2026] Call for Papers Jenna DiVincenzo
• [TYPES/announce] ICE 2026: First Call for Papers Violet Ka I Pun
• [TYPES/announce] 13th Rodin User and Developer Workshop - Co-located with FM 2026 Asieh Salehi Fathabadi
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026 Valentin G. J. Herrmann
• [TYPES/announce] Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems and Generative AI, at ICMS 2026 Mohammad Abdulaziz
• [TYPES/announce] VerifyThis 2026: Call for participation Ayoun, Sacha-Elie
• [TYPES/announce] Fifteenth Summer School on Formal Techniques, May 23-29, 2026, Menlo College, Atherton, California Natarajan Shankar
• [TYPES/announce] [SOAP @ PLDI'26] Call for Papers: SOAP 2026 (15th Edition) Jenna DiVincenzo
• [TYPES/announce] Quantum Informatics CDT Spring School 2026: First Call for Applications Malin Altenmuller
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 - Deadline extension: April 12th Alejandro Díaz-Caro
• [TYPES/announce] [2nd CFP] SCML-2026 International Conference on Symbolic Computation and Machine Learning Temur Kutsia
• [TYPES/announce] CS Teaching Fellow, Lancaster Leipzig Marco Caminati
• [TYPES/announce] Call for participation: Undone Computer Science, Luxembourg, 23-25 March 2026 Guillaume Munch-Maccagnoni
• [TYPES/announce] Final Call for Talk and Demo Proposals: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy) - deadline extended to 13th February Summers, Alexander
• [TYPES/announce] Call for Papers: Formal Methods Teaching Workshop (FMTea 2026) Luigia Petre
• [TYPES/announce] FICS 2026 - Call for Participation Florian Bruse
• [TYPES/announce] CSL 2026 - Call for participation Stefano Guerrini
• [TYPES/announce] 1st CfP CMSB 2026 co-located with FLOC, Lisbon July 24-25 François Fages
• [TYPES/announce] Second Call for Papers: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy) - (short) proposals due on Friday! Summers, Alexander
• [TYPES/announce] Registration to TYPES 2026 now open! Ana Bove
• [TYPES/announce] RAMiCS'26: Call for Presentations & Tutorials Uli Fahrenberg
• [TYPES/announce] CMCS 2026: Second Call for Papers and Deadline Extension Thorsten Wissmann
• [TYPES/announce] OPLSS 2026 Zena Matilde Ariola
• [TYPES/announce] 2nd Call for Papers of QEST+FORMAT 2026 Marco Paolieri
• [TYPES/announce] CCC 2026: Call For Contributions Holger Thies
• [TYPES/announce] reminder: ICALP 2026 Call for Papers (deadline in early February) Michael Benedikt
• [TYPES/announce] Logic Colloquium 2026, Swansea, UK, Call for contributed talks Monika Seisenberger
• [TYPES/announce] Computability in Europe (CiE) 2026: Last Call for Papers acie
• [TYPES/announce] MFPS XLII: Second call for papers Danel Ahman
• [TYPES/announce] MFCS 2026 - First Call for Papers Sarah Winter
• [TYPES/announce] Homotopy Type Theory and Univalent Foundations 2026 First CfC Daniel Gratzer
• [TYPES/announce] LSFA 2026 Announcement and First Call for Papers Alexandre Madeira
• [TYPES/announce] [Places 2026] CfP updated: Extended Deadlines and Special Issue Kirstin Peters
• [TYPES/announce] PSSL 112 - Last CfC Tom de Jong
• [TYPES/announce] Call for Contributions: [CP@PLDI 2026] 2nd Workshop on Choreographic Programming Dan Plyukhin
• [TYPES/announce] 4th ECUMENICAL meeting @ Stockholm Elaine Pimentel
  • [TYPES/announce] 4th ECUMENICAL meeting @ Stockholm Elaine Pimentel
• [TYPES/announce] SoCal PLS 2026 call for contributions Mukund Raghothaman
• [TYPES/announce] CfP - Intersection Types and Related Systems (ITRS 2026) Andrej Dudenhefner
• [TYPES/announce] Lectureship in PL at University of Kent, UK. Deadline: 06 February 2026 Marco Paviotti
• [TYPES/announce] Two postdoctoral positions in Reactive Synthesis Shibashis Guha
• [TYPES/announce] Call For Papers: 6th Workshop on Program Equivalence and Relational Reasoning (PERR2026 @ CAV/FLOC) Milovancevic, Dragana
• [TYPES/announce] [BCTCS 2026] Call for Abstracts Paul Levy
• [TYPES/announce] Call for Papers: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy) Summers, Alexander
• [TYPES/announce] FTfJP 2026 call for papers Gidon Ernst
• [TYPES/announce] SD'26 Call for Papers Lutz Strassburger
• [TYPES/announce] [Places 2026] Second Call for Papers Kirstin Peters
• [TYPES/announce] Call for Bids to Host TABLEAUX-FroCoS 2027 Elaine Pimentel
• [TYPES/announce] [Call for Papers] Women in Logic 2026 Elaine Pimentel
• [TYPES/announce] postdoc ad Nate Foster
• [TYPES/announce] Postdoc Position in Software Verification at Royal Holloway, University of London (UK) Lange, Julien
• [TYPES/announce] 2nd Call for Participation: BOB 2026 (Berlin, Mar 13) Michael Sperber
• [TYPES/announce] World Logic Day@Swansea University on 14th January 2026: 3 talks: Arnold Beckmann, Ulrich Berger and John Tucker Monika Seisenberger
• [TYPES/announce] FSCD 2026: Second Call for Papers Carsten Fuhs
• [TYPES/announce] TYPES 2026: Deadline Extension and Final Call for Contributions Christian Sattler
• [TYPES/announce] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, co-located with ETAPS) Arnd Hartmanns
• [TYPES/announce] [PLDI'26] Call for Self-nominations for the PC of the Student Research Competition Jenna DiVincenzo
• [TYPES/announce] New Software Foundations release for Rocq 9 Benjamin Pierce
• [TYPES/announce] CMCS 2026: Call for Papers Thorsten Wissmann
• [TYPES/announce] PhD Opening in Quantitative Reasoning at FAU Erlangen-Nürnberg Henning Urbat
• [TYPES/announce] 32nd WoLLIC 2026 - 3rd Call for Papers Ruy Jose Guerra Barretto de Queiroz
  • [TYPES/announce] 32nd WoLLIC 2026 - DEADLINE APPROACHING - Call for Papers Ruy Jose Guerra Barretto de Queiroz
  • [TYPES/announce] 32nd WoLLIC 2026 - DEADLINE EXTENDED: Abstract+Paper 02 March - Online presentations welcome Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] (Call for Participation) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] (Post-)Doctoral positions at Chapman U 2026 Jonathan Weinberger
• [TYPES/announce] Agda Implementors' Meeting XLII: Call for talks and participation Andreas Nuyts
• [TYPES/announce] Programming Language Implementation Summer School (PLISS) 2026 Laurence Tratt
• [TYPES/announce] Book Announcement--Proof Theory and Logic Programming: Computation as Proof Search Dale Miller
• [TYPES/announce] FICS 2026 - final CfP (deadlines extended) Florian Bruse
• [TYPES/announce] Computability in Europe CiE 2026: 2nd Call for Papers acie
• [TYPES/announce] FMICS: Call for Papers Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] NETYS 2026 First Call for Papers Roland Meyer
• [TYPES/announce] VerifyThis26: Call for problems Ayoun, Sacha-Elie
• [TYPES/announce] Last call for papers: SLALM 2026 Elaine Pimentel
• [TYPES/announce] [TFP 2026] 1st Call for Participation for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-29 2026 - TFPiE Jan 26 Peter Achten

• Earlier messages