CfP: ESSLI'98-workshop on Logical Abstract Machines 
Author Message
 CfP: ESSLI'98-workshop on Logical Abstract Machines

                          ESSLLI-98 Workshop on
                        LOGICAL ABSTRACT MACHINES
                           August 17 - 21, 1998

                       A workshop held as part of the
        10th European Summer School in Logic, Language and Information
                               (ESSLLI-98)
                August 17 - 28, 1998, Saarbrueken, Germany

                        ** FIRST CALL FOR PAPERS **

ORGANISERS: Valeria de Paiva and Eike Ritter (University of Birmingham)

Web site: http://www.*-*-*.com/ ~esslli98/workshops.html

BACKGROUND:
This workshop brings together recent work on the design of abstract
machines for functional programming languages based on logical foundations.  
Abstract machines describe implementations of functional languages on a
level of abstraction which is high enough to make it possible to reason
about the implementation but low enough as to allow an easy coding of the
abstract machine.  The workshop is aimed at students and researchers with a
basic understanding of functional programming and intuitionistic logic who
want to work on the exciting field of programming with a solid logical
basis.

We focus the workshop along two main themes: explicit substitutions and
abstract machines based on Linear Logic.  Most of the more recent work on
abstract machines is directed towards implementing and proving correct
functional languages based on Linear Logic ideas.  Linear Logic, being a
resource logic, was deemed ideal to model resource control in functional
languages.

FORMAT OF THE WORKSHOP:
The workshop consists of five sessions of 90 minutes and time will be
allocated according to the quality of the submissions.  We seek original
papers on the full spectrum of abstract machines from theory to
application.  Among the topics of interest are:

  Theory                                Design and Implementation
  ------                                -------------------------
  formal semantics                      description of working systems
  explicit substitution  calculi        combinators
  type theory                           graph reduction techniques
  linear decorations                    run-time/memory management
  game theory for linear logic          applications

SUBMISSIONS:
All researchers in the area, but especially Ph.D.  students and young
researchers, are encouraged to submit an extended abstract (up to 12 pages)
and preferably in postscript A4 format by

          **February 15, 1998**  


  Dr E. Ritter
  University of Birmingham  
  School of Computer Science        
  Edgbaston, Birmingham              
  B15 2TT, England, UK

Authors will be notified of acceptance or rejection by April 15.  Final
version of the accepted papers must be received in camera-ready form by
June 1st, for inclusion in the informal proceedings.  We are looking into
formal publication of the proceedings.

INVITED SPEAKERS (to be confirmed):
Andrea Asperti, University of Bologna
Pierre-Louis Curien, ENS, Paris
Vincent Danos, Paris 7
Ian Mackie, Ecole Polytechnique
Kristoffer Rose, ENS Lyon

REGISTRATION:
Workshop contributors will be required to register for ESSLLI-98, but they
will be elligible for a reduced registration fee.

IMPORTANT DATES:
        Feb 15, 98: Deadline for submissions
        Apr 15, 98: Notification of acceptance
        May 15, 98: Deadline for final copy
        Aug 17, 98: Start of workshop

FURTHER INFORMATION:
To obtain further information about ESSLLI-98 please visit the ESSLLI-98
home page at http://www.*-*-*.com/



Sat, 22 Apr 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 for Workshop on Principles of Abstract Machines

4. Final CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

5. 2nd CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

6. CFP: Challenges for Executable Temporal Logics (JICSLP'98 workshop)

7. CfP: DYNAMICS'98 Workshop on Transactions and Change in Logic Databases

8. CFP: workshop Types in Compilation '98

9. CFP (Final): Workshop on Internet Programming Languages (IPL '98)

10. CFP: Workshop on Internet Programming Languages (IPL'98)

11. CFP (Final): Workshop on Internet Programming Languages (IPL '98)

12. CFP: workshop Types in Compilation '98

 

 
Powered by phpBB® Forum Software