headers
Jon Mountjoy | 5 Jan 1998 09:32
Picon
Picon

ICFP'98 Call for Papers


                         The 3rd ACM SIGPLAN
          International Conference on Functional Programming
                              (ICFP '98)

                        September 27-30, 1998
                       Baltimore, Maryland, USA
             URL: http://www.cs.rice.edu/~matthias/ICFP98

The third International Conference on Functional Programming provides
a forum for researchers, developers, teachers, as well as users who
love programming with functions.  The conference combines the Lisp and
Functional Programming (LFP) conference and the Functional Programming
and Computer Architecture (FPCA) conference, and is sponsored by ACM
SIGPLAN.

ICFP '98 seeks original papers on the full spectrum of functional
programming: from principles to practice, from experiments to design,
and from theory to application.  Among the topics of interest to ICFP
'98 are:

  Theory                                Design and Implementation
  ------                                -------------------------
  formal semantics                      novel languages or features
  lambda calculus                       modules and type systems
  monads/continuations                  abstract machines
  state/effects/control                 compiler optimizations
  type theory                           run-time/memory management

  Systems/Applications                  Transformation/Analysis
(Continue reading)

Permalink | Reply | 0 comments |
headers
Conference for edmundr and ohearn | 6 Jan 1998 18:47
Picon

MFPS 14, First Announcement


Dear Colleagues,
  The Fourteenth Workshop on the Mathematical Foundations of Programming
Semantics will take place on the campus of the Queen Mary Westfield College
of the University of London, England from May 10 to May 13, 1998.  This
series
of meetings has the goal of bringing together mathematicians and theoretical
computer scientists to discuss problems of common interest and to explore
common areas of research.  MFPS has focused particularly on programming
semantics and related issues.  The invited speakers for MFPS 14 are:
	Samson Abramsky (Edinburgh),
	Chantale Berline (Paris VII),
	Martin Hyland (Cambridge),
	John McLean (NRL, Washington), and
	David Pym (QMW).
In addition, there will be two special sessions during the meeting.  The
first of these will be devoted to security, while the second will be a
session honoring Peter Landin.
  This is a workshop year for MFPS, which means that the remainder of the
program will be made up of talks contributed by participants.  The slots
for these talks will be allotted on a first-come, first-served basis.
  As with past MFPS Workshops, the Proceedings of the meeting will consist
of journal-length papers submitted by participants after themeeting, and
dealing with topics relevant to the MFPS theme.  These papers will be
published as a special issue of Theoretical Computer Science; as such the
papers will be refereed to the usual high standards of TCS.  More details
about this aspect will be provided at the meeting.
  We anticipate some funding from the British SERC, and are hopeful of
obaining additional support from the US National Science FOundation and the
US Office of Naval Research.  While the funding will be limited, we
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jeff Lewis | 7 Jan 1998 19:44
Picon

FMCS 98 Announcement & Registration

         **** Announcement and Registration ****

	Foundational Methods in Computer Science:
	A workshop on applications of categories
                  in computer science

                    May 29--31, 1998

                      Reed College, 
                    Portland, Oregon

    Sponsored by the Computer Science and Engineering 
    Department at Oregon Graduate Institute of Science
      & Technology and the Department of Mathematics
	            at Reed College.

The workshop is an informal meeting to bring together researchers in
mathematics and computer science with a focus on the application of
category theory in computer science.  It is a three day meeting that
starts off with a day of tutorials aimed at students and newcomers to
category theory, followed by a day and a half of research talks.  All
sessions will be held on the Reed campus which is quiet, beautifully
landscaped, and adjacent to a park and a public golf course.

Guest speakers at this year's workshop include:
    David Espinosa (Kestrel Institute)
    Richard Jullig (Arrow Logics)
    Eugenio Moggi (University of Genova)
    Philip Wadler (Lucent)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Vassily Litvinov | 13 Jan 1998 01:17
Favicon

Paper on constraint-based polymorphic type system in Cecil

The following paper is now available:

		Constraint-Based Polymorphism in Cecil
		 Vassily Litvinov and Craig Chambers

		       University of Washington
		  Technical Report UW-CSE-98-01-01

PoscScript: ftp://ftp.cs.washington.edu/pub/chambers/sbp-tr.ps.gz

We are developing a static type system for object-oriented languages
that strives to guarantee statically and completely the absence of
certain large classes of run-time errors, to enable polymorphic
abstractions to be written and typechecked once separately from any
current or future instantiations, and to avoid forcing code to be
written unnaturally due to static type system limitations. The type
system supports bounded parametric polymorphism, where the bounds on
type variables can be expressed using a mixture of recursive subtype
and signature constraints; this kind of bounding supports F-bounded
polymorphism, Theta-style where clauses, and covariant and
contravariant type parameters as special cases. The type system
coexists with many advanced language features, including
multi-methods, independent inheritance and subtyping, mutable and
immutable state, first-class lexically-scoped functions, and mixed
statically and dynamically typed code. We have implemented this type
system in the Cecil language, and we have used it to successfully
typecheck a 100,000-line Cecil program, the Vortex optimizing compiler.

This is work in progress.  The TR presents nondeterministic
typechecking rules; we have implemented a prototype typechecker as
(Continue reading)

Permalink | Reply | 0 comments |
headers
Matthew Hennessy | 14 Jan 1998 10:55
Picon
Picon

Research position at Sussex


                       UNIVERSITY OF SUSSEX

            RESEARCH FELLOW IN THE FOUNDATIONS OF COMPUTING

One Research Fellow is required  to join the EPSRC funded project
entitled ``Foundations for the Integration of Concurrent Distributed
and Functional Computation'', under the direction of
Matthew Hennessy.

The aim of the project is to 

- provide a uniform coherent semantic foundation for concurrent,
distributed and functional behaviour;

- develop proof methodologies for establishing properties of process
descriptions expressed in specification languages using these
paradigms;

- develop prototypes of supporting verification systems.

The project has already been running for approximately 18 months
and work has concentrated on two streams of research:

     - development of languages, type systems and behavioural 
       theories for mobile computing, where independent processes roam
       widely distributed networks in search of resources and information.

     - denotational models for languages combining higher-order
       functional notation with the pi-calculus (examples include
(Continue reading)

Permalink | Reply | 0 comments |
headers
P M Hill | 14 Jan 1998 14:51
Picon

Int. Workshop COCL'98 - first call for papers

_______________________________________________________________________

          My apologies if you receive this more than once!
_______________________________________________________________________

                  First International Workshop on 
     COMPONENT-BASED SOFTWARE DEVELOPMENT IN COMPUTATIONAL LOGIC
                              C O C L
                        September 18/19, 1998
                           Pisa (Italy) 
                [A satellite event of ALP-PLILP-SAS]

................................................................
See also the Workshop home page:
          http://www.di.unipi.it/~brogi/cocl.html
for a copy of this cfp and latest information.
.................................................................

The ongoing improvements in hardware design, the increase in
networking and the use of the internet, and the expansion of the
personal computer market have all contributed to the demand for
rapidly constructed reliable yet adaptable software. The recent
paradigm shift in computing from stand-alone to distributed computer
systems requires new conceptual models for computing. To meet these
demands, the next generation of software will need to be reliably
constructed using multiparadigm and multilingual components possibly
distributed over a network of computers.

Computational logic has already made a real contribution to the
design and development of large software systems. For example, logic
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alan Jeffrey | 15 Jan 1998 15:37
Picon
Picon

Report available

I'd like to announce a technical report relating Power and Robinson's
premonoidal categories to a category of mixed data-flow and
control-flow graphs.

   Premonoidal Categories and a Graphical View of Programs

   Alan Jeffrey
   University of Sussex

The report is available electronically from:

   http://www.cogs.susx.ac.uk/users/alanje/premon/

Abstract
--------

This paper describes the relationship between two different
presentations of the semantics of programs:

 * Mixed data and control flow graphs are commonly used
   in software engineering as a semi-formal notation for describing
   and analysing algorithms.

 * Category theory is used as an abstract presentation of
   the mathematical structures used to give a formal semantics to
   programs.

In this paper, we formalize an appropriate notion of flow graph,
and show that acyclic flow graphs form the initial 
symmetric premonoidal category.  Thus, giving a semantics
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jaap van Oosten | 19 Jan 1998 13:26
Picon

Master Class in Mathematical Logic

Dear Colleagues,

Please bring the following to the attention
of possibly interested students:

In the academic year 1998-1999 the Universities
of Utrecht and Nijmegen organize, as part of
the MRI Master Class, a year-long education program
in Mathematical Logic. The program is aimed at 
students who intend to enter a Ph.D.-program in the 
subsequent year.

The courses are in English and foreign students are
specifically invited to apply. A limited number
of stipends are available.

The contents of the program are detailed
in a brochure which exists both as
hard copy and electronically. The text 
can be seen on the homepage of the
Mathematical Research Institute. URL:

http://www.math.ruu.nl/mri

If you're interested in receiving a hard copy 
of the brochure, please send a message to
Marian Brands, at 

brands@...
(Continue reading)

Permalink | Reply | 0 comments |
headers
4th Workshop on Domains | 19 Jan 1998 17:09

First Announcement


                    First Announcement
                          on the
                  Workshop on Domains IV
                     October 2-4, 1998

Organizers: D.Spreen, R.Greb, M.Schellekens, H.Schulz

Theoretische Informatik
Fachbereich Mathematik
Universit\"at Siegen
H\"olderlinstra\{ss}e 3
D-57068 Siegen, Germany
email: wd4@...
http://www.informatik.uni-siegen.de/~wd4

The Workshop on Domains IV is aimed at computer scientists
and mathematicians alike who share an active interest
in the mathematical foundations of computer science.
The workshop will focus on domains, their applications
and closely related topics, e.g. axiomatic and synthetic
domain theory. In particular, contributions establishing
connections to type theory, recursion theory and topology
are welcome.

The actual workshop will take place in Haus Humboldtstein,
Remagen-Rolandseck, a nice last century villa
overlooking the beautiful Rhine valley. It provides
lecture halls, discussion rooms, and guest rooms
(single/double) with facilities.
(Continue reading)

Permalink | Reply | 0 comments |
headers
rlc3 | 20 Jan 1998 13:09
Picon
Picon
Favicon

PhD Studentships


Dear Colleagues,

I would be grateful if you could publicize the following 
studentship advertisement.

Thank you,
Roy Crole.

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

Leicester University UK

DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE

3 PH.D. STUDENTSHIPS IN MATHEMATICS OR COMPUTER SCIENCE 

Applications are invited for three fully funded research studentships
leading to the degree of PhD in any aspect of Mathematics or Computer
Science.  The studentships are available for studies beginning in
October 1998.  Applicants should have, or expect to have, a first or
upper second class degree in the relevant subject area.

The Department of Mathematics and Computer Science is divided into
three groups: Computer Science, Pure Mathematics and Applicable
Mathematics.  The Pure Mathematics Group carries out research in
several major branches of algebra.  The key areas of expertise are in:
the theory of groups and their representations; algebraic topology and
its applications; the theory of rings and their modules; and the
representation theory and cohomology of finite dimensional algebras.
(Continue reading)

Permalink | Reply | 0 comments |

Gmane