2018 Archives by subject

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

Starting: Thu Jan 4 03:12:58 EST 2018
Ending: Mon Dec 31 21:12:47 EST 2018
Messages: 754

• [TYPES/announce] (ADSL) Workshop on Automated Deduction for Separation Logics: Final Call for Papers   Radu Iosif
• [TYPES/announce] (Postdoctoral) Research Associate position at University of Kent   Radu Grigore
• [TYPES/announce] 10 PhD studentships in Nottingham   Graham Hutton
• [TYPES/announce] 11th Interaction and Concurrency Experience (ICE 2018): 2nd CfP   bart
• [TYPES/announce] 16 Ph.D. positions on Logical Methods in Computer Science (Austria)   Maffei, Matteo
• [TYPES/announce] 18 PhD Positions in Computer Science and System Engineering at University of Verona   Massimo Merro
• [TYPES/announce] 18 PhD Positions in Computer Science and System Engineering at University of Verona   Massimo Merro
• [TYPES/announce] 18th FOSAD PhD School on Foundations of Security Analysis and Design - cfp   Aldini, Alessandro
• [TYPES/announce] 1st announcement, Vladimir Voevodsky Memorial Conference   Daniel R. Grayson
• [TYPES/announce] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg   Peter Achten
• [TYPES/announce] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019   Matthias Güdemann
• [TYPES/announce] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] 1st CfP: LSFA 2018   Beniamino Accattoli
• [TYPES/announce] 1st VMCAI Winter School - Call for Participation   Constantin Enea
• [TYPES/announce] 1st Workshop on Automated Deduction for Separation Logics (ADSL): Call for Papers   radu.iosif at univ-grenoble-alpes.fr
• [TYPES/announce] 1st Workshop on Automated Deduction for Separation Logics (ADSL): Call for Papers   radu.iosif at univ-grenoble-alpes.fr
• [TYPES/announce] 1st Workshop on Automated Deduction for Separation Logics (ADSL): Call for Papers   radu.iosif at univ-grenoble-alpes.fr
• [TYPES/announce] 2-year Postdoc Position on Frama-C/E-ACSL   Julien Signoles
• [TYPES/announce] 2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open   Benedikt Ahrens
• [TYPES/announce] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers   Urban Caterina
• [TYPES/announce] 25th WoLLIC 2018 (Bogotá, Colombia) - 2nd Call for Papers   Ruy de Queiroz
• [TYPES/announce] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Participation   Ruy de Queiroz
• [TYPES/announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE APPROACHING   Ruy de Queiroz
• [TYPES/announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE EXTENDED   Ruy de Queiroz
• [TYPES/announce] 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) -- Distinguished Paper Awards   Raffi T Khatchadourian
• [TYPES/announce] 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) -- Test of Time Award announcement   Raffi T Khatchadourian
• [TYPES/announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers   Ruy de Queiroz
• [TYPES/announce] 2nd announcement, Vladimir Voevodsky Memorial Conference   Daniel R. Grayson
• [TYPES/announce] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg   Peter Achten
• [TYPES/announce] 2nd CFP: Automated Verification of Critical Systems 2018, AVoCS at FLOC'18   Mihaela Sighireanu
• [TYPES/announce] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam   Summers Alexander John
• [TYPES/announce] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] 2nd cfp: ITRS - abstract deadline: 8 April 2018   Michele Pagani
• [TYPES/announce] 2nd CfP: Learning and Automata (LearnAut) -- FLoC 2018 Workshop   Matteo Sammartino
• [TYPES/announce] 2nd CfP: SEFM 2018   Einar Broch Johnsen
• [TYPES/announce] 2nd CfP: VORTEX 2018, Verification of Objects at RunTime EXecution   Davide Ancona
• [TYPES/announce] 2nd CfP and Deadline extension: FACS'18 -- 15th Int'l Conf on Formal Aspects of Component Software   Peter Csaba Ölveczky
• [TYPES/announce] 2nd CFP Workshop on External and Internal Calculi for Non Classical Logics , Oxford, UK   Didier Galmiche
• [TYPES/announce] 2 PhD and 2 Postdoc positions in Information Security at the University of Luxembourg   Olga GADYATSKAYA
• [TYPES/announce] 2 postdoc positions in distributed systems verification at University of Lugano and TU Darmstadt   Eugster Patrick Thomas
• [TYPES/announce] 2 PostDoc positions System Security and Formal Methods   Roberto Guanciale
• [TYPES/announce] 3-year Career Development Fellowship in Computer Science at Balliol College Oxford   Ohad Kammar
• [TYPES/announce] 3 Assoc Profs/Profs positions at University Paris 7 / Paris Diderot   Giuseppe Castagna
• [TYPES/announce] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] 3rd CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019 (update)   Roussanka Loukanova
• [TYPES/announce] 3rd Workshop on Trusted Smart Contracts (WTSC'19)   Andrea Bracciali
• [TYPES/announce] 4PAD 2018 (deadline extension): 5th International Symposium on Formal Approaches to Parallel and Distributed Systems   Frederic Loulergue
• [TYPES/announce] 4 posts in security at Swanea University (deadline Fri 22 March)   Setzer A.G.
• [TYPES/announce] 4th International Symposium on Dependable Software Engineering: Theories, Tools and Applications   Oleg Sokolsky
• [TYPES/announce] 5 PhD positions on Software and System Security, and Secure Software Engineering at KTH Royal Institute of Technology   Musard Balliu
• [TYPES/announce] 5th Workshop on Natural Language and Computer Science NLCS '18 July 7-8, 2018   Valeria de Paiva
• [TYPES/announce] 6 Assistant Professor positions in Utrecht   Swierstra, W.S. (Wouter)
• [TYPES/announce] 6 security positions (lecturer, senior lecturer, chair) at the Department of Informatics of King's College London   Luca Vigano`
• [TYPES/announce] 8th Halmstad Summer School on Testing (June 11-14)   M.R. Mousavi
• [TYPES/announce] 9 PhD positions at Chalmers for web security and secure programing of IoT devices   Alejandro Russo
• [TYPES/announce] <Programming> 2019 - Call for papers   Guido Salvaneschi
• [TYPES/announce] <Programming> 2019: Call for Papers & Call for Workshop Proposals   Davide Ancona
• [TYPES/announce] [Call for participation] Workshop "Sound Static Analysis for Security"   Claude Marché
• [TYPES/announce] [CFP] Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19)   James Cheney
• [TYPES/announce] [DEADLINE EXTENSION] Workshop on Compositional Approaches in Physics, NLP, and Social Sciences   Martha Lewis
• [TYPES/announce] [DisCoTec 2019] Joint Call for Papers   Francisco Fernández
• [TYPES/announce] [ESSoS'18] International Symposium on Engineering Secure Software and Systems (Deadline in 2 days!)   Raoul Strackx
• [TYPES/announce] [Final CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations (Deadline: Jan. 19)   Kazutaka Matsuda
• [TYPES/announce] [fm-announcements] NFM 2018 - Call for Participation   Munoz, Cesar (LARC-D320)
• [TYPES/announce] [fm-announcements] RV 2018 Call for Papers   Havelund, Klaus (348B)
• [TYPES/announce] [HOPE 2018] Call for Presentations   Filip Sieczkowski
• [TYPES/announce] [NGPS at SAC 2019] extended submission deadline Sept 24   Davide Ancona
• [TYPES/announce] [SASB 2018] 9th International Workshop on Static Analysis in Systems Biology - Call for Papers   Nicola Paoletti
• [TYPES/announce] [VEMDP 2018] 3rd International Conference on Verification of Engineered Molecular Devices and Programs - CALL FOR PRESENTATIONS   Nicola Paoletti
• [TYPES/announce] [VEMDP 2018] 3rd International Conference on Verification of Engineered Molecular Devices and Programs - deadline extended until April 23   Nicola Paoletti
• [TYPES/announce] [VORTEX 2018]: extended deadline May 31st   Davide Ancona
• [TYPES/announce] ABZ 2018, Call for Contributions   Asieh Salehi
• [TYPES/announce] Ackermann Award 2018   European Association of Computer Science Logic
• [TYPES/announce] Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019   Youyou Cong
• [TYPES/announce] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20   Nicolai Kraus
• [TYPES/announce] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20   Nicolai Kraus
• [TYPES/announce] ANN: RISC-V Workshop (with talks involving formal methods)   Rishiyur Nikhil
• [TYPES/announce] APLAS 2018 2nd CFP   Sukyoung Ryu
• [TYPES/announce] APLAS2018: Call for Posters & Student Research Competition (SRC)   David J. Pearce
• [TYPES/announce] APLAS 2018 CFP   Sukyoung Ryu
• [TYPES/announce] ARITH-26, first CFP   Sylvie Boldo
• [TYPES/announce] ARITH-26, second CFP   Sylvie Boldo
• [TYPES/announce] ARQNL - call for papers   Giselle Reis
• [TYPES/announce] Assistant/Associate/Full Professor on Theory of Computation.   Jorge A. Perez
• [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark   Anders Møller
• [TYPES/announce] Assistant Professor (tenure track) and Postdoc Positions at Charles University, Prague, Czech Republic   Pavel Parizek
• [TYPES/announce] Assistant Professor position at IIT Madras.   N V Krishna.
• [TYPES/announce] Assistant Professor Position at Millikin University   Harley D. Eades III
• [TYPES/announce] Associate Professor or Professor of Computer Science / University of Oxford   Sam Staton
• [TYPES/announce] Augusta University is Hiring   Harley D. Eades III
• [TYPES/announce] Autumn school "Proof and Computation"   Chuangjie Xu
• [TYPES/announce] Axioms Special Issue on Foundations of Quantum Computing   Alejandro Díaz-Caro
• [TYPES/announce] BEAT @ POPL'19: Call for Contributions   Antonio Ravara
• [TYPES/announce] BEAT @ POPL'19: Second Call for Contributions (Deadline: November 12).   Antonio Ravara
• [TYPES/announce] BOOM! 2018 @ CONFESTA - 2nd Call for Contributions   Nils Jansen
• [TYPES/announce] BOOM! 2018 @ CONFESTA - Call for Contributions   Nils Jansen
• [TYPES/announce] BOOM! 2018 @ CONFESTA - Call for Contributions   Nils Jansen
• [TYPES/announce] Brazilian Symposium on Formal Methods (SBMF 2018): Last Call for Papers   M.R. Mousavi
• [TYPES/announce] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions   Pascal Fontaine
• [TYPES/announce] CALCO 2019: Call for Papers   Henning Basold
• [TYPES/announce] Caleidoscope Complexity School: Call for Participation   Damiano Mazza
• [TYPES/announce] Call for Abstracts: Doctoral Track at FACS 2018   Kyungmin Bae
• [TYPES/announce] CALL FOR ABSTRACTS: ICMS Session on Composable Mathematical Software   Florian Rabe
• [TYPES/announce] Call for Abstracts: Modern Language Runtimes, Ecosystems, and VMs (MoreVMs) 2019   Edd Barrett
• [TYPES/announce] Call for applications: EUTYPES Summer School on Types for Programming and Verification   Marino Miculan
• [TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science   Mihaela Rozman
• [TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science at TU Wien - November 30, 2019   Mihaela Rozman
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] Call for Contributions: Type-Driven Development 2018   Niki Vazou
• [TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)   Anders Mortberg
• [TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)   Anders Mortberg
• [TYPES/announce] Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] Call for Nominations - VCLA Awards 2018 for Master and Bachelor theses (deadline: 15 March)   Federico Aschieri
• [TYPES/announce] Call for Nominations: Editor-In-Chief of ACM Transactions on Internet Technology (TOIT)   Tao Xie
• [TYPES/announce] call for nominations for the Dahl Nygaard prize   Drossopoulou, Sophia
• [TYPES/announce] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18)   Dennis Müller
• [TYPES/announce] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [TYPES/announce] Call for papers - Special issue on “Imprecise Probabilities, Logic and Rationality”   Fabio Zanasi
• [TYPES/announce] Call for Papers: 15th International Conference on Formal Aspects of Component Software (FACS'18)   Peter Csaba Ölveczky
• [TYPES/announce] Call for Papers: ACM SIGPLAN Workshop on Machine Learning and Programming Languages 2018   Alvin Cheung
• [TYPES/announce] Call for Papers: Compositionality   Aleks Kissinger
• [TYPES/announce] Call for papers: Fun With Formal Methods workshop (affiliated with FLOC-2018)   Shilov Nikolay
• [TYPES/announce] Call for papers: GaLoP 2019   Pierre Clairambault
• [TYPES/announce] Call for papers : HOR 18 - 9th Workshop on Higher Order Rewriting, Oxford, 7 July, 2018   Stefano Guerrini
• [TYPES/announce] Call for papers : HOR 18 - 9th Workshop on Higher Order Rewriting, Oxford, 7 July, 2018   Stefano Guerrini
• [TYPES/announce] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [TYPES/announce] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science   Walter Guttmann
• [TYPES/announce] Call for Papers: Learning and Automata (LearnAut) -- FLoC 2018 Workshop   Sammartino, Matteo
• [TYPES/announce] Call for papers: LLVM Student Research Competition (SRC) 2018 (Oct 17-18)   Nuno Lopes
• [TYPES/announce] Call for Papers: ManLang 2018 (Sept. 10-14, Linz, Austria)   ManLang Conference
• [TYPES/announce] Call for Papers: Mathematically Structured Programming 2018   Robert Atkey
• [TYPES/announce] Call for papers: QPL 2018   Peter Selinger
• [TYPES/announce] Call for papers: Second Symposium on Compositional Structures (SYCO 2)   Pawel Sobocinski
• [TYPES/announce] Call for Papers: SETTA 2018   Xinyu Feng
• [TYPES/announce] Call for Papers: SETTA 2018   Xinyu Feng
• [TYPES/announce] Call for papers: Special Issue on Type Error Diagnosis and Closely Related Fields   Sheng Chen
• [TYPES/announce] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [TYPES/announce] Call for Papers CMSB 2018 - Computational Methods in Systems Biology   Joelle Despeyroux
• [TYPES/announce] Call for Papers Software Verification and Testing Track @ ACM SAC 2019   Matthias Güdemann
• [TYPES/announce] Call for Papers TAP 2018 - Extended deadlines -   dubois
• [TYPES/announce] Call for Participation, First Symposium on Compositional Structures (SYCO 1)   Jamie Vicary
• [TYPES/announce] Call for Participation: <Programming> 2018 in Nice   Sylvia Grewe
• [TYPES/announce] Call for Participation: AFP Summer School in Utrecht   Swierstra, W.S. (Wouter)
• [TYPES/announce] Call for Participation: DeepSpec Workshop @ PLDI 2018   Stephanie Weirich
• [TYPES/announce] CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software   Ezio Bartocci
• [TYPES/announce] Call for Participation: Facebook TAV 2018 (Facebook's 2018 Testing and Verification Symposium)   Harman, Mark
• [TYPES/announce] Call for Participation: ICFP 2018   Lindsey Kuper
• [TYPES/announce] Call for Participation: International Conference on Formal Aspects of Component Software (FACS 2018)   Kyungmin Bae
• [TYPES/announce] Call for participation VECoS 2018, Grenoble, 26-28 septembre 2018   Ayoub Nouri
• [TYPES/announce] Call for PostDoc and Ph.D. in Reversible Debugging   ivan.lanese
• [TYPES/announce] Call for Posters: <Programming> 2018   Sylvia Grewe
• [TYPES/announce] Call for Posters: ACM SIGPLAN Workshop on Machine Learning and Programming Languages 2018   Alvin Cheung
• [TYPES/announce] Call for Posters: ManLang 2018   ManLang Publicity
• [TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'19)   Dominique Devriese
• [TYPES/announce] Call for registration: Tenth Scandinavian Logic Symposium, 11-13 June 2018, Gothenburg, Sweden   Bahareh Afshari
• [TYPES/announce] Call for Submissions: Doctoral Symposium at ECOOP/ISSTA 2018 (Amsterdam)   Julia Belyakova
• [TYPES/announce] Call for Submissions: Doctoral Symposium at ECOOP/ISSTA 2018 (Amsterdam)   Julia Belyakova
• [TYPES/announce] Call for talk proposals - Programming Languages in The Netherlands, 22 Nov 2018   Robbert Krebbers
• [TYPES/announce] Call for Tutorial Proposals: ICFP 2018   Lindsey Kuper
• [TYPES/announce] Call for Workshops -- ECOOP 2019   Sebastian Erdweg
• [TYPES/announce] CARI/ICTAC Spring School and ICTAC 2018, call for participation   Tarmo Uustalu
• [TYPES/announce] Categorical Informatics positions   Ryan Wisnesky
• [TYPES/announce] Category Theory 2019 announcement   Chris Heunen
• [TYPES/announce] CBS, a component-based specification framework - beta release   Peter Mosses
• [TYPES/announce] CCC 2018 postproceedings   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] CFP - ACM Conference on Fairness, Accountability, and Transparency   Aws Albarghouthi
• [TYPES/announce] CFP - TERMGRAPH: Computing with terms and graphs   Fernandez, Maria Isabel
• [TYPES/announce] CfP: 11th Interaction and Concurrency Experience (ICE 2018)   Massimo Bartoletti
• [TYPES/announce] CfP: 12th Joint Meeting of the European Software Engineering Conference & Symposium on the Foundations of Software Engineering (ESEC/FSE) 2018 -- Call for Submissions   Raffi T Khatchadourian
• [TYPES/announce] CfP: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) -- Call for participation   Raffi T Khatchadourian
• [TYPES/announce] CfP: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) -- Combined call for student-related events   Raffi T Khatchadourian
• [TYPES/announce] CfP: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) -- Combined call for workshop papers   Raffi T Khatchadourian
• [TYPES/announce] CFP: 32nd IEEE Computer Security Foundations Symposium   Maffei, Matteo
• [TYPES/announce] CfP: 4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems   Frederic Loulergue
• [TYPES/announce] CFP: 4th International Workshop on Real World Domain Specific Languages   Simon Thompson
• [TYPES/announce] CFP: 9th International Summer School on Information Security and Protection   Michael.Norrish at data61.csiro.au
• [TYPES/announce] CfP: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)   Roussanka Loukanova
• [TYPES/announce] CFP: Automated Verification of Critical Systems 2018, AVoCS at FLOC'18   Mihaela Sighireanu
• [TYPES/announce] CFP: Computing and programming in context - Philosophy and Technology   Tomas Petricek
• [TYPES/announce] CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam   Summers Alexander John
• [TYPES/announce] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'18)   Peter Csaba Ölveczky
• [TYPES/announce] CFP: HotSoS 2018 - Hot Topics in the Science of Security (HoTSoS) Symposium (Poster Submission Deadline: February 23)   Tao Xie
• [TYPES/announce] CfP: ICMS'18 Session on Software for Mathematical Reasoning and Applications   Temur Kutsia
• [TYPES/announce] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain)   Robson De Grande
• [TYPES/announce] CfP: IEEE European Symposium on Security and Privacy (EuroS&P2019)   Fabio Martinelli
• [TYPES/announce] CFP: Joint Linearity & TLLA Workshop, Oxford, UK, 7-8 July 2018   Valeria de Paiva
• [TYPES/announce] CfP: LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm   Roussanka Loukanova
• [TYPES/announce] CfP: LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm   Roussanka Loukanova
• [TYPES/announce] CfP: Methods and Tools for Distributed Hybrid Systems (DHS 2018)   Uli Fahrenberg
• [TYPES/announce] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019   Roussanka Loukanova
• [TYPES/announce] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019   Roussanka Loukanova
• [TYPES/announce] CfP: Next Generation Programming Paradigms and Systems (NGPS at SAC 2019)   Davide Ancona
• [TYPES/announce] CfP: Postproceedings ThEdu'18   Walther Neuper
• [TYPES/announce] CfP: SEFM 2018 EXTENDED DEADLINE   Einar Broch Johnsen
• [TYPES/announce] CfP: VORTEX 2018, Verification of Objects at RunTime EXecution   Davide Ancona
• [TYPES/announce] CFP: Workshop on Compositional Approaches in Physics, NLP, and Social Sciences   Daniel Marsden
• [TYPES/announce] CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)   Shilov Nikolay
• [TYPES/announce] CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory   songfu at shanghaitech.edu.cn
• [TYPES/announce] CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory   songfu at shanghaitech.edu.cn
• [TYPES/announce] CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory   songfu at shanghaitech.edu.cn
• [TYPES/announce] CfP AIRIM'18: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)   Roussanka Loukanova
• [TYPES/announce] CFP and Special Issue: DETECT @ MEDI 2018   Abderrahim AITWAKRIME
• [TYPES/announce] CfPart: DHS 2018   Uli Fahrenberg
• [TYPES/announce] CfP CME-EI at CICM   Walther Neuper
• [TYPES/announce] CfP Gender Equality in Software Engineering   Erika Abraham
• [TYPES/announce] CFP ProWeb 2019: 3rd International Workshop on Programming Technology for the Future Web   Coen DE ROOVER
• [TYPES/announce] CFP SecDev 2018   Stephen Chong
• [TYPES/announce] CFP Workshop on External and Internal Calculi for Non Classical Logics , Oxford, UK, 19 July 2018   Didier Galmiche
• [TYPES/announce] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial   Serge Autexier
• [TYPES/announce] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)   Serge Autexier
• [TYPES/announce] CICM 2018, final CfP, Abstract submission deadline April 15, 2018   Serge Autexier
• [TYPES/announce] CICM 2018: Call for Papers, Workshops & Tutorials   Serge Autexier
• [TYPES/announce] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP   Serge Autexier
• [TYPES/announce] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials   Serge Autexier
• [TYPES/announce] CID; CCC 2018; deadline extension   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] CMCS 2018: Call for Short Contributions   Henning Basold
• [TYPES/announce] CMSB 2019 - first call for papers   Luca Bortolussi
• [TYPES/announce] CoCo 2018: Final Call for Provers   Takahito Aoto
• [TYPES/announce] CoCo 2018: Second Call for Provers   Takahito Aoto
• [TYPES/announce] Continuity, Computability, Constructivity 2018; 2nd call for submissions   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] COORDINATION 2018 - Call for Papers   Francesco Tiezzi
• [TYPES/announce] CoqPL 2019: Call for Participation   Robbert Krebbers
• [TYPES/announce] CoqPL 2019: Call for Presentations   Robbert Krebbers
• [TYPES/announce] CoqPL 2019: Call for Presentations (submission deadline October 15)   Robbert Krebbers
• [TYPES/announce] Coq Workshop 2018: Last Call for Papers (deadline for abstracts: April 15th)   Matthieu Sozeau
• [TYPES/announce] CPP 2019: Call for Papers   Magnus Myreen
• [TYPES/announce] CPP 2019: Final Call for Papers   Magnus Myreen
• [TYPES/announce] CS at max planck: The new Max Planck Graduate Center for Computer and Information Science   Maria Christakis
• [TYPES/announce] CSL 2018 - Call for Participation   EACSL
• [TYPES/announce] CSL 2018 - Final Call for Participation   EACSL
• [TYPES/announce] CSL 2018: Final Call for Papers   EACSL
• [TYPES/announce] CVQT 2018: Financial support available, call for participation   Chris Heunen
• [TYPES/announce] Data61 seeking proof engineers   Gerwin.Klein at data61.csiro.au
• [TYPES/announce] Data61 seeking Proof Engineers   Gerwin.Klein at data61.csiro.au
• [TYPES/announce] Dates regarding POPL   Brigitte Pientka
• [TYPES/announce] DCM'18: Deadline extension (15 April)   Sandra Alves
• [TYPES/announce] DCM'18: Deadline extension (22 April) - EPTCS proceedings after the workshop   Sandra Alves
• [TYPES/announce] DCM'18 Final Call-for-papers (deadline 8 April 2018)   Sandra Alves
• [TYPES/announce] DCM'18 Second Call for Papers   Sandra Alves
• [TYPES/announce] DCM'18 Third Call for Papers   Sandra Alves
• [TYPES/announce] Deadline Approaching - SBMF 2018   M.R. Mousavi
• [TYPES/announce] Deadline approaching: Call for Posters: ACM SIGPLAN Workshop on Machine Learning and Programming Languages 2018   Alvin Cheung
• [TYPES/announce] DEADLINE EXTENDED: Call for Papers: ACM SIGPLAN Workshop on Machine Learning and Programming Languages 2018   Alvin Cheung
• [TYPES/announce] Deadline Extension: Doctoral Symposium at ECOOP/ISSTA 2018 (Amsterdam)   Julia Belyakova
• [TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'18)   Peter Csaba Ölveczky
• [TYPES/announce] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [TYPES/announce] Deadline Extension: ICMS'18 Session on Software for Mathematical Reasoning and Applications   Temur Kutsia
• [TYPES/announce] DEADLINE EXTENSION: Learning and Automata (LearnAut) -- FLoC 2018 Workshop   Matteo Sammartino
• [TYPES/announce] Deadline extension: SETTA 2018   Xinyu Feng
• [TYPES/announce] Deadline extension: VMCAI 2019 (October 14th, 2018)   Constantin Enea
• [TYPES/announce] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [TYPES/announce] DICE-FOPARA 2019: Call for Papers   seiller
• [TYPES/announce] DICE 18: 2nd Call for Papers   Martin Avanzini
• [TYPES/announce] DICE 18: Final Call -- Extended Deadline   Martin Avanzini
• [TYPES/announce] DICE Special Issue in TCS -- 2nd Call for Papers   Martin Avanzini
• [TYPES/announce] DICE Special Issue in TCS -- Call for Papers   Martin Avanzini
• [TYPES/announce] DisCoTec 2018 2nd CfP   ivan.lanese
• [TYPES/announce] DisCoTec 2018 Call for Participation   Ivan Lanese
• [TYPES/announce] doctoral student funding at Boston University: formal methods for cryptography   Alley Stoughton
• [TYPES/announce] DOMAINS XIII CALL FOR ABSTRACTS   Paul Blain Levy
• [TYPES/announce] DS-RT 2018: CFP Special Sessions (extended deadlines)   Robson De Grande
• [TYPES/announce] DSLDI 2018: Extended Call for Talk Proposals   Sam Tobin-Hochstadt
• [TYPES/announce] DSLDI 2018: First Call for Talk Proposals   Sam Tobin-Hochstadt
• [TYPES/announce] ECOOP'19 London - Call for Papers   Edd Barrett
• [TYPES/announce] ECOOP'19 London - Second Call for Papers   Edd Barrett
• [TYPES/announce] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018   Natarajan Shankar
• [TYPES/announce] EPIT 2018 Software Verification Spring School, last call   David Baelde
• [TYPES/announce] EPIT 2018 Software Verification Spring School : registration opens   David Baelde
• [TYPES/announce] ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS   Derek Dreyer
• [TYPES/announce] ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS   Derek Dreyer
• [TYPES/announce] ETAPS 2019 - 2nd Call for Satellite Events   Simon Bliudze
• [TYPES/announce] ETAPS 2019 - Final Call for Satellite Events   Simon Bliudze
• [TYPES/announce] ETAPS 2019 1st joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2019 2nd joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS Test of Time Award   Tarmo Uustalu
• [TYPES/announce] ETAPS Test of Time Award 2018: Call for nominations   Simon Bliudze
• [TYPES/announce] EXPRESS/SOS 2018 -- Final Call for Papers.   Jorge A. Perez
• [TYPES/announce] EXPRESS/SOS 2018 -- First Call for Papers   Jorge A. Perez
• [TYPES/announce] EXPRESS/SOS 2018 -- Second Call for Papers.   Jorge A. Perez
• [TYPES/announce] EXPRESS/SOS 2018: Deadline Extension (until June 21st)   Jorge A. Perez
• [TYPES/announce] Extended CFP for The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19)   Yazan Mualla
• [TYPES/announce] EXTENDED DEADLINE: EUTYPES Summer School on Types for Programming and Verification   Marino Miculan
• [TYPES/announce] EXTENDED DEADLINE: FMCAD 2018 Student Forum   Dejan Jovanović
• [TYPES/announce] Extended Deadline CfP LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm   Roussanka Loukanova
• [TYPES/announce] Extended deadline for CL&C 2018: April 10, 2018   Berardi Stefano
• [TYPES/announce] Extended deadline ICTCS 2018 - Urbino (Italy)   Aldini, Alessandro
• [TYPES/announce] Facebook Testing and Verification call for research proposals   O'Hearn, Peter
• [TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology   Iulian Neamtiu
• [TYPES/announce] Final announcement, Vladimir Voevodsky Memorial Conference   Daniel R. Grayson
• [TYPES/announce] Final Announcement: Second DeepSpec Summer School   Lennart Beringer
• [TYPES/announce] Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)   Anders Mortberg
• [TYPES/announce] Final Call for Papers: First Symposium on Compositional Structures (SYCO 1) **Submission Deadline Monday 13 August**   Jamie Vicary
• [TYPES/announce] Final Call for Papers: PACMPL issue ICFP 2018   Lindsey Kuper
• [TYPES/announce] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -   Peter Achten
• [TYPES/announce] Final Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA)   Bahareh Afshari
• [TYPES/announce] Final Call for Papers Software Verification and Testing Track (SVT) @ ACM SAC 2019   Matthias Güdemann
• [TYPES/announce] Final Call for Presentations: Second Symposium on Compositional Structures (SYCO 2)   Pawel Sobocinski
• [TYPES/announce] Final CfP (Saturday AOE): Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam   Summers Alexander John
• [TYPES/announce] Final CFP 3rd International Workshop about Sets and Tools (SETS 2018)   dubois
• [TYPES/announce] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)   German Vidal
• [TYPES/announce] Final CfP: FM 2018   Einar Broch Johnsen
• [TYPES/announce] Final CFP: ProWeb 2018   Sam Lindley
• [TYPES/announce] Final CfP: SEFM 2018   Einar Broch Johnsen
• [TYPES/announce] Final CfP CME-EI at CICM   Walther Neuper
• [TYPES/announce] Final CFP HOPE 2018   Filip Sieczkowski
• [TYPES/announce] First call for papers. VPT 2019 - Seventh International Workshop on Verification and Program Transformation   Lisitsa, Alexei
• [TYPES/announce] First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)   Andrei Chis
• [TYPES/announce] First Call for Papers: PACMPL issue ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] First CFP 3rd International Workshop about Sets and Tools (SETS 2018)   dubois
• [TYPES/announce] First CfP: JFP Special Issue on The Theory and Practice of Algebraic Effects and Handlers   KC Sivaramakrishnan
• [TYPES/announce] FLoC 2018 - Call for Participation   Andrzej Murawski
• [TYPES/announce] FLoC 2018 - Final Joint Call for Papers   Andrzej Murawski
• [TYPES/announce] FLoC 2018 - Joint Call for Workshop Papers   Andrzej Murawski
• [TYPES/announce] FLoC 2018 - Last Call for Participation   Andrzej Murawski
• [TYPES/announce] FLoC 2018 - Last Joint Call for Workshop Papers   Andrzej Murawski
• [TYPES/announce] FLoC 2018 - Last Joint Call for Workshop Participation   Andrzej Murawski
• [TYPES/announce] FLoC 2018: Programme now live and accommodation booking fast   Andrzej Murawski
• [TYPES/announce] FLoC 2018 Volunteer Programme Announcement   Andrzej Murawski
• [TYPES/announce] FLoC 2018 Workshop: Twenty years of deep inference   lutz at lix.polytechnique.fr
• [TYPES/announce] FLOPS2018: Call For Participation   Martin Sulzmann
• [TYPES/announce] FM'19: Call for Workshop & Tutorial Proposals   Renato Neves
• [TYPES/announce] FM'19: Final Call for Workshop & Tutorial Proposals   Renato Neves
• [TYPES/announce] FMCAD 2018 Student Forum - Call for Contributions   Dejan Jovanovic
• [TYPES/announce] FMICS Call for Papers   HaoWu
• [TYPES/announce] FOCLASA 2018 - 2nd call for papers   Jacopo Soldani
• [TYPES/announce] FOCLASA 2018 - last CFP, deadlines extended   Jacopo
• [TYPES/announce] FoPPS Logic and Learning School (Oxford, July 1-6)   Andrzej Murawski
• [TYPES/announce] FOPSS Logic and Learning School advertisement   Andrzej Murawski
• [TYPES/announce] Formal Methods 2019: First Call for Papers   Renato Neves
• [TYPES/announce] Formal Methods internship at Arm Research   Dominic Mulligan
• [TYPES/announce] Formal methods internship at Toyota ITC   Eunsuk Kang
• [TYPES/announce] Formal verification position at Toyota ITC, Mountain View   Eunsuk Kang
• [TYPES/announce] FORMATS 2018 **Last Call for Papers and Deadline Extension**   David N. Jansen
• [TYPES/announce] FORMATS 2018 **Second Call for Papers***   David N. Jansen
• [TYPES/announce] FORMATS 2019 Call for Papers   Ichiro Hasuo
• [TYPES/announce] Free mini-course on programming with advanced Haskell type system features, September 5, Lowell, Massachusetts   David Thrane Christiansen
• [TYPES/announce] FROM 2018 - 3rd CFP - Deadline Extended to 11 May   Stefan Ciobaca
• [TYPES/announce] FROM 2018 - Call for Papers   Stefan Ciobaca
• [TYPES/announce] FROM 2018 - Second Call for Papers (special issue in Fundamenta Informaticae)   Stefan Ciobaca
• [TYPES/announce] FROM 2018 Call for Participation   Stefan Ciobaca
• [TYPES/announce] Frontiers in Analog CAD (FAC'18) - Call for Papers   Ničković Dejan
• [TYPES/announce] FSCD 2018 Final Call for Papers (deadline for abstracts: January 15)   Sandra Alves
• [TYPES/announce] FSCD 2019 - Call for Workshop Proposals   Sandra Alves
• [TYPES/announce] FSCD 2019 - First Call for Papers   Sandra Alves
• [TYPES/announce] FSCD 2019 Second Call for Papers   Sandra Alves
• [TYPES/announce] FSCD 2021 - CALL FOR LOCATION   Sandra Alves
• [TYPES/announce] Full-time faculty position in computer science - Vrije Universiteit Brussel   Coen DE ROOVER
• [TYPES/announce] Full Professor Position in Aarhus, Denmark   Lars Birkedal
• [TYPES/announce] Full Professor Position in Aarhus, Denmark   Lars Birkedal
• [TYPES/announce] Full Professorship in Theoretical Computer Science at LMU Munich   Ulrich Schöpp
• [TYPES/announce] fully funded graduate positions in Math at UWO   Dan Christensen
• [TYPES/announce] Fully funded PhD scholarship at the IT University of Copenhagen   Rasmus Ejlers Møgelberg
• [TYPES/announce] Fwd: AAAI Symposium on verification of neural networks - Expressions of Interest   Clark Barrett
• [TYPES/announce] Fwd: Assistant Professor in Logic of Programs, Stockholm University (Closing date: April 3)   Gabriel Scherer
• [TYPES/announce] Fwd: Fully-funded PhD studentship with Mark Batty at the University of Kent   Mark Batty
• [TYPES/announce] Fwd: Job opening: post-doctoral research and development position at the University of Barcelona   Ana
• [TYPES/announce] Fwd: jobs at multiple levels in Canberra Australia   Gabriel Scherer
• [TYPES/announce] Fwd: Tenure-Track Faculty Positions at UC Santa Cruz   Cormac Flanagan
• [TYPES/announce] GaLoP 2018 - Last Call for Papers   Ugo Dal Lago
• [TYPES/announce] Game Semantics 25 - Call for Talks   Andrzej Murawski
• [TYPES/announce] Game Semantics 25 - Last Call for Talks   Andrzej Murawski
• [TYPES/announce] GPCE 2018 2nd Call for Papers: Boston, MA, USA, Nov 5, 6 2018   Eric Van Wyk
• [TYPES/announce] GPCE 2018 Call for Papers: Boston, MA, USA, Nov 5, 6 2018   Eric Van Wyk
• [TYPES/announce] Graphical Models for Security (GraMSec 2018) - Call for Papers   Barbara Kordy
• [TYPES/announce] Graphical Models for Security (GraMSec 2018) - deadline extended until April 20   Barbara Kordy
• [TYPES/announce] Gödel Prize 2018 - Call for Nominations   Anuj Dawar
• [TYPES/announce] HCVS 2019 - First Call For Papers   Grigory Fedyukovich
• [TYPES/announce] Homotopy Type Theory and Univalent Foundations conference in Oslo   Bjorn Ian Dundas
• [TYPES/announce] HOPE 2018: Deadline extension until June 15th   Filip Sieczkowski
• [TYPES/announce] HOR 18 (Oxford, FLoC 2018)- Special session in honour of Kris Rose   Stefano Guerrini
• [TYPES/announce] HOR 18: ** deadline extension to 22 April ** call for submissions   Stefano Guerrini
• [TYPES/announce] HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) *2nd CFP and deadlines updated*   Nicola Paoletti
• [TYPES/announce] HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) - Call for papers   Nicola Paoletti
• [TYPES/announce] ICFP'18 Call for Student Volunteers   Jakub Zalewski
• [TYPES/announce] ICFP 2019: Call For Workshop Proposals   ICFP Publicity
• [TYPES/announce] ICTAC 2018 2nd call for papers   Tarmo Uustalu
• [TYPES/announce] ICTAC 2018: Call for Papers   Jaco Geldenhuys
• [TYPES/announce] ICTAC 2018 call for papers, extended deadlines   Tarmo Uustalu
• [TYPES/announce] ICTAC 2018 final call for papers   Tarmo Uustalu
• [TYPES/announce] iFM, FMICS and PhD-iFM 2018: Student Bursaries and Call for Participation   HaoWu
• [TYPES/announce] iFM 18' PhD Symposium Call for Papers   Hao Wu
• [TYPES/announce] iFM 2018: Registration Bursaries for PhD students and Early Stage Researchers   HaoWu
• [TYPES/announce] iFM 2018 Call for Papers   Hao Wu
• [TYPES/announce] iFM 2018 Call For Papers   Hao Wu
• [TYPES/announce] iFM 2081 Call For Papers   Hao Wu
• [TYPES/announce] International Curriculum Development Consultant   Hasan Qunoo
• [TYPES/announce] International School on Rewriting, Paris, July 2019: Call for Lecture Proposals   Frédéric Blanqui
• [TYPES/announce] International Summer School on Proof Theory   Bahareh Afshari
• [TYPES/announce] Internships / Placements at Imperial College   Constantinides, George A
• [TYPES/announce] IOHK is hiring six PLT engineers   Philip Wadler
• [TYPES/announce] IRIF Annual Postdoc Call (opens October - deadline mid-November)   IRIF
• [TYPES/announce] IRIF Annual Postdoc Call (opens October - deadline mid-November)   Frederic Magniez
• [TYPES/announce] ITRS 2018 @ Oxford, UK, 8 July 2018   Michele Pagani
• [TYPES/announce] JOB 16 PhD Positions on Logical Methods in Computer Science 30 percent for Female Candidates   Mihaela Rozman
• [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] LAFI 2019: DEADLINE EXTENSION Languages for Inference   Ohad Kammar
• [TYPES/announce] LAFI 2019: Languages for Inference --- Call-for-Participation   Ohad Kammar
• [TYPES/announce] LAFI 2019: Languages for Inference --- Final Call-for-Proposals   Ohad Kammar
• [TYPES/announce] LAFI 2019: Languages for Inference --- First Call-for-Proposals   Ohad Kammar
• [TYPES/announce] LAP 2018 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)   Jurriaan Hage
• [TYPES/announce] Latest news on TOOLS 50+1   Manuel Mazzara
• [TYPES/announce] LCC 2018: Final Call for Contributions   Jan Hoffmann
• [TYPES/announce] LCC 2018: First Call for Contributions   Jan Hoffmann
• [TYPES/announce] Lecture Notes on Iris: Higher-Order Concurrent Separation Logic.   Lars Birkedal
• [TYPES/announce] Lecturer/Senior Lecturer (Continuing) at Univerity of Melbourne   Toby Murray
• [TYPES/announce] Lecturer in Computer Science position available at Royal Holloway, University of London (deadline: 17 Oct 2018)   Nicola Paoletti
• [TYPES/announce] Lectureship in Formal Methods and Cyber Security in Manchester, UK   Giles Reger
• [TYPES/announce] LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Last call for papers   Giselle Reis
• [TYPES/announce] LFMTP'18 deadline extension   Giselle Reis
• [TYPES/announce] LFMTP - call for papers   Giselle Reis
• [TYPES/announce] LICS 2019 Call for Papers   Sam Staton
• [TYPES/announce] LICS 2019 Call for Workshop Proposals   Sam Staton
• [TYPES/announce] LICS 2019 Final call for papers and workshops announcement   Sam Staton
• [TYPES/announce] Linearity & TLLA Workshop - Call for papers   Fernandez, Maria Isabel
• [TYPES/announce] Logical Methods in Computer Science - LogiCS - multiple PhD positions in Austria   Mihaela Rozman
• [TYPES/announce] Logic Col­lo­quium 2018 (LC18): 2nd call for contributions   Dario Della Monica
• [TYPES/announce] Logic Col­lo­quium 2018 (LC18): DEADLINE EXTENSION   Dario Della Monica
• [TYPES/announce] Logic Col­lo­quium 2018 (LC18): final call for contributions   Dario Della Monica
• [TYPES/announce] Logic Mentoring Workshop (LMW'18): Call for Participation   Gabriel Scherer
• [TYPES/announce] LOLA 2018: Deadline EXTENSION   Ohad Kammar
• [TYPES/announce] LOLA 2018: Last Call-for-Proposals   Ohad Kammar
• [TYPES/announce] LOLA 2018: Second Call-for-Proposals   Ohad Kammar
• [TYPES/announce] LSFA 2018, 2nd CfP   Beniamino Accattoli
• [TYPES/announce] LSFA 2018, 3rd CfP   Beniamino Accattoli
• [TYPES/announce] LSFA 2018, Deadline Extension (2 weeks)   Beniamino Accattoli
• [TYPES/announce] LSFA 2018, Final CfP   Beniamino Accattoli
• [TYPES/announce] LSFA 2018 - Call for Participation   Carlos Olarte
• [TYPES/announce] LSFA 2019 Call for papers   Amy Felty
• [TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2018: CALL FOR PARTICIPATION   Alexander Pretschner
• [TYPES/announce] Mathematically Structured Functional Programming 2018: Call for Papers   Robert Atkey
• [TYPES/announce] Mathematically Structured Functional Programming 2018: Final Call for Papers   Robert Atkey
• [TYPES/announce] Mathematics of Program Construction (MPC), Portugal, 2019   Graham Hutton
• [TYPES/announce] MeTRiD 2018: 2nd CfP (ETAPS workshop)   Simon Bliudze
• [TYPES/announce] MeTRiD @ ETAPS 2019: Call for papers   Simon Bliudze
• [TYPES/announce] MFPS 2018 abstracts/papers   Sam Staton
• [TYPES/announce] MFPS 2018 Call for Participation   Sam Staton
• [TYPES/announce] MFPS 2018 final call for papers   Sam Staton
• [TYPES/announce] MFPS 2018 first call for papers   Sam Staton
• [TYPES/announce] MFPS XXXV - Call for Papers   Barbara Koenig
• [TYPES/announce] Midlands Graduate School - registration now open!   Graham Hutton
• [TYPES/announce] Midlands Graduate School 2018 - final call for participation   Graham Hutton
• [TYPES/announce] MLCSB2018 - Call for papers   MMartins
• [TYPES/announce] ML Family Workshop 2018: Call for presentations   Gabriel Scherer
• [TYPES/announce] ML Family Workshop 2018: Call for presentations   Gabriel Scherer
• [TYPES/announce] ML Family Workshop 2018: Deadline extension until June 6th   Gabriel Scherer
• [TYPES/announce] MP4PL '18, 1st Call for Submissions   Artem Pelenitsyn
• [TYPES/announce] MSc/PhD positions at the Queen's School of Computing   Joshua Dunfield
• [TYPES/announce] Multiple PhD and Postdoc positions, Security and Privacy Group, TU Wien, Austria (ERC, FWF, FFG grants)   Maffei, Matteo
• [TYPES/announce] New CPS textbook now available   Andre Platzer
• [TYPES/announce] New deadline for paper submission to SBLP 2018   camarao at dcc.ufmg.br
• [TYPES/announce] New Software Foundations Volume on Random Testing in Coq   Leonidas Lampropoulos
• [TYPES/announce] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium   Kristin Yvonne Rozier
• [TYPES/announce] NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium   Kristin Yvonne Rozier
• [TYPES/announce] NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium   Rozier, Kristin Yvonne [AER E]
• [TYPES/announce] NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium   Rozier, Kristin Yvonne [AER E]
• [TYPES/announce] NSV 2018: Deadline extension to May 11, 2018   Nasrine DAMOUCHE
• [TYPES/announce] Off the Beaten Track at POPL 2019 - Call for Talk Proposals   Michael Greenberg
• [TYPES/announce] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations   Benedikt Ahrens
• [TYPES/announce] Open Engineer Position in ProofInUse joint laboratory   Claude Marché
• [TYPES/announce] Open Ph.D. and post-doc positions in formal verification of secured networked systems at ETH Zurich   Esfandiar Mohammadi
• [TYPES/announce] Open Ph.D. position in Privacy and Access Control at ETH Zurich   Esfandiar Mohammadi
• [TYPES/announce] Open Ph.D. position in Runtime Verification and Monitoring at ETH Zürich   Dmitriy Traytel
• [TYPES/announce] Open PhD and intern positions at IMDEA   Niki Vazou
• [TYPES/announce] Open positions: 1 assistant professor, 2 phd students   Jonker, Hugo
• [TYPES/announce] Open positions in crypto/security at ITU   Carsten Schuermann
• [TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] Open Postdoc Position on Higher-Order Model Checking   koba at kb.is.s.u-tokyo.ac.jp
• [TYPES/announce] OPLSS 2018   Zena Matilde Ariola
• [TYPES/announce] OPLSS 2018   Zena Matilde Ariola
• [TYPES/announce] Oxford July 9: Memorial Corrado Böhm   Mariangiola Dezani
• [TYPES/announce] PARIS 2018 (FLOC workshop): Deadline extended to *April 25*   Alexis Saurin IRIF
• [TYPES/announce] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)   David Baelde
• [TYPES/announce] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (Second CfP)   David Baelde
• [TYPES/announce] PEPM 2019: Deadline extended to Oct. 19   Atsushi Igarashi
• [TYPES/announce] PEPM 2019 Call for Papers   Atsushi Igarashi
• [TYPES/announce] PEPM 2019 Call for Posters, Demos, and Participation   Atsushi Igarashi
• [TYPES/announce] PEPM 2019 Final Call for Posters/Demos   Atsushi Igarashi
• [TYPES/announce] Phd/PostDoc position on linear types and session types   Peter Thiemann
• [TYPES/announce] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming   Bas Spitters
• [TYPES/announce] PhD and post-doc positions on Formal Methods for Voting Systems, University of Luxembourg   Jun PANG
• [TYPES/announce] PhD and Postdoc positions at IRISA/Inria Rennes   David Pichardie
• [TYPES/announce] PhD Candidate in Database Forensics   Markus Schatten
• [TYPES/announce] PhD openings in the Security and Privacy group at TU Wien   Maffei, Matteo
• [TYPES/announce] PhD openings in the Security and Privacy group at TU Wien   Maffei, Matteo
• [TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath   Willem Heijltjes
• [TYPES/announce] PhD position: Unifying Correctness for Communicating Software   Jorge A. Perez
• [TYPES/announce] PhD position: Unifying Correctness for Communicating Software (Updated)   Jorge A. Perez
• [TYPES/announce] PhD position at Chalmers | University of Gothenburg, Sweden   Thorsten Berger
• [TYPES/announce] PhD position at Inria Rennes   Alan Schmitt
• [TYPES/announce] PhD position at the University of Birmingham: higher categories, quantum computing, formal proof   Jamie Vicary
• [TYPES/announce] PhD position available, Imperial   Gardner, Philippa A
• [TYPES/announce] PhD Position in Deductive Verification of Safety-Critical Embedded Software   Dilian Gurov
• [TYPES/announce] PhD Position in Formal Methods for Security   Alberto Lluch Lafuente
• [TYPES/announce] PhD Position in ICT in Trento on "Quantum Annealing for SAT Solving"   Roberto Sebastiani
• [TYPES/announce] PhD position in Logic   Iemhoff, R. (Rosalie)
• [TYPES/announce] PhD Position in Logic & Verification at UCL   Pym, David
• [TYPES/announce] PhD position in rewriting for fault trees   Cynthia Kop
• [TYPES/announce] PhD position on Concurrency, Logic, and Type Systems   Jorge A. Perez
• [TYPES/announce] PhD position on Concurrency, Logic, and Type Systems (Deadline: October 1st).   Jorge A. Perez
• [TYPES/announce] PhD Position on the formalization of automated reasoning in Isabelle/HOL   Jasmin Blanchette
• [TYPES/announce] PhD position on type systems for concurrency   Jorge A. Perez
• [TYPES/announce] PhD positions in PL and distributed systems at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] PhD positions in Programming Language Technology for Security and Privacy   David Sands
• [TYPES/announce] PhD positions in software engineering/formal methods at USI, Switzerland   Carlo A. Furia
• [TYPES/announce] PhD positions in System Security and Formal Methods at KTH Royal Institute of Technology   Mads Dam
• [TYPES/announce] PhD Positions on Logical Methods in Computer Science LogiCS doctoral college Austria   Mihaela Rozman
• [TYPES/announce] PhD Positions with a Special Call for Women in Computer Science by Logical Methods in Computer Science - LogiCS Doctoral College in Austria   Mihaela Rozman
• [TYPES/announce] PhD Scholarship "Verification of Real Time Systems" at Swansea University   Markus
• [TYPES/announce] PhD Scholarships at Australian National University   Ranald Clouston
• [TYPES/announce] PhD Scholarships in Logic and Verification at the Australian National University   Dirk Pattinson
• [TYPES/announce] PhD Student in Software Security and Formal Methods   Musard Balliu
• [TYPES/announce] PhD student positions in the Functional Programming group at Chalmers   Alejandro Russo
• [TYPES/announce] PhD Studentship at UCL: A Coalgebraic framework for reductive logic and proof-search   Pym, David
• [TYPES/announce] PhD studentship in formal methods & verification at University College London   Matteo Sammartino
• [TYPES/announce] PhD studentship in Logic & Verification at UCL   Pym, David
• [TYPES/announce] PhD studentship in logic and verification at UCL   Pym, David
• [TYPES/announce] PhD studentship in logic and verification at UCL (clarified closing date, 27 May 2018)   Pym, David
• [TYPES/announce] PhD studentship on "Probabilistic Property-Based Testing" at the University of Edinburgh   James Cheney
• [TYPES/announce] PhD studentship on Automated Black-box Verification of Networking Systems at University College London   Sammartino, Matteo
• [TYPES/announce] PhD studentship on the CakeML project (University of Kent)   Scott Owens
• [TYPES/announce] PhD thesis position on formal proofs and programming languages at Siemens Mobility, France   Danko Ilik
• [TYPES/announce] PLACES 2019 workshop   Dominic Orchard
• [TYPES/announce] PL and AI faculty positions at McGill University   Brigitte Pientka
• [TYPES/announce] PLDI 2018 First Call for Student Volunteers   Xujie Si
• [TYPES/announce] PLDI 2018 Second Call for Student Volunteers   Xujie Si
• [TYPES/announce] PLMW at ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline June 30!)   Niki Vazou
• [TYPES/announce] PLMW at POPL19: Call for Scholarship Applications   Michael Greenberg
• [TYPES/announce] PLNL 2018 | November 22, 2018 | Utrecht | Programming Languages   Robbert Krebbers
• [TYPES/announce] PL Research positions at Facebook Languages Research (FLaRe)   Nick Benton
• [TYPES/announce] POPL 2019 - Call for Tutorials   Gaboardi, Marco
• [TYPES/announce] POPL 2019 - Call for Workshops and Co-located Events   Michael Greenberg
• [TYPES/announce] POPL 2019 Call for Papers   Michael Greenberg
• [TYPES/announce] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18   Michael Greenberg
• [TYPES/announce] POPL 2019 Student Research Competition   Michael Greenberg
• [TYPES/announce] Position Announcement - Research Scientist Interactive Theorem Proving   Titolo, Laura
• [TYPES/announce] Positions at Ecole Polytechnique   Eric Goubault
• [TYPES/announce] Positions now opened at the CS department of Ecole Polytechnique   Eric Goubault
• [TYPES/announce] Post-doc and PhD openings in Program Analysis and Repair   Andrzej Wasowski
• [TYPES/announce] Post-doc offer: ``A Formally Verified Symbolic Interpreter for the CoLiS Language''   Claude Marché
• [TYPES/announce] Post-doc opening at University Paris Diderot   Giuseppe Castagna
• [TYPES/announce] Post-doc position at the Department of Computer Science and Engineering - University of Bologna - Italy   Gianluigi Zavattaro
• [TYPES/announce] Post-doc position at University of Glasgow, UK - PL foundations / session types   Simon Gay
• [TYPES/announce] Post-doc position in Formal Semantics and Compiler Verification   Delphine Demange
• [TYPES/announce] Post-doc position in Programming Language Theory / Practice, Computing Science, University of Glasgow   Simon Gay
• [TYPES/announce] post-doc positions at LRI : quantum computation, formal methods, numerical methods   benoit at monoidal.net
• [TYPES/announce] Post-doctoral position "Typed lambda-calculi with sharing and unsharing" at University of Bath   Willem Heijltjes
• [TYPES/announce] Post-doctoral position of "business developer" at Software Languages Lab   Coen DE ROOVER
• [TYPES/announce] Post-doctoral researchers wanted for Coq Developments   David Monniaux
• [TYPES/announce] Post-proceedings TYPES'18: call for papers   José Carlos Espírito Santo
• [TYPES/announce] Post-proceedings TYPES'18: Deadline extension   José Carlos Espírito Santo
• [TYPES/announce] Post-proceedings TYPES'18: Final call for papers   José Carlos Espírito Santo
• [TYPES/announce] Postdoc/Engineer positions at LRI - U. Paris Saclay   Benoit Valiron
• [TYPES/announce] PostDoc/Research Engineer at UCLouvain in resilient cryptography for IoT devices   Thomas Wilson
• [TYPES/announce] Postdoc and PhD positions - Center for Advanced Software Analysis, Aarhus University   Anders Møller
• [TYPES/announce] Postdoc and PhD positions in verification at IMDEA, Madrid   Aleksandar Nanevski
• [TYPES/announce] Postdoc at Imperial College London on detecting and surviving exploitable compiler bugs   Alastair Donaldson
• [TYPES/announce] Postdoc at Imperial on the IRIS project, on "Compositional Reasoning for High-Assurance Many-Core Software"   Alastair Donaldson
• [TYPES/announce] PostDoc at Inria, Paris, on Validation and Synthesis of DWARF Debugging Information   Francesco Zappa Nardelli
• [TYPES/announce] Postdoc in formal verification for formal contracts   Fritz Henglein
• [TYPES/announce] postdoc in runtime verification   Radu Grigore
• [TYPES/announce] Postdoc opening at the University of Pennsylvania   Benjamin C. Pierce
• [TYPES/announce] Postdoc position: Symbolic tools for the formal verification of cryptographic protocols   Steve Kremer
• [TYPES/announce] postdoc position at Chalmers | University of Gothenburg   Thorsten Berger
• [TYPES/announce] Postdoc position at Colorado in data-driven program analysis with potential industrial applications   Bor-Yuh Evan Chang
• [TYPES/announce] postdoc position at Inria Rennes   Alan Schmitt
• [TYPES/announce] Postdoc position at Paris Diderot University   Alexis Saurin IRIF
• [TYPES/announce] Postdoc Position at the University of Minnesota   Favonia
• [TYPES/announce] PostDoc Position at UCLouvain in Formal Verificaion, Privacy, and Security   Thomas Wilson
• [TYPES/announce] Postdoc position in formal verification for formal compositional contracts   Łukasz Czajka
• [TYPES/announce] Postdoc position in Logic   Iemhoff, R. (Rosalie)
• [TYPES/announce] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31st May 2018   Graham Leigh
• [TYPES/announce] Postdoc position in Orsay, France   Sylvie Boldo
• [TYPES/announce] Postdoc position in Safety control and energy efficiency for embedded systems   Jalil Boudjadar
• [TYPES/announce] PostDoc Position on Formally Secure Compilation at Inria Paris   Catalin Hritcu
• [TYPES/announce] Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology)   Alejandro Russo
• [TYPES/announce] Postdoc Position Reminder   Mislove, Michael W
• [TYPES/announce] PostDoc positions at Inria Paris on F* and on Formally Secure Compilation   Catalin Hritcu
• [TYPES/announce] Postdoc Positions at KTH and Chalmers on Cyber-Physical Systems (with CakeML)   Magnus Myreen
• [TYPES/announce] Postdoc positions at the University of Pennsylvania   Benjamin C. Pierce
• [TYPES/announce] postdoc positions in formal methods   Clark Barrett
• [TYPES/announce] Postdoc positions in formal methods, U. Oslo   Einar Broch Johnsen
• [TYPES/announce] Postdoc positions in spreadsheet research at MSR Cambridge, deadline December 1   Andy Gordon (RESEARCH)
• [TYPES/announce] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software   m.huisman at utwente.nl
• [TYPES/announce] Postdocs in assurance research   Ewen Denney
• [TYPES/announce] Postdoctoral & development positions on PL for data curation at Edinburgh LFCS   James Cheney
• [TYPES/announce] Postdoctoral Fellow in Mathematical Logic, Stockholm University   Erik Palmgren
• [TYPES/announce] Postdoctoral fellowship on SAT modulo ODE   Alexandre Chapoutot
• [TYPES/announce] Postdoctoral Fellowships at Trinity College Dublin   Matthew.Hennessy
• [TYPES/announce] Postdoctoral Fellowships in the University of Groningen, The Netherlands.   Jorge A. Perez
• [TYPES/announce] Postdoctoral position at Stanford University   Clark Barrett
• [TYPES/announce] Postdoctoral position in Biological Programming Languages, Microsoft Research, Cambridge, UK   Andrew Phillips
• [TYPES/announce] Postdoctoral position in deep learning + formal methods at Rice University   Swarat Chaudhuri
• [TYPES/announce] Postdoctoral position in machine learning + program synthesis at, Rice University   Swarat Chaudhuri
• [TYPES/announce] Postdoctoral positions at MPI-SWS   Rupak Majumdar
• [TYPES/announce] Postdoctoral Researcher in Programming Languages and Machine Learning   Danfeng Zhang
• [TYPES/announce] Postdoctoral Researcher in Programming Languages and Machine Learning at Penn State   Danfeng Zhang
• [TYPES/announce] Postdoc vacancy in **Quantum Circuit Optimisation and Graphical Calculus** at Radboud University, Nijmegen   Aleks Kissinger
• [TYPES/announce] PPar CDT at the University of Edinburgh   Philip Wadler
• [TYPES/announce] PPDP 2018: Call for Participation   David Sabel
• [TYPES/announce] PPDP 2018: Deadline Extension!   David Sabel
• [TYPES/announce] PPDP 2018: First Call for Papers   David Sabel
• [TYPES/announce] PPDP 2018: Second Call for Papers   David Sabel
• [TYPES/announce] PPDP | LOPSTR | WFLP 2018 Common Call for Participation   David Sabel
• [TYPES/announce] Pre-announcement: Applied Category Theory Conference+School at Oxford, July 15-26, 2019.   Bob Coecke
• [TYPES/announce] PriSC 2019 Workshop @ POPL: Call for Participation and Short Talks   Dominique DEVRIESE
• [TYPES/announce] Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies   Tarmo Uustalu
• [TYPES/announce] ProvenanceWeek 2018 call for papers   James Cheney
• [TYPES/announce] QBFEVAL'18 -- Registration closes in 1 week   Luca Pulina
• [TYPES/announce] QBFEVAL'18 - Deadline extension   Luca Pulina
• [TYPES/announce] QComp 2019: call for benchmarks and tool participation   a.hartmanns at utwente.nl
• [TYPES/announce] QPL 2018 submission deadline approaching   Peter Selinger
• [TYPES/announce] Quantum Computation Postdoc at Tulane   Mislove, Michael W
• [TYPES/announce] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science   Walter Guttmann
• [TYPES/announce] RC 2018: Second call for papers   ivan.lanese
• [TYPES/announce] RC 2018 Call for Participation   ivan.lanese
• [TYPES/announce] Reminder: Postdoc positions in spreadsheet research at MSR Cambridge, deadline December 1   Andy Gordon (RESEARCH)
• [TYPES/announce] Reminder: six lectureships, Imperial: target areas include theory and software reliability   Gardner, Philippa A
• [TYPES/announce] Research Assistant / Associate in Discipline Approximate Arithmetic   Constantinides, George A
• [TYPES/announce] Research assistant position in quantum formal methods   Jaap Boender
• [TYPES/announce] research engineer (postdoc) position at MSR-Inria Joint Centre   Stephan Merz
• [TYPES/announce] Research Grant Position for 1 Year at the University of Udine   Ivan Scagnetto
• [TYPES/announce] Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine   Joelle Despeyroux
• [TYPES/announce] Research position in Verified Confidentiality for Weak Memory Concurrency, Melbourne   Toby Murray
• [TYPES/announce] Research positions in cryptography, blockchain, and formal verification at Aarhus   Bas Spitters
• [TYPES/announce] Research Positions in Logic & Verification at UCL   Pym, David
• [TYPES/announce] Research Positions in Logic & Verification at UCL (amended closing date: 14 May 2018)   Pym, David
• [TYPES/announce] Runtime Verification Benchmark Challenge 2018   Giles Reger
• [TYPES/announce] S-REPLS 10 at Birkbeck: Call for Talks and Participation   Carsten Fuhs
• [TYPES/announce] S-REPLS 9: Call for talks   Martin Berger
• [TYPES/announce] S-REPLS 9: Programme now available   Martin Berger
• [TYPES/announce] SACS Journal 2018 Volume   Bogdan Aman
• [TYPES/announce] SAS 2018 - Call for Participation   Urban Caterina
• [TYPES/announce] SAS 2018: Call for Papers   Urban Caterina
• [TYPES/announce] SAT/SMT/AR Summer School 2018   Giles Reger
• [TYPES/announce] SBLP 2018 Call for Papers   camarao at dcc.ufmg.br
• [TYPES/announce] SBLP 2018 Call for Papers   camarao at dcc.ufmg.br
• [TYPES/announce] SBLP 2018 deadline extension   camarao at dcc.ufmg.br
• [TYPES/announce] SBLP 2018 last call for papers   camarao at dcc.ufmg.br
• [TYPES/announce] Scala'18 Call for Papers   Bruno Oliveira
• [TYPES/announce] Scala Symposium Deadline Extension: 13th of June   Bruno Oliveira
• [TYPES/announce] Scholarship: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019   Mihaela Rozman
• [TYPES/announce] Second-round CfS: Doctoral Symposium at ECOOP/ISSTA 2018 (Amsterdam)   Julia Belyakova
• [TYPES/announce] Second Call for Papers: First Symposium on Compositional Structures (SYCO 1) **Extended Submission Deadline Monday 13 August**   Jamie Vicary
• [TYPES/announce] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [TYPES/announce] Second Call for Papers: PACMPL issue ICFP 2018   Lindsey Kuper
• [TYPES/announce] Second call for papers: VPT 2019, Seventh International Workshop on Verification and Program Transformation April 2nd 2019, Genova, Italy   Lisitsa, Alexei
• [TYPES/announce] Second call for papers NSV 2018   Nasrine DAMOUCHE
• [TYPES/announce] Second CfP: Workshop on Compositional Approaches in Physics, NLP, and Social Sciences   Martha Lewis
• [TYPES/announce] Second DeepSpec Summer School, July 16-27, 2018   Lennart Beringer
• [TYPES/announce] Second round call for papers: LOPSTR 2018   David Sabel
• [TYPES/announce] Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019   Benedikt Ahrens
• [TYPES/announce] Security track at the 34th ACM SAC - Call for papers   Rosario Giustolisi
• [TYPES/announce] Security track at the 34th ACM SAC - Deadline extension   Rosario Giustolisi
• [TYPES/announce] Seeking postdoc for information-flow type systems at the hardware/OS level   Andrew Myers
• [TYPES/announce] Seeking students and postdocs to work on information-flow type systems for secure hardware   Andrew Myers
• [TYPES/announce] SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)   Martin Steffen
• [TYPES/announce] SETTA 2018: deadline extended to May 7   Xinyu Feng
• [TYPES/announce] SETTA 2018 deadline approaching   Xinyu Feng
• [TYPES/announce] Several teaching positions in Computer Science at Swansea University, closing date 31 October 2018   Seisenberger M.
• [TYPES/announce] six lectureships, Imperial: target areas include theory and software reliability   Gardner, Philippa A
• [TYPES/announce] SMT 2018: deadline extended to April 22   Rayna Dimitrova
• [TYPES/announce] SMT 2018: First Call for Papers   Rayna Dimitrova
• [TYPES/announce] SMT 2018 Call for Papers   Rayna Dimitrova
• [TYPES/announce] Software Verification and Testing Track (SVT) @ ACM SAC 2019 (deadline extension)   Matthias Güdemann
• [TYPES/announce] Special Issue in Memory of Corrado Böhm   Mariangiola Dezani
• [TYPES/announce] SPIN 2019 in Beijing - Call for Papers and Participation   Fabrizio Biondi
• [TYPES/announce] SPLASH 2018: 1st Combined Call for Contributions   SPLASH Publicity
• [TYPES/announce] SPLASH 2018: Call for Participation   SPLASH Publicity
• [TYPES/announce] SPLASH 2018: Combined Call for Workshop Submissions   SPLASH Publicity
• [TYPES/announce] Stripe is hiring type systems and language tooling engineers   Dmitry Petrashko
• [TYPES/announce] Summer School on Proof Theory, Ghent (Belgium), 2-5 Sep 2018   Bahareh Afshari
• [TYPES/announce] SYCO 2 Call for Participation   Pawel Sobocinski
• [TYPES/announce] SyGuS-COMP 2018 Call for Solvers and Benchmarks Submission   Dana Fisman
• [TYPES/announce] SYNASC 2018 - Final Call for Papers   Temur Kutsia
• [TYPES/announce] TAP 2018 - second CFP   dubois
• [TYPES/announce] TASE 2018 -- 2nd Call for Papers   Jun PANG
• [TYPES/announce] TASE 2018 -- Last Call for Papers   Jun PANG
• [TYPES/announce] Tenth Scandinavian Logic Symposium 2018, 11-13 June 2018, Gothenburg, Sweden   Bahareh Afshari
• [TYPES/announce] Tenure-Track / Tenured Faculty Positions at Drexel University   Gordon,Colin
• [TYPES/announce] Tenure-track opening at Max Planck Institute for Software Systems (MPI-SWS)   Maria Christakis
• [TYPES/announce] Tenure-Track Position: Information Assurance and Security   Jorge A. Perez
• [TYPES/announce] Tenure-track positions at North Carolina State University   Chris Martens
• [TYPES/announce] Tenure Track Positions at the University of Bergen, Norway   Jaakko Järvi
• [TYPES/announce] TERMGRAPH 2018 at FLoC - Call for Papers - deadline 22 April   Fernandez, Maria Isabel
• [TYPES/announce] Tezos is hiring!   careers
• [TYPES/announce] Tezos is recruiting!   careers
• [TYPES/announce] TFPIE 2018: First Call for Papers   Heather Miller
• [TYPES/announce] The Alonzo Church Award: Call for Nominations   Catuscia Palamidessi
• [TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2018: Call for Applications   Derek Dreyer
• [TYPES/announce] ThEdu'18: Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [TYPES/announce] ThEdu'18: Second Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [TYPES/announce] Theory and Practice of Differential Privacy (TPDP) 2018 Call for Papers   Gaboardi, Marco
• [TYPES/announce] The Racket School 2018: Create your own language   Sam Tobin-Hochstadt
• [TYPES/announce] TOOLS 50+1: CFP   Manuel Mazzara
• [TYPES/announce] TRENDS 2018: Call for Participation and Highlight Talks   M.R. Mousavi
• [TYPES/announce] Twenty years of deep inference workshop- last CfP   aler
• [TYPES/announce] Twenty Years of Deep Inference workshop- second CfP   Andrea Aler
• [TYPES/announce] Two phd/post-doc positions: FORMALIZATION AND VERIFICATION OF TRAFFIC RULES FOR AUTOMATED VEHICLES   Tobias Nipkow
• [TYPES/announce] Two PhD Positions in Program Verification   Amin Timany
• [TYPES/announce] Two PhD positions on analysis and verification at the University of Chieti-Pescara in Italy   Fabio Fioravanti
• [TYPES/announce] Two Post-doc Research Fellowships at NOVA LINCS/NOVA University of Lisbon and OutSystems collaborative laboratory   João Costa Seco
• [TYPES/announce] Two postdoc positions at Imperial: “Security Analysis for Graphics Drivers”, and “Programming Language and System Support for High-Performance Data Processing”   Alastair Donaldson
• [TYPES/announce] Two Research Associate Positions (Post-doc, Full Time, Fixed Term) at Imperial College London   Yoshida, Nobuko
• [TYPES/announce] TyDe 2018: SUBMISSION DEADLINE EXTENDED TO JUNE 13th.   Niki Vazou
• [TYPES/announce] TYPES'18: Final call for participation   José Carlos Espírito Santo
• [TYPES/announce] Types 2018: Deadline extension   José Carlos Espírito Santo
• [TYPES/announce] TYPES 2018: final call for contributions   José Carlos Espírito Santo
• [TYPES/announce] TYPES 2019, 11-14 June 2019, Oslo: Announcement and first call for contributions   Marcus Aloysius Bezem
• [TYPES/announce] UNIF 2018 - Last CFPs   Mauricio Ayala-Rincon
• [TYPES/announce] UNIF 2018 - Second Call for Papers   Mauricio Ayala-Rincon
• [TYPES/announce] UNIF 2018 - Third Call for Papers   Mauricio Ayala-Rincon
• [TYPES/announce] UNIF 2018 EasyChair open for uploading papers until 16th April   Mauricio Ayala-Rincon
• [TYPES/announce] UNIF 2019 - First Call for Papers   Serdar ERBATUR
• [TYPES/announce] Uni Tromsø, Norway: PhD in formal methods for scalable data-driven cloud applications   Einar Broch Johnsen
• [TYPES/announce] University of Edinburgh Chancellor's Fellowships   Gordon Plotkin
• [TYPES/announce] Upcoming Deadline for SAS 2018: April 13th   Urban Caterina
• [TYPES/announce] UPDATED: Postdoc vacancy in **Quantum Circuit Optimisation and Graphical Calculus** at Radboud University, Nijmegen   Aleks Kissinger
• [TYPES/announce] Up to 3 PhD student positions on Programming Languages and Systems for Security and Privacy at Chalmers   Andrei Sabelfeld
• [TYPES/announce] UVM hiring t-t prof in systems security, assistant or associate   David Darais
• [TYPES/announce] Vacancy Full Professor Software Science (Radboud University Nijmegen NL)   Herman Geuvers
• [TYPES/announce] VCLA International Student Awards -- deadline approaching   Elaine Pimentel
• [TYPES/announce] VerifyThis 2018: Call for Participation and Travel Grants   Andrei Paskevich
• [TYPES/announce] VerifyThis 2018: Call for Problems and First Announcement   Andrei Paskevich
• [TYPES/announce] VerifyThis at ETAPS 2019: Announcement + Call for Problems   VerifyThis
• [TYPES/announce] VeTSS PhD Scholarship Programme on Session Types and Programming Languages   Yoshida, Nobuko
• [TYPES/announce] VeTSS PhD School and FMATS, MSR Cambridge, September 24th-25th   Gardner, Philippa A
• [TYPES/announce] Vienna Research Groups for Young Investigators (Tenure-Track Professorship at TU Wien + 1.6M funding for 6-8 years)   Maffei, Matteo
• [TYPES/announce] Visiting PhD Student   Harley D. Eades III
• [TYPES/announce] VMCAI 2019 2nd Call for Papers   Constantin Enea
• [TYPES/announce] VMCAI 2019 Call for Papers   Constantin Enea
• [TYPES/announce] VSTTE 2018 - Call for papers   Piskac, Ruzica
• [TYPES/announce] VTSA 2018: call for applications   Stephan Merz
• [TYPES/announce] VTSA 2018: call for applications   Stephan Merz
• [TYPES/announce] WiL 2018: Call for talks and papers, *deadline extension to 30 April*   Amy Felty
• [TYPES/announce] WiL 2018: Women in Logic Workshop 2nd Call for Papers   Amy Felty
• [TYPES/announce] WiL 2018: Women in Logic Workshop Final Call for Papers   Amy Felty
• [TYPES/announce] WiP-VECoS2018 CFP: Work-in-progress session at VECoS 2018, Grenoble, 26-28 septembre 2018   Ayoub Nouri
• [TYPES/announce] WiP-VECoS2018 CFP: Work-in-progress session at VECoS 2018, Grenoble, 26-28 septembre 2018   Ayoub Nouri
• [TYPES/announce] Workshop - Practical and Foundational Aspects of Type Theory - Tuesday 19 June, Canterbury, Kent, UK   Simon Thompson
• [TYPES/announce] Workshop: Computational Logic and Applications   Noam Zeilberger
• [TYPES/announce] Workshop HDRA 2018: Call for Papers   Samuel Mimram
• [TYPES/announce] Workshop on Proof Theory and its Applications, Ghent (Belgium), 6-7 Sep 2018   Bahareh Afshari
• [TYPES/announce] Workshop on the Future of Alloy   Eunsuk Kang
• [TYPES/announce] WPTE 2018: Deadline extension to April 29, 2018   Joachim Niehren
• [TYPES/announce] WPTE 2018 Call for Papers   Joachim Niehren
• [TYPES/announce] WTSC19 - call for paper (double submission deadline!)   Andrea Bracciali
• [TYPES/announce] ‹Programming› 2019 Combined Call for Workshop Submissions   Davide Ancona

Last message date: Mon Dec 31 21:12:47 EST 2018
Archived on: Tue Jan 1 06:06:14 EST 2019

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