[Prev][Next][Index][Thread]

CfP: Wolam'99


               Workshop on Logical Abstract Machines 
                              (WoLAM'99)
                 14-16 July 1999, Birmingham, UK 

                          Call For Papers 

Scope of the workshop 

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 at a level
of abstraction high enough to make it possible to reason mathematically about
the implementation, but low enough to allow a relatively direct coding of the
abstract machine. We call the machines we work with `logical' since we use the
extended Curry-Howard Correspondence to link the type theory of the functional
language to various kinds of logic. The categorical semantics of the type
theory is also used as a guide for devising the `correct' reduction rules or
transformations of the machines. 

One of the main goals of the workshop is to improve understanding of the
connections between the novel abstract machines based on game semantics (or the
geometry of interaction) and their more traditional counterparts. A second goal
of the workshop is to explore how a semantically-based view of explicit
substitutions can lead to good implementation techniques. 

Invited speakers 

     Valeria de Paiva, visiting Xerox Parc, USA 
     Laurent Regnier, University of Marseille 
     Kristoffer Rose, ENS Lyon 
     Nick Benton, Microsoft Research Cambridge 

Submission guidelines 

For the workshop we are soliciting extended abstracts up to 15 pages. Because
of the informal character of the workshop, we encourage work in progress
reports. 

Authors should send their papers to E.Ritter@cs.bham.ac.uk, preferably
electronically as a PostScript file plus a plain text containing the
submissions's title, abstract, and the main author's address including e-mail
and FAX) by the deadline shown below. Alternatively, authors may instead send 3
copies of the hardcopy of their paper to 

Dr Eike Ritter 
School of Computer Science 
University of Birmingham 
Edgbaston, B15 2TT, UK 
+44 (121) 414-4772 (voice) 
+44 (121) 414-4281 (fax) 

Preliminary proceedings will be published electronically and as a Technical
Report of the University of Birmingham, to be available at the workshop. We are
currently investigating the possibility of publishing proceedings after the
workshop as a volume of ENTCS. 

Important Dates 

30 June 
     Submissions due 
7 July 1999 
     Notification of acceptance or rejection 


Further Information 

More information is available on the Web at the URL 

http://www.cs.bham.ac.uk/research/xslam/wolam2/wolam2.html.