WPAM: Call for Participation

• To: eapls@mailbase.ac.uk
• Subject: WPAM: Call for Participation
• From: Stephan Diehl <diehl@cs.uni-sb.de>
• Date: Fri, 04 Sep 1998 11:11:41 +0200
• CC: formal-methods@cs.uidaho.edu, types@cs.indiana.edu, apsoft@dcs.ed.ac.uk, "prog-lang@diku.dklics-request"@research.bell-labs.com
• Sender: diehl@cs.uni-sb.de

................................................................

                     CALL FOR PARTICIPATION
 
         Workshop on Principles of Abstract Machines 
             
                    19. September 1998 

                 in conjunction with the 
      Joint International Symposia SAS'98 and PLILP/ALP'98 
                     Pisa, Italy 
              
     
       (http://www.cs.uni-sb.de/~diehl/amworkshop)
                   

.................................................................
 

WORKSHOP ORGANISERS:
Stephan Diehl (Saarbruecken, Germany) diehl@cs.uni-sb.de 
Peter Sestoft (Copenhagen, Denmark)   sestoft@dina.kvl.dk 

WORKSHOP SCIENTIFIC PROGRAM:

Bart Demoen and Konstantinos Sagonas:
     A better CAT made-in-Belgium: Chat  
John C. Brown and Suresh Manandhar:
     An Abstract Machine for Fast Parsing 
     of Typed Feature Structure Grammars  
Frederic Cabestre, Christian Percebois and Jean-Paul Bodeveix:
     Abstract Machine Construction through 
     Operational Semantics Refinements  
Makoto Ishisone and Ataru T. Nakagaw:
     Brunette: Brute Force Rewriting Engine 
Frederic Lang, Zino Benaissa and Pierre Lescanne:
     Super-Closures  
Chris Walton, Dilsun Kirli and Stephen Gilmore:
     An Abstract Machine for Module Replacement 
Stephan Diehl and Thomas Kunze:
     Visualizing Principles of Abstract Machines 
     by Generating Interactive Animations  
Peter Bertelsen:
     Dynamic semantics of Java byte-code  


PROGRAM COMMITTEE:

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



REGISTRATION

see http://www.di.unipi.it/di/groups/lp/spa98

• Prev: paper on an extension of linear types
• Next: PEPM'99 CFP (reminder)
• Index(es):
  • Main
  • Thread