CFP for Workshop on Principles of Abstract Machines 
Author Message
 CFP for Workshop on Principles of Abstract Machines

----------------------------------------------------------

                FIRST CALL FOR PAPERS      

       Workshop on Principles of Abstract Machines

               in conjunction with the
   Joint International Symposia SAS'98 and PLILP/ALP'98
                    Pisa, Italy
              14-18. September 1998
      ( http://www.*-*-*.com/ )

-----------------------------------------------------------
This CFP is also available online:
  http://www.*-*-*.com/ ~diehl/amworkshop
-----------------------------------------------------------

Recently the topic of abstract machines has got a new boost
by the success of the Java Virtual Machine. For many years
abstract machines have been designed for different sorts of
languages including imperative, object-oriented, eager
functional, lazy functional, constraint and logic languages,
as well as hybrid languages. The goal of this workshop is to
bring together researchers and developers working on different
language paradigms. We are especially looking for papers which
investigate principles underlying several abstract machines,
analyse the relation of language semantics and abstract
machines or discuss implementation alternatives.

Topics of interest include, but are not restricted to:

    * relation to programming language semantics
    * relation to program analyses (or non-standard semantics)
    * comparison of implementation techniques
    * just-in-time compilation
    * garbage collection
    * internet programming (e.g. security, fault-tolerance)
    * analyses of abstract machine programs
    * compiling other languages to JVM
    * hybrid languages
    * concurrency

Important Dates

    Submission Deadline: Friday June 19
           Notification: Friday July 24
          Final version: Friday August 14

Submission

The submission deadline is June 19. Papers must describe
original, previously unpublished work, and must not be
simultaneously submitted for publication elsewhere. They
must be written in English, must not exceed 10 pages
(Springer LNCS format, excluding references and figures),
and must contain a cover page containing the following:
a 200-word abstract, keywords, postal and electronic
mailing addresses, and phone and fax numbers of one of
the authors. Submission is electronic (up to exceptions)

Organizers



Program Committee

    Michael Franz (Irvine, California)
    Michael Hanus (Aachen, Germany)
    Pieter Hartel (Southampton, UK)
    Peter van Roy (Louvain-la-Neuve, Belgium)



Sat, 16 Sep 2000 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. CFP for Workshop on Principles of Abstract Machines

2. CFP for Workshop on Principles of Abstract Machines

3. CfP: ESSLI'98-workshop on Logical Abstract Machines

4. CFP: First Workshop on Principles and Practice of Constraint Programming

5. CFP: Workshop on Principles and Practice of Constraint Programming

6. CFP: Workshop on Principles of Diagnosis

7. CFP: First Workshop on Principles and Practice of Constraint Programming

8. CFP: Workshop on Principles and Practice of Constraint Programming

9. CFP Workshop Abstract Interpretation ... postponement

10. Final CFP: Post-ICLP'95 Workshop on Abstract Interpretation of Logic Languages

11. CFP Workshop Abstract Interpretation ... postponement

12. CFP Workshop Abstract Interpretation ... postponement

 

 
Powered by phpBB® Forum Software