Conferences
I've divided the events into a few disjoint categories, although, naturally, there will be a significant overlap in the topics covered by events in two different categories.
Coq
Type theory and foundations
- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics
- International Conference on Types for Proofs and Programs (TYPES)
- International Conference on Typed Lambda Calculi and Applications (TLCA)
- Conference on Algebra and Coalgebra in Computer Science (CALCO)
- International Symposium on Theoretical Aspects of Computer Science (STACS)
- International Colloquium on Theoretical Aspects of Computing (ICTAC)
- Symposium on Foundations of Computer Science (FOCS)
- International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
- International Symposium on Mathematical Foundations of Computer Science (MFCS)
- SICSA Summer School on Practical Types
- Workshop on Type-Directed Development (TyDe)
- Workshop on Mathematically Structured Functional Programming (MSFP)
Logic, theorem proving and automated reasoning
Formal methods
- International Symposium on Formal Methods (FM)
- NASA Formal Methods Symposium (NFM)
- International Conference on Software Engineering and Formal Methods (SEFM)
- Conference on Certified Programs and Proofs (CPP)
- Conference on Automated Verification (CAV)
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
- International SPIN symposium on Model Checking of Software (SPIN)
- International Symposium on Automated Technology for Verification and Analysis (ATVA)
- International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
- International Workshop on Automated Verification of Critical Systems (AVoCS)
- International Workshop on Parallel and Distributed Methods in verifiCation (PDMC)
- International Conference on Formal Engineering Methods (ICFEM)
- Higher-Dimensional Rewriting and Applications (HDRA)
- International Conference on Rewriting, Deduction, and Programming (RDP)
- International Conference on Rewriting Techniques and Applications (RTA)
- International Conference on Applications and Theory of Petri Nets and Concurrency (PN)
- International Conference on Applications of Concurrency to System Design (ACSD)
- Formal Structures for Computation and Deduction (FSCD)
- Computer Security Foundations Symposium (CSF)
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA)
- International Symposia on Formal Methods for Components and Objects (FMCO)
- Summer School on Formal Techniques 2015
- IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Programming languages
This includes compilers and related stuff, too.
General/other
This includes software engineering, security and tons of other fields.
Meta