types-announce  

Messages by Thread

• [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
• [TYPES/announce] Call for ECOOP 2025 Workshop Proposals Clément Aubert
• [TYPES/announce] Postdoc and PhD student positions at Aarhus University, Denmark Lars Birkedal
• [TYPES/announce] [TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK) Peter Achten
• [TYPES/announce] Workshop on Homotopy Type Theory and Univalent Foundations Daniel Gratzer
• [TYPES/announce] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK) Nicolai Kraus
• [TYPES/announce] Glasstone Research Fellowship in Computer Science at Oxford Sam Staton
• [TYPES/announce] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES Gwen Salaün
• [TYPES/announce] POPL25: Student volunteers deadline extension Ayoun, Sacha-Elie
• [TYPES/announce] RC 2025: First Call for Papers Robin Kaarsgaard Sales
• [TYPES/announce] CfP: PLACES 2025 Jan Hoffmann
  • [TYPES/announce] CfP: PLACES 2025 Farzaneh Derakhshan
• [TYPES/announce] [POPL25] Reminder: Call for student volunteers Ayoun, Sacha-Elie
• [TYPES/announce] PriSC @ POPL'25: Extended deadline Vassena, M. (Marco)
• [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions Ralf Jung
  • Re: [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions Ralf Jung
  • [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions Ralf Jung
• [TYPES/announce] ICFP 2025: Call for Papers ICFP Publicity
• [TYPES/announce] Faculty positions at Florida State University Grigory Fedyukovich
• [TYPES/announce] PhD scholarship at King's College London Maribel Fernandez
• [TYPES/announce] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15) Michael Sperber
• [TYPES/announce] PhD studentships at the University of Strathclyde Fredrik Nordvall Forsberg
• [TYPES/announce] QPL 2025: First Call for Papers Alejandro Díaz-Caro
• [TYPES/announce] PhD and postdoc positions in program verification at Uppsala University Eva Darulova Bruggisser
• [TYPES/announce] Call for Participation: BLDL 15, Bergen Norway, 26-27 Nov 2024 Jaakko Järvi
• [TYPES/announce] Lecturer in Computational Linguistics in UCL Sadrzadeh, Mehrnoosh
• [TYPES/announce] [TPSA@POPL25] Call for presentations Ayoun, Sacha-Elie
• [TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Invited Speakers and final CFP Conrad Watt
• [TYPES/announce] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification Oliver Fernandez Gil
• [TYPES/announce] 2nd CFS - PLanQC 2025 (+ deadline extension) Jennifer Paykin
• [TYPES/announce] FSCD 2025: Call for Workshop Proposals Carsten Fuhs
• [TYPES/announce] PriSC @ POPL'25: 2nd Call for Paper Vassena, M. (Marco)
• [TYPES/announce] FSCD 2025: First Call for Papers Carsten Fuhs
• [TYPES/announce] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024) Ningning Xie
• [TYPES/announce] [CFP] CiE 2025, 14-18 July 2025, Lisbon (Portugal) – 1st CfP Simone Martini
• [TYPES/announce] [CFP] PEPM 2025 co-located with POPL Guillaume Allais
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2024 Ryan Kavanagh
• [TYPES/announce] PhD position on multimodal Agda @ KU Leuven, Belgium Andreas Nuyts
• [TYPES/announce] Professorship for "Verification of Complex Systems" at the University of Duisburg-Essen Barbara König
• [TYPES/announce] WITS @ POPL 2025: Call for Contributions Sebastian Ullrich
• [TYPES/announce] [TFP 2025 2nd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK) Peter Achten
• [TYPES/announce] Faculty position at University of Oregon Zena Matilde Ariola
• [TYPES/announce] Assistant Professor (Tenure Track) position at ETH Zurich Ralf Jung
• [TYPES/announce] 31st WoLLIC 2025 - Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Dafny Workshop at POPL 2025 (deadline extension) Stefan Zetzsche
• [TYPES/announce] postdoc on higher category theory in Gothenburg, Sweden Christian Sattler
• [TYPES/announce] PhD and postdoc position at the University of Copenhagen Dmitriy Traytel
• [TYPES/announce] 24th ANU Logic Summer School Ranald Clouston
• [TYPES/announce] POPL25: Call for Student Volunteers Ayoun, Sacha-Elie
• [TYPES/announce] Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15) Michael Sperber
• [TYPES/announce] Midwest PL Summit 2024 Robert Rand
• [TYPES/announce] LICS 2025 Call for Papers and Call for Workshops Sam Staton
• [TYPES/announce] PADL 2025: Second Call for Papers Germán Vidal
• [TYPES/announce] Types post-proceedings call for papers Rasmus Ejlers Møgelberg
• [TYPES/announce] OOPSLA 2025 R1 Call For Papers publicity
• [TYPES/announce] PLDI 2025 Call For Papers Konstantinos Kallas
• [TYPES/announce] ETAPS 2025 Final Joint Call for Papers Claudio MENGHI
• [TYPES/announce] Workshop on "Big Specification: Specification, Proof, and Testing at Scale" Peter Sewell
• [TYPES/announce] PLanQC 2025: Call for Submissions Jennifer Paykin
• [TYPES/announce] 39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg Andreas Abel
• [TYPES/announce] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes Luigia Petre
• [TYPES/announce] CfP: STACS'25: 42nd International Symposium on Theoretical Aspects of Computer Science, March 4-7, Jena (Germany) Elaine Pimentel
• [TYPES/announce] Postdoc & senior researcher positions in Tokyo Ichiro Hasuo
• [TYPES/announce] PriSC @ POPL'25: Call for Presentations Vassena, M. (Marco)
• [TYPES/announce] IEEE CSF 2025 - Fall Cycle - Deadline October 1, 2024, AoE Ralf Kuesters
• [TYPES/announce] 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025) Ashutosh Trivedi
• [TYPES/announce] CCC 2024: Call For Participation Olivier Bournez
• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2025 Stefan Zetzsche
• [TYPES/announce] Post-Doctoral Position at CLE-UNICAMP (Campinas, Brazil) - 2 years Elaine Pimentel
• [TYPES/announce] LAFI 2025 Call for Papers (Deadline Oct 30) Matthijs Vákár
• [TYPES/announce] Fully remote postdoc positions at Bar-Ilan University on SMT Yoni
• [TYPES/announce] Professorship "Fundamental Aspects of Programming Languages" in Munich, Germany M G
• [TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Call for Presentations Conrad Watt
• [TYPES/announce] CFP: SAC 2025 -- Programming Languages Track Marco Giunti
• [TYPES/announce] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14 Luigia Petre
• [TYPES/announce] Seeking nominations: POPL 2025 Artifact Evaluation Committee Vadim Zaliva
• [TYPES/announce] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK) Peter Achten
• [TYPES/announce] Postdoc position at University of Kent Vineet Rajani
• [TYPES/announce] Two post-doc positions at Topos Research UK David Jaz Myers
• [TYPES/announce] PADL 2025: First Call for Papers Germán Vidal
• [TYPES/announce] researcher position in Trieste Tatjana Petrov
• [TYPES/announce] FSEN 2025 - Final Call for Papers Petra van den Bos
• [TYPES/announce] PhD and Post-Doc Positions Available in PL Michael D. Adams
• [TYPES/announce] CoqPL 2025: Call for Presentations Delaware, Benjamin J
• [TYPES/announce] 2 year postdoc in Tallinn - application deadline 15 September Pawel Sobocinski
• [TYPES/announce] CCC 2024: Call For Contributions (deadline extended to 14 September 2024) Olivier Bournez
• [TYPES/announce] 4-year PhD position in Innsbruck Aart Middeldorp
• [TYPES/announce] (CfP) Dafny Workshop at POPL 2025 Stefan Zetzsche
• [TYPES/announce] 3-years postdoc on Type theory for mathematics and computer science at Gothenburg University Ana Bove
• [TYPES/announce] ISR 2026 - 15th International School on Rewriting - Call for Proposals Thiemann , René
• [TYPES/announce] Workshop on Big Specification (Registration open until 31 Oct) Peter Sewell
  • Re: [TYPES/announce] Workshop on Big Specification (Registration open until 31 Oct) Peter Sewell
• [TYPES/announce] ICTCS 24 - Call for Participation Riccardo Treglia
• [TYPES/announce] British Logic Colloquium 2024 -- Final call for participation Paul Levy
• [TYPES/announce] Research positions in Systems Software Verification Peter Sewell
• [TYPES/announce] APLAS 2024 Call for Participation Mirai Ikebuchi
• [TYPES/announce] Post-doctoral Research Associate in Programming Languages and Systems for Climate Modelling at the University of Kent (33 months) Dominic Orchard
• [TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award (Second Round Submissions due by 19th August) Summers, Alexander
• [TYPES/announce] ETAPS 2025 1st joint call for papers Claudio MENGHI
• [TYPES/announce] POPL 2025 Call for Tutorials Ningning Xie
• [TYPES/announce] ITP 2024: Call for Online Participation Besik Dundua
• [TYPES/announce] Quantitative Principles of CPSs -- call for abstracts Renato Neves
• [TYPES/announce] CfP: ITP 2024: The Fifteenth International Conference on Interactive Theorem Proving, 9-14. September, Tbilsi (Georgia) Besik Dundua
• [TYPES/announce] Final CfPart: Proof Society School and Workshop [PS24]. **Extended registration deadline: 16 August**. 9-13 September, Birmingham, UK. Anupam das
• [TYPES/announce] Autumn school on Probability in Computer Science (PICS). Early registration deadline approaching! Andrzej Wasowski
• [TYPES/announce] FSEN 2025 - 2nd Call for Papers Petra van den Bos
• [TYPES/announce] Call for Participation, Functional Software Architecture (Sep 6, Milan) Michael Sperber
• [TYPES/announce] 3-Year Postdoc in Structures and Homotopy in Optimisation Henning Basold
• [TYPES/announce] ICFP 2024: Call for Participation ICFP Publicity
• [TYPES/announce] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE) Ningning Xie
• [TYPES/announce] 2nd CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK. Anupam das
• [TYPES/announce] Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland Guido Salvaneschi
• [TYPES/announce] Call for Papers: Scheme ‘24 (extended deadline: July 25th) Kristopher K Micinski
• [TYPES/announce] CCC 2024: Continuity, Computability, Constructivity – From Logic to Algorithms (extended deadline) Olivier Bournez
• [TYPES/announce] SREPLS / CW -- Last Call for Registration Marco Paviotti
• [TYPES/announce] Final CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants Cyrus Omar
• [TYPES/announce] Oxford call for Royal Society Faraday Discovery Fellowships Sam Staton
• [TYPES/announce] RP 2024 - call for presentation-only abstracts, deadline August 2, 2024 Ana Sokolova
• [TYPES/announce] ICFP 2024: Call for Volunteers Gabriele Vanoni
• [TYPES/announce] TLLA 2024, July 8-9: free online participation Paolo Pistone
• [TYPES/announce] ECCL 24 - a celebration of Pino Rosolini's 70th birthday Jacopo Emmenegger
• [TYPES/announce] 3rd Call for Papers: Mathematical User Interaction (MathUI'24) Serge Autexier
• [TYPES/announce] PhD position on automated verification at ETH Zurich Michalis Kokologiannakis
• [TYPES/announce] ITRS'24 - Free online participation, 9th July 2024 Riccardo Treglia
• [TYPES/announce] FSCD 2024: Free online participation, 10 - 13 July 2024 Carsten Fuhs
• [TYPES/announce] SREPLS 15 / Concurrency Workshop -- Call for Participation Marco Paviotti
• [TYPES/announce] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden) Bahareh Afshari
• [TYPES/announce] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 Serge Autexier
• [TYPES/announce] Free online participation in MSFP, 8th July 2024 Jeremy Gibbons
• [TYPES/announce] Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• [TYPES/announce] QPL 2024 - Last Call for Participation - Late registration deadline: July 1st Alejandro Díaz-Caro
• [TYPES/announce] 2nd CALL FOR PAPERS EXPRESS/SOS@CONFEST2024 Cinzia Di Giusto
• [TYPES/announce] Postdoctoral position in Birmigham, UK Dan Ghica
• [TYPES/announce] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada Serge Autexier
• [TYPES/announce] [VORTEX 2024] extended submission deadline: July 8 Davide Ancona
• [TYPES/announce] PLAS'24 - Deadline extended Vineet Rajani
• [TYPES/announce] UNIF 2024 - Call for Participation Oliver Fernandez Gil
• [TYPES/announce] Positions in Eindhoven: Assistant Professor and PhD student Serebrenik, Alexander
• [TYPES/announce] SEFM'24 -- Last Call for papers Alexandre Madeira
• [TYPES/announce] CCC 2024: Call For Contributions Olivier Bournez
• [TYPES/announce] SREPLS15 + CW - Deadline for Talks Extended Marco Paviotti
• [TYPES/announce] FTfJP 2024 - Last CfP (extended deadline) Luca Di Stefano
• [TYPES/announce] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca Cosimo P. Brogi
• [TYPES/announce] PLMW@ICFP'24: Final call for Participation (travel funding application by June 21) Ningning Xie
• [TYPES/announce] CAV 2024 - Call for Participation (Early Registration Ends June 23) Norine Coenen
• [TYPES/announce] CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK. Anupam das
• [TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award Summers, Alexander
• [TYPES/announce] PLAS 2024 - Deadline Approaching, Call For Papers Vineet Rajani
• [TYPES/announce] Special Volume of MSCS In Honor Of Phil Scott Thomas Ehrhard
• [TYPES/announce] POPL 2025: Call for Workshops and Co-located Events Ningning Xie
• [TYPES/announce] FTfJP 2024 - Second CfP (deadline approaching) Luca Di Stefano
• [TYPES/announce] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City Raffi Khatchadourian
  • [TYPES/announce] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City Raffi Khatchadourian
• [TYPES/announce] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia) Yves Bertot
• [TYPES/announce] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024 Serge Autexier
• [TYPES/announce] SBMF 2024: Call for papers Haniel Barbosa
• [TYPES/announce] Postdoc/PhD on compiler optimisations/meta-programming for DSLs @ Inria Lyon, France Gabriel Radanne
• [TYPES/announce] DisCoTec 2024 Final Call for Participation Bas van den Heuvel
• [TYPES/announce] Working Formal Methods Symposium (FROM) 2024, Timisoara, Romania Madalina Erascu
• [TYPES/announce] BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts Paul Levy
  • [TYPES/announce] British Logic Colloquium 2024 -- Call for abstracts Paul Levy
• [TYPES/announce] joint PhD position between Grenoble and Genova Radu Iosif
• [TYPES/announce] Call for Papers: SPLASH 2024 Student Research Competition Umar Farooq
• [TYPES/announce] SEFM'24 -- Deadline extended! Alexandre Madeira
• [TYPES/announce] VORTEX 2024: 2nd Call for Papers Davide Ancona
• [TYPES/announce] CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants Cyrus Omar
• [TYPES/announce] CfP ICTCS24 - Extended deadline Riccardo Treglia
• [TYPES/announce] University Professorship (W3) Programming Languages and Program Analysis at KIT André Platzer
• [TYPES/announce] Call for Participation: Scottish PL & Verification Summer School Guillaume Allais
• [TYPES/announce] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• [TYPES/announce] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs Frédéric Blanqui
• [TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024 Rosemary Monahan
• [TYPES/announce] Call for Participation: 3rd Summer School on Security Testing and Verification (ST&V 2024) Dominique Devriese
• [TYPES/announce] Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing Nobuko Yoshida
• [TYPES/announce] Reachability Problems (RP'24) EXTENDED deadline: Abstracts 24 June, Full papers 26 June 2024 Ana Sokolova
• [TYPES/announce] deadline extended: LSFA 2024 Cynthia Kop
• [TYPES/announce] Postdoctoral Research Fellow at the University of Surrey Brijesh Dongol
• [TYPES/announce] IEEE CSF 2024 - Program is online Ralf Kuesters
• [TYPES/announce] FSTTCS 2024 - Call for papers Shibashis Guha
• [TYPES/announce] Call for TYPES 2026 location Paige Randall North
• [TYPES/announce] Deadline extension--Sixth miniKanren and Relational Programming Workshop Ekaterina Verbitskaia
• [TYPES/announce] PhD Positions Available at the University of Lille – Starting September 2024 David Nowak
• [TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP Catalin Hritcu
  • [TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP Catalin Hritcu
• [TYPES/announce] SREPLS 15 / Concurrency Workshop -- Second Call for Talks Marco Paviotti
• [TYPES/announce] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024 Antonios Achilleos
• [TYPES/announce] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE)) Sandra Alves
• [TYPES/announce] PhD position in program verification at Radboud University Nijmegen Robbert Krebbers
• [TYPES/announce] PhD/PostDoc position in Formal Methods at the University of Konstanz Emanuele D'Osualdo
• [TYPES/announce] Category Theory / Type Theory / Machine Learning research posts at Symbolica Dominic Verity
• [TYPES/announce] PLMW@ICFP'24: Call for Participation (travel funding application by June 21) Ningning Xie
• [TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships: deadline extended to June 2, 2024 Ralf Kuesters
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024 Carsten Fuhs
• [TYPES/announce] ACT and MFPS 2024 Call for Participation Sam Staton

• Earlier messages
• Later messages