PADO-II call for papers

			     Call for Papers

		 Symposium on Programs as Data Objects (PADO-II)
			 Aarhus, Denmark, May 21-23, 2001

PADO-II will bring together researchers working in the areas of
programming and programming languages.  The symposium focuses on
techniques and supporting theory for treating programs as data objects.
Technical topics include, but are not limited to:

   * Program manipulation: program specialization, type specialization,
     partial evaluation, normalization, reflection, rewriting, run-time
     code generation, self-application.

   * Program analysis: abstract interpretation, constraints, type
     inference, binding-time analysis.

   * Theoretical issues in representing and classifying programs:
     semantics, algorithmics, logics.

   * Applications: interpretation, compilation, compiler generation,
     verification, certification, meta-programming, instrumentation,
     incremental computation, staging, prototyping, debugging.

Original results that bear on these and related topics are solicited.
Prospective authors should submit papers directly to pado2@... to
arrive no later than November 10, 2000.  Authors concerned about the
appropriateness of a topic are encouraged to consult with the program
chairs prior to submission.
(Continue reading)

Amr Sabry | 4 Sep 19:46 2000

Call for Papers (Continuations Workshop CW'01)

       The Third ACM SIGPLAN Workshop on Continuations (CW'01)
                    London, England, Jan. 16, 2001
      Collocated with POPL '01 (Jan. 17, 2001 -- Jan. 19, 2001)


The notion of continuations is ubiquitous in many different areas of
computer science, including category theory, compilers, logic,
operating systems, programming, and semantics.

Following on the 1992 and 1997 ACM SIGPLAN Workshops on Continuations
(http://www.brics.dk/~cw97/), we are organizing a new workshop to
provide a forum for the presentation and discussion of new results and
work in progress aimed at a better understanding of the nature of
continuations, the relation of continuations to other areas of logic
and computer science, and exciting new applications of continuations
in contexts such as mobile threads, simulation, distributed systems,
graphical user interfaces, and education.

Participants wishing to give short formal presentations are asked to
send a short abstract (less than four pages) to
Abstracts will be judged on originality, significance, correctness,
and clarity. Abstracts must describe work unpublished in refereed
venues, and must not submitted for publication elsewhere (i.e., either
a conference or a journal)

An informal proceedings will be distributed at the workshop and will
be available subsequently as an Indiana University technical report.
As for CW'92 and CW'97
(Continue reading)

Martin Odersky | 5 Sep 17:25 2000

Postdoc and PhD Student Position Announcement

The following position announcement might be of interest to readers of
the list. I have referred to "programming language design and
implementation" as a desired area of expertise, seeing type systems as
a cornerstone of this area. -- Martin Odersky

			    EPFL Lausanne
		      Programming Methods Group
			 Prof. Martin Odersky

For the Project "Practical Implementations of Functional Nets", funded
in part by the Swiss National Science Foundation, we are looking for

 * Postdoctoral researcher (1 or 2 year term),
 * PhD student (fully funded).

The project explores novel implementation techniques for programming
languages which lie in the intersection of the functional,
object-oriented, and concurrent language families. The positions offer
exciting opportunities for research in a young but rapidly growing

Postdoctoral applicants should have a strong background in  
at least two of the following areas:   

    - programming language design and implementation,
    - functional programming,
    - object-oriented programming,
    - concurrent and distributed systems.

(Continue reading)

Robert Harper | 6 Sep 00:01 2000

Workshop Program: Types in Compilation 2000

The final program for TIC 2000 to be held in Montreal as part of PLI 2000 is
now available at http://www.cs.cmu.edu/~crary/tic00.

Registration information for the workshop is available from the PLI 2000 web
page, http://www.cs.yorku.ca/pli-00/.

Robert Harper
Program Chair

nwpt00 | 7 Sep 16:21 2000

12th Nordic workshop on programming theory

For more information see:
Now updated with hotel reservation and payment information.

Call for Papers and Participation:

        The 12th Nordic Workshop on Programming Theory 
                University of Bergen, Norway
                   October 11-13, 2000

Important dates 
Submission of abstracts and registration / hotel reservation: September 15
Notification of acceptance: September 25
Workshop: October 11-13

Typical topics of the workshop include (but are not limited to): 

      Formal specification of programs 
      Foundations of programming 
      Program logic and type systems 
      Program modelling 
      Program modularisation and construction 
      Program synthesis 
      Program transformation and refinement 
      Program verification 
      Programming methods 
      Real-Time and hybrid systems 
(Continue reading)

Herbert Kuchen | 8 Sep 09:38 2000

FLOPS 2001, Final Call for Papers

[With some new information on invited speakers and such... --B]

*                                                                   *
*                  FINAL CALL FOR PAPERS                            *
*                                                                   *
*                                                                   *
* Fifth International Symposium on Functional and Logic Programming *
*                                                                   *
*                  Waseda University, Tokyo, Japan                  *
*                                                                   *
*                          March 7-9, 2001                          *
*                                                                   *
*           http://www.wi.uni-muenster.de/pi/FLOPS2001/             *
*           http://www.ueda.info.waseda.ac.jp/flops2001/            *
*                                                                   *

The symposium is a forum for research on all issues concerning
functional programming and logic programming.  In particular, it wants
to stimulate the cross-fertilization as well as integration of the two
paradigms.  The symposium takes place about every 1.5 years in Japan.
Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village
(1996), Kyoto(1998), and Tsukuba (1999).

The Fifth International Symposium on Functional and Logic Programming
(Continue reading)

Bengt Nordstrom | 11 Sep 13:26 2000

Professorship in Software Engineering

Our sister department, the dept of Computer Engineering is announcing
a chair in Software Engineering. This chair is suitable for people
in the types community who are interested in (and have worked on) more
practical application of specification and verification of software.

>From their description:

   "The professorship will deal with methods and techniques 
    for the development of software, and also in industrial settings. 
    This includes theories and applied methods for specification, 
    verification and validation of functional characteristics 
    along with issues pertaining to quality, dependability, 
    security and safety. 
    Issues related to production, maintenance and management of 
    software systems are also of interest." 

The full description can be found from their homepage



Bengt Nordstrom

Gordon Plotkin | 11 Sep 19:42 2000

Chair in Theoretical Computer Science at Edinburgh University

[In case there are any Types readers not familiar with Edinburgh's
reputation in the area, interest in type systems would be _very_
relevant for this position. --BCP]

A Chair in Theoretical Computer Science is available in the Division of 
Informatics at the University of Edinburgh. For further particulars and 
details of application procedures, see:


Please note that the closing date is October the 13th.

David Aspinall | 12 Sep 15:25 2000

Job: post doc researcher in type systems at LFCS, Edinburgh


Laboratory for Foundations of Computer Science 
Division of Informatics
University of Edinburgh

Project Summary: 

The project has the following principal objectives: 

- To design new type systems encompassing algorithms and uses of data
structures which fall into desirable feasible complexity classes, but
which are prohibited by current such systems.

- To extract explicit resource bounds and certificates from typing

- To investigate applications of the new type systems for compiler
technology.  To explore applications to non-functional programming,
e.g., OOP.

The full project description at
provides background material and further details.


All candidates should hold or soon complete a PhD in a related area of
(Continue reading)

nipkow | 13 Sep 12:24 2000

Research Assistant/PhD Vacancy

		       Research Assistant/PhD Vacancy
			 Technical University Munich

The theorem proving group at the Technical University Munich is looking for a
research assistant to join an EU-funded collaborative project focussing on
the specification and verification of Java implementations for smart cards.
The position offers exciting opportunities for scientifically challenging and
industrially relevant research leading to a PhD.

We seek a candidate with a strong background in one of the following areas

- theorem proving
- logic
- semantics of programming languages
- functional/logic programming

who should like to work on the boundary between theory and practice.
The appointment is initially for 33 months with a possible renewal.
Starting date is negotiable within the next 6 months.

Informal inquiries about the position may be addressed to nipkow@...
(www.in.tum.de/~nipkow). Formal applications should be sent by e-mail or to
the following address:

  Prof. Tobias Nipkow
  Institut fuer Informatik
  Technische Universitaet Muenchen
  Arcisstraße 21
  D-80290 Muenchen
(Continue reading)