2020 Archives by subject

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

Starting: Thu Jan 2 04:08:34 EST 2020
Ending: Thu Dec 31 05:32:27 EST 2020
Messages: 622

• [TYPES/announce] (Deadline extended to Jan 25th, 2020) LangSec 2020, San Francisco, USA   Gang (Gary) Tan
• [TYPES/announce] (Self-)Nomination forms for the PLDI 2020 Artifact Evaluation Committee   Luís Pina
• [TYPES/announce] (Self-)Nominations for OOPSLA 2020 Artifact Evaluation Committee   Gordon,Colin
• [TYPES/announce] 10 PhD positions at TU Wien on Security and Privacy, Formal Methods, and Machine Learning   Maffei, Matteo
• [TYPES/announce] 10 PhD studentships in Nottingham for UK/EU applicants   Venanzio Capretta
• [TYPES/announce] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020   Mihaela Rozman
• [TYPES/announce] 13 PhD Positions in Computer Science and System Engineering at University of Verona   Massimo Merro
• [TYPES/announce] 13th International Conference on Graph Transformation (ICGT2020): Call for Paper   Fabio Gadducci
• [TYPES/announce] 18th Quantum Physics and Logic (QPL 2021) -- workshop announcement   QPL 2021
• [TYPES/announce] 2-year post-doctoral position in Bologna on coinduction/abstract interpretation   Davide Sangiorgi
• [TYPES/announce] 25th Estonian Winter School in CS, last call for applications   Tarmo Uustalu
• [TYPES/announce] 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers   Ruy de Queiroz
• [TYPES/announce] 2 Lecturer (Assistant Professor) Positions in Programming Languages at the University of Kent   Dominic Orchard
• [TYPES/announce] 2 Lecturer (Assistant Professor) Positions in Programming Languages at the University of Kent   Dominic Orchard
• [TYPES/announce] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020   Mihaela Rozman
• [TYPES/announce] 2nd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification   Shilov Nikolay
• [TYPES/announce] 2nd Call for Papers: JFP Special Issue on Secure Compilation   Dominique DEVRIESE
• [TYPES/announce] 2nd CFP (updated VENUE and DATES): Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Guangzhou China, November 24-27, 2020   songfu1983 at shanghaitech.edu.cn
• [TYPES/announce] 2nd CfP: 13th Interaction and Concurrency Experience (ICE 2020)   Alceste Scalas
• [TYPES/announce] 2nd CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification   Temur Kutsia
• [TYPES/announce] 2nd CfP : International Workshop on Quantum Compilation : 23-24 September 2020   Ross Duncan
• [TYPES/announce] 2nd CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Beijing, China, July 8-11, 2020   songfu1983 at shanghaitech.edu.cn
• [TYPES/announce] 2nd CfP: UNIF 2020   Temur Kutsia
• [TYPES/announce] 2nd cfp Working Formal Methods Symposium (FROM 2020)   motogna at cs.ubbcluj.ro
• [TYPES/announce] 2nd Joint Call for Participation: IJCAR 2020 + FSCD 2020 + 17 workshops and events, June 29 -- July 6, 2020   Stefano Guerrini
• [TYPES/announce] 2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - 1st CFP   Bruno Bernardo
• [TYPES/announce] 2 new postdoc positions on Frama-C at CEA Paris Saclay   Julien Signoles
• [TYPES/announce] 2 PhD positions in programming languages at the University of Southern Denmark   Fabrizio Montesi
• [TYPES/announce] 3-year post-doc in Programming Language Foundations at University of Glasgow   Simon Gay
• [TYPES/announce] 3rd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification   Shilov Nikolay
• [TYPES/announce] 3rd CfP: 13th Interaction and Concurrency Experience (ICE 2020)   Alceste Scalas
• [TYPES/announce] 4-year PhD Position in Theory   Georg Moser
• [TYPES/announce] 4th Workshop on Program Equivalence and Relational Reasoning (PERR 2020)   Andrzej Murawski
• [TYPES/announce] 4th Workshop on Program Equivalence and Relational Reasoning (PERR 2020)   Andrzej Murawski
• [TYPES/announce] 4 year PhD position in Innsbruck (application deadline: 27 May 2020)   Aart Middeldorp
• [TYPES/announce] 5th autumn school "Proof and Computation"   Chuangjie Xu
• [TYPES/announce] 7 PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)   Emilio Tuosto
• [TYPES/announce] 7 PhD positions in Computer Science at GSSI, L'Aquila (Italy) -- DEADLINE JUNE 11   Emilio Tuosto
• [TYPES/announce] [2nd CFP] VMIL 2020 - Workshop on Virtual Machines and Language Implementations - Co-located with SPLASH 2020   Juan Fumero
• [TYPES/announce] [Call for participation] The Coq workshop 2020   Théo Zimmermann
• [TYPES/announce] [CFP]Agile and Functional Data Pipelines workshop   chair at afdp.xyz
• [TYPES/announce] [CFP]Agile and Functional Data Pipelines workshop   chair at afdp.xyz
• [TYPES/announce] [CFP] VMIL 2020 - Workshop on Virtual Machines and Language Implementations - Co-located with SPLASH 2020   Juan Fumero
• [TYPES/announce] [fm-announcements] Certified Programs and Proofs (CPP) 2021: Final Call for Papers   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] NASA Formal Methods 1st CFP   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline)   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] NASA Formal Methods Symposium - 2nd CFP   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] Release of NASA PVS Library v7.1   Munoz, Cesar (LARC-D320) via fm-announcements
• [TYPES/announce] [HOPE'20] DEADLINE EXTENSION: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (co-organised with ICFP'20)   Ohad Kammar
• [TYPES/announce] [LAFI 2021]: POPL 21 workshop on Languages for Inference   Jean-Baptiste Tristan
• [TYPES/announce] [PhD grant] Multiple open PhD positions at CEA LIST, France, in: Software Security through Program Analysis, Formal Methods or Machine Learning   BARDIN Sébastien
• [TYPES/announce] [postdoc] Multiple postdoc positions at CEA LIST, Paris, France, in Software Security through Program Analysis, Formal Methods or Machine Learning   BARDIN Sébastien
• [TYPES/announce] [SAS 2020] Last Call for Papers   Mihaela Sighireanu
• [TYPES/announce] [SAS 2020] Second Call for Papers + COVID-19 update   Mihaela Sighireanu
• [TYPES/announce] [TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland   Peter Achten
• [TYPES/announce] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland   Peter Achten
• [TYPES/announce] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021)   Peter Achten
• [TYPES/announce] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021)   Peter Achten
• [TYPES/announce] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)   Peter Achten
• [TYPES/announce] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)   Peter Achten
• [TYPES/announce] [Updated, deadline May 15] Verification Mentoring Workshop 2020: Call for scholarship applications   Jean-Baptiste Jeannin
• [TYPES/announce] ACKERMANN AWARD 2020: CALL FOR NOMINATIONS   EACSL Mail-Account
• [TYPES/announce] ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020   EACSL Mail-Account
• [TYPES/announce] ACKERMANN AWARD 2020: Final Call for Nominations   EACSL Mail-Account
• [TYPES/announce] Agda Implementors' Meeting XXXI - Edinburgh, 1-7 April 2020   Wen Kokke
• [TYPES/announce] Agda Implementors' Meeting XXXIII: Call for talks and participation   Jesper Cockx
• [TYPES/announce] Announcing Tactician 1.0 beta   Lasse Blaauwbroek
• [TYPES/announce] Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS)   Jamie Vicary
• [TYPES/announce] Announcing the release of PVS 7.1.   Sam Owre
• [TYPES/announce] APLAS 2020 Call for Papers   Bruno Oliveira
• [TYPES/announce] APLAS 2020 Call for Participation   Bruno Oliveira
• [TYPES/announce] Applied Category Theory 2020 - Second Call for Papers   Jamie Vicary
• [TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation - University of Groningen   Jorge A. Perez
• [TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation at the University of Groningen   Jorge A. Perez
• [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark   Anders Møller
• [TYPES/announce] Assistant Professor position at IU --- Quantum Computing   Sabry, Amr A.
• [TYPES/announce] Assistant Professor position at University of Vermont (PL/security/privacy)   Joe Near
• [TYPES/announce] Associate Professor Position in Orléans   Frédéric Dabrowski
• [TYPES/announce] Associate Professorship (~ tenure track faculty) in Programming Languages at Oxford   Jeremy Gibbons
• [TYPES/announce] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020   Mihaela Rozman
• [TYPES/announce] BCTCS & AlgoUK 2020 Final announcement and call for contributed talks   Berger U.
• [TYPES/announce] Berkeley summer seminar series on programming systems   Alvin Cheung
• [TYPES/announce] Build Automation and Programming Languages workshop (20 June 2020, collocated with PLDI 2020 in London)   Georgy Lukyanov
• [TYPES/announce] CADE-28: Call for Papers, Workshops, Tutorials and Competitions   Sophie Tourret
• [TYPES/announce] CADE-28: Call for Tutorials   Sophie Tourret
• [TYPES/announce] CADE-28 Call for Papers, Workshops, Tutorials, and Competitions   Sophie Tourret
• [TYPES/announce] Caleidoscope Complexity School: Call for Participation   Thomas Seiller
• [TYPES/announce] CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)   Mihaela Rozman
• [TYPES/announce] Call for abstracts: Workshop on Natural Formal Mathematics (NFM 2020)   Florian Rabe
• [TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020   Stephanie Balzer
• [TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020   Stephanie Balzer
• [TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20)   Benedikt Ahrens
• [TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020   Benedikt Ahrens
• [TYPES/announce] Call for contributions to PLDI co-located events   Wickerson, John P
• [TYPES/announce] Call for Events for <Programming> 2021   Fabio Niephaus
• [TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Call for online participation: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences   Martha Lewis
• [TYPES/announce] Call for Paper: LAMAS&SR 2021, London, 3 or 4 May (TBA) 2021   Giuseppe Perelli
• [TYPES/announce] CALL for PAPERS, ACM Transactions on Design Automation of Embedded Systems (TODAES), Special Issue on Approximate Systems   Eva Darulova
• [TYPES/announce] Call for Papers -- Information Systems and Technologies   Marcin Paprzycki
• [TYPES/announce] CALL FOR PAPERS - Applied Category Theory Conference (ACT2020)   Jamie Vicary
• [TYPES/announce] Call for Papers - DisCoTec 2021   Duncan Paul Attard
• [TYPES/announce] Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification   Shilov Nikolay
• [TYPES/announce] Call for Papers: ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS'20)   Vassena, Marco
• [TYPES/announce] Call for Papers: AGERE 2020   Elias Castegren
• [TYPES/announce] Call for Papers: DBPL 2020   James Cheney
• [TYPES/announce] Call for Papers: FormaliSE 2021   Simon Bliudze
• [TYPES/announce] Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain   Rozman, Mihaela
• [TYPES/announce] Call for papers: LOPSTR 2020   Fernandez, Maria Isabel
• [TYPES/announce] Call for papers: LOPSTR 2020 - a virtual conference   Fernandez, Maria Isabel
• [TYPES/announce] Call for Papers: PACMPL issue ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Call for papers: Student Research Competition @ PLDI 2020   Wickerson, John P
• [TYPES/announce] Call for papers: The 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020)   Simon Yusuf-Enoch
• [TYPES/announce] Call for papers: VMCAI 2021   Fritz Henglein
• [TYPES/announce] Call for Papers [Extended]: JFP Special Issue on Secure Compilation   Dominique Devriese
• [TYPES/announce] Call for participation, LangSec 2020, May 21st, on Zoom   Gang (Gary) Tan
• [TYPES/announce] Call for Participation 23rd Brazilian Symposium on Formal Methods (SBMF'20)   Volker Stolz
• [TYPES/announce] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)   Fernandez, Maria Isabel
• [TYPES/announce] Call for Participation: HoTT/UF 2020 - July 5-7   Benedikt Ahrens
• [TYPES/announce] Call for Participation: ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Participation: Natural Language Processing Advancements for Software Engineering (NLPaSE) @ 27th APSEC 2020   Saurabh Tiwari
• [TYPES/announce] Call for participation: PLMW @ PLDI 2020   Wickerson, John P
• [TYPES/announce] Call for Participation: Workshop "Proofs, Computation and Meaning", 20-21 March, Tübingen (Germany).   Paolo Pistone
• [TYPES/announce] Call for Participation to the Second Workshop on Automated Deduction for Separation Logics (ADSL 2020)   Radu Iosif
• [TYPES/announce] Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February   Ugo de'Liguoro
• [TYPES/announce] Call for Presentations: Principles of Secure Compilation (PriSC 2021 @ POPL 2021)   Deian Stefan
• [TYPES/announce] Call for short submissions - PSSV-2020: XI Workshop Program Semantics, Specification and Verification   Shilov Nikolay
• [TYPES/announce] Call for Submissions - 2020 Minerva Informatics Equality Award   Franziska Hauffe
• [TYPES/announce] Call for Submissions - 7th Int. Workshop on Applied Verification for Continuous and Hybrid Systems   Kostiantyn Potomkin
• [TYPES/announce] Call for Submissions: ICFP Student Research Competition   Sam Tobin-Hochstadt
• [TYPES/announce] Call for SyGuS Benchmarks and Language Extensions   Andrew Reynolds
• [TYPES/announce] Call for Tutorial Proposals: ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Workshop Proposals: ICFP 2021   Sam Tobin-Hochstadt
• [TYPES/announce] Cardano Virtual Summit 2020   Philip Wadler
• [TYPES/announce] CCC 2019+2020 postproceedings   Dieter Spreen
• [TYPES/announce] CCC 2020; 2nd call for submissions;   Dieter Spreen
• [TYPES/announce] Certified Programs and Proofs (CPP) 2021: Final Call for Papers   Andrei Popescu
• [TYPES/announce] Certified Programs and Proofs (CPP) 2021: First Call for Papers   Andrei Popescu
• [TYPES/announce] CFP (2nd call): IEEE ICCQ Conference on Code Quality in Moscow   Yegor Bugayenko
• [TYPES/announce] CfP - 3rd International Conference on Microservices (Microservices 2020)   Marco Peressotti
• [TYPES/announce] CfP: 13th Interaction and Concurrency Experience (ICE 2020)   Scalas, Alceste
• [TYPES/announce] CFP: 1st Workshop on Natural Language Processing Advancements for Software Engineering (NLPaSE) @ 27th APSEC 2020   Saurabh Tiwari
• [TYPES/announce] CFP: 27th Static Analysis Symposium, SAS 2020   Mihaela Sighireanu
• [TYPES/announce] CFP: 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2020), Los Angeles, 20 July 2020   Guy Katz
• [TYPES/announce] CFP: ACM Scala Symposium 2020   Guido Salvaneschi
• [TYPES/announce] CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification   Temur Kutsia
• [TYPES/announce] CFP: ATVA 2020 - submission deadlines extended   Oleg Sokolsky
• [TYPES/announce] CFP: GaLoP 2020 [Deadline extended]   Simon Castellan
• [TYPES/announce] CFP: GandALF2020 - 2nd Call for Papers   Davide Bresolin
• [TYPES/announce] CFP: GPCE 2020 − 19th International Conference on Generative Programming: Concepts & Experiences   Erwan BOUSSE
• [TYPES/announce] CfP: Haskell Symposium 2020   Tom Schrijvers
• [TYPES/announce] CFP: HATRA '20: Human Aspects of Types and Reasoning Assistants   Michael Coblenz
• [TYPES/announce] CFP: IEEE ICCQ-2021 Conference on Code Quality   Yegor Bugayenko
• [TYPES/announce] CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020   Ross Duncan
• [TYPES/announce] CFP: ISSTA 2020 Doctoral Symposium   Jaco Geldenhuys
• [TYPES/announce] CFP: LangSec 2020, San Francisco, USA, due on Jan 15th, 2020   Gang (Gary) Tan
• [TYPES/announce] CFP: LangSec 2021 (affiliated with IEEE S&P) due on Jan 15th, 2021   Gang (Gary) Tan
• [TYPES/announce] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning   Claudio Sacerdoti Coen
• [TYPES/announce] CfP: NLA'20 Deadline Extended: final   Roussanka Loukanova
• [TYPES/announce] CfP: NLA'20 Special Session at DCAI'20   Roussanka Loukanova
• [TYPES/announce] CFP: Open Virtual Special Issue of HSB 2020 in Information and Computation [Deadline Extension]   Max Tschaikowski
• [TYPES/announce] CfP: SCSS 2020   Temur Kutsia
• [TYPES/announce] CFP: SEFM - International Conference on Software Engineering and Formal Methods   Jacopo Mauro
• [TYPES/announce] CFP: SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering   Loli Burgueño
• [TYPES/announce] CFP: TCAD Special Issue on Compiler Frameworks and Co-design Methodologies for Heterogeneous Systems-on-Chip   Tobias Grosser
• [TYPES/announce] CfP: UNIF 2020   Temur Kutsia
• [TYPES/announce] CFP: VIRTUAL SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering   Loli Burgueño
• [TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal   Abderrahim AIT WAKRIME
• [TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal   Abderrahim AIT WAKRIME
• [TYPES/announce] CFP DisCoTec 2021 [2nd Call]   Duncan Paul Attard
• [TYPES/announce] CfP for TYPES 2020 postproceedings:   Ugo de'Liguoro
• [TYPES/announce] CfP Joint Linearity & TLLA Workshop   Valeria de Paiva
• [TYPES/announce] CFP SEFM - International Conference on Software Engineering and Formal Methods   Jacopo Mauro
• [TYPES/announce] CFP VerifyThis Long-Term Challenge (VTLTC 2020)   r.e.monti at utwente.nl
• [TYPES/announce] cfp Working Formal Methods Symposium (FROM 2020)   motogna at cs.ubbcluj.ro
• [TYPES/announce] CFW DisCoTec 2021 [1st Call]   Duncan Paul Attard
• [TYPES/announce] Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)   Benjamin C. Pierce
• [TYPES/announce] CICM 2020, July 26-31: Call for Online Participation   Serge Autexier
• [TYPES/announce] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020   Serge Autexier
• [TYPES/announce] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers   Serge Autexier
• [TYPES/announce] CMCS 2020: Call for Participation   Henning Basold
• [TYPES/announce] CMCS 2020: Call for Short Contributions   Henning Basold
• [TYPES/announce] CMCS 2020: Final Call for Papers (extended deadlines)   Henning Basold
• [TYPES/announce] CMCS 2020: Final Call for Participation   Henning Basold
• [TYPES/announce] CMSB 2020 - first call for papers   Tatjana Petrov
• [TYPES/announce] CMSB 2020 - second call for papers   Tatjana Petrov
• [TYPES/announce] CMSB 2020: Final Call for Contributions [deadline further postponed and going online]   Tatjana Petrov
• [TYPES/announce] Combinator Centenary   Philip Wadler
• [TYPES/announce] Competitively paid postdoc position in programming languages at the University of Southern Denmark   Fabrizio Montesi
• [TYPES/announce] Compiler Construction (CC) 2021 - Call for Papers   Delphine Demange
• [TYPES/announce] Compiler Construction (CC) 2021 - Call for Papers   Delphine Demange
• [TYPES/announce] Compiler Construction (CC) 2021 - Final Call for Papers   Delphine Demange
• [TYPES/announce] Computability in Europe 2020 rescheduling   acie at acie.eu
• [TYPES/announce] Computability in Europe 2021 - Second CALL FOR PAPERS   acie at acie.eu
• [TYPES/announce] Computability in Europe 2021 CALL FOR PAPERS   acie at acie.eu
• [TYPES/announce] Computational Logic and Applications 2020: call for (virtual) talk proposals   Noam Zeilberger
• [TYPES/announce] Computational Logic and Applications 2020: call for (virtual) talk proposals   Noam Zeilberger
• [TYPES/announce] Continuity, Computability, Constructivity 2020; call for submissions   Dieter Spreen
• [TYPES/announce] COORDINATION 2020: Extended deadlines   Simon Bliudze
• [TYPES/announce] COORDINATION 2021 - First Call for Papers   Ornela Dardha
• [TYPES/announce] CoqPL 2021: Call for Presentations   Amin Timany
• [TYPES/announce] CPP 2021: Call for Participation and Lightning Talks   Andrei Popescu
• [TYPES/announce] CS at max planck doctoral program applications by 31 December   Catalin Hritcu
• [TYPES/announce] CSF 2020 - Call for Short Talks   Gaboardi, Marco
• [TYPES/announce] CSL 2021 - Call for Participation   Alex Simpson
• [TYPES/announce] CS research internships at several Max Planck Institutes   Deepak Garg
• [TYPES/announce] DDSW2020 (Deadline Extended): International Workshop on Data-Driven Security   DDSW 2020
• [TYPES/announce] Deadline extended to Feb. 23: MT-CPS 2020   Kohei SUENAGA
• [TYPES/announce] DEADLINE EXTENSION - GandALF 2020   Davide Bresolin
• [TYPES/announce] DEADLINE EXTENSION - Joint Call for Papers - DisCoTec2020   Kiko Fernandez Reyes
• [TYPES/announce] Deadline extension: AMAI Special Issue on Theoretical and Practical Aspects of Unification   Temur Kutsia
• [TYPES/announce] DEADLINE EXTENSION: JLAMP Special Issue for PLACES 2020   Stephanie Balzer
• [TYPES/announce] Deadline Extension: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)   Martha Lewis
• [TYPES/announce] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020   Sadrzadeh, Mehrnoosh
• [TYPES/announce] DisCoTec 2020: 2nd call for satellite events   Ornela Dardha
• [TYPES/announce] DisCoTec call for satelite events (extended submission deadline)   Antonios Achilleos
• [TYPES/announce] EAPLS PhD Award 2020: Call for Nominations   Andreas Wortmann
• [TYPES/announce] EAPLS PhD Award 2020: Call for Nominations   Andreas Wortmann
• [TYPES/announce] ECSS 2020 - Diversity in Informatics Research and Education - Register Now!   Franziska Hauffe
• [TYPES/announce] Erlang MOOC running free from Monday 4 April   Simon Thompson
• [TYPES/announce] ETAPS 2020 afternoon, online, 2 July 2020, call for participation   Tarmo Uustalu
• [TYPES/announce] ETAPS 2021 1st joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2021 2nd joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations   Caterina Urban
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Last Call for Nominations   Caterina Urban
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Second Call for Nominations   Caterina Urban
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Third Call for Nominations   Caterina Urban
• [TYPES/announce] EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020   Benedikt Ahrens
• [TYPES/announce] Example of running a conference online BCTCS starting now   Setzer A.G.
• [TYPES/announce] Extended Deadline - Compiler Construction (CC) 2021   Delphine Demange
• [TYPES/announce] Extended Deadline: AGERE 2020   Elias Castegren
• [TYPES/announce] Extended Deadline: IWACO 2020 - Call for Papers   Elias Castegren
• [TYPES/announce] Extended deadline: PRDC 2020 The 25th Pacific Rim International Symposium on Dependable Computing   Simon Yusuf-Enoch
• [TYPES/announce] EXTENDED DEADLINE for CFP ARITH-2020, IEEE Symposium on Computer Arithmetic, June 7-10, Portland, OR, USA   Arnaud Tisserand
• [TYPES/announce] extended deadline Working Formal Methods Symposium (FROM 2020)]   motogna at cs.ubbcluj.ro
• [TYPES/announce] F-IDE 2021 - Call for Papers   Andrei Paskevich
• [TYPES/announce] Faculty position at Portland State University   Andrew Tolmach
• [TYPES/announce] Faculty Position at the Computer Science Department University of Malta   Adrian Francalanza
• [TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology   Iulian Neamtiu
• [TYPES/announce] Final Announcement - Panel Debate, Tomorrow @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"   Jamie Vicary
• [TYPES/announce] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)   Rozman, Mihaela
• [TYPES/announce] Final Call for Papers: APLAS 2020 (deadline on the 6th of July)   Bruno Oliveira
• [TYPES/announce] FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020   Valeria de Paiva
• [TYPES/announce] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Final CfP : International Workshop on Quantum Compilation : 23-24 September 2020   Ross Duncan
• [TYPES/announce] Final CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Guangzhou China, November 24-27, 2020   songfu1983 at shanghaitech.edu.cn
• [TYPES/announce] Final CfP: Workshop "Proofs, Computation and Meaning"   Paolo Pistone
• [TYPES/announce] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] First Call for Papers: EXPRESS/SOS 2020   Ornela Dardha
• [TYPES/announce] FLOPS 2020: Call for (free) Participation   Keisuke Nakano
• [TYPES/announce] FMBC 2020 - Call for Participation   Bruno Bernardo
• [TYPES/announce] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (3rd CfP, Deadline Extension)   Bruno Bernardo
• [TYPES/announce] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension)   Bruno Bernardo
• [TYPES/announce] FMCAD'20 (Sept 21 to 24) - Call for Participation   Georg Weissenbacher
• [TYPES/announce] FMICS'20 - Second Call for Papers   Ničković Dejan
• [TYPES/announce] FMICS20 - Call for Papers   Ničković Dejan
• [TYPES/announce] FMNET at JISCMAIL.AC.UK   Roggenbach M.
• [TYPES/announce] Formal Grammar Deadline Extension   Christian Wurm
• [TYPES/announce] FormaliSE 2021 - 2nd Call for Papers   Simon Bliudze
• [TYPES/announce] Formal Methods 2021 -- 1st Call for Papers   Jun PANG
• [TYPES/announce] Formal Methods 2021 -- 2nd Call for Papers   Jun PANG
• [TYPES/announce] Formal Methods 2021 -- Call for workshop & tutorial proposals   Jun PANG
• [TYPES/announce] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time)   Danko Ilik
• [TYPES/announce] FORMATS 2020 ** 2nd Call for Papers**   Nils Jansen
• [TYPES/announce] FORMATS 2020 ** 3nd Call for Papers**   Nils Jansen
• [TYPES/announce] FORMATS 2020 ** 4th Call for Papers **   Nils Jansen
• [TYPES/announce] FORMATS 2020 **Call for Participation**   Nils Jansen
• [TYPES/announce] FORTE 2020 @ DisCoTec, June 15-19, Valletta, Malta -- CFP   Ana Sokolova
• [TYPES/announce] FSCD 2020 - Call for (Online) Participation   Sandra Alves
• [TYPES/announce] FSCD 2020 - Extended deadline (Abstract: February 10/ Submission: February 13)   Sandra Alves
• [TYPES/announce] FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)   Sandra Alves
• [TYPES/announce] FSCD 2021: Call for Workshop Proposals   Carsten Fuhs
• [TYPES/announce] FSCD 2021: First Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD 2021: Second Call for Workshop Proposals (deadline 6 Dec 2020)   Carsten Fuhs
• [TYPES/announce] FSCD 2021: Third Call for Workshop Proposals - Extended Deadline: 20 Dec 2020   Carsten Fuhs
• [TYPES/announce] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020   Oortwijn Wytse
• [TYPES/announce] FTfJP 2020 (virtual): Second CFP   Oortwijn Wytse
• [TYPES/announce] FTfJP 2020 - Deadline Extended   Oortwijn Wytse
• [TYPES/announce] Fully Funded International Elite PhD Student Positions in SE/PL at PKU (Application Deadline: March 31)   Zhenjiang Hu
• [TYPES/announce] Fully funded PhD position(s) on managed languages and runtimes at the department of Information Technology at Uppsala University   Tobias Wrigstad
• [TYPES/announce] Fully funded PhD positions at Tallinn University of Technology   Ed Morehouse
• [TYPES/announce] Fully funded PhD studentship available at University of Southampton   Rathke J.
• [TYPES/announce] Funded MSc, PhD and postdoc positions in Program Reasoning and Verification at The University of British Columbia (Vancouver)   Alex Summers
• [TYPES/announce] Funded Undergraduate Research positions at UVM CS   Christian Skalka
• [TYPES/announce] Fwd: Call for Speakers - PRiML 2020   Seyed H. HAERI (Hossein)
• [TYPES/announce] Fwd: Second Call for Presentations: PriSC 2021 @ POPL 2021   Catalin Hritcu
• [TYPES/announce] Gandalf 2020 - Call for Participation   Davide Bresolin
• [TYPES/announce] GandALF2020: 11th International Symposium on Games, Automata, Logics, and Formal Verification   Davide Bresolin
• [TYPES/announce] GraMSec 2020 CFP   Harley D. Eades III
• [TYPES/announce] Guide to best practices for virtual conferences   Benjamin C. Pierce
• [TYPES/announce] Gödel Prize - 2nd call for nominations   Anuj Dawar
• [TYPES/announce] Haskell Symposium 2020 -- Call for Papers: Regular track & demos   Tom Schrijvers
• [TYPES/announce] Haskell tutors required!   Philip Wadler
• [TYPES/announce] HCVS 2020: Second Call For Papers   Matthias Heizmann
• [TYPES/announce] HotSpot: Hot Topics in the Principles of Security and Trust   Joshua Guttman
• [TYPES/announce] HSB2020 Call For Online Participation   Max Tschaikowski
• [TYPES/announce] ICALP - call for papers   Anuj Dawar
• [TYPES/announce] ICALP-LICS 2020 Fresh Call for Workshops   Sam Staton
• [TYPES/announce] ICALP 2020 - call for participation   Anuj Dawar
• [TYPES/announce] ICALP 2020 - CfP (update)   Anuj Dawar
• [TYPES/announce] ICALP 2020 - Conference relocation and deadline extension   Anuj Dawar
• [TYPES/announce] ICALP 2021 Call for Papers   Simon Gay
• [TYPES/announce] ICALP 2021 Call for Workshops   Ornela Dardha
• [TYPES/announce] ICFEM'20 deadline extended to 17th May 2020   Ichiro Hasuo
• [TYPES/announce] ICFEM 2020 - Deadline extension   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] ICFEM 2020: Deadline Extension (24 May)   Ichiro Hasuo
• [TYPES/announce] ICFP 2020: First Call for Students Volunteers   Victor Lanvin
• [TYPES/announce] ICFP 2020: Second Call for Student Volunteers   Victor Lanvin
• [TYPES/announce] ICFP 2020 will be held ONLINE Aug 23-28   Sam Tobin-Hochstadt
• [TYPES/announce] ICGT 2020: Call for Online Participation   Fabio Gadducci
• [TYPES/announce] IEEE CSF 2020: Registration   Maffei, Matteo
• [TYPES/announce] Int'al Workshop on Trusted Smart Contracts (WTSC’21) [cfp]   Andrea Bracciali
• [TYPES/announce] International Workshop on Confluence [IWC 2020] - 1st CFPs   Mauricio Ayala-Rincon
• [TYPES/announce] International Workshop on Confluence [IWC 2020] - 2nd CFP   Samuel Mimram
• [TYPES/announce] International Workshop on Confluence [IWC 2020] - Deadline extension   Samuel Mimram
• [TYPES/announce] Invitation LogicLounge with Cory Doctorow - Surveillance Capitalism is not a Rogue Capitalism - virtual open livestream - 21 July 2020 - 8am PST - hosted by CAV 2020   Mathias Preiner
• [TYPES/announce] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture   Rozman, Mihaela
• [TYPES/announce] ITP2021: Call for Workshops   itp2021-workshops at easyconferences.eu
• [TYPES/announce] ITP 2021 : Second Call for Papers   Liron Cohen
• [TYPES/announce] ITRS 2020 - Deadline Extension to January the 20th   Berardi Stefano
• [TYPES/announce] ITRS 2020: FInal Call for Papers (Due on 10 Jan, 2020)   Riccardo Treglia
• [TYPES/announce] IWACO 2020 - Call for Papers   Elias Castegren
• [TYPES/announce] JFP paper: POPLMark reloaded: Mechanizing proofs by logical relations   Brigitte Pientka
• [TYPES/announce] Job: Associate Professor in Programming Languages at Oxford   Sam Staton
• [TYPES/announce] Job: Associate Professor in Programming Languages at Oxford   Sam Staton
• [TYPES/announce] Job: research associate in probabilistic programming   Sam Staton
• [TYPES/announce] Job advertisement: assistant professor on cryptography at the University of Innsbruck   Thiemann, René
• [TYPES/announce] Job offer for a Mathematician or Computer Scientist researcher in Barcelona   Ana Borges
• [TYPES/announce] Joint Call for Participation - DisCoTec2020   Kiko Fernandez Reyes
• [TYPES/announce] Joint Call for Participation: IJCAR 2020 + FSCD 2020 + 17 workshops and events, June 29 -- July 6, 2020   Kaustuv Chaudhuri
• [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 and Senior Faculty Openings in Programming Languages at Uppsala University   Tobias Wrigstad
• [TYPES/announce] Junior Research Group Leader positions at MPI for Security and Privacy   Catalin Hritcu
• [TYPES/announce] LAFI'21, Workshop on Languages for Inference: extended deadline   Jean-Baptiste Tristan
• [TYPES/announce] LAST CFPs: ONLINE EXPRESS/SOS 2020 submission deadline 13th July   Ornela Dardha
• [TYPES/announce] LCC'20 First Call for Contributions   Martin Avanzini
• [TYPES/announce] Lecturer (Assistant Professor) position available at Bath, UK   Guy McCusker
• [TYPES/announce] Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent   Dominic Orchard
• [TYPES/announce] Lecturer, Senior Lecturer or Associate Professor Position at University of Bristol   Steven Ramsay
• [TYPES/announce] Lecturer / Senior Lecturer / Reader, University of Glasgow, School of Computing Science   Simon Gay
• [TYPES/announce] Lecturer/ Senior Lecturer/ Reader in Computer Science (Six Posts) at Royal Holloway, University of London (deadline: 27 Feb 2020)   Nicola Paoletti
• [TYPES/announce] LFMTP2020 Call for Participation   Claudio Sacerdoti Coen
• [TYPES/announce] LFMTP 2020 CFP (UPDATES due to Coronavirus)   Claudio Sacerdoti Coen
• [TYPES/announce] LFMTP 2020 Post-Proceedings: Call for Papers   Alwen Tiu
• [TYPES/announce] LFMTP 2020 Post-Proceedings: Call for Papers   Claudio Sacerdoti Coen
• [TYPES/announce] LGBTQ Social at ICFP   Matthew Weaver
• [TYPES/announce] LICS 2020 Call for Participation   Sam Staton
• [TYPES/announce] LICS 2021 Call for Papers   Sam Staton
• [TYPES/announce] LICS 2021 Call for Workshops   Sam Staton
• [TYPES/announce] LOPSTR 2020: Extended Deadlines   Fernandez, Maria Isabel
• [TYPES/announce] LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts   Mihaela Rozman
• [TYPES/announce] LSFA 2020 - Call for papers   Giselle Reis
• [TYPES/announce] LSFA 2020 - Deadline extended   Giselle Reis
• [TYPES/announce] LSFA 2020 - deadline extension   Giselle Reis
• [TYPES/announce] LSFA 2020 Call for Papers   Giselle Reis
• [TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2020: CALL FOR PARTICIPATION   Mueller Peter
• [TYPES/announce] MFPS 2020 -- Call for Participation   Vladimir Zamdzhiev
• [TYPES/announce] MFPS 2nd call for papers - now with speaker info   Patricia Johann
• [TYPES/announce] MFPS final call for papers   Patricia Johann
• [TYPES/announce] ML Family Workshop 2020: Call for presentations   Leo White
• [TYPES/announce] ML Family Workshop 2020 : Deadline extension   Leo White
• [TYPES/announce] MOVEP2020   Radu Iosif
• [TYPES/announce] MOVEP2020 (early registration deadline extended)   Radu Iosif
• [TYPES/announce] MOVEP 2020 Summer School   Radu Iosif
• [TYPES/announce] MPLR 2020: Deadline Extended to August 19, 23:59 AoE   Juan Fumero
• [TYPES/announce] MPLR 2020 Call for Participation   Juan Fumero
• [TYPES/announce] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation   Sam Lindley
• [TYPES/announce] MSFP 2020 - Final Call for Papers   Sam Lindley
• [TYPES/announce] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification   Robert Atkey
• [TYPES/announce] new: MSC 68V (new classes for Types-related topics in MSC2020)   Michael Kohlhase
• [TYPES/announce] NEW: Proof Theory Virtual Seminar   Anton Freund
• [TYPES/announce] New and updated Software Foundations titles   Benjamin Pierce
• [TYPES/announce] NLPaSE 2020@ 27th APSEC 2020: Extended Deadline   Saurabh Tiwari
• [TYPES/announce] Oded Padon wins the ETAPS Doctoral Dissertation Award 2020   Caterina Urban
• [TYPES/announce] Online Seminar: A gentle introduction to template games   Harley D. Eades III
• [TYPES/announce] Online seminar on type-based verification   Harley D. Eades III
• [TYPES/announce] Online seminar on type-based verification   Gabriel Scherer
• [TYPES/announce] Online seminars in functional programming @ Chalmers   Benjamin C. Pierce
• [TYPES/announce] Online Worldwide Seminar on Logic and Semantics -- Summer Programme   Jamie Vicary
• [TYPES/announce] Open Faculty Positions at Drexel University   Gordon,Colin
• [TYPES/announce] Open PhD Position at Radboud University Nijmegen   Cynthia Kop
• [TYPES/announce] Open PhD Position at Rochester Institute of Technology (RIT)   Nestor Catano
• [TYPES/announce] open PhD position in Vienna: formal methods for reliable networks   Stefan Schmid
• [TYPES/announce] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)   Achim D. Brucker
• [TYPES/announce] Open position: Lecturer in Computer Science (non-tenured, 3--5 yrs, deadline 2020-04-27)   Atsushi Igarashi
• [TYPES/announce] Open positions in Software Engineering at Innopolis University   Manuel Mazzara
• [TYPES/announce] Open Tenure Track Professorship at TU Clausthal, Germany (Topics: Security, but also Static Analysis & PL)   Rüdiger Ehlers
• [TYPES/announce] OPLSS2020 cancelation   Zena Matilde Ariola
• [TYPES/announce] PADL 2021 CfP   Dominic Orchard
• [TYPES/announce] Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"   Charles Grellois
• [TYPES/announce] Participation FROM 2020   motogna at cs.ubbcluj.ro
• [TYPES/announce] PEPM 2021 - First Call for Papers   Sam Lindley
• [TYPES/announce] PEPM 2021 - Second Call for Papers   Sam Lindley
• [TYPES/announce] permanent academic positions, Imperial   Gardner, Philippa A
• [TYPES/announce] Permanent positions at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] Ph.D. fellowships at University of Copenhagen   Fritz Henglein
• [TYPES/announce] Ph.D. position in formal proof and trust at Inria Saclay   Dale Miller
• [TYPES/announce] PhD/Post-Doc positions at the University of Duisburg-Essen   Barbara Koenig
• [TYPES/announce] PhD/Postdoc in programming language technology for adaptively morphing cyber-physical systems at University of Amsterdam   Clemens Grelck
• [TYPES/announce] PhD and PostDoc positions at Aarhus University   Andreas Pavlogiannis
• [TYPES/announce] PhD and postdoc positions at the Schaffhausen Institute of Technology   Bertrand Meyer
• [TYPES/announce] PhD and Postdoc positions at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] PhD in formal methods and security, cotutelle France-Scotland   Barbara Fila (Kordy)
• [TYPES/announce] PhD Position   Matthijs Vákár
• [TYPES/announce] PhD position at University of Birmingham, UK   Benedikt Ahrens
• [TYPES/announce] PhD Position at VERIMAG (University of Grenoble Alpes and CNRS)   Radu Iosif
• [TYPES/announce] PhD position in Intelligent Tutoring Systems for Functional Programming   Johan Jeuring
• [TYPES/announce] PhD Position in in Theory and Implementation of Dependently Typed Programming Languages   Jesper Cockx
• [TYPES/announce] PhD position in Logic at Utrecht University, the Netherlands   Iemhoff, R. (Rosalie)
• [TYPES/announce] PhD position in proof theory at the University of Bath   Alessio Guglielmi
• [TYPES/announce] PhD Positions at Aarhus University on Algorithmic Verification & Programming Languages   Andreas Pavlogiannis
• [TYPES/announce] PhD Positions at the International Max Planck Research School on Trustworthy Computing   Jennifer Gerling
• [TYPES/announce] PhD Positions at the International Max Planck Research School on Trustworthy Computing   Jennifer Gerling
• [TYPES/announce] PhD positions at the University of Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] PhD positions at University of Glasgow in Programming Languages   Ornela Dardha
• [TYPES/announce] PhD positions available   Gardner, Philippa A
• [TYPES/announce] PhD positions in Computational Mathematics at Stockholm University   Anders Mortberg
• [TYPES/announce] PhD positions in Mathematical Foundations of Computation at University of Bath   Willem Heijltjes
• [TYPES/announce] PhD positions in programming languages in LFCS/University of Edinburgh   James Cheney
• [TYPES/announce] PhD Research Fellow in Specification and Analysis of Information Privacy - Deadline: February 29, 2020   Silvia Lizeth Tapia Tarifa
• [TYPES/announce] PhD student positions at Boston University   Gaboardi, Marco
• [TYPES/announce] PhD studentship in Privacy, Security and Trust, in Luxembourg   Ross James HORNE
• [TYPES/announce] PhD studentship in Security, Privacy and Trust, in Luxembourg   Ross James HORNE
• [TYPES/announce] PL / compilers team lead role with Standard Chartered in Warsaw   José Pedro Magalhães
• [TYPES/announce] PLACES 2020: 2nd CfP   Stephanie Balzer
• [TYPES/announce] PLACES 2020: deadline extension   Stephanie Balzer
• [TYPES/announce] PLAS 2019 talk recordings available   Piotr Mardziel
• [TYPES/announce] PLAS 2020 - Extended Deadline (28 June)   Vassena, Marco
• [TYPES/announce] PLDI 2020 - registration closing soon   Wickerson, John P
• [TYPES/announce] PLDI AEC is looking for members   niki.vazou
• [TYPES/announce] PLMW at POPL 2021: Call for Applications   Stephanie Balzer
• [TYPES/announce] PLMW at POPL 2021: Call for Applications (CORRECT URL)   Stephanie Balzer
• [TYPES/announce] PLMW at POPL 2021: Extension - December 10   Stephanie Balzer
• [TYPES/announce] POPL 2021 -- Call for Student Volunteers   Michael Greenberg
• [TYPES/announce] POPL 2021 - Call for Participation   Michael Greenberg
• [TYPES/announce] POPL 2021 - Call for Tutorials (deadline 2020-10-28)   Michael Greenberg
• [TYPES/announce] POPL 2021 - Call for Workshop and Co-located Events - due 2020-05-29   Michael Greenberg
• [TYPES/announce] POPL 2021 - Student Research Competition - Call for Submissions (deadline: 2020-11-21)   Michael Greenberg
• [TYPES/announce] POPL 2021 Call for Papers -- deadline Thursday, July 9th, AoE   Michael Greenberg
• [TYPES/announce] Post-doc position at Chalmers University of Technology   Alejandro Russo
• [TYPES/announce] Post-doctoral position in linear, dependent, and graded modal types, University of Kent (2 years)   Dominic Orchard
• [TYPES/announce] Post-doctoral position in session types for reliable actor-based systems, University of Kent (4 years)   Laura Bocchi
• [TYPES/announce] postdoc @ Imperial College London   Wickerson, John P
• [TYPES/announce] Postdoc and PhD Positions @ Iowa State University   Kristin Yvonne Rozier
• [TYPES/announce] Postdoc and research engineer positions in Semantics and Verification for Secure Systems Software   Peter Sewell
• [TYPES/announce] Postdoc at Oxford - probabilistic and differentiable programming   Luke Ong
• [TYPES/announce] Postdoc at Oxford - probabilistic and differentiable programming   Luke Ong
• [TYPES/announce] Postdoc at Oxford - probabilistic and differentiable programming   Luke Ong
• [TYPES/announce] Postdoc in Foundational Security for AI at University of Edinburgh, UK   David Aspinall
• [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK.   anupamdotdas at gmail.com
• [TYPES/announce] Postdoc in Statistical Model Checking at UCLouvain -- Belgium   Thomas Given-Wilson
• [TYPES/announce] Postdoc position: verified timing-channel security for seL4   Toby Murray
• [TYPES/announce] Postdoc position at Boston College   Joseph Tassarotti
• [TYPES/announce] Postdoc position at Chalmers (2 years) in Programming Language Technology for Privacy   David Sands
• [TYPES/announce] Postdoc position at Tufts in Program Synthesis   Jeff Foster
• [TYPES/announce] postdoc position in Aarhus, Denmark, at Center for Basic Research in Program Verification   Lars Birkedal
• [TYPES/announce] Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group   Ana Sokolova
• [TYPES/announce] Postdocs available in formal analysis of code for secure hardware   Giles Reger
• [TYPES/announce] Postdoctal Position in Department of Computing, Imperial College London   Yoshida, Nobuko
• [TYPES/announce] Postdoctoral and PhD positions in Edinburgh   Chris Heunen
• [TYPES/announce] Postdoctoral and PhD positions in Program Analysis, Verification or Systems at Imperial College London   Cristian Cadar
• [TYPES/announce] Post Doctoral Fellow Position at Carnegie Mellon University in Logical Systems Lab   Andre Platzer
• [TYPES/announce] Postdoctoral fellowship in Oxford (All Souls College)   Sam Staton
• [TYPES/announce] Postdoctoral Opening at the University of Minnesota   Gopalan Nadathur
• [TYPES/announce] postdoctoral position at VERIMAG (Grenoble, France)   Radu Iosif
• [TYPES/announce] Postdoctoral position available at Université Grenoble Alpes, France   Pierre Corbineau
• [TYPES/announce] Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK   Sergiy Bogomolov
• [TYPES/announce] Postdoctoral position in FAU Erlangen-Nürnberg   Sergey Goncharov
• [TYPES/announce] Postdoctoral position in Program Analysis/Systems at Imperial College London   Cristian Cadar
• [TYPES/announce] Postdoctoral position in programming languages at Edinburgh LFCS   James Cheney
• [TYPES/announce] Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 4 May 2020   Matteo Sammartino
• [TYPES/announce] Postdoctoral position on Web/database programming languages at Edinburgh LFCS   James Cheney
• [TYPES/announce] postdoctoral positions at the University of Western Ontario   Dan Christensen
• [TYPES/announce] Postdoctoral research fellowship at the University of Leeds   Gabriel Scherer
• [TYPES/announce] POSTPONED: SYCO 7   Amar Hadzihasanovic
• [TYPES/announce] PPDP 2020 Call For Papers   Andreas Abel
• [TYPES/announce] PPDP 2020 deadline extension   Andreas Abel
• [TYPES/announce] PPDP 2020 Final call for papers   Andreas Abel
• [TYPES/announce] PriSC 2021: call for participation and short talks   PriSC PC Chairs
• [TYPES/announce] PROBPROG 2020 Call for Late-breaking Submissions   Jean-Baptiste Tristan
• [TYPES/announce] Professor Positions in Secure Systems, Software Engineering at KU Leuven   Bart Jacobs
• [TYPES/announce] Professorship Programming / Didactics   Klaus Ostermann
• [TYPES/announce] Proof engineering survey paper is now free on arXiv   Talia Ringer
• [TYPES/announce] ProWeb20 - Deadline Extension to January 22nd   Simon Fowler
• [TYPES/announce] ProWeb20: Final call for contributions   Simon Fowler
• [TYPES/announce] ProWeb21 Call for Contributions   Simon Fowler
• [TYPES/announce] QBFEVAL'20 - Competitive Evaluation of QBF Solvers   Luca Pulina
• [TYPES/announce] QONFEST 2020 (CONCUR, FMICS, FORMATS, QEST + WORKSHOPS) - Call for Participation (Early Registration Deadline: 13 August 2020)   Ezio Bartocci
• [TYPES/announce] QONFEST 2020 (CONCUR, FMICS, FORMATS, QEST + WORKSHOPS) - Last Call for Participation   Ezio Bartocci
• [TYPES/announce] RA position, Imperial, symbolic analysis, concurrency or distribution   Gardner, Philippa A
• [TYPES/announce] RA positions, Imperial   Gardner, Philippa A
• [TYPES/announce] Registration for CMSB 2020 is open!   Tatjana Petrov
• [TYPES/announce] Request for funding Proposals on automatically finding and fixing bugs using Web Enabled Simulation (WES).   Harman, Mark
• [TYPES/announce] Research Assistant/Associate Position at Department of Computing, Imperial College London   Yoshida, Nobuko
• [TYPES/announce] Research assistant/associate position at Imperial College London   Yoshida, Nobuko
• [TYPES/announce] Researcher position on assurance of autonomy   Ewen Denney
• [TYPES/announce] Researcher position on ERC project FUN2MODEL at Oxford   Marta Kwiatkowska
• [TYPES/announce] Research Fellow at UCL - Programming Principles, Logic, and Verification   James Brotherston
• [TYPES/announce] Research Fellow Position at the Australian National University   Alwen Tiu
• [TYPES/announce] Research Fellow Positions at UCL PPLV, London   Pym, David
• [TYPES/announce] Research position / programming languages / University of Glasgow   Simon Gay
• [TYPES/announce] Research position at fortiss, Munich   Chuangjie Xu
• [TYPES/announce] Research professor position in Secure Systems   Pieter Philippaerts
• [TYPES/announce] Reversible Computation 2020 2nd CfP   ivan.lanese
• [TYPES/announce] Reversible Computation 2020: deadline extension   ivan.lanese
• [TYPES/announce] Reversible Computation 2020 Call for Participation (fwd)   ivan.lanese
• [TYPES/announce] Reversible Computation 2021 1st CfP   Tetsuo Yokoyama
• [TYPES/announce] Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals   Mueller Peter
• [TYPES/announce] Rust Verification Workshop at ETAPS 2021: Call for Talk and Demo Proposals   Mueller Peter
• [TYPES/announce] RV'20 - Call for Papers and Tutorials   Ničković Dejan
• [TYPES/announce] RV'20 - Call for Participation   Ničković Dejan
• [TYPES/announce] RV20 - Call for Papers and Tutorials   Ničković Dejan
• [TYPES/announce] School on Univalent Mathematics 2020, Cortona (Italy), July 27-31, 2020   Benedikt Ahrens
• [TYPES/announce] Science of Computer Programming: Special Issue on Application-Oriented Aspects of Graph Transformation   Fabio Gadducci
• [TYPES/announce] Second call - Special Issue on Confluence - Mathematical Structures in Computer Science   Mauricio Ayala-Rincon
• [TYPES/announce] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Second Call for Papers: ONLINE EXPRESS/SOS 2020 Deadline Extended   Ornela Dardha
• [TYPES/announce] Second Call for Papers: VIRTUAL Linearity & TLLA 2020   Valeria de Paiva
• [TYPES/announce] Second Call for Participation: ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Second CfP: Applied Category Theory Conference (ACT2020)   Jamie Vicary
• [TYPES/announce] Second CfP for PADL 2021 - Deadline 9th October 2020   Dominic Orchard
• [TYPES/announce] Second CFP GraMSec 2020   Harley D. Eades III
• [TYPES/announce] Second CFP GraMSec 2020   Harley D. Eades III
• [TYPES/announce] Second Joint Call for Papers - DisCoTec 2020   Kiko Fernandez Reyes
• [TYPES/announce] SEFM - Deadline extension and move to virtual modality   Jacopo Mauro
• [TYPES/announce] SEFM 2020 - Preliminary Call For Papers   Jacopo Mauro
• [TYPES/announce] SEFM 2020: Registration is open   Jacopo Mauro
• [TYPES/announce] Seminar Talk on Category Theory and Secure Communication   Harley D. Eades III
• [TYPES/announce] Seminar Talk on Dependent Types and Program Synthesis   Harley D. Eades III
• [TYPES/announce] Seminar Talk on Graded Types   Harley D. Eades III
• [TYPES/announce] Seminar Talk on Gradual Typing and Verification   Harley D. Eades III
• [TYPES/announce] Seminar talk on Linear Logic   Harley D. Eades III
• [TYPES/announce] Seminar talk on Linear Logic   Harley D. Eades III
• [TYPES/announce] Seminar talk on Resource Constrained Programming with Full Dependent Types   Harley D. Eades III
• [TYPES/announce] Seminar talk on RustBelt and the Iris Framework   Harley D. Eades III
• [TYPES/announce] Seminar talk on RustBelt and the Iris Framework   Harley D. Eades III
• [TYPES/announce] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich   Mueller Peter
• [TYPES/announce] SERPL 2020 CFP   Harley D. Eades III
• [TYPES/announce] SETTA-2020 CFP [Deadline extended]: Symposium on Dependable Software Engineering Theories, Tools and Applications - Guangzhou China, November 24-27, 2020   songfu1983 at shanghaitech.edu.cn
• [TYPES/announce] SETTA 2020 Call for Papers   songfu1983 at shanghaitech.edu.cn
• [TYPES/announce] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***   Rozman, Mihaela
• [TYPES/announce] Short-term and long-term mentors needed for ICFP   Talia Ringer
• [TYPES/announce] Shut Down PL   Talia Ringer
• [TYPES/announce] SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)   Mihaela Rozman
• [TYPES/announce] SIGPLAN Perspectives blog post about POPLmark panel   Talia Ringer
• [TYPES/announce] Spanish summer school on software verification (July 13-17)   Roberto Blanco
• [TYPES/announce] Special Issue on Confluence - Mathematical Structures in Computer Science   Mauricio Ayala-Rincon
• [TYPES/announce] SPLASH 2020: Call for Participation   hitesh sajnani
• [TYPES/announce] SPLASH 2020: Combined Call for Contributions   hitesh sajnani
• [TYPES/announce] SPLASH 2020: Combined Call for Contributions   hitesh sajnani
• [TYPES/announce] SPLASH 2020 Combined Call for Workshop Submissions   hitesh sajnani
• [TYPES/announce] STRING 2020   Dan Ghica
• [TYPES/announce] SYCO 7 - Call for Papers   Amar Hadzihasanovic
• [TYPES/announce] SYCO 7 - Call for Participation   Amar Hadzihasanovic
• [TYPES/announce] SYCO 7 - Final Call for Papers   Amar Hadzihasanovic
• [TYPES/announce] TAP 2020 - Call for Papers - Deadline Extension   Catherine DUBOIS
• [TYPES/announce] Teaching PhD Position in Quantitative Systems and Reasoning Methods   Henning Basold
• [TYPES/announce] TEASE-LP (co-located with ETAPS 2020): Second call for contributions   Henning Basold
• [TYPES/announce] TEASE-LP - Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020   Henning Basold
• [TYPES/announce] Tenth Summer School on Formal Techniques (May 16-22, 2020); First Formal Methods in the Field Bootcamp (May 23-28, 2020)   Natarajan Shankar
• [TYPES/announce] Tenure-track assistant professor in Systems Level Security at University of Copenhagen   Thomas Jensen
• [TYPES/announce] Tenure-Track Faculty Position at University of Oregon   Zena Matilde Ariola
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science   Catalin Hritcu
• [TYPES/announce] Tenured positions at Inria and UGA   Pierre Geneves
• [TYPES/announce] Tenure Track Assistant/Associate Professor of Computer Science   Lea Wittie
• [TYPES/announce] TERMGRAPH 2020: 2nd Call for papers   Patrick Bahr
• [TYPES/announce] TERMGRAPH 2020: Call for (Online) Participation   Patrick Bahr
• [TYPES/announce] TERMGRAPH 2020: Call for papers   Patrick Bahr
• [TYPES/announce] TERMGRAPH 2020: Deadline Extension - 22 April   Patrick Bahr
• [TYPES/announce] The Coq Workshop 2020: Call for Talk Proposals   Théo Zimmermann
• [TYPES/announce] The Coq Workshop 2020: Deadline Extension   Emilio Jesús Gallego Arias
• [TYPES/announce] The Coq Workshop 2020: Second Call for Talk Proposals + COVID-19 update   Théo Zimmermann
• [TYPES/announce] ThEdu'20/EPTCS Post-proceedings - Open Call for Papers   Walther Neuper
• [TYPES/announce] ThEdu'20/EPTCS proceedings 2nd call for papers   Walther Neuper
• [TYPES/announce] ThEdu'20 at the Summer of LoVe - cfp   Walther Neuper
• [TYPES/announce] The HoTTEST Conference of 2020, June 15-19 (Homotopy Type Theory)   Dan Christensen
• [TYPES/announce] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)   Dan Christensen
• [TYPES/announce] The Proof Theory Blog   anupamdotdas at gmail.com
• [TYPES/announce] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] Third Call for Papers: ONLINE EXPRESS/SOS 2020   Ornela Dardha
• [TYPES/announce] Third Call for Participation: ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Third DeepSpec Summer School, July 13-24, 2020   Lennart Beringer
• [TYPES/announce] Three new Teaching Assistant positions in Nottingham   Graham Hutton
• [TYPES/announce] TTCS 2020 - deadline extended to the 16th of February   Renato Neves
• [TYPES/announce] Two-year postdoctoral position at Wesleyan University   Norman Danner
• [TYPES/announce] Two Assistant/Associate Professors in Programming Languages - TU Delft   Jesper Cockx
• [TYPES/announce] Two fellowship grants on Trustworthy Distributed Adaptive Systems at the University of Udine, Italy   Marino Miculan
• [TYPES/announce] Two PhD positions in Logic, Gothenburg (Sweden)   Bahareh Afshari
• [TYPES/announce] Two PhD positions in Utrecht   Wouter Swierstra
• [TYPES/announce] two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020   Andrei Popescu
• [TYPES/announce] TyDe 2020 - Final Call for Papers   Cyrus Omar
• [TYPES/announce] TYPES-ITRS 2020 - workshops cancellation and publication of abstracts   Ugo de Liguoro
• [TYPES/announce] TYPES 2020 - Deadline Extension to January the 20th   Berardi Stefano
• [TYPES/announce] Types 2020: Final Call for Papers (Due on 10 Jan, 2020)   Riccardo Treglia
• [TYPES/announce] TYPES 2020 Post-proccedings CfP   Ugo de Liguoro
• [TYPES/announce] TYPES and ITRS - Call for participation   Ugo de Liguoro
• [TYPES/announce] TYPES post-proceedings: call for papers   Ugo de'Liguoro
• [TYPES/announce] Unesco World Logic Day January 18. 2020   Michael Kohlhase
• [TYPES/announce] University of Bologna Positions Call for Interest 2020   ivan.lanese
• [TYPES/announce] update on MFPS 2020   Patricia Johann
• [TYPES/announce] Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020   Benedikt Ahrens
• [TYPES/announce] Verification Mentoring Workshop 2020: Call for scholarship applications   Jean-Baptiste Jeannin
• [TYPES/announce] Verification Mentorship Workshop 2020: call for participation   Jean-Baptiste Jeannin
• [TYPES/announce] Verifying smart contracts for Blockchain   Philip Wadler
• [TYPES/announce] Virtual LCC'20: Second Call for Contributions   Martin Avanzini
• [TYPES/announce] Virtual Machines and Language Implementations (VMIL) 2020: Call For Participation   Juan Fumero
• [TYPES/announce] VMCAI 2021 -- updated call for papers. Submission deadline: October 11   fritz at henglein.com
• [TYPES/announce] VSTTE 2020: Call for papers   Maria Christakis
• [TYPES/announce] VTLTC 2020 - Call for Online Participation   r.e.monti at utwente.nl
• [TYPES/announce] VTLTC 2020 - Final Call for Online Participation   r.e.monti at utwente.nl
• [TYPES/announce] WADT 2020 - Call for Abstracts   Roggenbach M.
• [TYPES/announce] WFLP 2020: Deadline Extension   Claudio Sacerdoti Coen
• [TYPES/announce] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)   Claudio Sacerdoti Coen
• [TYPES/announce] WiL 2020 - Call for contributions   Sandra Alves
• [TYPES/announce] WPTE 2020 - 2nd CfP   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] WPTE 2020 - Deadline extension   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] WST 2020 - 2nd Call for Papers   Samir Genaim
• [TYPES/announce] WST 2020 Call for Papers   Samir Genaim

Last message date: Thu Dec 31 05:32:27 EST 2020
Archived on: Thu Dec 31 08:22:45 EST 2020

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