Programming Language and Compiler Conferences

Web Pages

• 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

Calls for Papers

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

Proceedings

• 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.

Related Pages

• 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.

Back to the language research page