2021 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Jan 3 04:44:48 EST 2021
Ending: Mon Dec 27 13:25:52 EST 2021
Messages: 646

• [TYPES/announce] (Deadline extended to Feb 7th, 2021) LangSec 2021, affiliated with IEEE S&P   Gang (Gary) Tan
• [TYPES/announce] ** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE   Nick Hu
• [TYPES/announce] * CONFEST 2022 * -- Call for Workshop Proposals   Lorenzo Clemente
• [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] 12-months software engineer position at IRIF (Paris, France)   Pierre-Evariste Dagand
• [TYPES/announce] 12 month postdoc positions in Paris and Marseille   Thomas Ehrhard
• [TYPES/announce] 12th International School on Rewriting (ISR 2021), online and free   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021   Serge Autexier
• [TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021   Serge Autexier
• [TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021   Serge Autexier
• [TYPES/announce] 2-year researcher position in HoTT, Stockholm University; deadline 9 April   Peter LeFanu Lumsdaine
• [TYPES/announce] 2-years postdoctoral position in HoTT   Ana Bove
• [TYPES/announce] 2021 Alonzo Church Award   Javier Esparza
• [TYPES/announce] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts   Serge Autexier
• [TYPES/announce] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation   Andrei Popescu
• [TYPES/announce] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation   Andrei Popescu
• [TYPES/announce] 27th WoLLIC 2021 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 27th WoLLIC 2021 - Call for Papers   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] 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 EXTENDED: May 25th)   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 27th WoLLIC 2021 - Call for Participation (Online)   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 28th WoLLIC 2022 - First Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 2 assistant professor positions (OU Netherlands)   Hugo
• [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] 2nd Call for papers - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021   Dominic Orchard
• [TYPES/announce] 2nd CfP - ThEdu'21 post-proceedings at EPTCS   Walther Neuper
• [TYPES/announce] 2nd CfP: 14th Interaction and Concurrency Experience (ICE 2021)   Alceste Scalas
• [TYPES/announce] 2nd CfP: SCSS 2021   Temur Kutsia
• [TYPES/announce] 2nd CfP ThEdu'21   Walther Neuper
• [TYPES/announce] 2nd CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation, ETAPS 2022   Lisitsa, Alexei
• [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] 3 open positions (2 postdoc, 1 PhD) on runtime verification at CEA LIST, France   Julien Signoles
• [TYPES/announce] 3 Post-doc positions on semantics of PLs   Davide Sangiorgi
• [TYPES/announce] 3 Post-doc positions on semantics of PLs   Claudio Sacerdoti Coen
• [TYPES/announce] 5 permanent positions (lecturer, senior lecturer, associate professor) at Swansea University, UK   Roggenbach M.
• [TYPES/announce] 6-Month postdoc in lambda-calculi and effects, University of Bath   Willem Heijltjes
• [TYPES/announce] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - DEADLINE EXTENSION: May 5   Giselle Reis
• [TYPES/announce] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - Second CFP   Giselle Reis
• [TYPES/announce] [Call for Participation] 12th International School on Rewriting   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] [Call for Participation] July 2nd: The Coq Workshop 2021   Christian Doczkal
• [TYPES/announce] [CFP] The Coq Workshop 2021 : Call for Talk Proposals   Christian Doczkal
• [TYPES/announce] [CFP] The Coq Workshop 2021: Deadline Extension   Jean-Marie Madiot
• [TYPES/announce] [Deadline Extension] FMCAD 2021 Call for Papers   Michael Whalen
• [TYPES/announce] [Deadline Extension] WPTE 2021: Call For Papers   Keisuke Nakano
• [TYPES/announce] [EXTENDED deadline] HOPE'21 at ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Ohad Kammar
• [TYPES/announce] [fm-announcements] Call for (Virtual) Participation - NFM 2021   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] Formal Methods for Industrial Critical Systems 2021 CfP   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] NFM 2022 - First Call for Papers   Havelund, Klaus (US 348B) via fm-announcements
• [TYPES/announce] [ICALP 2022] Call for workshops   Mahsa
• [TYPES/announce] [Lambda Days + TFP + TFPIE 2021] call for participation   Peter Achten
• [TYPES/announce] [meta] URL rewriting notice   Gabriel Scherer
• [TYPES/announce] [OSys PL Labs] 3 UI/UX Research Engineer Positions for Progr. Languages and Tools (Remote)   Nick Papoylias
• [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] [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] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)   Peter Achten
• [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] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)   Peter Achten
• [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] A book on program proof in Coq [revisited]   Adam Chlipala
• [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] Academic positions in cybersecurity, University of Glasgow, UK   Simon Gay
• [TYPES/announce] ACKERMANN AWARD 2021: 2nd and final Call for Nominations   EACSL Mail-Account
• [TYPES/announce] ACKERMANN AWARD 2021: CALL FOR NOMINATIONS   EACSL Mail-Account
• [TYPES/announce] ACM HSCC 2022 -- 2nd Call for Papers   Nicola Paoletti
• [TYPES/announce] ACM HSCC 2022 -- Last Call for Papers (deadline 29 October)   Nicola Paoletti
• [TYPES/announce] Agda Implementors' Meeting XXXIV: Call for talks and participation   Jesper Cockx
• [TYPES/announce] AIPLANS Workshop at NeurIPS 2021 (Advances in Programming Languages and Neurosymbolic Systems)   Breandan Considine
• [TYPES/announce] AIPLANS Workshop at NeurIPS 2021 Tomorrow   Breandan Considine
• [TYPES/announce] announcing: March workshop on polynomial functors   David Spivak
• [TYPES/announce] Announcing the POPL 2022 virtual workshop   Adam Chlipala
• [TYPES/announce] A seminar talk on Excel Meeting LAMBDA   Harley D. Eades III
• [TYPES/announce] A seminar talk on Logical Relations As Types   Harley D. Eades III
• [TYPES/announce] assistant/associate professor in formal methods and programming, at University of Twente, Netherlands   m.huisman at utwente.nl
• [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark   Anders Møller
• [TYPES/announce] Assistant/Associate Professorships in Nottingham   Graham Hutton
• [TYPES/announce] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark   Jacopo Mauro
• [TYPES/announce] Assistant Professor (Tenure-track) Positions in Artificial Intelligence, Cybersecurity, and Programming Languages at the University of Southern Denmark   Fabrizio Montesi
• [TYPES/announce] Assistant Professor in Formal Methods @ DTU Compute   Alceste Scalas
• [TYPES/announce] Assistant Professor of Software Technology (tenure track) at Radboud University   Frits Vaandrager
• [TYPES/announce] Associate professor position in formal methods at the University of Oslo   Peter Csaba Ølveczky
• [TYPES/announce] Associate Professorship (or Professorship) in Automated Verification at Oxford   Marta Kwiatkowska
• [TYPES/announce] ATVA 2021 - Call for Workshops   Dimitrova, Rayna
• [TYPES/announce] ATVA 2021 - Second Call for Papers   Giles Reger
• [TYPES/announce] Bucknell University seeking tenure track faculty   Lea Wittie
• [TYPES/announce] CADE-28: Call for Papers   Sophie Tourret
• [TYPES/announce] CADE-28: final call for papers   Sophie Tourret
• [TYPES/announce] CADE 2021 call for participation   Sophie Tourret
• [TYPES/announce] CALCO 2021: Deadline extension and invited speakers   Thorsten Wissmann
• [TYPES/announce] CALCO 2021: First Call for Papers   Michele Loreti
• [TYPES/announce] CALCO 2021: Second call for papers   Thorsten Wissmann
• [TYPES/announce] Call for (Self-)Nominations for the ASPLOS 2022 Artifact Evaluation Committee   Eva Darulova
• [TYPES/announce] Call for (virtual and free) participation, ICTAC'21, Sept 8-10   Peter Csaba Ølveczky
• [TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master’s Students in Computer Science_DL: November 30   Traxler, Alexandra
• [TYPES/announce] Call for Applications: PLMW @ ICFP 2021   Lindsey Kuper
• [TYPES/announce] Call for Book Chapters: Guide to Software Verification with Frama-C   Julien Signoles
• [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] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science   Eric Goubault
• [TYPES/announce] Call For Contributions - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity   Juan Fumero
• [TYPES/announce] Call for Contributions: Structure meets Power Workshop 2021   Daniel Marsden
• [TYPES/announce] Call for Contributions: WITS 2022   Jesper Cockx
• [TYPES/announce] Call for ECOOP 2022 Workshop Proposals   Coen DE ROOVER
• [TYPES/announce] Call for extended abstracts: Languages for Inference 2022 (LAFI'22)   Jean-Baptiste Tristan
• [TYPES/announce] Call for Lightning Talks: Haskell Implementors' Workshop @ ICFP'21   Ningning Xie
• [TYPES/announce] Call for Nominations: EiC of ACM TOCL journal   Sam Staton
• [TYPES/announce] CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE   Nick Hu
• [TYPES/announce] Call for Papers -- GPCE 2021   Gregory Kildow
• [TYPES/announce] Call for Papers - FMCAD 2021   Ruzica Piskac
• [TYPES/announce] Call for papers - ThEdu'21 post-proceedings at EPTCS   Walther Neuper
• [TYPES/announce] Call for papers - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021   Dominic Orchard
• [TYPES/announce] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)   Hakjoo Oh
• [TYPES/announce] Call for papers: 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2021)   Serebrenik, Alexander
• [TYPES/announce] Call for papers: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)   Lisa Nguyen Quang Do
• [TYPES/announce] Call for papers: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)   Lisa Nguyen Quang Do
• [TYPES/announce] Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)   Seyed H. HAERI (Hossein)
• [TYPES/announce] Call for Papers: AGERE 2021   Elias Castegren
• [TYPES/announce] Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)   Andrei Popescu
• [TYPES/announce] Call for papers: HATRA (Human Aspects of Types and Reasoning Assistants)   Michael Coblenz
• [TYPES/announce] Call for Papers: HotSpot 2021   Toby Murray
• [TYPES/announce] Call for Papers: PACMPL issue ICFP 2021   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Papers: VMCAI 2022   Thomas Wies
• [TYPES/announce] Call for Papers Haskell Symposium 2021   Publicity IFL
• [TYPES/announce] Call for papers Logical Aspects of Computational Linguistics 2021   Richard Moot
• [TYPES/announce] CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE   Nick Hu
• [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 Participation - Workshop on Natural Formal Mathematics (NatFoM 2021)   Dennis Müller
• [TYPES/announce] Call for participation: 1st Rust Verification Workshop   Mueller Peter
• [TYPES/announce] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)   James Cheney
• [TYPES/announce] Call for Participation: 2nd Natural Language Processing Advancements for Software Engineering (NLPaSE) @ 28th APSEC 2021   Saurabh Tiwari
• [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] Call for Participation: Haskell Implementors' Workshop 2021   Ningning Xie
• [TYPES/announce] Call for Participation: ICFP 2021   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Participation: In-person School on Verification Technology, Systems and Applications (VTSA 2021)   Pascal Fontaine
• [TYPES/announce] Call for participation: ML Family Workshop 2021   Jonathan Protzenko
• [TYPES/announce] Call for Participation: POPL'22   Loris D'Antoni
• [TYPES/announce] Call for Participation: PPDP & LOPSTR 2021   Niccolò Veltri
• [TYPES/announce] Call for Participation DisCoTec 2021   Jasmine Xuereb
• [TYPES/announce] Call for participation GandALF 2021   Davide Bresolin
• [TYPES/announce] Call for Position Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)   Seyed H. HAERI (Hossein)
• [TYPES/announce] Call for Presentations: CONFLANG   Mark Santolucito
• [TYPES/announce] Call for Presentations: PriSC 2022 @ POPL 2022   Jonathan Protzenko
• [TYPES/announce] Call for short submissions - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)   Shilov Nikolay
• [TYPES/announce] Call for Submissions: International Conference on Probabilistic Programming (PROBPROG 2021)   Jean-Baptiste Tristan
• [TYPES/announce] Call for Submissions: Programming Languages and the Law (ProLaLa)   Jonathan Protzenko
• [TYPES/announce] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [TYPES/announce] Call for Tutorials and Workshops: PLDI 2022   William J. Bowman
• [TYPES/announce] Call for Workshop Proposals: ICFP 2022   Ilya Sergey
• [TYPES/announce] Call for Workshops - FLoC 2022   Victor Perez
• [TYPES/announce] Call for workshops: 35th European Conference on Object-Oriented Programming (ECOOP'21) & 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)   Lisa Nguyen Quang Do
• [TYPES/announce] Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference   Sam Staton
• [TYPES/announce] CAV 2021 Student Fellowships   Thomas Wies
• [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Call for Papers   Steve Zdancewic
• [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Call for Participation   Steve Zdancewic
• [TYPES/announce] Certified Programs and Proofs (CPP) 2022: Final Call for Papers   Steve Zdancewic
• [TYPES/announce] CfA: History and Philosophy of Programming   Simone Martini
• [TYPES/announce] CfP - Intersection Types and Related Systems - ITRS2021   Ugo de Liguoro
• [TYPES/announce] CfP: 14th Interaction and Concurrency Experience (ICE 2021)   Alceste Scalas
• [TYPES/announce] CfP: 14th International Workshop on Rewriting Logic and its Applications   Kyungmin Bae
• [TYPES/announce] CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)   James Cheney
• [TYPES/announce] CFP: 6th Workshop On Monitoring And Testing Of Cyber-physical Systems (MT-CPS 2021)   Ichiro Hasuo
• [TYPES/announce] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE   Luigia Petre
• [TYPES/announce] CFP: FORTE 2022 (Abstract Deadline: January 28, Submission Deadline: February 4)   Giorgio Audrito
• [TYPES/announce] CFP: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification   Davide Bresolin
• [TYPES/announce] CFP: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification   Davide Bresolin
• [TYPES/announce] CfP: ICTAC'21 (18th International Colloquium on Theoretical Aspects of Computing)   Peter Csaba Ølveczky
• [TYPES/announce] CFP: IEEE CSF 2022 - Fall Cycle (Submission Deadline: Oct 1st)   Ralf Kuesters
• [TYPES/announce] CfP: International Symposium on Database Programming Languages (DBPL 2021) @ VLDB 2021   James Cheney
• [TYPES/announce] CfP: LACompLing2021 Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier   Roussanka Loukanova
• [TYPES/announce] CFP: LangSec 2021 (affiliated with IEEE S&P) due on Jan 15th, 2021   Gang (Gary) Tan
• [TYPES/announce] CFP: LangSec 2022 (affiliated with IEEE S&P) due on Jan 15th, 2022   Gang (Gary) Tan
• [TYPES/announce] CFP: MAPS 21: 5th Annual Symposium on Machine Programming   Aws Albarghouthi
• [TYPES/announce] CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems   Eric Eide
• [TYPES/announce] CFP: PRDC 2021 - Extended deadline 1 August 2021   Simon Yusuf-Enoch
• [TYPES/announce] CFP: PRDC 2021 -The 26th Pacific Rim International Symposium on Dependable Computing   Simon Yusuf-Enoch
• [TYPES/announce] CfP: SCSS 2021   Temur Kutsia
• [TYPES/announce] CFP: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [TYPES/announce] CFP: ThEdu'2022   Joao Marcos
• [TYPES/announce] CFP: Workshop on Programming Languages and Analysis for Security (PLAS 2021)   Zhang, Danfeng
• [TYPES/announce] CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier   Roussanka Loukanova
• [TYPES/announce] CFP DisCoTec 2021 [3rd Call]   Duncan Paul Attard
• [TYPES/announce] CFP DisCoTec 2021 [EXTENDED DEADLINE]   Duncan Paul Attard
• [TYPES/announce] CFP extended: 2nd Intl Conf on Code Quality (ICCQ) in-coop with SIGPLAN/SIGSOFT and IEEE   Yegor Bugayenko
• [TYPES/announce] CfP extended deadline: LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier   Roussanka Loukanova
• [TYPES/announce] CFP HCVS 2021   bishoksan kafle
• [TYPES/announce] CfP HCVS 2021 @ ETAPS   Fabio Fioravanti
• [TYPES/announce] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science   Claudio Sacerdoti Coen
• [TYPES/announce] CfP ProWeb 2022: Programming Technology for the Future Web   Quentin Stievenart
• [TYPES/announce] CFP Quantum Physics and Logic (QPL 2021), June 7-11, Gdańsk & online   Miriam Backens
• [TYPES/announce] CFP SETTA 2021 -Symposiumon Dependable Software Engineering: Theories, Tools and Applications   songfu1983 at shanghaitech.edu.cn
• [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] CfP Theorem Proving Components for Educational Software at CADE-28   Walther Neuper
• [TYPES/announce] CFW DisCoTec 2021 [2nd Call, ERRATUM]   Duncan Paul Attard
• [TYPES/announce] CFW DisCoTec 2021 [2nd Call]   Duncan Paul Attard
• [TYPES/announce] CICM 2021, July 26-31, Call for online participation   Serge Autexier
• [TYPES/announce] CID; CCC 2021; 2nd call for submissions   Dieter Spreen
• [TYPES/announce] CID; CCC 2021; call for submissions   Dieter Spreen
• [TYPES/announce] CiE 2022: Second CfP   Ulrich Berger
• [TYPES/announce] CMCS 2022: First Call for Papers   Thorsten Wissmann
• [TYPES/announce] Compiler Construction (CC) 2021 - Call for Participation   Delphine Demange
• [TYPES/announce] CONCUR 2022: first call for papers   Javier Esparza
• [TYPES/announce] Conference Logic and Higher Structures   Dimitri Ara
• [TYPES/announce] COORDINATION'21: Last Call for Papers   Ornela Dardha
• [TYPES/announce] COORDINATION 2022 Call For Papers   Giorgio Audrito
• [TYPES/announce] COP'21   Yu David Liu
• [TYPES/announce] CoqPL 2022: Call for Presentations   Amin Timany
• [TYPES/announce] CoqPL 2022: Call for Presentations   Amin Timany
• [TYPES/announce] CSL 2022 - call for papers   Manea, Florin
• [TYPES/announce] CSL 2022 - call for papers   Manea, Florin
• [TYPES/announce] CSL 2022: Last call for papers   Manea, Florin
• [TYPES/announce] Dahl-Nygaard Prizes 2021: nominations due   Elena Zucca
• [TYPES/announce] Dahl-Nygaard Prizes 2022: nominations due   Görel Hedin
• [TYPES/announce] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022   Jonathan Protzenko
• [TYPES/announce] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021)   Serge Autexier
• [TYPES/announce] DEADLINE EXTENSION: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification   Davide Bresolin
• [TYPES/announce] Deadline extension: ICTAC 2021   Peter Csaba Ølveczky
• [TYPES/announce] Deadline extension: PLanQC 2021   Matt Amy
• [TYPES/announce] Deadline extension: Quantum Physics and Logic (QPL 2021), new submission deadline 12 March   Miriam Backens
• [TYPES/announce] Deadline Extension: VMCAI 2022   Thomas Wies
• [TYPES/announce] Deadline extension: WRLA 2022 -- 14th Int'l Workshop on Rewriting Logic and its Applications   Kyungmin Bae
• [TYPES/announce] DisCoTec 2022: FINAL CALL for Workshops and Tutorial [deadline today]   Giorgio Audrito
• [TYPES/announce] Doctoral Symposium at FM 2021: Call for Research Abstracts   Jun PANG
• [TYPES/announce] ECI 2022: Call for course proposals - Buenos Aires, July 2022   Alejandro Díaz-Caro
• [TYPES/announce] ECOOP 2022: Call for Papers   Carolin Brandt
• [TYPES/announce] Engineer positions for the ProofInUse consortium   Claude Marche
• [TYPES/announce] ESSLLI 2022 Call for Course and Workshop Proposals   Moss, Larry
• [TYPES/announce] ETAPS 2022 1st joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2022 2nd joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2022 final call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations   Caterina Urban
• [TYPES/announce] EuroProofNet - Call for Working Group membership Application   Frédéric Blanqui
• [TYPES/announce] EXPRESS/SOS 2021: First Call for Papers   Ornela Dardha
• [TYPES/announce] Expression of Interest for MSCA PF on Reversible Computing @ UNIBO, Italy   ivan.lanese
• [TYPES/announce] Extended deadline: FLOPS 2022, 16th International Symposium on Functional and Logic Programming   Atsushi Igarashi
• [TYPES/announce] F-IDE 2021 - 2nd Call for Papers   Andrei Paskevich
• [TYPES/announce] F-IDE 2021 - Last Call for Papers - Extended Deadline   Andrei Paskevich
• [TYPES/announce] Faculty Position at Georgia Tech   Qirun Zhang
• [TYPES/announce] Faculty position at UCL, London   Pym, David
• [TYPES/announce] Faculty position in Theoretical CS @ QMUL, London   Paulo Oliva
• [TYPES/announce] Faculty positions at Portland State University   Andrew Tolmach
• [TYPES/announce] Faculty positions at University of Ottawa   Amy Felty
• [TYPES/announce] Final Call for Nominations: Beth Outstanding Dissertation Prize 2021   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Final Call for Talks: Haskell Implementors' Workshop @ ICFP'21   Ningning Xie
• [TYPES/announce] Final CfP. CiE 2021: Connecting with computability   acie at acie.eu
• [TYPES/announce] Final CfP: 14th Interaction and Concurrency Experience (ICE 2021)   Alceste Scalas
• [TYPES/announce] Final CFP: Quantum Physics and Logic (QPL 2021), submission deadline March 12   Miriam Backens
• [TYPES/announce] Final CFP: Workshop on Gradual Typing 2022   Siek, Jeremy
• [TYPES/announce] First Call for Nominations: Beth Outstanding Dissertation Prize (BODP) 2021   Sadrzadeh, Mehrnoosh
• [TYPES/announce] First call for papers: FMICS 2022: Formal Methods for Industrial Critical Systems   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] First CFP Logic and Complexity (LCC 2022) workshop   Patrick Baillot
• [TYPES/announce] First CFPs LSFA 2021 - affiliated to FSCD 2021   Mauricio Ayala-Rincon
• [TYPES/announce] First CFP VPT 2022 Tenth International Workshop on Verification and Program Transformation   Lisitsa, Alexei
• [TYPES/announce] FM 2021 - Call for Participation   Jun PANG
• [TYPES/announce] FMBC 2021 - 2nd Call for Papers   Bruno Bernardo
• [TYPES/announce] FMBC 2021 - 3rd Call for Papers (Deadline extensions)   Bruno Bernardo
• [TYPES/announce] FMBC 2021 - Call for Papers   Bruno Bernardo
• [TYPES/announce] FMBC 2021 - Call for Participation   Bruno Bernardo
• [TYPES/announce] FMBC 2021 - Final Call for Papers (Deadline extension)   Bruno Bernardo
• [TYPES/announce] FMCAD 2021 2nd Call for Participation   Michael Whalen
• [TYPES/announce] FMCAD 2021 Call for Participation   Michael Whalen
• [TYPES/announce] FMCAD Student Forum CFP (Deadline Sat July 10)   Mark Santolucito
• [TYPES/announce] FMCAD Student Forum CFP (EXTENDED Deadline: July 17)   Mark Santolucito
• [TYPES/announce] FMTea (Formal Methods Teaching) Tutorial series starting soon!   Luigia Petre
• [TYPES/announce] FormaliSE 2022 @ ICSE: Call for Papers   Hartmanns, Arnd (UT-EEMCS)
• [TYPES/announce] Formal Methods 2021 -- 2nd call for workshop & tutorial proposals   Jun PANG
• [TYPES/announce] Formal Methods 2021: Workshops and Tutorials   Jun PANG
• [TYPES/announce] Formal Methods for Autonomous Systems 2021: Registration   Matt Luckcuck
• [TYPES/announce] FORMATS 2021: 2nd CFP   Mahsa
• [TYPES/announce] FORMATS 2022: first call for papers   Gethin Norman
• [TYPES/announce] FSCD 2021: Call for (Online) Participation   Carsten Fuhs
• [TYPES/announce] FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)   Carsten Fuhs
• [TYPES/announce] FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)   Carsten Fuhs
• [TYPES/announce] FSCD 2021: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD 2022: Final Call for Workshops (deadline: September 27, 2021)   Carsten Fuhs
• [TYPES/announce] FSCD 2022: First Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD 2022 call for workshops   Nachum Dershowitz
• [TYPES/announce] FSCD 2023: Call for Location   Carsten Fuhs
• [TYPES/announce] Full-time teaching faculty position at Illinois Tech (Chicago)   Stefan Muller
• [TYPES/announce] Full professor and associate professor positions available at IRIF - Université de Paris   Hugo Herbelin
• [TYPES/announce] Full Professorship for Formal Methods at JKU Linz   Martina Seidl
• [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] Fully funded PhD position on the intersection of PL and SE at University of Tübingen, Germany   Jonathan Brachthäuser
• [TYPES/announce] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13)   Andrei Popescu
• [TYPES/announce] Fundamenta Informaticae ---> OPEN ACCESS   Sławomir Lasota
• [TYPES/announce] Funded postdoc and PhD positions in theorem proving and intuitionistic mathematics   Liron Cohen
• [TYPES/announce] Funded postdoc position in Formal Verified Compilation of Probabilistic Programming Languages at Boston College   Jean-Baptiste Tristan
• [TYPES/announce] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022   Gabriel Scherer
• [TYPES/announce] Fwd: Informatics at University of Leicester   Seyed H. HAERI (Hossein)
• [TYPES/announce] Fwd: permanent academic positions, Imperial   Gardner, Philippa A
• [TYPES/announce] Gauging interest for a machine learning & type theory workshop   Talia Ringer
• [TYPES/announce] HCVS 2022 - First Call for Papers   Maurizio Proietti
• [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] Hiring of researcher by University of Minho   José Carlos Espírito Santo
• [TYPES/announce] History and Philosophy of Computing 2021, CfP   Simone Martini
• [TYPES/announce] HOPE'21 at ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Ohad Kammar
• [TYPES/announce] ICALP 2021 - Second Call For Papers   Simon Gay
• [TYPES/announce] ICALP 2021 2nd Call for Participation   Simon Gay
• [TYPES/announce] ICALP 2021: Call for Student Volunteers   Simon Gay
• [TYPES/announce] ICALP 2021 Call for Participation   Simon Gay
• [TYPES/announce] ICALP 2021 Second Call for Workshops   Gethin Norman
• [TYPES/announce] ICFP'21 Artifact Evaluation Committee: call for nominations   Gabriel Scherer
• [TYPES/announce] ICFP 2021 Student Research Competition: Call for Submissions   Sam Tobin-Hochstadt
• [TYPES/announce] IEEE SecDev 2021 CFP   Frank Piessens
• [TYPES/announce] IE Webinar (Oct 21st): SMT Solving - Past, Present and Future   Kit Wan Chui
• [TYPES/announce] IE Webinar (Oct 8): Thriving as a doctoral student in informatics   Kit Wan Chui
• [TYPES/announce] IFL'21 call for participation   Pieter Koopman
• [TYPES/announce] IFL'21 Final call for papers   Pieter Koopman
• [TYPES/announce] IFL'21 final call for participation   Pieter Koopman
• [TYPES/announce] IFL'21 Third call for papers   Pieter Koopman
• [TYPES/announce] IFL2021 First call for papers   Pieter Koopman
• [TYPES/announce] IFL2021 second call for papers   Pieter Koopman
• [TYPES/announce] IJCAR 2022 - Call for Workshops, Tutorials and Competitions   Sophie Tourret
• [TYPES/announce] International Workshop on Confluence (IWC 2021): call for papers   Samuel Mimram
• [TYPES/announce] International Workshop on Confluence (IWC 2021): second call for papers   Samuel Mimram
• [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] Isaac Newton Institute Workshop on Verified Software: Tools and Experiments (June 7-11, 2021); Register by May 20   Natarajan Shankar
• [TYPES/announce] ITP2021: Second Call for Workshops (Deadline 11 January 2021)   itp2021-workshops at easyconferences.eu
• [TYPES/announce] ITRS 2021 Call for Post-Proceedings   Riccardo Treglia
• [TYPES/announce] ITRS 21 - Final CfP   Riccardo Treglia
• [TYPES/announce] ITRS 21 CfP   Riccardo Treglia
• [TYPES/announce] ITRS 21 CfP   Riccardo Treglia
• [TYPES/announce] ITRS 21 CfP (Extended Deadline)   Riccardo Treglia
• [TYPES/announce] ITRS Call for Post-Proceedings   Riccardo Treglia
• [TYPES/announce] ITRS Call for Post-Proceedings   Riccardo Treglia
• [TYPES/announce] iVerif (FSTTCS Pre-Conference Workshop) Call for participation: December 14   Shibashis Guha
• [TYPES/announce] IWACO 2021 - Call for Papers   Elias Castegren
• [TYPES/announce] Job advert: RUST researcher   Dan Ghica
• [TYPES/announce] Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes   Benoit Montagu
• [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] Junior Research Fellowship in Engineering Science or Computer Science at Trinity College Oxford   Marta Kwiatkowska
• [TYPES/announce] LAFI'22: Call for Extended Abstracts   Jean-Baptiste Tristan
• [TYPES/announce] LAFI'22: Submission deadline extended to October 20   Christine Tasson
• [TYPES/announce] LAMAS&SR Final CFP (Submission deadline extended)   Giuseppe Perelli
• [TYPES/announce] LAP 2021 - Logic and Applications: CFP   Simona Kasterovic
• [TYPES/announce] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] Last CfP: SCSS 2021   Temur Kutsia
• [TYPES/announce] Last LSFA 2021 CPFs - Affiliated to FSCD 2021   Mauricio Ayala-Rincon
• [TYPES/announce] Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent   Dominic Orchard
• [TYPES/announce] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021   Andrei Popescu
• [TYPES/announce] Lectureships available at Royal Holloway, University of London -- Computer Science and Information Security (multiple posts)   Nicola Paoletti
• [TYPES/announce] LFMTP 2021 (extended deadline)   Elaine Pimentel
• [TYPES/announce] LFMTP 2021 - 1st call for papers   Elaine Pimentel
• [TYPES/announce] LFMTP 2021 - 2nd call for papers   Elaine Pimentel
• [TYPES/announce] LFMTP 2021 - 3rd cfp   Elaine Pimentel
• [TYPES/announce] LICS 2021 Call for Participation   Sam Staton
• [TYPES/announce] LICS 2021 Online and Call for Workshops   Sam Staton
• [TYPES/announce] LICS 2022 Call for Papers   Sam Staton
• [TYPES/announce] Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)   Seyed H. HAERI (Hossein)
• [TYPES/announce] Logical Aspects of Computational Linguistics 2021 - Deadline Extension/Final call for papers   Richard Moot
• [TYPES/announce] Logical Aspects of Computational Linguistics 2021: Second Call for Papers   Richard Moot
• [TYPES/announce] Logic and Interactions 2022 (Marseille, France) -- Early announcement   Gabriel Scherer
• [TYPES/announce] Logic and Probabilistic Programming 2022 - Call for Participation   Ugo Dal Lago
• [TYPES/announce] LOPSTR 2021 - Call for Papers: Extended Deadline   Niccolò Veltri
• [TYPES/announce] LOPSTR 2021 2nd Call for Papers   Wim Vanhoof
• [TYPES/announce] LOPSTR 2021 Call for Papers   Wim Vanhoof
• [TYPES/announce] LOPSTR 2021 Deadline extension   Wim Vanhoof
• [TYPES/announce] LSFA 2021 - extended deadline - Affiliated to FSCD 2021   Mauricio Ayala-Rincon
• [TYPES/announce] Marie Skłodowska-Curie COFUND doctoral training programme - LogiCS at TUWien   Ezio Bartocci
• [TYPES/announce] MFPS 2021 -- Call for Papers   Ana Sokolova
• [TYPES/announce] MFPS 2021: Deadline Extension and Invited Speakers   Ana Sokolova
• [TYPES/announce] ML Family Workshop 2021: deadline extension   Jonathan Protzenko
• [TYPES/announce] ML Family Workshop 2021: final call for short abstracts and presentations   Jonathan Protzenko
• [TYPES/announce] ML Family Workshop 2021: first call for short abstracts and presentations   Jonathan Protzenko
• [TYPES/announce] Morello: Edinburgh research posts on capability-based security technologies   Ian Stark
• [TYPES/announce] MSFP 2022 - First Call for Papers   Jeremy Gibbons
• [TYPES/announce] Multiple open positions (postdoc, PhD, intern) on runtime verification at CEA LIST, France   Julien Signoles
• [TYPES/announce] New book: Functional Algorithms, Verified!   Tobias Nipkow
• [TYPES/announce] New Software Foundations release   Benjamin Pierce
• [TYPES/announce] New Software Foundations title: Separation Logic Foundations by Arthur Charguéraud   Benjamin Pierce
• [TYPES/announce] NFM 2022 - call for papers - DEADLINE EXTENSION!   Klaus Havelund
• [TYPES/announce] NFM 2022 - FINAL CALL FOR PAPERS   Klaus Havelund
• [TYPES/announce] NFM 2022 - SECOND CALL FOR PAPERS   Klaus Havelund
• [TYPES/announce] NFM 2022 - THIRD CALL FOR PAPERS   Klaus Havelund
• [TYPES/announce] NSV 2021 Workshop: Extended Deadline May 7   Dimitrova, Rayna
• [TYPES/announce] NWPT 2021 call for contributions - deadline 10 October   Tarmo Uustalu
• [TYPES/announce] One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area   Gabriel Scherer
• [TYPES/announce] One PhD position in design and implementation of managed programming languages   Tobias Wrigstad
• [TYPES/announce] OOPSLA 2022: Round 1 Call for Papers   Amal Ahmed
• [TYPES/announce] OOPSLA 2022 Round 1 - final call for papers   Andreea Costea
• [TYPES/announce] OPLSS 2021 - Oregon Programming Languages Summer School   Paul Downen
• [TYPES/announce] OPLSS 2021 - See You At The Oregon Programming Languages Summer School   Paul Downen
• [TYPES/announce] Overlay 2021: Call For Papers   Dario Della Monica
• [TYPES/announce] PEPM 2021 - Call for Participation   Sam Lindley
• [TYPES/announce] PEPM 2022 - First Call for Papers   Youyou Cong
• [TYPES/announce] PEPM 2022 - Second Call for Papers   Youyou Cong
• [TYPES/announce] Permanent academic positions, Imperial College London   Gardner, Philippa A
• [TYPES/announce] PhD and Postdoc positions: cyclic proof theory and coinductive reasoning   Liron Cohen
• [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] PhD and Postdoc Positions in Automated Reasoning at Bar-Ilan University   Yoni
• [TYPES/announce] PhD and Postdoc positions in Security and Program Analysis at UniBw Munich   Kinder, Johannes
• [TYPES/announce] PhD funding on "Reasoning about Concurrent Game Structures with Numerical Resources"   lutz at lix.polytechnique.fr
• [TYPES/announce] PhD GTA Positions at University of Leicester, UK   Crole, Roy L. (Dr.)
• [TYPES/announce] PhD in Mathematical Foundations in Bath - deadline 21 Feb   Willem Heijltjes
• [TYPES/announce] PhD opening in HoTT at Stockholm — note close deadline   Peter LeFanu Lumsdaine
• [TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris   Christine Tasson
• [TYPES/announce] PhD openings in Security and Privacy at TU Wien   Maffei, Matteo
• [TYPES/announce] PhD or postdoc position on program verification and Iris at Radboud University Nijmegen   Robbert Krebbers
• [TYPES/announce] PhD or postdoc position on program verification in Coq/Iris at Radboud University Nijmegen   Robbert Krebbers
• [TYPES/announce] PhD position: Proof Theory and Algebra of Fixed Points. Birmingham, UK and Melbourne, Australia. Deadline: **16 July**   anupamdotdas at gmail.com
• [TYPES/announce] PhD position at IMDEA Software Institute   niki.vazou
• [TYPES/announce] PhD position at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] PhD Position at U. Oslo: Formal Methods for Probabilistic Programs   Einar Broch Johnsen
• [TYPES/announce] PhD position in automated reasoning (Grenoble, France)   Radu Iosif
• [TYPES/announce] PhD Position in Deductive Verification of Safety-Critical Software   Dilian Gurov
• [TYPES/announce] PhD position in Derivation Systems for Modal Fixpoint Logics   Bahareh Afshari
• [TYPES/announce] PhD position in formal methods at the University of Oslo, Norway   Peter Csaba Ølveczky
• [TYPES/announce] PhD position in Formal Methods for Security and Concurrency at NTNU (Norwegian University of Science and Technology)   Christian Johansen
• [TYPES/announce] PhD position in higher-order rewriting and program equivalence at Radboud University Nijmegen   Cynthia Kop
• [TYPES/announce] PhD position in HoTT/UF at TU Delft   Benedikt Ahrens
• [TYPES/announce] PhD position in Logic & Security at UCL, London   Pym, David
• [TYPES/announce] PhD Position in Programming Languages at TU Delft   Casper Bach Poulsen
• [TYPES/announce] PhD position in Programming Language Tooling - Lund University, Sweden   Görel Hedin
• [TYPES/announce] PhD position in the analysis of concurrent or distributed programs, Imperial   Gardner, Philippa A
• [TYPES/announce] PhD position in Type Theory at Chalmers/Gothenburg University (deadline 8 Nov)   Ana Bove
• [TYPES/announce] PhD position on coalgebra and semantics at Radboud University   Jurriaan Rot
• [TYPES/announce] PhD position on Embedded Systems Verification at University of Twente, Netherlands   m.huisman at utwente.nl
• [TYPES/announce] PhD position on program verification in Coq   David Nowak
• [TYPES/announce] PhD position on Quantitative Semantics at INESC-TEC and University of Minho.   Renato Neves
• [TYPES/announce] PhD position on the formalization of logical calculi in Saarbrücken   Andrei Popescu
• [TYPES/announce] PhD positions at Stevens in PL and Systems   Michael Greenberg
• [TYPES/announce] PhD positions at Stevens in PL and Systems   Ricardo Medel
• [TYPES/announce] PhD positions in Grenoble, France   Radu Iosif
• [TYPES/announce] PhD positions in Grenoble, France   Radu Iosif
• [TYPES/announce] PhD positions in PL at the University of Bristol   Alex Kavvos
• [TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st January 2022   Ornela Dardha
• [TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st July   Ornela Dardha
• [TYPES/announce] PhD scholarship on Concurrency and Logic   Jorge A. Perez
• [TYPES/announce] PhD scholarship on Concurrency and Logic (Updated)   Jorge A. Perez
• [TYPES/announce] PhD student and post-doc positions in Program Verification at ETH Zurich   Mueller Peter
• [TYPES/announce] PhD Student Opportunity in the Granule Project   Harley D. Eades III
• [TYPES/announce] PhD studentship, Luxembourg, Security and Formal Methods   Ross James HORNE
• [TYPES/announce] PLanQC 2021 -- Call for Submissions   Matt Amy
• [TYPES/announce] PLAS 2021 Call for Participation   Zhang, Danfeng
• [TYPES/announce] PLDI'22 Artifact Evaluation Committee Nominations   Niki Vazou
• [TYPES/announce] PLDI 2021 Co-located events   Guha, Arjun
• [TYPES/announce] PLDI 2021 Student Research Competition (SRC)   Guha, Arjun
• [TYPES/announce] PLDI 2022 Call for (Self-) Nomiation to Artifact Evaluation Committee   William J. Bowman (PLDI'22 Publicity Chair)
• [TYPES/announce] PLDI 2022 First Call for Papers   William J. Bowman
• [TYPES/announce] PLDI 2022 Second Call for Papers   William J. Bowman
• [TYPES/announce] Please post   Nachum Dershowitz
• [TYPES/announce] please publicise   Nachum Dershowitz
• [TYPES/announce] PLMW at PLDI 2021: Call for Applications   Stephen Chong
• [TYPES/announce] PLMW at POPL 2022: 2nd Call for Application   Stephanie Balzer
• [TYPES/announce] PLMW at POPL 2022: Call for Application   Stephanie Balzer
• [TYPES/announce] POPL 2021 - Talks are live! - Second Call for Participation   Michael Greenberg
• [TYPES/announce] POPL 2022 Call for Papers [REVISED, apologies for multiple emails]   Loris D'Antoni
• [TYPES/announce] POPL 2022 CALL FOR STUDENT VOLUNTEERS   Konstantinos Kallas
• [TYPES/announce] POPL22 (Philadelphia, USA) - Call for Submissions   Loris D'Antoni
• [TYPES/announce] POPL Calls for Tutorials/Workshops/Student Research Competition   Loris D'Antoni
• [TYPES/announce] Pos doc position at University of Minho   José Carlos Espírito Santo
• [TYPES/announce] Position: technical lead for certification, IO   Simon Thompson
• [TYPES/announce] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield   Andrei Popescu
• [TYPES/announce] Post-doc position (2 years) on monitoring and verification of smart systems (deadline 18/3/21)   Emilio Tuosto
• [TYPES/announce] Post-Doc position at INRIA on semantics and verification of probabilistic programs   Martin Avanzini
• [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland   Simon Gay
• [TYPES/announce] Post-doc position in PL at University of Glasgow, Scotland   Simon Gay
• [TYPES/announce] Post-doc position in Programming Language Foundations at University of Glasgow   Simon Gay
• [TYPES/announce] Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris)   Alexis Saurin IRIF
• [TYPES/announce] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh   Sam Lindley
• [TYPES/announce] Post-doctoral research position on `Gillian; Concurrency', Imperial   Gardner, Philippa A
• [TYPES/announce] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)   Dominique Unruh
• [TYPES/announce] Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany   Ralf Kuesters
• [TYPES/announce] Postdoc at GSSI (deadline July 8, 2021)   Emilio Tuosto
• [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK   A.Das at bham.ac.uk
• [TYPES/announce] Postdoc in quantum computation at Dalhousie   Julien Ross
• [TYPES/announce] Postdoc opening in categorical semantics   Patricia Johann
• [TYPES/announce] postdoc position (6 years) in CL group in Innsbruck   Aart Middeldorp
• [TYPES/announce] Postdoc Position, Programming Group - SCS, University of St.Gallen   Guido Salvaneschi
• [TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time)   Georg Weissenbacher
• [TYPES/announce] Postdoc position: Formal Methods (Munich, Germany)   Gunther Reißig
• [TYPES/announce] Postdoc position: Formal methods in control (Munich, Germany), ref 9y22x   Gunther Reissig
• [TYPES/announce] Postdoc position: Formal Verification/Synthesis (Munich, Germany, deadline: August 28, 2021)   Gunther Reißig
• [TYPES/announce] Postdoc position at Cambridge in programming with equations   Jeremy Yallop
• [TYPES/announce] Postdoc position at CMU: Verified DSLs for high assurance systems   Eunsuk Kang
• [TYPES/announce] Postdoc Position at Simon Fraser University in Vancouver, Canada   Gaboardi, Marco
• [TYPES/announce] Postdoc position at the LIP laboratory, ENS de Lyon, France   Damien Pous
• [TYPES/announce] Postdoc position at the University of Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] Postdoc position in distributed computing at the IMDEA Software Institute   Alexey Gotsman
• [TYPES/announce] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany   Ralf Kuesters
• [TYPES/announce] Postdoc Position in Formal Verification   Ralf Kuesters
• [TYPES/announce] Postdoc Position in Formal Verification   Ralf Kuesters
• [TYPES/announce] postdoc position in Lille (France) on type systems and logical methods   Patrick Baillot
• [TYPES/announce] Postdoc position in quantum formal verification @ Université Paris-Saclay, CEA List, France   christophe chareton
• [TYPES/announce] Postdoc position in software security at Penn State CSE   Gang (Gary) Tan
• [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] Postdoc positions @ MPI-SWS   Viktor Vafeiadis
• [TYPES/announce] Postdoctoral Opening at the University of Minnesota   Gopalan Nadathur
• [TYPES/announce] Postdoctoral position at Imperial College London   Cristian Cadar
• [TYPES/announce] Postdoctoral position at Stanford Center for AI Safety   Clark Barrett
• [TYPES/announce] Postdoctoral Position at the University of Cambridge   Jeremy Yallop
• [TYPES/announce] Postdoctoral position in homotopy type theory and related topics at Stockholm University   Anders Mortberg
• [TYPES/announce] Postdoctoral Position in Verified Security   Brijesh Dongol
• [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] Postdoctoral positions at IRIF, Paris, France   Giuseppe Castagna
• [TYPES/announce] Postdoctoral Researcher at Cornell University   Nate Foster
• [TYPES/announce] PPDP 2021 Call for Papers   Silvia Ghilezan
• [TYPES/announce] PPDP 2021 deadline extension   Silvia Ghilezan
• [TYPES/announce] PPDP 2021 Second Call for Papers   Silvia Ghilezan
• [TYPES/announce] Practical Aspects of Declarative Languages (PADL 2021) Final Call for Participation   Dominic Orchard
• [TYPES/announce] Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria   Ezio Bartocci
• [TYPES/announce] ProbProg 2021: CALL FOR PARTICIPATION   Jean-Baptiste Tristan
• [TYPES/announce] Professor position in "Static security guarantees for programming languages"   Coen DE ROOVER
• [TYPES/announce] Professor Position in Secure and Dependable Software Systems and Services at KU Leuven   Bart Jacobs
• [TYPES/announce] Proof and Computation 2021   Chuangjie Xu
• [TYPES/announce] Proof and Computation 2021   Chuangjie Xu
• [TYPES/announce] ProWeb21: Deadline Extension (8th February)   Simon Fowler
• [TYPES/announce] Publication of the TYPES'20 post-proceedi9ngs   Ugo de Liguoro
• [TYPES/announce] PxTP 2021: call for papers   Giselle Reis
• [TYPES/announce] Ralf Jung wins the ETAPS Doctoral Dissertation Award 2021   Caterina Urban
• [TYPES/announce] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition   Luigia Petre
• [TYPES/announce] RC2022: First Call for Papers   Claudio Mezzina
• [TYPES/announce] RC2022 call for papers   Claudio Mezzina
• [TYPES/announce] Reader (Associate Professor) Position in Programming Languages at the University of Kent   Dominic Orchard
• [TYPES/announce] Reminder: 2-year position in HoTT at Stockholm, deadline this Friday   Peter LeFanu Lumsdaine
• [TYPES/announce] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week   Anders Mortberg
• [TYPES/announce] Research Assistant/Associate at Department of Computing, Imperial College London   Yoshida, Nobuko
• [TYPES/announce] Research Associate position in Randomized Testing at Imperial College London   Donaldson, Alastair F
• [TYPES/announce] Researcher position on ERC project FUN2MODEL at Oxford   Marta Kwiatkowska
• [TYPES/announce] Research Fellows in Logic at UCL, London   Pym, David
• [TYPES/announce] Research Fellows in Logic at UCL, London   Pym, David
• [TYPES/announce] Research position at fortiss, Munich   Chuangjie Xu
• [TYPES/announce] Research position at UCL, London   Pym, David
• [TYPES/announce] Research position in Formal Verification at HENSOLDT Cyber in Munich   Benedikt Ahrens
• [TYPES/announce] Research Programmer in HoTT and Cubical Type Theory   Favonia
• [TYPES/announce] Reversible Computation 2021 2nd CfP   Tetsuo Yokoyama
• [TYPES/announce] Reversible Computation 2021 3rd CfP (Extended deadlines)   Tetsuo Yokoyama
• [TYPES/announce] RRRR 2022 Call for Submissions   Hartmanns, Arnd (UT-EEMCS)
• [TYPES/announce] Rust Verification Workshop at ETAPS 2022: Call for Talk and Demo Proposals   Mueller Peter
• [TYPES/announce] RV 2021 call for papers - RV 2021 the 21st international conference on runtime verification   Dana Fisman
• [TYPES/announce] SAS 2021 Call for Papers   Namjoshi, Kedar (Nokia - US/Murray Hill)
• [TYPES/announce] SAS 2021 CFP Extended Deadline   Namjoshi, Kedar (Nokia - US/Murray Hill)
• [TYPES/announce] SBLP 2021 - First Call for Papers   Mario Pereira
• [TYPES/announce] SBLP 2021 - Second Call for Papers (deadline extension)   Mario Pereira
• [TYPES/announce] School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022   Marco Maggesi
• [TYPES/announce] SCSS 2021: deadline extension   Temur Kutsia
• [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] Second Call for Nominations: Beth Outstanding Dissertation Prize 2021   Sadrzadeh, Mehrnoosh
• [TYPES/announce] SECOND CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE   Nick Hu
• [TYPES/announce] Second Call for Papers: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)   James Cheney
• [TYPES/announce] Second Call for Participation DisCoTec 2021   Jasmine Xuereb
• [TYPES/announce] Second call for submissions (and deadline extension) - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)   Shilov Nikolay
• [TYPES/announce] Second CFP: Quantum Physics and Logic (QPL 2021), submission deadline February 12   Miriam Backens
• [TYPES/announce] Second CFPs LSFA 2021 affiliated to FSCD 2021   Mauricio Ayala-Rincon
• [TYPES/announce] Seeking new SIGPLAN video chairs   Benjamin Chung
• [TYPES/announce] Seminar talk by Georg Moser on Automated Analysis of Splaying et al. (SCOT seminar)   Baillot Patrick
• [TYPES/announce] Seminar talk on Adjoint Reactive GUI Programming   Harley D. Eades III
• [TYPES/announce] Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages   Harley D. Eades III
• [TYPES/announce] Seminar talk on Coupled Relational Symbolic Execution   Harley D. Eades III
• [TYPES/announce] Seminar talk on Extending Homotopy Type Theory with Linear Type Formers   Harley D. Eades III
• [TYPES/announce] Seminar Talk on Higher-Order Crypto   Harley D. Eades III
• [TYPES/announce] Seminar talk on Integrating Usability into Programming Language Design   Harley D. Eades III
• [TYPES/announce] Seminar talk on Mathematical Structures in Dependent Type Theory   Harley D. Eades III
• [TYPES/announce] Seminar talk on Relational Programming, Program Synthesis, Treating Rare Diseases, and More!   Harley D. Eades III
• [TYPES/announce] Seminar talk on Session Logical Relations for Noninterference   Harley D. Eades III
• [TYPES/announce] Seminar talk on Session Logical Relations for Noninterference   Harley D. Eades III
• [TYPES/announce] Seminar talk on skew X categories and structural proof theory   Harley D. Eades III
• [TYPES/announce] Seminar talk on the semantics of bisimilarity   Harley D. Eades III
• [TYPES/announce] Seminar talk on Tight Polynomial Worst-Case Bounds for Loop Programs   Harley D. Eades III
• [TYPES/announce] SemSpace 2021 Final CfP and Deadline extension   Martha Lewis
• [TYPES/announce] SETTA 2021: 2nd CFP updated with a special issue for STTT   songfu1983 at shanghaitech.edu.cn
• [TYPES/announce] SETTA 2021 Beijing: 3rd Call for Papers   songfu at shanghaitech.edu.cn
• [TYPES/announce] SETTA 2021 Beijing: final Call for Papers --extended deadline   宋富1983
• [TYPES/announce] SMT 2021 Workshop: Deadline Extension to May 7   Nadel, Alexander
• [TYPES/announce] SMT 2021 Workshop: Final Call for Papers   Nadel, Alexander
• [TYPES/announce] SMT 2021 Workshop: Second Call for Papers   Nadel, Alexander
• [TYPES/announce] SMT 2021 Workshop CFP   Nadel, Alexander
• [TYPES/announce] SMT Workshop 2021: Call for Participation   Nadel, Alexander
• [TYPES/announce] SOAP 2021 - Call for Participation   Caterina Urban
• [TYPES/announce] Soliciting nominations for the POPL 2022 Artifact Evaluation Committee   Mukund Raghothaman
• [TYPES/announce] Special Issue on Confluence - Mathematical Structures in Computer Science - Extended deadline   Mauricio Ayala-Rincon
• [TYPES/announce] SYCO 8 - 2nd Call for Papers   Maaike Zwart
• [TYPES/announce] SYCO 8 - Call for Papers   Maaike Zwart
• [TYPES/announce] SYCO 8 - Call for Participation   Maaike Zwart
• [TYPES/announce] SYCO 8 - Final Call for Participation   Maaike Zwart
• [TYPES/announce] TABLEAUX 2021 - 2nd Call for Papers. 6-9 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [TYPES/announce] TABLEAUX 2021 - Call for Papers. 6-9 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [TYPES/announce] TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [TYPES/announce] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce   Luigia Petre
• [TYPES/announce] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021   Natarajan Shankar
• [TYPES/announce] tenure-track assistant professor positions at Boston University Computer Science Department   Gaboardi, Marco
• [TYPES/announce] Tenure-track assistant professorship at Wesleyan University   Norman Danner
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual)   Elaine Pimentel
• [TYPES/announce] The Plutus team is hiring   Philip Wadler
• [TYPES/announce] Third CFP VPT 2021 Ninth International Workshop on Verification and Program Transformation   Lisitsa, Alexei
• [TYPES/announce] three-year postdoc position on verifying concurrent programs   Gardner, Philippa A
• [TYPES/announce] Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*   Helle Hvid Hansen
• [TYPES/announce] TLLA 2021 -- extended deadline!   Elaine Pimentel
• [TYPES/announce] TLLA 2021 - 1st cfp   Elaine Pimentel
• [TYPES/announce] TLLA 2021 - 2nd cfp   Elaine Pimentel
• [TYPES/announce] Trends in Functional Programming in Education 2022 2nd call for submissions   Elena Machkasova
• [TYPES/announce] Trends in Functional Programming in Education 2022 3rd (last) call for submissions   Elena Machkasova
• [TYPES/announce] Trends in Functional Programming in Education 2022 call for submissions   Elena Machkasova
• [TYPES/announce] Trends in linear logic and applications. Abstract: dealing may 13   Christian Retoré
• [TYPES/announce] Two assistant professor faculty positions (tenure track) at UMass Lowell   Jay McCarthy
• [TYPES/announce] Two fully funded PhD positions in type theory at Chalmers/Gothenburg Univ   Ana Bove
• [TYPES/announce] two industrially-funded PhD positions at VERIMAG, Grenoble, France   DAVID MONNIAUX
• [TYPES/announce] Two Lecturer (Assistant Professor) Positions at the University of Kent   Dominic Orchard
• [TYPES/announce] Two PhD positions and Two Postdoc positions in Logic (Groningen) *15 June 2021 deadline*   Jorge A. Perez
• [TYPES/announce] Two PhD positions at the university of Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] Two PhD positions in Formal Methods for Underwater Robots available (RWTH Aachen, Uni Oslo)   Einar Broch Johnsen
• [TYPES/announce] Two positions (one PhD and one Postdoc) in quantum formal verification @ Université Paris-Saclay, CEA List, France   BARDIN Sébastien
• [TYPES/announce] Two postdoc contracts at the University of Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] Two postdoc positions on next-generation fuzzing techniques   Alastair Donaldson
• [TYPES/announce] Two Postdoc Positions within the DIAPASoN Project   Ugo Dal Lago
• [TYPES/announce] Two tenure-track positions - University of Groningen, The Netherlands.   Jorge A. Perez
• [TYPES/announce] TYPES 2021: Call for Contributions   Henning Basold
• [TYPES/announce] TYPES 2021: Call for Participation   Henning Basold
• [TYPES/announce] TYPES 2021: types for proofs & programs, Virtual, 14-19 Jun 2021   Henning Basold
• [TYPES/announce] TYPES 2021 post-proceedings: Open call for papers   Henning Basold
• [TYPES/announce] TYPES 2021 post-proceedings: Second call for papers (Deadline extension)   Henning Basold
• [TYPES/announce] UNESCO World Logic Day at UCL: Logical Journeys   Sadrzadeh, Mehrnoosh
• [TYPES/announce] University Assistant (Post-Doc) Position at TU Wien, 20 hours/week   Traxler, Alexandra
• [TYPES/announce] Update: Seminar talk on Session Logical Relations for Noninterference   Harley D. Eades III
• [TYPES/announce] Vacancy for a PhD in Computer Science and Functional Programming   Edison Mera
• [TYPES/announce] Verification Mentorship Workshop 2021: Call for Participation   Arjun Radhakrishna
• [TYPES/announce] VerifyThis 2021: Call for Participation + Grants + Prizes   Siddharth Krishna
• [TYPES/announce] VerifyThis 2022 --- Call for Problems   Peter Lammich
• [TYPES/announce] VEST'21: Call for Participation   Ornela Dardha
• [TYPES/announce] VEST'21 Workshop: First Call for Talks   Ornela Dardha
• [TYPES/announce] VEST'21 Workshop: Second Call for Talks (Deadline Approaching)   Ornela Dardha
• [TYPES/announce] VEST 2021: Call for Short Talks   Ornela Dardha
• [TYPES/announce] VEST 2021 Last Call for Talks (deadline in 3 weeks)   Ornela Dardha
• [TYPES/announce] VMCAI 2022 - Call for Participation   Thomas Wies
• [TYPES/announce] VMCAI 2022 Student Fellowships   Thomas Wies
• [TYPES/announce] VORTEX 2021: Call for Papers   Davide Ancona
• [TYPES/announce] VORTEX 2021: Extended Deadline May 7   Davide Ancona
• [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] WiL'21 Final Call for Participation   Sandra Alves
• [TYPES/announce] Women in Logic 2021 - Call for Participation   Sandra Alves
• [TYPES/announce] Workshop on Type-Driven Development (TyDe 21 @ ICFP) Call for Participation   Dominic Orchard
• [TYPES/announce] Workshop on Verification of Probabilistic Programs (VeriProP 2021) - Call for Presentations and Participation   Benjamin Kaminski
• [TYPES/announce] WPTE 2021 (FINAL Call For Papers)   Keisuke Nakano
• [TYPES/announce] WPTE 2021 (FIRST Call For Papers)   Keisuke Nakano
• [TYPES/announce] WST 2021 - 1st Call for Papers   Samir Genaim
• [TYPES/announce] WST 2021 - Call for Papers   Samir Genaim
• [TYPES/announce] WST 2021: deadline extension (9 May, 2021)   Samir Genaim
• [TYPES/announce] WTSC21 - workshop on trusted smart contracts @ financial crypto   Andrea Bracciali

Last message date: Mon Dec 27 13:25:52 EST 2021
Archived on: Mon Dec 27 14:58:55 EST 2021

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...