types-announce  

Messages by Thread

• [TYPES/announce] OOPSLA 2022 - Round 2 CFP Andreea Costea
• [TYPES/announce] MFCS 2022 - Second Call for Papers Stefan Szeider
• [TYPES/announce] OPLSS 2022 Zena Matilde Ariola
• [TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge Jeremy Yallop
• [TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline on April 11th Caterina Urban
• [TYPES/announce] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL) Herman Geuvers
• [TYPES/announce] GPCE 2022 Call for Papers Yukiyoshi Kameyama
• [TYPES/announce] FSCD 2024: Call for Location carsten
• [TYPES/announce] GandALF 2022 -- 2nd Call For Papers Dario Della Monica
• [TYPES/announce] Second CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics Justin Hsu
• [TYPES/announce] VORTEX 2022: Call for Papers Davide Ancona
• [TYPES/announce] CSL’23 -- CALL FOR WORKSHOPS Elaine Pimentel
• [TYPES/announce] Midlands Graduate School: Accommodation and second (final) call for participation Nicolai Kraus
• [TYPES/announce] Assistant Research Professor or Postdoc position at Penn State CSE Gang (Gary) Tan
• [TYPES/announce] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances Michael Sperber
• [TYPES/announce] [Call for participation] TFPiE and TFP online events March 16-18 Peter Achten
• [TYPES/announce] Morello: Edinburgh research post on capability-based security technologies Ian Stark
• [TYPES/announce] PPDP 2022 - 1st Call for Papers Beniamino Accattoli
• [TYPES/announce] ECOOP Doctoral Symposium 2022: Call for Participation Stephanie Balzer
• [TYPES/announce] TYPES 2022 -- Deadline extension Pierre-Marie Pédrot
• [TYPES/announce] The Coq Workshop 2022: Call for Presentation Proposals Talia Ringer
• [TYPES/announce] SAS 2022 - First Call for Papers - Paper submission deadline: May 4th, 2022 Caterina Urban
• [TYPES/announce] Postdoctoral positions in AI for Programming Education at MPI-SWS, Germany [email protected]
• [TYPES/announce] SOAP 2022 - submission deadline extended Titolo, Laura
• [TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, second CFP Tobias Kappé
• [TYPES/announce] PhD position at the University of Amsterdam Benno van den Berg
• [TYPES/announce] Call for STSMs, deadline 3 April 2022 Ambrus Kaposi
  • [TYPES/announce] Call for STSMs, deadline 3 April 2022 Ambrus Kaposi
• [TYPES/announce] TAP22: Tests and Proofs 2022 - Call for Papers Catherine DUBOIS
• [TYPES/announce] Postdoc position on session types for Erlang, University of Glasgow Simon Gay
• [TYPES/announce] Fwd: PhD and postdoc positions in Software Security (Université Paris-Saclay, CEA List institute, France) Michaël Marcozzi
• [TYPES/announce] SMT 2022 - 20th International Workshop on Satisfiability Modulo Theories Antti Hyvärinen
• [TYPES/announce] 2-Year Postdoctoral Fellowship in Program Synthesis at Grinnell College Osera, Peter-Michael
• [TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022) Quentin Stievenart
• [TYPES/announce] CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
• [TYPES/announce] PhD Position in Number Theory and Formalization Andrei Popescu
• [TYPES/announce] HSCC 2022 Test-of-time-award (deadline 10 April) Nicola Paoletti
• [TYPES/announce] Postdoc and PhD position in homotopy type theory Nicolai Kraus
• [TYPES/announce] UNIF 2022 CFP - 36TH International Workshop on Unification - deadline: May 5, 2022 David Cerna
• [TYPES/announce] EXPRESS/SOS 2022 first call for Papers Claudio Mezzina
• [TYPES/announce] DisCoTec 2022 Call for Workshop Papers [deadline 7 apr+] Giorgio Audrito
• [TYPES/announce] TYPES 2022 -- Last call for contributions Pierre-Marie Pédrot
• [TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic - deadline extended Bahareh Afshari
• [TYPES/announce] Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique) Noam Zeilberger
• [TYPES/announce] Associate Professor Position in Software Engineering at Uppsala University Tobias Wrigstad
• [TYPES/announce] [ICFEM 2022] Call for Workshops and tutorials ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] Applied Category Theory 2022: First Call for Papers Fredrik Nordvall Forsberg
• [TYPES/announce] QEST 2022: Second Call for Papers QEST Publicity
• [TYPES/announce] PhD and postdoc positions in security and privacy at Chalmers University of Technology Andrei Sabelfeld
• [TYPES/announce] CONCUR 2022: 2nd CFP Sławomir Lasota
• [TYPES/announce] PhD position, University of Warsaw Sławomir Lasota
• [TYPES/announce] postdoc position, University of Warsaw Sławomir Lasota
  • [TYPES/announce] postdoc position, University of Warsaw Sławomir Lasota
• [TYPES/announce] ACKERMANN AWARD 2022: CALL FOR NOMINATIONS EACSL Mail-Account
• [TYPES/announce] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022) Peter Achten
• [TYPES/announce] FORMATS'22: second call for papers Gethin Norman
• [TYPES/announce] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany Ralf Kuesters
• [TYPES/announce] CFP - Symposium on the History and Philosophy of Programming Tomas Petricek
• [TYPES/announce] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation Nicolai Kraus
• [TYPES/announce] Call for Papers: PACMPL issue ICFP 2022 ICFP Publicity
• [TYPES/announce] Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University Sergiy Bogomolov
• [TYPES/announce] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022) Martin Zimmermann
• [TYPES/announce] VerifyThis Verification Competition 2022 Marie Farrell
• [TYPES/announce] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US Luigia Petre
• [TYPES/announce] ETAPS Mentoring Workshop 2022 - Call for Participation Caterina Urban
• [TYPES/announce] Lecturer / Senior Lecturer in Software Engineering David Pearce
• [TYPES/announce] Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand Graham Leigh
• [TYPES/announce] PhD position on efficient and provably correct execution environments Tobias Wrigstad
• [TYPES/announce] DisCoTec 2022 call for tutorials [deadline feb 28] Giorgio Audrito
• [TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022) Clément Aubert
  • [TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022) Clément Aubert
• [TYPES/announce] Coq Community Survey 2022 Théo Zimmermann
• [TYPES/announce] CfP GCM 2022 - 13th International Workshop on Graph Computation Models Christopher Michael POSKITT
• [TYPES/announce] Tenure Track Position (RTDB) in Computer Science (INF/01) at the University of Bologna - Call Opened Ugo Dal Lago
• [TYPES/announce] LCC 2022 workshop Final call for participation Patrick Baillot
• [TYPES/announce] VPT 2022 Workshop, Extended Deadline Lisitsa, Alexei
• [TYPES/announce] PhD positions in Mathematical Foundations of Computer Science - Bath - deadline 4 March Willem Heijltjes
• [TYPES/announce] LSFA 2022 -- First Call for Papers Daniele Nantes
• [TYPES/announce] RC2022 final CFP [extended deadline] Claudio Mezzina
• [TYPES/announce] Postdoc on session types and reliability Laura Bocchi
• [TYPES/announce] Post-doc/senior researcher in smart contract security analysis using formal methods Stefan Dziembowski
• [TYPES/announce] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022 Gabriel Scherer
• [TYPES/announce] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification Dominique Unruh
• [TYPES/announce] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18) Carsten Fuhs
• [TYPES/announce] First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics Justin Hsu
• [TYPES/announce] HoTT/UF 2022: Call for Contributions Benedikt Ahrens
• [TYPES/announce] 2 Ph.D positions on formal methods available at the University of Oslo Martin Steffen
• [TYPES/announce] PLACES 2022 - Call for Papers (Extended deadline & Call for Presentations) Rumyana Neykova
• [TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam) Bahareh Afshari
• [TYPES/announce] Call for Model-Checking Community Feedback Kristin Yvonne Rozier
• [TYPES/announce] CSL 2022: 2nd Call for Participation Manea, Florin
• [TYPES/announce] CfP: AMAI Special Issue on Symbolic Computation in Software Science Temur Kutsia
• [TYPES/announce] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France Julien Signoles
• [TYPES/announce] Beth Outstanding Dissertation Prize 2022: First Call for Nominations Sadrzadeh, Mehrnoosh
• [TYPES/announce] TYPES 2022 -- Second call for contributions Pierre-Marie Pédrot
• [TYPES/announce] DisCoTec final CFP [extended deadline] Giorgio Audrito
• [TYPES/announce] Research Post in Session Types for Erlang at University of Glasgow, UK Simon Gay
• [TYPES/announce] PLACES 2022 -- FINAL Call for Papers (deadline 4 February '22) Rumyana Neykova
• [TYPES/announce] RC2022 final call for papers Claudio Mezzina
• [TYPES/announce] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline Serge Autexier
• [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) Radu Iosif
  • [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) RADU IOSIF
  • [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) RADU IOSIF
  • [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) RADU IOSIF
• [TYPES/announce] CMCS 2022: Deadline extension Thorsten Wissmann
• [TYPES/announce] ACM HSCC 2022 -- Call for Posters and Demos (deadline 14 February) Nicola Paoletti
• [TYPES/announce] Fully-funded PhD studentship at Edinburgh Liam O'CONNOR
• [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] SYCO 8 - Final Call for Participation Maaike Zwart
• [TYPES/announce] Postdoc position in quantum formal verification @ Université Paris-Saclay, CEA List, France christophe chareton

• Earlier messages
• Later messages