types-announce  

Messages by Thread

• [TYPES/announce] POPL 2022 Virtual Workshop this week Adam Chlipala
• [TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop Tobias Kappé
• [TYPES/announce] CMCS 2022: Final Call for Papers Thorsten Wissmann
• [TYPES/announce] First call for papers SOAP 2022 Titolo, Laura
• [TYPES/announce] 2022 Alonzo Church Award: Call for Nominations Andrzej Murawski
• [TYPES/announce] PLACES 2022 - Call for Papers Rumyana Neykova
• [TYPES/announce] Release of Lambdapi 2.1.0 Frédéric Blanqui
• [TYPES/announce] DisCoTec 2022: second call for Workshops Giorgio Audrito
• [TYPES/announce] FSCD 2022: Second Call for Papers Carsten Fuhs
• [TYPES/announce] Multiple Research Fellow positions at the Australian National University Alwen Tiu
• [TYPES/announce] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan Taro Sekiyama
• [TYPES/announce] Multiple permanent lecturer (assistant prof) posts at Royal Holloway Lange, Julien
• [TYPES/announce] Cfp: Continuity, Computability, Constructivity: From Logic to Algorithms Postproceedings Monika Seisenberger
• [TYPES/announce] Final CFP: WRLA 2022 -- 14th Int'l Workshop on Rewriting Logic and its Applications Kyungmin Bae
• [TYPES/announce] (Deadline extended to Feb 7th, 2022) LangSec 2022, affiliated with IEEE S&P Gang (Gary) Tan
• [TYPES/announce] 3 Assistant professors positions at Chalmers on ICT and Basic Science Ana Bove
• [TYPES/announce] WST 2022 - Call for Papers Cynthia Kop
• [TYPES/announce] SC-square Workshop 2022: First Call for Papers Haniel Barbosa
• [TYPES/announce] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE) Peter Achten
• [TYPES/announce] CMCS 2022: Second Call for Papers Thorsten Wissmann
• [TYPES/announce] CiE 2022: Third CfP (extended deadline) Ulrich Berger
• [TYPES/announce] CSL 2022 - Call for participation Manea, Florin
• [TYPES/announce] 28th WoLLIC 2022 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] CoqPL 2022: Call for Participation Amin Timany
• [TYPES/announce] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen Freek Wiedijk
• [TYPES/announce] WADT'22 1st cfp Alexandre Madeira
• [TYPES/announce] RC2022 2nd call for papers Claudio Mezzina
• [TYPES/announce] MSc and PhD positions at Queen's University Jana Dunfield
• [TYPES/announce] Call for STSMs, deadline 16 January 2022 Ambrus Kaposi
• [TYPES/announce] ETAPS Doctoral Dissertation Award --- Last Call for Nominations, Jan 7th Caterina Urban
• [TYPES/announce] PEPM 2022 - Call for Participation Youyou Cong
• [TYPES/announce] CFP: FORTE 2022 (Abstract Deadline: January 28, Submission Deadline: February 4) Giorgio Audrito
• [TYPES/announce] PhD studentship, Luxembourg, Security and Formal Methods Ross James HORNE
• [TYPES/announce] Two PhD positions at the university of Lisbon Vasco Thudichum Vasconcelos
• [TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual) Elaine Pimentel
  • [TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual) Elaine Pimentel
• [TYPES/announce] CFP: ThEdu'2022 Joao Marcos
• [TYPES/announce] VMCAI 2022 - Call for Participation Thomas Wies
• [TYPES/announce] COORDINATION 2022 Call For Papers Giorgio Audrito
• [TYPES/announce] 2nd CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation, ETAPS 2022 Lisitsa, Alexei
• [TYPES/announce] Fully funded PhD position on the intersection of PL and SE at University of Tübingen, Germany Jonathan Brachthäuser
• [TYPES/announce] Deadline extension: WRLA 2022 -- 14th Int'l Workshop on Rewriting Logic and its Applications Kyungmin Bae
• [TYPES/announce] PhD positions at Stevens in PL and Systems Michael Greenberg
  • Re: [TYPES/announce] PhD positions at Stevens in PL and Systems Ricardo Medel
• [TYPES/announce] PhD and postdoc positions at Université Paris-Saclay, CEA List institute, France, in Advanced Program Analysis for Software Security BARDIN Sébastien
• [TYPES/announce] NFM 2022 - FINAL CALL FOR PAPERS Klaus Havelund
• [TYPES/announce] Postdoc position at the University of Lisbon Vasco Thudichum Vasconcelos
• [TYPES/announce] DisCoTec 2022: FINAL CALL for Workshops and Tutorial [deadline today] Giorgio Audrito
• [TYPES/announce] Assistant Professor of Software Technology (tenure track) at Radboud University Frits Vaandrager
• [TYPES/announce] Permanent academic positions, Imperial College London Gardner, Philippa A
• [TYPES/announce] CFP extended: 2nd Intl Conf on Code Quality (ICCQ) in-coop with SIGPLAN/SIGSOFT and IEEE Yegor Bugayenko
• [TYPES/announce] CiE 2022: Second CfP Ulrich Berger
• [TYPES/announce] CfP ProWeb 2022: Programming Technology for the Future Web Quentin Stievenart
• [TYPES/announce] PhD positions in PL at the University of Bristol Alex Kavvos
• [TYPES/announce] HCVS 2022 - First Call for Papers Maurizio Proietti
  • [TYPES/announce] HCVS 2022 - Second Call for Papers Maurizio Proietti
  • [TYPES/announce] HCVS 2022 - Final Call for Papers (Deadline extended 13th February) Maurizio Proietti
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations Caterina Urban
  • [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations Caterina Urban
• [TYPES/announce] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24) Achim D. Brucker
• [TYPES/announce] Assistant Professor (Tenure-track) Positions in Artificial Intelligence, Cybersecurity, and Programming Languages at the University of Southern Denmark Fabrizio Montesi
• [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK [email protected]
  • [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK Anupam das
• [TYPES/announce] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
• [TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st January 2022 Ornela Dardha
• [TYPES/announce] AIPLANS Workshop at NeurIPS 2021 Tomorrow Breandan Considine
• [TYPES/announce] CfA: History and Philosophy of Programming Simone Martini
• [TYPES/announce] CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier Roussanka Loukanova
• [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland Simon Gay
  • Re: [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland Simon Gay
• [TYPES/announce] VMCAI 2022 Student Fellowships Thomas Wies
• [TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science Eric Goubault
  • [TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science Eric Goubault
• [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Call for Participation Steve Zdancewic
• [TYPES/announce] Call for ECOOP 2022 Workshop Proposals Coen DE ROOVER
• [TYPES/announce] Call for Workshop Proposals: ICFP 2022 Ilya Sergey
• [TYPES/announce] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce Luigia Petre
• [TYPES/announce] Faculty positions at Portland State University Andrew Tolmach
• [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
  • [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
  • [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
• [TYPES/announce] PLAS 2021 Call for Participation Zhang, Danfeng
• [TYPES/announce] Junior Research Fellowship in Engineering Science or Computer Science at Trinity College Oxford Marta Kwiatkowska
• [TYPES/announce] RC2022 call for papers Claudio Mezzina
• [TYPES/announce] PhD position on Quantitative Semantics at INESC-TEC and University of Minho. Renato Neves
• [TYPES/announce] 28th WoLLIC 2022 - First Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] FORMATS 2022: first call for papers Gethin Norman
• [TYPES/announce] Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris) Alexis Saurin IRIF
• [TYPES/announce] Rust Verification Workshop at ETAPS 2022: Call for Talk and Demo Proposals Mueller Peter
• [TYPES/announce] Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022 Matteo Sammartino
• [TYPES/announce] 1+2 Assistant positions at Chalmers on ICT and Basic Science Ana Bove
• [TYPES/announce] 10 PhD studentships in Nottingham Graham Hutton
  • [TYPES/announce] 10 PhD studentships in Nottingham Graham Hutton
• [TYPES/announce] SYCO 8 - Final Call for Participation Maaike Zwart
• [TYPES/announce] Postdoc position in quantum formal verification @ Université Paris-Saclay, CEA List, France christophe chareton
• [TYPES/announce] NFM 2022 - call for papers - DEADLINE EXTENSION! Klaus Havelund
• [TYPES/announce] Call for Participation: POPL'22 Loris D'Antoni
• [TYPES/announce] iVerif (FSTTCS Pre-Conference Workshop) Call for participation: December 14 Shibashis Guha
• [TYPES/announce] PhD and Postdoc Positions in Automated Reasoning at Bar-Ilan University Yoni
• [TYPES/announce] Research Associate position in Randomized Testing at Imperial College London Donaldson, Alastair F
• [TYPES/announce] University Assistant (Post-Doc) Position at TU Wien, 20 hours/week Traxler, Alexandra
• [TYPES/announce] PLDI'22 Artifact Evaluation Committee Nominations Niki Vazou
• [TYPES/announce] CFP: LangSec 2022 (affiliated with IEEE S&P) due on Jan 15th, 2022 Gang (Gary) Tan
• [TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time) Georg Weissenbacher
• [TYPES/announce] Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany Ralf Kuesters
• [TYPES/announce] * CONFEST 2022 * -- Call for Workshop Proposals Lorenzo Clemente
• [TYPES/announce] CONCUR 2022: first call for papers Javier Esparza
• Re: [TYPES/announce] RC2022: First Call for Papers Claudio Mezzina
• [TYPES/announce] MSFP 2022 - First Call for Papers Jeremy Gibbons
• [TYPES/announce] postdoc position in Lille (France) on type systems and logical methods Patrick Baillot
  • [TYPES/announce] postdoc position in Lille (France) on type systems and logical methods Patrick Baillot
• [TYPES/announce] TYPES 2021 post-proceedings: Second call for papers (Deadline extension) Henning Basold
• [TYPES/announce] First CFP Logic and Complexity (LCC 2022) workshop Patrick Baillot
• [TYPES/announce] CMCS 2022: First Call for Papers Thorsten Wissmann
• [TYPES/announce] Extended deadline: FLOPS 2022, 16th International Symposium on Functional and Logic Programming Atsushi Igarashi
• [TYPES/announce] NFM 2022 - THIRD CALL FOR PAPERS Klaus Havelund
• [TYPES/announce] PhD Position in Deductive Verification of Safety-Critical Software Dilian Gurov
• [TYPES/announce] Tenure-track assistant professorship at Wesleyan University Norman Danner
• [TYPES/announce] Seminar talk on Integrating Usability into Programming Language Design Harley D. Eades III
• [TYPES/announce] Faculty positions at University of Ottawa Amy Felty
• [TYPES/announce] POPL 2022 CALL FOR STUDENT VOLUNTEERS Konstantinos Kallas
• [TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris Christine Tasson
• [TYPES/announce] Postdoc position in distributed computing at the IMDEA Software Institute Alexey Gotsman
• [TYPES/announce] VerifyThis 2022 --- Call for Problems Peter Lammich
• [TYPES/announce] SYCO 8 - Call for Participation Maaike Zwart
• [TYPES/announce] Postdoc in quantum computation at Dalhousie Julien Ross
  • [TYPES/announce] Postdoc in quantum computation at Dalhousie Julien Ross
• [TYPES/announce] Associate Professorship (or Professorship) in Automated Verification at Oxford Marta Kwiatkowska
• [TYPES/announce] Seminar talk on Tight Polynomial Worst-Case Bounds for Loop Programs Harley D. Eades III
• [TYPES/announce] webinar by Martin Avanzini as part of SCOT seminar: On Continuation-Passing Transformations and Expected Cost Analysis : Nov 9th 2021, 3pm-4pm (CET) Patrick Baillot
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
  • [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
  • [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
  • [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
• [TYPES/announce] Faculty Position at Georgia Tech Qirun Zhang
• [TYPES/announce] First CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation Lisitsa, Alexei
• [TYPES/announce] CfP extended deadline: LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier Roussanka Loukanova
• [TYPES/announce] 2 assistant professor positions (OU Netherlands) Hugo
• [TYPES/announce] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko
• [TYPES/announce] FSCD 2023: Call for Location Carsten Fuhs
• [TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master’s Students in Computer Science_DL: November 30 Traxler, Alexandra
• [TYPES/announce] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition Luigia Petre
• [TYPES/announce] PLMW@POPL 2022: 2nd Call for Application Stephanie Balzer
• [TYPES/announce] Logic and Probabilistic Programming 2022 - Call for Participation Ugo Dal Lago
• [TYPES/announce] Please post Nachum Dershowitz
• [TYPES/announce] PhD position in Type Theory at Chalmers/Gothenburg University (deadline 8 Nov) Ana Bove
• [TYPES/announce] Full Professorship for Formal Methods at JKU Linz Martina Seidl
• [TYPES/announce] Engineer positions for the ProofInUse consortium Claude Marche
• [TYPES/announce] Position: technical lead for certification, IO Simon Thompson
• [TYPES/announce] LICS 2022 Call for Papers Sam Staton
• [TYPES/announce] TYPES 2021 post-proceedings: Open call for papers Henning Basold
• [TYPES/announce] NFM 2022 - SECOND CALL FOR PAPERS Klaus Havelund
• [TYPES/announce] Bucknell University seeking tenure track faculty Lea Wittie
• [TYPES/announce] IE Webinar (Oct 21st): SMT Solving - Past, Present and Future Kit Wan Chui
• [TYPES/announce] SYCO 8 - 2nd Call for Papers Maaike Zwart
• [TYPES/announce] 12-months software engineer position at IRIF (Paris, France) Pierre-Evariste Dagand
• [TYPES/announce] POPL Calls for Tutorials/Workshops/Student Research Competition Loris D'Antoni
• [TYPES/announce] LAFI'22: Submission deadline extended to October 20 Christine Tasson
• [TYPES/announce] Marie Skłodowska-Curie COFUND doctoral training programme - LogiCS@TUWien Ezio Bartocci
• [TYPES/announce] PLDI 2022 Second Call for Papers William J. Bowman
• [TYPES/announce] ACM HSCC 2022 -- Last Call for Papers (deadline 29 October) Nicola Paoletti
• [TYPES/announce] Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline* Helle Hvid Hansen
• [TYPES/announce] PhD position in Logic & Security at UCL, London Pym, David
• [TYPES/announce] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh Sam Lindley
• [TYPES/announce] Multiple open positions (postdoc, PhD, intern) on runtime verification at CEA LIST, France Julien Signoles
• [TYPES/announce] Announcing the POPL 2022 virtual workshop Adam Chlipala
• [TYPES/announce] CFP: Workshop on Programming Languages and Analysis for Security (PLAS 2021) Zhang, Danfeng
• [TYPES/announce] PLMW@POPL 2022: Call for Application Stephanie Balzer
• [TYPES/announce] Final CFP: Workshop on Gradual Typing 2022 Siek, Jeremy
• [TYPES/announce] OOPSLA 2022 Round 1 - final call for papers Andreea Costea
• [TYPES/announce] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko
• [TYPES/announce] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa) Jonathan Protzenko
• [TYPES/announce] ETAPS 2022 final call for papers Tarmo Uustalu
• [TYPES/announce] IE Webinar (Oct 8): Thriving as a doctoral student in informatics Kit Wan Chui
• [TYPES/announce] LAFI'22: Call for Extended Abstracts Jean-Baptiste Tristan
• [TYPES/announce] FM 2021 - Call for Participation Jun PANG
• [TYPES/announce] CfP: LACompLing2021 Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier Roussanka Loukanova
• [TYPES/announce] Postdoctoral positions at IRIF, Paris, France Giuseppe Castagna
  • [TYPES/announce] postdoctoral positions at IRIF, Paris, France Giuseppe Castagna
  • [TYPES/announce] postdoctoral positions at IRIF, Paris, France Giuseppe Castagna
• [TYPES/announce] FSCD 2022: First Call for Papers Carsten Fuhs
• [TYPES/announce] ProbProg 2021: CALL FOR PARTICIPATION Jean-Baptiste Tristan
• [TYPES/announce] Formal Methods for Autonomous Systems 2021: Registration Matt Luckcuck
• [TYPES/announce] ECI 2022: Call for course proposals - Buenos Aires, July 2022 Alejandro Díaz-Caro
• [TYPES/announce] Research Fellows in Logic at UCL, London Pym, David
  • [TYPES/announce] Research Fellows in Logic at UCL, London Pym, David
• [TYPES/announce] One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area Gabriel Scherer
• [TYPES/announce] Second call for submissions (and deadline extension) - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format) Shilov Nikolay
• [TYPES/announce] SYCO 8 - Call for Papers Maaike Zwart
• [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

• Earlier messages
• Later messages