- Advanced Functional Programming Techniques: First International Spring School
- ALP '96: Algebraic and Logic Programming
- ASPLOS: Architectural Support for Programming Languages and Operating Systems
- BCTCS: British Colloquium for Theoretical Computer Science
- CAAP: Colloquium on Trees in Algebra and Programming
- CC: International Conference on Compiler Construction
- ECOOP: European Conference on Object-Oriented Programming
- ESOP: European Symposium on Programming
- ELP: Workshop on Extensions of Logic Programming
- euroFORTH: European Forth Conference
- FLoC'96: Federated Logic Conference
- FOOL: Workshop on Foundations of Object-Oriented Languages
- Workshop on Formal Methods in Software Practice
- Foundational Methods in Computer Science Workshop
- Workshop on Functional Programming, Buenos Aires
- Haskell Workshop
- Glasgow Functional Programming Workshops
- HIPS: High-Level Programming Models and Supportive Environments
- ICFP: International Conference on Functional Programming
- ICSE-17 Workshop on Program Transformation for Software Evolution
- ICSE-17 Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages
- ISLIP: International Symposium on Languages for Intensional Programming
- IWMM: International Workshop on Memory Management
- International Summer School on Logic of Computation
- ISOTAS: JSSST International Symposium on Object Technologies for Advanced Software
- JICSLP: Joint International Conference and Symposium on Logic Programming
- LCR : Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
- LICS: Logic in Computer Science
- LUV: Lisp Users and Vendors Conference
- MASPLAS: Mid-Atlantic States Student Workshop on Programming Languages and Systems
- MFPS: Mathematical Foundations of Programming Semantics
- MFPW: Massey Functional Programming Workshop
- Micro-28 Symposium on Microarchitecture
- Pacsoft Open House
- PACT: Parallel Architectures and Compilation Techniques
- PLDI: Programming Language Design and Implementation
- PLILP '96: Programming Languages, Implementations, Logics and Programs
- POPL: Principles of Programming Languages
- POPL: 20th Anniversary Scheme Workshop
- POS: Workshop on Persistent Object Systems
- Reflection
- RFC: Rochester Forth Conference
- SCILL: Syntactic Control of Interference and Linear Logic
- SIPL: State in Programming Languages
- SUIF Compiler Workshop
- Summer School on Advanced Functional Programming
- TAPSOFT: Theory and Practice of Software Development
- TLCA: Typed Lambda Calculi and Applications
- WAdaS: Washington Ada Symposium
- WCSSS: Workshop on Compiler Support for System Software
- WoLLIC: Workshop on Logic, Language, Information and Computation
- Workshop on Functional and Logic Programming
- Workshop on Interaction between Compilers and Computer Architectures
- Workshop on Types for Program Analysis

- International Conference on Theorem Proving in Higher Order Logics
- SAC: Symposium on Applied Computing - special track on programming languages.

- 1996 Workshop on Compiler Support for System Software (WCSSS '96)
- USENIX conferences proceedings (abstracts only for non-members)
- 1995 Implementation of Functional Languages Workshop (IFL'95)
- 1995 Workshop on Languages, Compilers and Tools for Real-Time Systems
- 1995 Workshop on Automatic Data Layout and Performance Prediction (AP'95)
- 1995 Workshop on Types for Program Analysis
- 1995 High-Performance Functional Computing Conference
- 1994 Workshop on the Foundations of Object-Oriented Languages, Paris, July 1994.
- 1994 SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Orlando, June 1994.
- 1994 SIGPLAN Workshop on ML and Its Applications, Orlando, June 1994.
- 1993 Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems, Budapest, June 1993.
- 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Malta, September 1994.

- Logic-related conferences
- The Fraunhofer Institute's conference announcements in programming languages and logic
- Resources for conference and workshop organizers
- Dale Miller's conferences list
- Martin Weichert's conferences list (NB: inlined images)
- DIKU's list of conference announcements (courtesy of Andrzej Filinski) (same as Mads Rosendahl's list?)
- A larger, searchable database of conference announcements for a wide range of research areas.

Additions and corrections are welcome!

Mark Leone (