headers
Ralf Hinze | 1 Mar 2001 10:31
Picon
Favicon

2001 Haskell Workshop: 1st call for papers

                           FIRST CALL FOR PAPERS

                  [Deadline for submission: 1st June 2001]

                           2001 Haskell Workshop

                     Firenze, Italy, 2nd September 2001

	The Haskell Workshop forms part of the PLI 2001 colloquium
	on Principles, Logics, and Implementations of high-level
	programming languages, which comprises the ICFP/PPDP conferences
	and associated workshops. Previous Haskell Workshops have been
	held in La Jolla (1995), Amsterdam (1997), Paris (1999), and
	Montreal (2000).

        http://www.cs.uu.nl/people/ralf/hw2001.{html,pdf,ps,txt}

============================================================================

Scope
-----

The purpose of the Haskell Workshop is to discuss experience with
Haskell, and possible future developments for the language.  The scope
of the workshop includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.  Submissions that
discuss limitations of Haskell at present and/or propose new ideas for
future versions of Haskell are particularly encouraged.  Adopting an
idea from ICFP 2000, the workshop also solicits two special classes of
submissions, application letters and functional pearls, described
(Continue reading)

Permalink | Reply | 0 comments |
headers
Zhaohui.Luo | 2 Mar 2001 11:02
Picon
Picon

lectureships at Durham UK


Please find enclosed below an advertisement for lectureships at the
Department of Computer Science, Durham, UK.  The Computer-Assisted
Reasoning Group in the department is working on type theory, logic, and
their applications.  You can find the web page of the group from URL:

http://www.dur.ac.uk/CARG/

We would like to encourage applications from candidates in the related
research areas. 

Best regards,
Zhaohui Luo.

--------------------------------------------------------------------
Professor Zhaohui Luo             Email: Zhaohui.Luo@...
Department of Computer Science    URL: http://www.dur.ac.uk/~dcs0zl/
University of Durham              Tel: (+44)191-3743657
South Road, Durham DH1 3LE, U.K.  Fax: (+44)191-3742560                      

====================================================================

		DEPARTMENT OF COMPUTER SCIENCE 
		    University of Durham 

		Lecturers in Computer Science

The Department of Computer Science is seeking to recruit at least two new
academic staff at lecturer level as the preliminary part of a new
ambitious expansion plan. Applications for any area of Computer Science
(Continue reading)

Permalink | Reply | 0 comments |
headers
Salvador Lucas Alba | 2 Mar 2001 16:08
Picon

WRS'2001 - Extended deadline

[The organizers welcome submissions relating types and rewriting to
the meeting announced below... -- Salvador Lucas.]

**************************************************************************
*******  Last call for papers - extended deadline: March 12, 2001  *******
**************************************************************************

International Workshop on Reduction Strategies in Rewriting and
                     Programming (WRS 2001)

                 held in conjunction with RTA 2001
               Utrecht, The Netherlands, May 26, 2001

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

BACKGROUND AND AIMS

Reduction strategies in rewriting and programming have attracted an
increasing attention within the last years. New types of reduction
strategies have been invented and investigated, and new results on
rewriting / computation under particular strategies have
been obtained. Research in this field ranges from primarily theoretical
questions about reduction strategies to very practical application and
implementation issues. The need for a deeper understanding of reduction
strategies in rewriting and programming, both in theory and practice,
is obvious, since they bridge the gap between unrestricted general
rewriting (computation) and (more deterministic) rewriting with
particular strategies (programming). Moreover, reduction strategies
provide a natural way to go from operational principles (e.g., graph
and term rewriting, narrowing, lambda-calculus) and semantics (e.g.,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Rosario Pugliese | 5 Mar 2001 09:12
Picon

PLI 2001: submission deadline is approaching

                             PLI 2001
              Principles, Logics, and Implementations
                of high-level programming languages
                        (Sponsored by ACM)
               Firenze, ITALY September 2 - 8, 2001
                 http://music.dsi.unifi.it/pli01/

The colloquium on Principles, Logics, and Implementations of high-
level programming languages is a collection of conferences and
workshops aimed at the advancement of high-level programming
languages. The events composing PLI will cover a spectrum of
topics important to language development and use, including issues
such as semantics, design, analysis, implementation, and
application. Theoretical issues relevant to language design and
programming will be represented. Implementation questions will
provide an emphasis on compilation methods, distributed
computation and static debugging techniques. There will also be a
focus on industrial and educational applications.

Conferences:
ICFP (September 3-5)
     Int. Conf. on Functional Programming
     General chair: Benjamin Pierce (Univ. Pennsylvania)
     Program chair: Xavier Leroy (INRIA Rocquencourt)
PPDP (September 5-7)
     Int. Conf. on Principles and Practice of Declarative 
     Programming
     Conference chair: Rocco De Nicola (Univ. Firenze)
     Program chair: Harald Søndergaard (Univ. Melbourne)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Herbert Wiklicky | 6 Mar 2001 18:04
Picon
Picon
Favicon

QAPL'01 Workshop - 1st Call for Papers


                      QAPL'01 First Call for Papers
        Workshop on Quantitative Aspects of Programming Laguages
               http://www.di.unipi.it/~dipierro/qapl01.html

           Satellite to Principles, Logics, and Implementations
                of high-level programming languages, PLI'01
                  September 3 - 7, 2001 -- Firenze, Italy
                     http://music.dsi.unifi.it/pli01/

Overview:

The majority of approaches in program semantics and analysis are
arguably concentrated on qualitative investigations of the various
computational properties. As a result, some aspects of computation are
neglected, which are of a quantitative nature. Such aspects are
nevertheless important and sometimes essential in determining the
behaviour of systems. As an example, issues related to resource
consumption (storage, time, bandwidth, etc.) cannot be ignored when
systems of interacting, competing or cooperating processes are
considered.

The aim of this workshop is to discuss appropriate models of programming
languages, which are able to capture various quantitative aspects of
computation.  Such models could form the base of new approaches in
semantics and program analysis and their investigation will hopefully
not just allow for a better understanding of programs behaviour (e.g.
how agents compete for a limited resource), but also help to establish
connections with related complexity theoretic questions.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Konferencja TLCA'2001 | 6 Mar 2001 19:28
Picon
Picon

TLCA 2001 -- grants for participants


        ********************************************************
        *                                                      *
        *                    TLCA 2001                         *
        *                                                      *
        *          5th International Conference on             *
        *        Typed Lambda Calculi and Applications         *
        *                 May 2 -- 5, 2001                     *
        *                  Krakow, Poland                      *
        *                                                      *
        *       http://www.ii.uj.edu.pl/zpi/tlca2001/          *
        *                                                      *
        *       EARLY REGISTRATION DEADLINE: MARCH 13          *
        *                                                      *
        ********************************************************
         
        ********************************************************
        *                                                      *
        *           ONR SUPPORT FOR PARTICIPANTS               *
        *                                                      *
        ********************************************************


Due to a grant from the Office of Naval Research, the organizing committee
of TLCA 2001 is now able to offer limited support for participants who are 
otherwise unable to attend the conference due to insufficient funds.

Depending on demand, we may be able to cover all or part of registration
fees, hotel and subsistence costs. In some cases we may also support travel.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Simon Helsen | 7 Mar 2001 12:44
Picon
Favicon

CALL FOR PAPERS -- JOURNAL OF FUNCTIONAL PROGRAMMING

                                CALL FOR PAPERS
                                 SPECIAL ISSUE
                       JOURNAL OF FUNCTIONAL PROGRAMMING:
                DEPENDENT TYPE THEORY MEETS PROGRAMMING PRACTICE

Modern programming languages rely on advanced type systems that detect
errors at compile-time. While the benefits of type systems have long been
recognized, there are some areas where the standard systems in programming
languages are not expressive enough. Language designers usually trade
expressiveness for decidability of the type system. Some interesting
programs will always be rejected (despite their semantical soundness) or
be assigned uninformative types.

There are several remedies to this situation. Dependent type systems,
which allow the formation of types that explicitly depend on other types
or values, are one of the most promising approaches. These systems are
well-investigated from a theoretical point of view by logicians and type
theorists. For example, dependent types are used in proof assistants to
implement various logics and there are sophisticated proof editors for
developing programs in a dependently typed language.

To the present day, the impact of these developments on practical
programming has been small, partially because of the level of
sophistication of these systems and of their type checkers. Only recently,
there have been efforts to integrate dependent systems into intermediate
languages in compilers and programming languages. Additional uses have
been identified in high-profile applications such as mobile code security,
where terms of a dependently typed lambda calculus to encode safety
proofs.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Kathleen Fisher | 7 Mar 2001 17:00
Picon

object-oriented type systems in practice


I received the following request from Roy Ju of Intel's Compilers and
Java Lab:

> We would like to understand a wide spectrum of the issues under type
> safety, but a few examples of what we have in mind are security in
> sharing objects, design of class and object (e.g. object layout),
> static type analysis or inference techniques, runtime checking,
> annotations to facilitate runtime checking, any interactions with
> JIT/OS/GC, ... We are more interested in the design and implementation
> issues and less so on the theoretical foundation at this point.

Suggestions as to what papers would be the most relevant?  If there is
interest, I will post a summary of the responses.

Kathleen Fisher
kfisher@...
Permalink | Reply | 0 comments |
headers
Ralf Treinen | 8 Mar 2001 11:07
Picon

UNIF 2001 Junior Researcher Travel Award

[UNIF = International Workshop on Unification.  --BCP]

                      CALL FOR APPLICATIONS

            UNIF 2001 Junior Researcher Travel Award

To encourage the participation of junior researchers to UNIF and
thanks to the support of the National Science Foundation, the UNIF
2001 organizing committee offers a number of travel awards.

The award is intended to cover much of the expenses for up to four
university students or post-docs working in the field of unification
to attend UNIF 2001, which will be held in Siena, Italy, June 18-19,
2001. Each winner will be reimbursed (to a maximum of US $1,000) for
his or her workshop registration, transportation, and accommodation
expenses.

The committee will favorably consider applicants who will be playing
an active role at the workshop by giving a talk. (All talks require
the submission of an extended abstract. Check the UNIF 20001 web site
at http://goedel.cs.uiowa.edu/unif2001/ for submission instructions
and deadlines).  Preference will be given to applicants from a United
States institution, but applications from deserving young researchers
in other countries will be considered as well.

Applicants should send a brief letter of motivation to the organizing
committee explaining their interest in attending the event. The letter
should include the applicant's work address, background and research
interests, and a list of his/her work on unification and related
fields. Younger applicants with no relevant publications yet should
(Continue reading)

Permalink | Reply | 0 comments |
headers
Peter Thiemann | 9 Mar 2001 15:45
Picon
Favicon

PEPM'02, Preliminary Call for Papers

		     PRELIMINARY CALL FOR PAPERS

		     2002 ACM SIGPLAN Workshop on
Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02)
	      Portland, Oregon, USA, January 14-15, 2002
			 (preceding POPL'02)
	http://www.informatik.uni-freiburg.de/~thiemann/pepm02

		Submission deadline: October, 2001

The PEPM'02 workshop will bring together researchers working in the
areas of semantics-based program manipulation, partial evaluation, and
program generation. The workshop focuses on techniques, supporting
theory, and applications of the analysis and manipulation of programs.
Technical topics include, but are not limited to:

* Program manipulation techniques: transformation, specialization,
  normalization, reflection, rewriting, run-time code generation,
  multi-level programming.  

* Program analysis techniques: abstract interpretation, static
  analysis, binding-time analysis, attribute grammars, constraints. 

* Related issues in language design and models of computation:
  imperative, functional, logical, object-oriented, parallel,
  distributed, mobile, secure, domain-specific. 

* Programs as data objects: staging, meta-programming, incremental
  computation, mobility, tools and techniques, prototyping and
  debugging.
(Continue reading)

Permalink | Reply | 0 comments |

Gmane