types-announce  

Messages by Thread

• [TYPES/announce] NWPT 2021 call for contributions - deadline 10 October Tarmo Uustalu
• [TYPES/announce] Post-Doc position at INRIA on semantics and verification of probabilistic programs Martin Avanzini
• [TYPES/announce] AIPLANS Workshop at NeurIPS 2021 (Advances in Programming Languages and Neurosymbolic Systems) Breandan Considine
• [TYPES/announce] [TFP'22] first call for papers: Trends in Functional Programming 2022, 10-11 February (with Lambda Days 2022 & TFPIE 2022) Peter Achten
• [TYPES/announce] ETAPS 2022 2nd joint call for papers Tarmo Uustalu
• [TYPES/announce] Two Lecturer (Assistant Professor) Positions at the University of Kent Dominic Orchard
• [TYPES/announce] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week Anders Mortberg
• [TYPES/announce] Second Call for Papers: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
• [TYPES/announce] PEPM 2022 - Second Call for Papers Youyou Cong
• [TYPES/announce] [fm-announcements] NFM 2022 - First Call for Papers Havelund, Klaus (US 348B) via fm-announcements
• [TYPES/announce] Call for Tutorials and Workshops: PLDI 2022 William J. Bowman
• [TYPES/announce] CfP Software Verification and Testing Track at SAC 2022 Erika Abraham
  • [TYPES/announce] CfP Software Verification and Testing Track at SAC 2022 Erika Abraham
• [TYPES/announce] tenure-track assistant professor positions at Boston University Computer Science Department Gaboardi, Marco
• [TYPES/announce] Call for (Self-)Nominations for the ASPLOS 2022 Artifact Evaluation Committee Eva Darulova
• [TYPES/announce] 27th WoLLIC 2021 - Call for Participation (Online) Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] FSCD 2022: Final Call for Workshops (deadline: September 27, 2021) Carsten Fuhs
• [TYPES/announce] CFP: IEEE CSF 2022 - Fall Cycle (Submission Deadline: Oct 1st) Ralf Kuesters
• [TYPES/announce] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022 Gabriel Scherer
• [TYPES/announce] Conference Logic and Higher Structures Dimitri Ara
• [TYPES/announce] [ICALP 2022] Call for workshops Mahsa
• [TYPES/announce] PhD position at the University of Copenhagen Dmitriy Traytel
  • [TYPES/announce] PhD position at the University of Copenhagen Dmitriy Traytel
• [TYPES/announce] please publicise Nachum Dershowitz
• [TYPES/announce] Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko
• [TYPES/announce] PhD and Postdoc positions: cyclic proof theory and coinductive reasoning Liron Cohen
• [TYPES/announce] FMCAD 2021 Call for Participation Michael Whalen
  • [TYPES/announce] FMCAD 2021 2nd Call for Participation Michael Whalen
• [TYPES/announce] CfP: 14th International Workshop on Rewriting Logic and its Applications Kyungmin Bae
• [TYPES/announce] Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London -- Application deadline extended to 17 Oct 2021 Matteo Sammartino
• [TYPES/announce] ACM HSCC 2022 -- 2nd Call for Papers Nicola Paoletti
• [TYPES/announce] 2nd CfP - ThEdu'21 post-proceedings at EPTCS Walther Neuper
• [TYPES/announce] Seeking new SIGPLAN video chairs "Benjamin Chung"
• [TYPES/announce] Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity Juan Fumero
• [TYPES/announce] Call for short submissions - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format) Shilov Nikolay
• [TYPES/announce] Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria Ezio Bartocci
• [TYPES/announce] ECOOP 2022: Call for Papers Carolin Brandt
• [TYPES/announce] PLDI 2022 First Call for Papers William J. Bowman
• [TYPES/announce] Seminar talk on Adjoint Reactive GUI Programming Harley D. Eades III
• [TYPES/announce] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021 Andrei Popescu
• [TYPES/announce] School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022 Marco Maggesi
• [TYPES/announce] Call for Contributions: WITS 2022 Jesper Cockx
• [TYPES/announce] Postdoctoral position in homotopy type theory and related topics at Stockholm University Anders Mortberg
• [TYPES/announce] Call for (virtual and free) participation, ICTAC'21, Sept 8-10 Peter Csaba Ølveczky
• [TYPES/announce] EuroProofNet - Call for Working Group membership Application Frédéric Blanqui
• [TYPES/announce] Call for Participation: In-person School on Verification Technology, Systems and Applications (VTSA 2021) Pascal Fontaine
• [TYPES/announce] ITRS Call for Post-Proceedings Riccardo Treglia
  • [TYPES/announce] ITRS Call for Post-Proceedings Riccardo Treglia
• [TYPES/announce] Update: Seminar talk on Session Logical Relations for Noninterference Harley D. Eades III
• [TYPES/announce] Call for Submissions: Programming Languages and the Law (ProLaLa) Jonathan Protzenko
• [TYPES/announce] PhD and Postdoc positions in Security and Program Analysis at UniBw Munich Kinder, Johannes
• [TYPES/announce] Call for extended abstracts: Languages for Inference 2022 (LAFI'22) Jean-Baptiste Tristan
• [TYPES/announce] Postdoc position: Formal Methods (Munich, Germany) Gunther Reißig
• [TYPES/announce] Academic positions in cybersecurity, University of Glasgow, UK Simon Gay
• [TYPES/announce] IFL'21 final call for participation Pieter Koopman
• [TYPES/announce] Deadline Extension: VMCAI 2022 Thomas Wies
• [TYPES/announce] [Types-announce] CFP: Special Issue "Selected Papers from the Flavors of Uncertainty in Verification, Planning, and Optimization Workshop (co-located with International Colloquium on Automata, Languages and Programming 2021)" Connor Yang
• [TYPES/announce] New Software Foundations release Benjamin Pierce
• [TYPES/announce] IFL'21 call for participation Pieter Koopman
• [TYPES/announce] Research position at fortiss, Munich Chuangjie Xu
• [TYPES/announce] [OSys PL Labs] 3 UI/UX Research Engineer Positions for Progr. Languages and Tools (Remote) Nick Papoylias
• [TYPES/announce] Seminar talk on Session Logical Relations for Noninterference Harley D. Eades III
  • Re: [TYPES/announce] Seminar talk on Session Logical Relations for Noninterference Harley D. Eades III
• [TYPES/announce] Research Assistant/Associate at Department of Computing, Imperial College London Yoshida, Nobuko
• [TYPES/announce] Call for Participation: Haskell Implementors' Workshop 2021 Ningning Xie
• [TYPES/announce] Call for participation GandALF 2021 Davide Bresolin
• [TYPES/announce] FMTea (Formal Methods Teaching) Tutorial series starting soon! Luigia Petre
• [TYPES/announce] PhD position in Formal Methods for Security and Concurrency at NTNU (Norwegian University of Science and Technology) Christian Johansen
• [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Final Call for Papers Steve Zdancewic
• [TYPES/announce] Academic job in Programming Language Foundations, University of Glasgow Simon Gay
  • [TYPES/announce] Academic job in Programming Language Foundations, University of Glasgow Simon Gay
• [TYPES/announce] Assistant/Associate Professorships in Nottingham Graham Hutton
• [TYPES/announce] [meta] URL rewriting notice Gabriel Scherer
• [TYPES/announce] Funded postdoc position in Formal Verified Compilation of Probabilistic Programming Languages at Boston College Jean-Baptiste Tristan
• [TYPES/announce] Call for participation: ML Family Workshop 2021 Jonathan Protzenko
• [TYPES/announce] PEPM 2022 - First Call for Papers Youyou Cong
• [TYPES/announce] Call for Lightning Talks: Haskell Implementors' Workshop @ ICFP'21 Ningning Xie
• [TYPES/announce] A book on program proof in Coq [revisited] Adam Chlipala
• [TYPES/announce] Call for Papers: VMCAI 2022 Thomas Wies
• [TYPES/announce] Call for Workshops - FLoC 2022 Victor Perez
• [TYPES/announce] IFL'21 Final call for papers Pieter Koopman
• [TYPES/announce] 3 open positions (2 postdoc, 1 PhD) on runtime verification at CEA LIST, France Julien Signoles
• [TYPES/announce] Call for Participation: ICFP 2021 Sam Tobin-Hochstadt
• [TYPES/announce] Call for Participation: PPDP & LOPSTR 2021 Niccolò Veltri
• [TYPES/announce] CID; CCC 2021; 2nd call for submissions Dieter Spreen
• [TYPES/announce] Workshop on Type-Driven Development (TyDe 21 @ ICFP) Call for Participation Dominic Orchard
• [TYPES/announce] CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
• [TYPES/announce] Postdoctoral Opening at the University of Minnesota Gopalan Nadathur
• [TYPES/announce] Professor position in "Static security guarantees for programming languages" Coen DE ROOVER
• [TYPES/announce] PhD position on coalgebra and semantics at Radboud University Jurriaan Rot
• [TYPES/announce] PhD position in automated reasoning (Grenoble, France) Radu Iosif
• [TYPES/announce] Call for papers - ThEdu'21 post-proceedings at EPTCS Walther Neuper
• [TYPES/announce] Postdoc position: Formal Verification/Synthesis (Munich, Germany, deadline: August 28, 2021) Gunther Reißig
• [TYPES/announce] Postdoctoral Researcher at Cornell University Nate Foster
• [TYPES/announce] ITRS 2021 Call for Post-Proceedings Riccardo Treglia
• [TYPES/announce] CICM 2021, July 26-31, Call for online participation Serge Autexier
• [TYPES/announce] CoqPL 2022: Call for Presentations Amin Timany
  • [TYPES/announce] CoqPL 2022: Call for Presentations Amin Timany
• [TYPES/announce] Call for Applications: PLMW @ ICFP 2021 Lindsey Kuper
• [TYPES/announce] SETTA 2021 Beijing: final Call for Papers --extended deadline 宋富1983
• [TYPES/announce] Professor Position in Secure and Dependable Software Systems and Services at KU Leuven Bart Jacobs
• [TYPES/announce] Funded postdoc and PhD positions in theorem proving and intuitionistic mathematics Liron Cohen
• [TYPES/announce] CFP: PRDC 2021 - Extended deadline 1 August 2021 Simon Yusuf-Enoch
• [TYPES/announce] Postdoc position: Formal methods in control (Munich, Germany), ref 9y22x Gunther Reissig
• [TYPES/announce] Proof and Computation 2021 Chuangjie Xu
  • [TYPES/announce] Proof and Computation 2021 Chuangjie Xu
• [TYPES/announce] three-year postdoc position on verifying concurrent programs Gardner, Philippa A
• [TYPES/announce] Postdoctoral position at Stanford Center for AI Safety Clark Barrett
• [TYPES/announce] 6-Month postdoc in lambda-calculi and effects, University of Bath Willem Heijltjes
• [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] CADE 2021 call for participation Sophie Tourret
  • [TYPES/announce] IJCAR 2022 - Call for Workshops, Tutorials and Competitions Sophie Tourret
• [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] CSL 2022 - call for papers Manea, Florin
• [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

• Earlier messages
• Later messages