types-announce

Messages by Date

2022/02/18 [TYPES/announce] Lecturer / Senior Lecturer in Software Engineering David Pearce
2022/02/16 [TYPES/announce] Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand Graham Leigh
2022/02/15 [TYPES/announce] PhD position on efficient and provably correct execution environments Tobias Wrigstad
2022/02/15 [TYPES/announce] DisCoTec 2022 call for tutorials [deadline feb 28] Giorgio Audrito
2022/02/13 [TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022) Clément Aubert
2022/02/13 [TYPES/announce] Coq Community Survey 2022 Théo Zimmermann
2022/02/12 [TYPES/announce] CfP GCM 2022 - 13th International Workshop on Graph Computation Models Christopher Michael POSKITT
2022/02/12 [TYPES/announce] Tenure Track Position (RTDB) in Computer Science (INF/01) at the University of Bologna - Call Opened Ugo Dal Lago
2022/02/11 [TYPES/announce] LCC 2022 workshop Final call for participation Patrick Baillot
2022/02/10 [TYPES/announce] VPT 2022 Workshop, Extended Deadline Lisitsa, Alexei
2022/02/09 [TYPES/announce] PhD positions in Mathematical Foundations of Computer Science - Bath - deadline 4 March Willem Heijltjes
2022/02/09 [TYPES/announce] LSFA 2022 -- First Call for Papers Daniele Nantes
2022/02/09 [TYPES/announce] RC2022 final CFP [extended deadline] Claudio Mezzina
2022/02/08 [TYPES/announce] Postdoc on session types and reliability Laura Bocchi
2022/02/08 [TYPES/announce] Post-doc/senior researcher in smart contract security analysis using formal methods Stefan Dziembowski
2022/02/07 [TYPES/announce] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022 Gabriel Scherer
2022/02/07 [TYPES/announce] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification Dominique Unruh
2022/02/07 [TYPES/announce] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18) Carsten Fuhs
2022/02/05 [TYPES/announce] First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics Justin Hsu
2022/02/05 [TYPES/announce] HoTT/UF 2022: Call for Contributions Benedikt Ahrens
2022/02/04 [TYPES/announce] 2 Ph.D positions on formal methods available at the University of Oslo Martin Steffen
2022/02/04 [TYPES/announce] PLACES 2022 - Call for Papers (Extended deadline & Call for Presentations) Rumyana Neykova
2022/02/04 [TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam) Bahareh Afshari
2022/02/04 [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) RADU IOSIF
2022/02/01 [TYPES/announce] Call for Model-Checking Community Feedback Kristin Yvonne Rozier
2022/02/01 [TYPES/announce] CSL 2022: 2nd Call for Participation Manea, Florin
2022/02/01 [TYPES/announce] CfP: AMAI Special Issue on Symbolic Computation in Software Science Temur Kutsia
2022/02/01 [TYPES/announce] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France Julien Signoles
2022/02/01 [TYPES/announce] Beth Outstanding Dissertation Prize 2022: First Call for Nominations Sadrzadeh, Mehrnoosh
2022/02/01 [TYPES/announce] TYPES 2022 -- Second call for contributions Pierre-Marie Pédrot
2022/02/01 [TYPES/announce] DisCoTec final CFP [extended deadline] Giorgio Audrito
2022/02/01 [TYPES/announce] Research Post in Session Types for Erlang at University of Glasgow, UK Simon Gay
2022/02/01 [TYPES/announce] PLACES 2022 -- FINAL Call for Papers (deadline 4 February '22) Rumyana Neykova
2022/02/01 [TYPES/announce] RC2022 final call for papers Claudio Mezzina
2022/02/01 [TYPES/announce] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline Serge Autexier
2022/02/01 [TYPES/announce] HCVS 2022 - Final Call for Papers (Deadline extended 13th February) Maurizio Proietti
2022/02/01 [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) Radu Iosif
2022/01/27 [TYPES/announce] CMCS 2022: Deadline extension Thorsten Wissmann
2022/01/27 [TYPES/announce] ACM HSCC 2022 -- Call for Posters and Demos (deadline 14 February) Nicola Paoletti
2022/01/25 [TYPES/announce] Fully-funded PhD studentship at Edinburgh Liam O'CONNOR
2022/01/25 [TYPES/announce] POPL 2022 Virtual Workshop this week Adam Chlipala
2022/01/23 [TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop Tobias Kappé
2022/01/23 [TYPES/announce] CMCS 2022: Final Call for Papers Thorsten Wissmann
2022/01/23 [TYPES/announce] First call for papers SOAP 2022 Titolo, Laura
2022/01/23 [TYPES/announce] 2022 Alonzo Church Award: Call for Nominations Andrzej Murawski
2022/01/20 [TYPES/announce] PLACES 2022 - Call for Papers Rumyana Neykova
2022/01/20 [TYPES/announce] Release of Lambdapi 2.1.0 Frédéric Blanqui
2022/01/18 [TYPES/announce] DisCoTec 2022: second call for Workshops Giorgio Audrito
2022/01/18 [TYPES/announce] FSCD 2022: Second Call for Papers Carsten Fuhs
2022/01/16 [TYPES/announce] Multiple Research Fellow positions at the Australian National University Alwen Tiu
2022/01/15 [TYPES/announce] HCVS 2022 - Second Call for Papers Maurizio Proietti
2022/01/14 [TYPES/announce] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan Taro Sekiyama
2022/01/14 [TYPES/announce] Multiple permanent lecturer (assistant prof) posts at Royal Holloway Lange, Julien
2022/01/14 [TYPES/announce] Cfp: Continuity, Computability, Constructivity: From Logic to Algorithms Postproceedings Monika Seisenberger
2022/01/13 [TYPES/announce] Final CFP: WRLA 2022 -- 14th Int'l Workshop on Rewriting Logic and its Applications Kyungmin Bae
2022/01/13 [TYPES/announce] (Deadline extended to Feb 7th, 2022) LangSec 2022, affiliated with IEEE S&P Gang (Gary) Tan
2022/01/12 [TYPES/announce] 3 Assistant professors positions at Chalmers on ICT and Basic Science Ana Bove
2022/01/12 [TYPES/announce] WST 2022 - Call for Papers Cynthia Kop
2022/01/12 [TYPES/announce] SC-square Workshop 2022: First Call for Papers Haniel Barbosa
2022/01/12 [TYPES/announce] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE) Peter Achten
2022/01/10 [TYPES/announce] CMCS 2022: Second Call for Papers Thorsten Wissmann
2022/01/10 [TYPES/announce] CiE 2022: Third CfP (extended deadline) Ulrich Berger
2022/01/10 [TYPES/announce] CSL 2022 - Call for participation Manea, Florin
2022/01/10 [TYPES/announce] 28th WoLLIC 2022 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
2022/01/10 [TYPES/announce] CoqPL 2022: Call for Participation Amin Timany
2022/01/10 [TYPES/announce] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen Freek Wiedijk
2022/01/10 [TYPES/announce] WADT'22 1st cfp Alexandre Madeira
2022/01/07 [TYPES/announce] RC2022 2nd call for papers Claudio Mezzina
2022/01/07 [TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual) Elaine Pimentel
2022/01/07 [TYPES/announce] MSc and PhD positions at Queen's University Jana Dunfield
2022/01/03 [TYPES/announce] Call for STSMs, deadline 16 January 2022 Ambrus Kaposi
2022/01/03 [TYPES/announce] ETAPS Doctoral Dissertation Award --- Last Call for Nominations, Jan 7th Caterina Urban
2022/01/03 [TYPES/announce] PEPM 2022 - Call for Participation Youyou Cong
2021/12/27 [TYPES/announce] CFP: FORTE 2022 (Abstract Deadline: January 28, Submission Deadline: February 4) Giorgio Audrito
2021/12/27 [TYPES/announce] PhD studentship, Luxembourg, Security and Formal Methods Ross James HORNE
2021/12/27 [TYPES/announce] Two PhD positions at the university of Lisbon Vasco Thudichum Vasconcelos
2021/12/27 [TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual) Elaine Pimentel
2021/12/27 [TYPES/announce] CFP: ThEdu'2022 Joao Marcos
2021/12/27 [TYPES/announce] VMCAI 2022 - Call for Participation Thomas Wies
2021/12/25 [TYPES/announce] COORDINATION 2022 Call For Papers Giorgio Audrito
2021/12/25 [TYPES/announce] 2nd CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation, ETAPS 2022 Lisitsa, Alexei
2021/12/25 [TYPES/announce] Fully funded PhD position on the intersection of PL and SE at University of Tübingen, Germany Jonathan Brachthäuser
2021/12/25 [TYPES/announce] Deadline extension: WRLA 2022 -- 14th Int'l Workshop on Rewriting Logic and its Applications Kyungmin Bae
2021/12/25 Re: [TYPES/announce] PhD positions at Stevens in PL and Systems Ricardo Medel
2021/12/22 [TYPES/announce] PhD positions at Stevens in PL and Systems Michael Greenberg
2021/12/22 [TYPES/announce] PhD and postdoc positions at Université Paris-Saclay, CEA List institute, France, in Advanced Program Analysis for Software Security BARDIN Sébastien
2021/12/22 [TYPES/announce] NFM 2022 - FINAL CALL FOR PAPERS Klaus Havelund
2021/12/22 [TYPES/announce] Postdoc position at the University of Lisbon Vasco Thudichum Vasconcelos
2021/12/21 [TYPES/announce] DisCoTec 2022: FINAL CALL for Workshops and Tutorial [deadline today] Giorgio Audrito
2021/12/21 [TYPES/announce] Assistant Professor of Software Technology (tenure track) at Radboud University Frits Vaandrager
2021/12/21 [TYPES/announce] Permanent academic positions, Imperial College London Gardner, Philippa A
2021/12/20 [TYPES/announce] CFP extended: 2nd Intl Conf on Code Quality (ICCQ) in-coop with SIGPLAN/SIGSOFT and IEEE Yegor Bugayenko
2021/12/20 [TYPES/announce] CiE 2022: Second CfP Ulrich Berger
2021/12/20 [TYPES/announce] CfP ProWeb 2022: Programming Technology for the Future Web Quentin Stievenart
2021/12/20 [TYPES/announce] PhD positions in PL at the University of Bristol Alex Kavvos
2021/12/20 [TYPES/announce] HCVS 2022 - First Call for Papers Maurizio Proietti
2021/12/17 [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations Caterina Urban
2021/12/15 [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
2021/12/15 [TYPES/announce] Assistant Professor (Tenure-track) Positions in Artificial Intelligence, Cybersecurity, and Programming Languages at the University of Southern Denmark Fabrizio Montesi
2021/12/15 [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK [email protected]
2021/12/14 [TYPES/announce] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) James Cheney
2021/12/14 [TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st January 2022 Ornela Dardha
2021/12/14 [TYPES/announce] AIPLANS Workshop at NeurIPS 2021 Tomorrow Breandan Considine
2021/12/13 [TYPES/announce] CfA: History and Philosophy of Programming Simone Martini
2021/12/13 Re: [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland Simon Gay
2021/12/13 [TYPES/announce] CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier Roussanka Loukanova
2021/12/13 [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland Simon Gay
2021/12/11 [TYPES/announce] VMCAI 2022 Student Fellowships Thomas Wies
2021/12/10 [TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science Eric Goubault
2021/12/09 [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Call for Participation Steve Zdancewic
2021/12/09 [TYPES/announce] Call for ECOOP 2022 Workshop Proposals Coen DE ROOVER
2021/12/09 [TYPES/announce] Call for Workshop Proposals: ICFP 2022 Ilya Sergey
2021/12/08 [TYPES/announce] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce Luigia Petre
2021/12/07 [TYPES/announce] Faculty positions at Portland State University Andrew Tolmach
2021/12/07 [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
2021/12/06 [TYPES/announce] PLAS 2021 Call for Participation Zhang, Danfeng
2021/12/05 [TYPES/announce] Junior Research Fellowship in Engineering Science or Computer Science at Trinity College Oxford Marta Kwiatkowska
2021/12/05 [TYPES/announce] RC2022 call for papers Claudio Mezzina
2021/12/05 [TYPES/announce] PhD position on Quantitative Semantics at INESC-TEC and University of Minho. Renato Neves
2021/12/03 [TYPES/announce] 28th WoLLIC 2022 - First Call for Papers Ruy Jose Guerra Barretto de Queiroz
2021/12/03 [TYPES/announce] FORMATS 2022: first call for papers Gethin Norman
2021/12/03 [TYPES/announce] Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris) Alexis Saurin IRIF
2021/12/03 [TYPES/announce] Rust Verification Workshop at ETAPS 2022: Call for Talk and Demo Proposals Mueller Peter
2021/12/03 [TYPES/announce] Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022 Matteo Sammartino
2021/12/03 [TYPES/announce] 1+2 Assistant positions at Chalmers on ICT and Basic Science Ana Bove
2021/12/03 [TYPES/announce] 10 PhD studentships in Nottingham Graham Hutton
2021/12/03 [TYPES/announce] SYCO 8 - Final Call for Participation Maaike Zwart
2021/12/03 [TYPES/announce] Postdoc position in quantum formal verification @ Université Paris-Saclay, CEA List, France christophe chareton
2021/12/01 [TYPES/announce] NFM 2022 - call for papers - DEADLINE EXTENSION! Klaus Havelund
2021/12/01 [TYPES/announce] Call for Participation: POPL'22 Loris D'Antoni
2021/12/01 [TYPES/announce] iVerif (FSTTCS Pre-Conference Workshop) Call for participation: December 14 Shibashis Guha
2021/12/01 [TYPES/announce] PhD and Postdoc Positions in Automated Reasoning at Bar-Ilan University Yoni
2021/11/29 [TYPES/announce] Research Associate position in Randomized Testing at Imperial College London Donaldson, Alastair F
2021/11/29 [TYPES/announce] University Assistant (Post-Doc) Position at TU Wien, 20 hours/week Traxler, Alexandra
2021/11/29 [TYPES/announce] PLDI'22 Artifact Evaluation Committee Nominations Niki Vazou
2021/11/28 [TYPES/announce] CFP: LangSec 2022 (affiliated with IEEE S&P) due on Jan 15th, 2022 Gang (Gary) Tan
2021/11/28 [TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time) Georg Weissenbacher
2021/11/26 [TYPES/announce] Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany Ralf Kuesters
2021/11/26 [TYPES/announce] * CONFEST 2022 * -- Call for Workshop Proposals Lorenzo Clemente
2021/11/25 [TYPES/announce] CONCUR 2022: first call for papers Javier Esparza
2021/11/24 Re: [TYPES/announce] RC2022: First Call for Papers Claudio Mezzina
2021/11/24 [TYPES/announce] MSFP 2022 - First Call for Papers Jeremy Gibbons
2021/11/22 [TYPES/announce] postdoc position in Lille (France) on type systems and logical methods Patrick Baillot
2021/11/22 [TYPES/announce] TYPES 2021 post-proceedings: Second call for papers (Deadline extension) Henning Basold
2021/11/17 [TYPES/announce] First CFP Logic and Complexity (LCC 2022) workshop Patrick Baillot
2021/11/17 [TYPES/announce] CMCS 2022: First Call for Papers Thorsten Wissmann
2021/11/17 [TYPES/announce] Extended deadline: FLOPS 2022, 16th International Symposium on Functional and Logic Programming Atsushi Igarashi
2021/11/17 [TYPES/announce] NFM 2022 - THIRD CALL FOR PAPERS Klaus Havelund
2021/11/17 [TYPES/announce] PhD Position in Deductive Verification of Safety-Critical Software Dilian Gurov
2021/11/17 [TYPES/announce] Tenure-track assistant professorship at Wesleyan University Norman Danner
2021/11/17 [TYPES/announce] Seminar talk on Integrating Usability into Programming Language Design Harley D. Eades III
2021/11/09 [TYPES/announce] Faculty positions at University of Ottawa Amy Felty
2021/11/09 [TYPES/announce] POPL 2022 CALL FOR STUDENT VOLUNTEERS Konstantinos Kallas
2021/11/09 [TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris Christine Tasson
2021/11/09 [TYPES/announce] Postdoc position in distributed computing at the IMDEA Software Institute Alexey Gotsman
2021/11/08 [TYPES/announce] VerifyThis 2022 --- Call for Problems Peter Lammich
2021/11/08 [TYPES/announce] SYCO 8 - Call for Participation Maaike Zwart
2021/11/08 [TYPES/announce] Postdoc in quantum computation at Dalhousie Julien Ross
2021/11/04 [TYPES/announce] Associate Professorship (or Professorship) in Automated Verification at Oxford Marta Kwiatkowska
2021/11/04 [TYPES/announce] Seminar talk on Tight Polynomial Worst-Case Bounds for Loop Programs Harley D. Eades III
2021/11/03 [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
2021/11/02 [TYPES/announce] Journal of Functional Programming - Call For PhD Abstracts Graham Hutton
2021/11/02 [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
2021/11/02 [TYPES/announce] Faculty Position at Georgia Tech Qirun Zhang
2021/11/02 [TYPES/announce] First CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation Lisitsa, Alexei
2021/11/02 [TYPES/announce] CfP extended deadline: LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier Roussanka Loukanova
2021/10/31 [TYPES/announce] 2 assistant professor positions (OU Netherlands) Hugo
2021/10/30 [TYPES/announce] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko
2021/10/29 [TYPES/announce] FSCD 2023: Call for Location Carsten Fuhs
2021/10/28 [TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master’s Students in Computer Science_DL: November 30 Traxler, Alexandra
2021/10/27 [TYPES/announce] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition Luigia Petre
2021/10/27 [TYPES/announce] PLMW@POPL 2022: 2nd Call for Application Stephanie Balzer
2021/10/25 [TYPES/announce] Logic and Probabilistic Programming 2022 - Call for Participation Ugo Dal Lago
2021/10/23 [TYPES/announce] Please post Nachum Dershowitz
2021/10/23 [TYPES/announce] PhD position in Type Theory at Chalmers/Gothenburg University (deadline 8 Nov) Ana Bove
2021/10/23 [TYPES/announce] Full Professorship for Formal Methods at JKU Linz Martina Seidl
2021/10/23 [TYPES/announce] Engineer positions for the ProofInUse consortium Claude Marche
2021/10/22 [TYPES/announce] Position: technical lead for certification, IO Simon Thompson
2021/10/22 [TYPES/announce] LICS 2022 Call for Papers Sam Staton
2021/10/22 [TYPES/announce] Research Fellows in Logic at UCL, London Pym, David
2021/10/22 [TYPES/announce] TYPES 2021 post-proceedings: Open call for papers Henning Basold
2021/10/22 [TYPES/announce] NFM 2022 - SECOND CALL FOR PAPERS Klaus Havelund
2021/10/18 [TYPES/announce] Bucknell University seeking tenure track faculty Lea Wittie
2021/10/18 [TYPES/announce] IE Webinar (Oct 21st): SMT Solving - Past, Present and Future Kit Wan Chui
2021/10/18 [TYPES/announce] SYCO 8 - 2nd Call for Papers Maaike Zwart
2021/10/16 [TYPES/announce] 12-months software engineer position at IRIF (Paris, France) Pierre-Evariste Dagand
2021/10/16 [TYPES/announce] POPL Calls for Tutorials/Workshops/Student Research Competition Loris D'Antoni
2021/10/14 [TYPES/announce] LAFI'22: Submission deadline extended to October 20 Christine Tasson
2021/10/14 [TYPES/announce] CfP Software Verification and Testing Track at SAC 2022 Erika Abraham
2021/10/14 [TYPES/announce] Marie Skłodowska-Curie COFUND doctoral training programme - LogiCS@TUWien Ezio Bartocci
2021/10/13 [TYPES/announce] PLDI 2022 Second Call for Papers William J. Bowman
2021/10/13 [TYPES/announce] ACM HSCC 2022 -- Last Call for Papers (deadline 29 October) Nicola Paoletti
2021/10/12 [TYPES/announce] Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline* Helle Hvid Hansen
2021/10/08 [TYPES/announce] PhD position in Logic & Security at UCL, London Pym, David
2021/10/08 [TYPES/announce] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh Sam Lindley
2021/10/08 [TYPES/announce] Multiple open positions (postdoc, PhD, intern) on runtime verification at CEA LIST, France Julien Signoles
2021/10/08 [TYPES/announce] Announcing the POPL 2022 virtual workshop Adam Chlipala
2021/10/06 [TYPES/announce] CFP: Workshop on Programming Languages and Analysis for Security (PLAS 2021) Zhang, Danfeng
2021/10/06 [TYPES/announce] Postdoc Position in Formal Verification Ralf Kuesters
2021/10/06 [TYPES/announce] PLMW@POPL 2022: Call for Application Stephanie Balzer