- ACM SIGPLAN Conferences and Workshops
- The WWW Virtual Library's list of Programming Language Conferences
- Logic-related conferences
- The Fraunhofer Institute's conference announcements in programming languages and logic
- DIKU's list of PL conferences
- Jerry Roth's list of Upcoming Compiler and Parallel Computing Conferences
- Dale Miller's conferences list
- Resources for conference and workshop organizers

- AADEBUG'97: Workshop on Automated Debugging
- Workshop on Automated Analysis of Software
- 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
- SBLP: Brazillian Symposium on Programming Languages
- CAAP: Colloquium on Trees in Algebra and Programming
- CADE-13 Workshop on Proof Search in Type-Theoretic Languages
- CC: International Conference on Compiler Construction
- CTCS'97: Category Theory and Computer Science
- CW'97: Workshop on Continuations
- DSL: Conference on Domain-Specific Languages
- ECOOP: European Conference on Object-Oriented Programming
- ELP: Workshop on Extensions of Logic Programming
- ESOP: European Symposium on Programming
- euroFORTH: European Forth Conference
- Euro-Par'97 Workshop on Symbolic Computation
- 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
- Fuji International Symposium on Functional and Logic Programming
- Workshop on Functional and Logic Programming
- Workshop on Functional Programming, Buenos Aires
- Haskell Workshop
- Glasgow Functional Programming Workshops
- HIPS: High-Level Programming Models and Supportive Environments
- ICALP '97: International Colloquium on Automata, Languages, and Programming
- ICFP: International Conference on Functional Programming
- ICLP: International Conference on Logic 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
- IFL: Workshop on the Implementation of Functional Languages
- ILPS'97: International Logic Programming Symposium
- ILPS'97 Post-Conference Workshop on Specialization of Declarative Programs and its Applications
- Workshop on Interaction between Compilers and Computer Architectures
- 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
- Workshop on Java for Science and Engineering Computation
- JICSLP: Joint International Conference and Symposium on Logic Programming
- LACL: Logical Aspects of Computational Linguistics
- LCR : Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
- LCT-RTS'97: Languages, Compilers, and Tools for Real-Time Systems
- 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
- MPC '98: Mathematics of Program Construction
- MPLP: Multi-Paradigm Logic Programming (JICSLP'96 Post Conference Workshop)
- Nordic Workshop on Programming Theory
- OOPSLA: Object-Oriented Programming Systems, Languages and Applications
- Pacsoft Open House
- PACT: Parallel Architectures and Compilation Techniques
- PEPM '97: Partial Evaluation and Semantics-Based Program Manipulation
- PLDI '97: Programming Language Design and Implementation
- PLILP '96: Programming Languages, Implementations, Logics and Programs
- POPL '98: Principles of Programming Languages
- POS: Workshop on Persistent Object Systems
- PPOPP: Principles and Practice of Parallel Programming
- Reflection '96
- RFC: Rochester Forth Conference
- SAS '97: Static Analysis Symposium
- SCILL: Syntactic Control of Interference and Linear Logic
- SEPL: Workshop on Software Engineering and Programming Languages
- SIPL: State in Programming Languages
- SUIF Compiler Workshop
- Summer School on Advanced Functional Programming
- TABLEAUX'97: Analytic Tableaux and Related Methods
- Theoretical Aspects of Computer Software
- TAPSOFT'97: Theory and Practice of Software Development
- TIC'97: Workshop on Types in Compilation
- TLCA: Typed Lambda Calculi and Applications
- TPA: Workshop on Types for Program Analysis
- VL: IEEE Symposium on Visual Languages
- WAdaS: Washington Ada Symposium
- WCSSS: Workshop on Compiler Support for System Software
- WoLLIC: Workshop on Logic, Language, Information and Computation

- 1996 Glasgow Workshop on Functional Programming
- ASF+SDF'95, Proceedings of the Workshop on Generating Tools from Algebraic Specifications
- 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.

Additions and corrections are welcome!

Mark Leone (