types-announce  

Messages by Thread

• [TYPES/announce] Postdoc Position in Formal Verification Ralf Kuesters
  • [TYPES/announce] Postdoc Position in Formal Verification Ralf Kuesters
• [TYPES/announce] Two postdoc positions on next-generation fuzzing techniques Alastair Donaldson
• [TYPES/announce] ETAPS 2022 1st joint call for papers Tarmo Uustalu
• [TYPES/announce] IFL'21 Third call for papers Pieter Koopman
• [TYPES/announce] FMCAD Student Forum CFP (EXTENDED Deadline: July 17) Mark Santolucito
• [TYPES/announce] FMCAD Student Forum CFP (Deadline Sat July 10) Mark Santolucito
• [TYPES/announce] Vacancy for a PhD in Computer Science and Functional Programming Edison Mera
• [TYPES/announce] Postdoctoral Position at the University of Cambridge Jeremy Yallop
• [TYPES/announce] CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE Nick Hu
• [TYPES/announce] FMBC 2021 - Call for Participation Bruno Bernardo
• [TYPES/announce] FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11) Carsten Fuhs
• [TYPES/announce] Postdoctoral position at Imperial College London Cristian Cadar
• [TYPES/announce] CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems Eric Eide
• [TYPES/announce] Call for participation: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21) and the 35th European Conference on Object-Oriented Programming (ECOOP'21) Lisa Nguyen Quang Do
• [TYPES/announce] Postdoc position in software security at Penn State CSE Gang (Gary) Tan
• [TYPES/announce] Call for Book Chapters: Guide to Software Verification with Frama-C Julien Signoles
• [TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st July Ornela Dardha
• [TYPES/announce] Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference Sam Staton
• [TYPES/announce] assistant/associate professor in formal methods and programming, at University of Twente, Netherlands [email protected]
• [TYPES/announce] Associate professor position in formal methods at the University of Oslo Peter Csaba Ølveczky
• [TYPES/announce] Formal Methods 2021: Workshops and Tutorials Jun PANG
  • [TYPES/announce] Doctoral Symposium at FM 2021: Call for Research Abstracts Jun PANG
• [TYPES/announce] SMT Workshop 2021: Call for Participation Nadel, Alexander
• [TYPES/announce] FSCD 2022 call for workshops Nachum Dershowitz
• [TYPES/announce] CSL 2022: Last call for papers Manea, Florin
• [TYPES/announce] [PhD grant] "Speculating about low-level security": A fully-funded PhD positions in software security, program analysis & formal methods @ Université Paris-Saclay, CEA List, France BARDIN Sébastien
• [TYPES/announce] Gauging interest for a machine learning & type theory workshop Talia Ringer
• [TYPES/announce] Logical Aspects of Computational Linguistics 2021 - Deadline Extension/Final call for papers Richard Moot
• [TYPES/announce] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE Luigia Petre
• [TYPES/announce] Workshop on Verification of Probabilistic Programs (VeriProP 2021) - Call for Presentations and Participation Benjamin Kaminski
• [TYPES/announce] Lectureships available at Royal Holloway, University of London -- Computer Science and Information Security (multiple posts) Nicola Paoletti
• [TYPES/announce] DEADLINE EXTENSION: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification Davide Bresolin
• [TYPES/announce] VEST'21: Call for Participation Ornela Dardha
• [TYPES/announce] Final Call for Talks: Haskell Implementors' Workshop @ ICFP'21 Ningning Xie
• [TYPES/announce] PhD position: Proof Theory and Algebra of Fixed Points. Birmingham, UK and Melbourne, Australia. Deadline: **16 July** anupamdotdas
• [TYPES/announce] [Call for Participation] July 2nd: The Coq Workshop 2021 Christian Doczkal
• [TYPES/announce] Postdoc Position at Simon Fraser University in Vancouver, Canada Gaboardi, Marco
• [TYPES/announce] Postdoc Position, Programming Group - SCS, University of St.Gallen Guido Salvaneschi
• [TYPES/announce] WiL'21 Final Call for Participation Sandra Alves
• [TYPES/announce] Soliciting nominations for the POPL 2022 Artifact Evaluation Committee Mukund Raghothaman
• [TYPES/announce] Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes Benoit Montagu
• [TYPES/announce] Call for Papers: AGERE 2021 Elias Castegren
• [TYPES/announce] SETTA 2021 Beijing: 3rd Call for Papers [email protected]
• [TYPES/announce] ICFP 2021 Student Research Competition: Call for Submissions Sam Tobin-Hochstadt
• [TYPES/announce] Postdoc at GSSI (deadline July 8, 2021) Emilio Tuosto
• [TYPES/announce] PhD position on Embedded Systems Verification at University of Twente, Netherlands [email protected]
• [TYPES/announce] CAV 2021 Student Fellowships Thomas Wies
• [TYPES/announce] IFL2021 second call for papers Pieter Koopman
• [TYPES/announce] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany Ralf Kuesters
• [TYPES/announce] ICALP 2021 2nd Call for Participation Simon Gay
• [TYPES/announce] FSCD 2021: Call for (Online) Participation Carsten Fuhs
• [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Call for Papers Steve Zdancewic
• [TYPES/announce] Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021) Andrei Popescu
• [TYPES/announce] Logical Aspects of Computational Linguistics 2021: Second Call for Papers Richard Moot
• [TYPES/announce] LICS 2021 Call for Participation Sam Staton
• [TYPES/announce] Publication of the TYPES'20 post-proceedi9ngs Ugo de Liguoro
• [TYPES/announce] Call for Position Papers: 8th Workshop on Advances in Programming Languages (WAPL'21) Seyed H. HAERI (Hossein)
• [TYPES/announce] VEST 2021: Call for Short Talks Ornela Dardha
• [TYPES/announce] PhD GTA Positions at University of Leicester, UK Crole, Roy L. (Dr.)
• [TYPES/announce] Call for papers: 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2021) Serebrenik, Alexander
• [TYPES/announce] TYPES 2021: Call for Participation Henning Basold
• [TYPES/announce] Two PhD positions and Two Postdoc positions in Logic (Groningen) *15 June 2021 deadline* Jorge A. Perez
• [TYPES/announce] ACKERMANN AWARD 2021: 2nd and final Call for Nominations EACSL Mail-Account
• [TYPES/announce] Logic and Interactions 2022 (Marseille, France) -- Early announcement Gabriel Scherer
• [TYPES/announce] PhD position in HoTT/UF at TU Delft Benedikt Ahrens
• [TYPES/announce] Research position in Formal Verification at HENSOLDT Cyber in Munich Benedikt Ahrens
• [TYPES/announce] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021 Sam Tobin-Hochstadt
• [TYPES/announce] MFPS 2021: Deadline Extension and Invited Speakers Ana Sokolova
• [TYPES/announce] [Call for Participation] 12th International School on Rewriting ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] PhD funding on "Reasoning about Concurrent Game Structures with Numerical Resources" lutz
• [TYPES/announce] OPLSS 2021 - See You At The Oregon Programming Languages Summer School Paul Downen
• [TYPES/announce] Verification Mentorship Workshop 2021: Call for Participation Arjun Radhakrishna
• [TYPES/announce] Call for papers: HATRA (Human Aspects of Types and Reasoning Assistants) Michael Coblenz
• [TYPES/announce] Postdoc position at Cambridge in programming with equations Jeremy Yallop
• [TYPES/announce] Expression of Interest for MSCA PF on Reversible Computing @ UNIBO, Italy ivan.lanese
  • [TYPES/announce] MSCA Postodoc on Reversible Computing @ University of Bologna, Italy ivan.lanese
• [TYPES/announce] [PhD grants] Two fully-funded PhD positions in software security, program analysis & formal methods @ Université Paris-Saclay, CEA List, France BARDIN Sébastien
• [TYPES/announce] [Postdoc grants] Three fully-funded postdoc positions in software security, program analysis & formal methods @ Université Paris-Saclay, CEA List, France BARDIN Sébastien
• [TYPES/announce] Two positions (one PhD and one Postdoc) in quantum formal verification @ Université Paris-Saclay, CEA List, France BARDIN Sébastien
• [TYPES/announce] Postdoc position at CMU: Verified DSLs for high assurance systems Eunsuk Kang
• [TYPES/announce] CALCO 2021: Deadline extension and invited speakers Thorsten Wissmann
• [TYPES/announce] ML Family Workshop 2021: deadline extension Jonathan Protzenko
• [TYPES/announce] PhD position on the formalization of logical calculi in Saarbrücken Andrei Popescu
• [TYPES/announce] PhD student and post-doc positions in Program Verification at ETH Zurich Mueller Peter
• [TYPES/announce] PhD position on program verification in Coq David Nowak
• [TYPES/announce] IEEE SecDev 2021 CFP Frank Piessens
• [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

• Earlier messages
• Later messages