2026 Archives by subject

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

Starting: Fri Jan 2 11:54:04 EST 2026
Ending: Fri Apr 3 14:50:15 EDT 2026
Messages: 181

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

Last message date: Fri Apr 3 14:50:15 EDT 2026
Archived on: Fri Apr 3 17:10:40 EDT 2026

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