[C5] ================================================ AMAST Links 02 06

                        CAAP'96, CC'96, ESOP'96 
                 Link"oping, Sweden, 22-26 April 1996

   A _Call for Papers_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206C5.txt
  *Deadline for submission:* 19 September 1995
  *CAAP* Colloquium on Trees in Algebra and Programming
  This colloquium series was originally devoted to the algebraic and 
combinatorial properties of trees and their roles in various fields of
Computer Science.  Its scope has extended to several other structures,
such as words or graphs, which play similar roles and deserve similar 
theoretical studies.  In keeping with these traditions, CAAP'96 will 
cover algebraic, logical and combinatorial properties of discrete 
structures and their application to Computer Science. 
  *CC* International Conference on Compiler Construction
  The International Conference on Compiler Construction provides a 
forum for presentation and discussion of recent developments in the 
area of compiler construction, language implementation and language 
design. Its scope ranges from compilation methods and tools to 
implementation techniques for specific requirements of languages and 
target architectures. It also includes language design and programming
environment issues which are related to language translation. There is
an emphasis on practical and efficient techniques.
  *ESOP* European Symposium on Programming
  This conference is devoted to fundamental issues in the
specification, analysis and implementation of programming languages and
systems. It particularly welcomes research which bridges the gap
between theory and practice: for example, practical studies based on
theoretical developments and theoretical developments with a clearly
identified potential for practical application.  The emphasis is on the
soundness and correctness of the approach.
  *Further information*, including detailed lists of topics, submission
requirements and addresses, program committee, invited speakers, local
arrangements, system exhibitions, and satellite meetings, can be found
in the Call for Papers mentioned above. A full version and further
information are available at URL:
   http://www.ida.liu.se/activities/conferences/CAAP-CC-ESOP96/