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
- International Workshop on Coq for PL (CoqPL)
- Coq Workshop
Type theory and foundations
- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics
- Workshop on Homotopy Type Theory / Univalent Foundations
- 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)
- International Workshop on Fixed Points in Computer Science (FICS)
Logic, theorem proving and automated reasoning
- Federated Logic Conference (FLoC)
- IEEE Symposium on Logic in Computer Science (LICS)
- Annual Conference on Computer Science Logic (CSL)
- International Conference on Logic Programming (ICLP)
- Conference on Theory and Applications of Satisfiability Testing (SAT)
- International Workshop on Classical Logic and Computation (CL&C)
- Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
- Conference on Automated Deduction (CADE)
- International Joint Conference on Automated Reasoning (IJCAR)
- Artificial Intelligence and Theorem Proving (AITP)
- Interactive Theorem Proving (ITP) 2015
- Theorem Proving in Higher Order Logics (TPHOLs)
- International Workshop on Satisfiability Modulo Theories (SMT)
- SAT/SMT Summer School 2015
- Journal of Formalized Reasoning
- Workshop on Proofs, Justifications and Certificates
- International Workshop on Hammers for Type Theories (HaTT)
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.
- Symposium on Principles of Programming Languages (POPL)
- preprints – list of links to preprints of accepted papers with links to previous years as well
- Summit on Advances in Programming Languages (SNAPL)
- 1st proceedings in PDF (2015)
- The International Conference on Functional Programming (ICFP)
- International Colloquium on Automata, Languages and Programming (ICALP)
- International Conference on Language and Automata Theory and Applications (LATA)
- International Conference on Compiler Construction (CC)
- European Symposium on Programming (ESOP)
- Programming Language Design and Implementation (PLDI)
- Object-Oriented Programming, Systems, Language & Applications (OOPSLA)
- European Conference on Object-Oriented Programming (ECOOP)
- International Symposium on Memory Management (ISMM)
- Programming Language Design and Implementation (PLDI)
- Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
- Dynamic Languages Symposium (DLS)
- Practical Aspects of Declarative Languages (PADL)
- Mathematical Foundations of Programming Semantics (MFPS)
- C◦mp◦se :: Conference
- Curry On! conference
- Summer School on DSL Design and Implementation 2015
- Central-European Functional Programming School (CEFP)
- Workshop on Probabilistic Programming Semantics (PPS)
- Symposium on Trends in Functional Programming (TFP)
- Approaches and Applications of Inductive Programming (AAIP)
- Syntax and Semantics of Low Level Languages (LOLA)
- Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS)
- Workshop on Partial Evaluation and Program Manipulation (PEPM)
- Workshop on Higher-Order Programming with Effects (HOPE)
General/other
This includes software engineering, security and tons of other fields.
- European Joint Conferences on Theory and Practice of Software (ETAPS)
- International Conference on Fundamental Approaches to Software Engineering (FASE)
- Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS)
- International Conference on Principles of Security and Trust (POST)
- Conference on Intelligent Computer Mathematics (CICM)
- International Congress on Mathematical Software (ICMS)
Meta
- Computer Science Conferences website
- Microsoft Academic Search – Top conferences in CS
- Top Crypto and Security Conferences Ranking