types-announce  

Messages by Thread

• [TYPES/announce] PhD positions in Grenoble, France Radu Iosif
  • [TYPES/announce] PhD positions in Grenoble, France Radu Iosif
• [TYPES/announce] ICALP 2021: Call for Student Volunteers Simon Gay
• [TYPES/announce] ML Family Workshop 2021: final call for short abstracts and presentations Jonathan Protzenko
• [TYPES/announce] PhD or postdoc position on program verification in Coq/Iris at Radboud University Nijmegen Robbert Krebbers
• [TYPES/announce] PhD position in higher-order rewriting and program equivalence at Radboud University Nijmegen Cynthia Kop
• [TYPES/announce] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
• [TYPES/announce] SCSS 2021: deadline extension Temur Kutsia
• [TYPES/announce] Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21) Seyed H. HAERI (Hossein)
  • [TYPES/announce] Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21) Seyed H. HAERI (Hossein)
• [TYPES/announce] Call for Papers -- GPCE 2021 Gregory Kildow
• [TYPES/announce] Full-time teaching faculty position at Illinois Tech (Chicago) Stefan Muller
• [TYPES/announce] 12th International School on Rewriting (ISR 2021), online and free ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] Second Call for Participation DisCoTec 2021 Jasmine Xuereb
• [TYPES/announce] CID; CCC 2021; call for submissions Dieter Spreen
• [TYPES/announce] Isaac Newton Institute Workshop on Verified Software: Tools and Experiments (June 7-11, 2021); Register by May 20 Natarajan Shankar
• [TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE EXTENDED: May 25th) Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021) Dennis Müller
• [TYPES/announce] 2nd Call for papers - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021 Dominic Orchard
• [TYPES/announce] ICALP 2021 Call for Participation Simon Gay
• [TYPES/announce] SOAP 2021 - Call for Participation Caterina Urban
• [TYPES/announce] PhD position in Derivation Systems for Modal Fixpoint Logics Bahareh Afshari
• [TYPES/announce] LOPSTR 2021 Deadline extension Wim Vanhoof
• [TYPES/announce] Last CfP: SCSS 2021 Temur Kutsia
• [TYPES/announce] Seminar talk by Georg Moser on Automated Analysis of Splaying et al. (SCOT seminar) Baillot Patrick
• [TYPES/announce] 5 permanent positions (lecturer, senior lecturer, associate professor) at Swansea University, UK Roggenbach M.
• [TYPES/announce] LOPSTR 2021 - Call for Papers: Extended Deadline Niccolò Veltri
• [TYPES/announce] Seminar talk on Mathematical Structures in Dependent Type Theory Harley D. Eades III
• [TYPES/announce] Call for papers Logical Aspects of Computational Linguistics 2021 Richard Moot
• [TYPES/announce] SBLP 2021 - Second Call for Papers (deadline extension) Mario Pereira
• [TYPES/announce] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering Andrei Chis
• [TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE APPROACHING: May 18th) Ruy Jose Guerra Barretto de Queiroz
  • [TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE APPROACHING: May 18th) Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] [Deadline Extension] WPTE 2021: Call For Papers Keisuke Nakano
• [TYPES/announce] Postdoc position at the LIP laboratory, ENS de Lyon, France Damien Pous
• [TYPES/announce] CALCO 2021: Second call for papers Thorsten Wissmann
• [TYPES/announce] Postdoctoral Position in Verified Security Brijesh Dongol
• [TYPES/announce] FMBC 2021 - Final Call for Papers (Deadline extension) Bruno Bernardo
• [TYPES/announce] [Deadline Extension] FMCAD 2021 Call for Papers Michael Whalen
• [TYPES/announce] Overlay 2021: Call For Papers Dario Della Monica
• [TYPES/announce] PPDP 2021 deadline extension Silvia Ghilezan
• [TYPES/announce] Trends in linear logic and applications. Abstract: dealing may 13 Christian Retoré
• [TYPES/announce] SETTA 2021: 2nd CFP updated with a special issue for STTT [email protected]
• [TYPES/announce] ** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE Nick Hu
• [TYPES/announce] postdoc position (6 years) in CL group in Innsbruck Aart Middeldorp
• [TYPES/announce] New book: Functional Algorithms, Verified! Tobias Nipkow
• [TYPES/announce] 2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021 Benedikt Ahrens
• [TYPES/announce] Agda Implementors' Meeting XXXIV: Call for talks and participation Jesper Cockx
• [TYPES/announce] Call for Participation DisCoTec 2021 Jasmine Xuereb
• [TYPES/announce] Call for Presentations: CONFLANG Mark Santolucito
• [TYPES/announce] Dahl-Nygaard Prizes 2021: nominations due Elena Zucca
• [TYPES/announce] VEST 2021 Last Call for Talks (deadline in 3 weeks) Ornela Dardha
• [TYPES/announce] Deadline extension: ICTAC 2021 Peter Csaba Ølveczky
• [TYPES/announce] A seminar talk on Excel Meeting LAMBDA Harley D. Eades III
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call For PhD Abstracts Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
• [TYPES/announce] TLLA 2021 -- extended deadline! Elaine Pimentel
• [TYPES/announce] [CFP] The Coq Workshop 2021: Deadline Extension Jean-Marie Madiot
• [TYPES/announce] VORTEX 2021: Extended Deadline May 7 Davide Ancona
• [TYPES/announce] POPL 2022 Call for Papers [REVISED, apologies for multiple emails] Loris D'Antoni
• [TYPES/announce] NSV 2021 Workshop: Extended Deadline May 7 Dimitrova, Rayna
• [TYPES/announce] SMT 2021 Workshop: Deadline Extension to May 7 Nadel, Alexander
• [TYPES/announce] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Hakjoo Oh
• [TYPES/announce] PPDP 2021 Second Call for Papers Silvia Ghilezan
• [TYPES/announce] [fm-announcements] Call for (Virtual) Participation - NFM 2021 Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] FMBC 2021 - 3rd Call for Papers (Deadline extensions) Bruno Bernardo
• [TYPES/announce] LSFA 2021 - extended deadline - Affiliated to FSCD 2021 Mauricio Ayala-Rincon
• [TYPES/announce] PhD Student Opportunity in the Granule Project Harley D. Eades III
• [TYPES/announce] A seminar talk on Logical Relations As Types Harley D. Eades III
• [TYPES/announce] POPL22 (Philadelphia, USA) - Call for Submissions Loris D'Antoni
• [TYPES/announce] Call for Contributions: Structure meets Power Workshop 2021 Daniel Marsden
• [TYPES/announce] WPTE 2021 (FINAL Call For Papers) Keisuke Nakano
• [TYPES/announce] TLLA 2021 - 2nd cfp Elaine Pimentel
• [TYPES/announce] WST 2021: deadline extension (9 May, 2021) Samir Genaim
• [TYPES/announce] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - DEADLINE EXTENSION: May 5 Giselle Reis
• [TYPES/announce] Seminar Talk on Higher-Order Crypto Harley D. Eades III
• [TYPES/announce] CFP: PRDC 2021 -The 26th Pacific Rim International Symposium on Dependable Computing Simon Yusuf-Enoch
• [TYPES/announce] Job advert: RUST researcher Dan Ghica
• [TYPES/announce] ITRS 21 - Final CfP Riccardo Treglia
• [TYPES/announce] VEST'21 Workshop: Second Call for Talks (Deadline Approaching) Ornela Dardha
• [TYPES/announce] Highlights of Logic, Games, and Automata 2021: 1st Call for Presentations Sławomir Lasota
  • [TYPES/announce] Highlights of Logic, Games, and Automata 2021: 3rd Call for Presentations Sławomir Lasota
• [TYPES/announce] SAS 2021 CFP Extended Deadline Namjoshi, Kedar (Nokia - US/Murray Hill)
• [TYPES/announce] 27th WoLLIC 2021 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Women in Logic 2021 - Call for Participation Sandra Alves
• [TYPES/announce] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts Serge Autexier
• [TYPES/announce] TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK. anupamdotdas
• [TYPES/announce] LFMTP 2021 (extended deadline) Elaine Pimentel
• [TYPES/announce] TYPES 2021: types for proofs & programs, Virtual, 14-19 Jun 2021 Henning Basold
• [TYPES/announce] PhD opening in HoTT at Stockholm — note close deadline Peter LeFanu Lumsdaine
• [TYPES/announce] SECOND CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE Nick Hu
• [TYPES/announce] Faculty position in Theoretical CS @ QMUL, London Paulo Oliva
• [TYPES/announce] Final CfP: 14th Interaction and Concurrency Experience (ICE 2021) Alceste Scalas
• [TYPES/announce] Two tenure-track positions - University of Groningen, The Netherlands. Jorge A. Perez
• [TYPES/announce] Call For Contributions (Second Call) - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity Juan Fumero
• [TYPES/announce] Last LSFA 2021 CPFs - Affiliated to FSCD 2021 Mauricio Ayala-Rincon
• [TYPES/announce] SMT 2021 Workshop: Final Call for Papers Nadel, Alexander
• [TYPES/announce] PLMW@PLDI 2021: Call for Applications Stephen Chong
• [TYPES/announce] One PhD position in design and implementation of managed programming languages Tobias Wrigstad
• [TYPES/announce] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice", 10th May 2021 to 14th May 2021 (Register by April 17) Natarajan Shankar
• [TYPES/announce] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - Second CFP Giselle Reis
• [TYPES/announce] Two PhD positions in Formal Methods for Underwater Robots available (RWTH Aachen, Uni Oslo) Einar Broch Johnsen
• [TYPES/announce] IWACO 2021 - Call for Papers Elias Castegren
• [TYPES/announce] FMBC 2021 - 2nd Call for Papers Bruno Bernardo
• [TYPES/announce] LFMTP 2021 - 3rd cfp Elaine Pimentel
• [TYPES/announce] Two Postdoc Positions within the DIAPASoN Project Ugo Dal Lago
• [TYPES/announce] ML Family Workshop 2021: first call for short abstracts and presentations Jonathan Protzenko
• [TYPES/announce] LAP 2021 - Logic and Applications: CFP Simona Kasterovic
• [TYPES/announce] Pos doc position at University of Minho José Carlos Espírito Santo
• [TYPES/announce] HOPE'21@ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Ohad Kammar
  • [TYPES/announce] [EXTENDED deadline] HOPE'21@ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Ohad Kammar
• [TYPES/announce] ITRS 21 CfP (Extended Deadline) Riccardo Treglia
• [TYPES/announce] ESSLLI 2022 Call for Course and Workshop Proposals Moss, Larry
• [TYPES/announce] TLLA 2021 - 1st cfp Elaine Pimentel
• [TYPES/announce] Reminder: 2-year position in HoTT at Stockholm, deadline this Friday Peter LeFanu Lumsdaine
• [TYPES/announce] COP'21 Yu David Liu
• [TYPES/announce] MFPS 2021 -- Call for Papers Ana Sokolova
• [TYPES/announce] PPDP 2021 Call for Papers Silvia Ghilezan
• [TYPES/announce] CFP SETTA 2021 -Symposiumon Dependable Software Engineering: Theories, Tools and Applications [email protected]
• [TYPES/announce] FORMATS 2021: 2nd CFP Mahsa
• [TYPES/announce] Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK. anupamdotdas
• [TYPES/announce] VORTEX 2021: Call for Papers Davide Ancona
• [TYPES/announce] Deadline extension: PLanQC 2021 Matt Amy
• [TYPES/announce] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021 Natarajan Shankar
• [TYPES/announce] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021) Serge Autexier
• [TYPES/announce] 2nd CfP: SCSS 2021 Temur Kutsia
• [TYPES/announce] Call for Nominations: EiC of ACM TOCL journal Sam Staton
• [TYPES/announce] 2nd CfP: 14th Interaction and Concurrency Experience (ICE 2021) Alceste Scalas
• [TYPES/announce] Morello: Edinburgh research posts on capability-based security technologies Ian Stark
• [TYPES/announce] CALCO 2021: First Call for Papers Michele Loreti
• [TYPES/announce] Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages Harley D. Eades III
• [TYPES/announce] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science Claudio Sacerdoti Coen
• [TYPES/announce] SemSpace 2021 Final CfP and Deadline extension Martha Lewis
• [TYPES/announce] VEST'21 Workshop: First Call for Talks Ornela Dardha
• [TYPES/announce] Seminar talk on Extending Homotopy Type Theory with Linear Type Formers Harley D. Eades III
• [TYPES/announce] Reader (Associate Professor) Position in Programming Languages at the University of Kent Dominic Orchard
• [TYPES/announce] ITRS 21 CfP Riccardo Treglia
• [TYPES/announce] TABLEAUX 2021 - 2nd Call for Papers. 6-9 September, 2021. Birmingham, UK. anupamdotdas
• [TYPES/announce] CfP: International Symposium on Database Programming Languages (DBPL 2021) @ VLDB 2021 James Cheney
• [TYPES/announce] IFL2021 First call for papers Pieter Koopman
• [TYPES/announce] Faculty position at UCL, London Pym, David
• [TYPES/announce] Research position at UCL, London Pym, David
• [TYPES/announce] Call for participation: 1st Rust Verification Workshop Mueller Peter
• [TYPES/announce] PhD Position in Programming Languages at TU Delft Casper Bach Poulsen
• [TYPES/announce] FMBC 2021 - Call for Papers Bruno Bernardo
• [TYPES/announce] OPLSS 2021 - Oregon Programming Languages Summer School Paul Downen
• [TYPES/announce] SBLP 2021 - First Call for Papers Mario Pereira
• [TYPES/announce] Call for Papers: HotSpot 2021 Toby Murray
• [TYPES/announce] TYPES 2021: Call for Contributions Henning Basold
• [TYPES/announce] 2-year researcher position in HoTT, Stockholm University; deadline 9 April Peter LeFanu Lumsdaine
• [TYPES/announce] WST 2021 - Call for Papers Samir Genaim
• [TYPES/announce] Call for Papers - FMCAD 2021 Ruzica Piskac
• [TYPES/announce] CFP: MAPS 21: 5th Annual Symposium on Machine Programming Aws Albarghouthi
• [TYPES/announce] PhD Position at U. Oslo: Formal Methods for Probabilistic Programs Einar Broch Johnsen
• [TYPES/announce] CFP: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification Davide Bresolin
  • [TYPES/announce] CFP: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification Davide Bresolin
• [TYPES/announce] International Workshop on Confluence (IWC 2021): second call for papers Samuel Mimram
• [TYPES/announce] Two assistant professor faculty positions (tenure track) at UMass Lowell Jay McCarthy
• [TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021 Serge Autexier
• [TYPES/announce] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation Andrei Popescu
• [TYPES/announce] LFMTP 2021 - 2nd call for papers Elaine Pimentel
• [TYPES/announce] CfP: ICTAC'21 (18th International Colloquium on Theoretical Aspects of Computing) Peter Csaba Ølveczky
• [TYPES/announce] Research Programmer in HoTT and Cubical Type Theory Favonia
• [TYPES/announce] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021 Andrei Popescu
• [TYPES/announce] EXPRESS/SOS 2021: First Call for Papers Ornela Dardha
• [TYPES/announce] RV 2021 call for papers - RV 2021 the 21st international conference on runtime verification Dana Fisman
• [TYPES/announce] PhD position in Programming Language Tooling - Lund University, Sweden Görel Hedin
• [TYPES/announce] Ralf Jung wins the ETAPS Doctoral Dissertation Award 2021 Caterina Urban
• [TYPES/announce] PxTP 2021: call for papers Giselle Reis
• [TYPES/announce] Second CFPs LSFA 2021 affiliated to FSCD 2021 Mauricio Ayala-Rincon
• [TYPES/announce] PhD or postdoc position on program verification and Iris at Radboud University Nijmegen Robbert Krebbers
• [TYPES/announce] Call For Contributions - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity Juan Fumero
• [TYPES/announce] Call for papers - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021 Dominic Orchard
• [TYPES/announce] ATVA 2021 - Second Call for Papers Giles Reger
• [TYPES/announce] Post-doctoral research position on `Gillian; Concurrency', Imperial Gardner, Philippa A
• [TYPES/announce] Final CFP: Quantum Physics and Logic (QPL 2021), submission deadline March 12 Miriam Backens
• [TYPES/announce] PhD position in the analysis of concurrent or distributed programs, Imperial Gardner, Philippa A
• [TYPES/announce] PLDI 2021 Co-located events Guha, Arjun
• [TYPES/announce] 2021 Alonzo Church Award Javier Esparza
• [TYPES/announce] 3 Post-doc positions on semantics of PLs Davide Sangiorgi
  • [TYPES/announce] 3 Post-doc positions on semantics of PLs Claudio Sacerdoti Coen
• [TYPES/announce] Second Call for Nominations: Beth Outstanding Dissertation Prize 2021 Sadrzadeh, Mehrnoosh
  • [TYPES/announce] Final Call for Nominations: Beth Outstanding Dissertation Prize 2021 Sadrzadeh, Mehrnoosh
  • [TYPES/announce] lecturer in Computational Linguistics in UCL Sadrzadeh, Mehrnoosh
  • [TYPES/announce] [deadline extended] lecturer in Computational Linguistics in UCL Sadrzadeh, Mehrnoosh
  • [TYPES/announce] Research Fellow in Quantum Tech and NLP in UCL Sadrzadeh, Mehrnoosh
• [TYPES/announce] Seminar talk on Coupled Relational Symbolic Execution Harley D. Eades III
• [TYPES/announce] 27th WoLLIC 2021 - Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] PLDI 2021 Student Research Competition (SRC) Guha, Arjun
• [TYPES/announce] Call for Submissions: International Conference on Probabilistic Programming (PROBPROG 2021) Jean-Baptiste Tristan
• [TYPES/announce] Post-doc position in Programming Language Foundations at University of Glasgow Simon Gay
• [TYPES/announce] SMT 2021 Workshop: Second Call for Papers Nadel, Alexander
• [TYPES/announce] PLanQC 2021 -- Call for Submissions Matt Amy
• [TYPES/announce] Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent Dominic Orchard
  • [TYPES/announce] Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent Mark Batty

• Later messages