Programming Language and Compiler Conferences

Related Pages

• 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

Conferences and Workshops

• 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

Proceedings

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

Back to the language research page