headers
FSTTCS99 | 2 Mar 1999 17:16
Picon

FSTTCS '99, First Call for Papers

***********************************************************************
*								      *
*			  FST & TCS '99				      *
*								      *
* Foundations of Software Technology and Theoretical Computer Science *
*		December 13--15, 1999, Chennai, India		      *
*								      *
***********************************************************************
*			  Call for Papers			      *
***********************************************************************


IARCS, the Indian Association for Research in Computing Science,
announces the 19th Annual FST&TCS Conference in Chennai. Tentatively 
planned satellite events include two 2-day preconference workshops: 
one on Mobile Computing and Concurrency and the other on Data Structures.

The conference will be followed by the International Symposium on 
Algorithms and Computation (ISAAC) also to be held in Chennai from 
December 16 to 18, 1999. ISAAC will also include a post-conference 
school on Approximate Algorithms.  Some joint FST&TCS-ISAAC events 
are being planned. See below for more details.

Authors are invited to submit papers presenting original and
unpublished research on **any** theoretical aspects of Computer 
Science}. Papers in applied areas with a strong foundational 
emphasis are also welcome. The Proceedings of the last five years'
conferences (Springer-Verlag Lecture Notes in Computer Science volumes 
880, 1026, 1180, 1346, 1530) give an idea of the kind of papers
typically presented at FST&TCS.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Natalia Ioustinova | 12 Mar 1999 10:17
Picon

OOSDS'99 Call for Papers

Various calculi are used as foundations for object-oriented languages.
The list of topics does not contain typing aspects explicitly.  But we
are really interested in participation of researchers dealing with
both the semantics of objects and typing apects of object-oriented
languages (in particularily, type systems for object-oriented
languges).

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

      CALL FOR PAPERS

          OOSDS'99

 Workshop on Object-Oriented Specification Techniques
         for Distributed Systems and Behaviours

  Paris, France, September 27, 1999
 http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/

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

SCOPE OF WORKSHOP:
=================
The workshop is focused on specification languages for distributed
systems which are extensions of object-oriented languages or have an
object-oriented kind of base structure. The aim is to bring together
researchers interested in incorporating object-oriented concepts
and  formal methods for specification of distributed systems and
behaviours.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Dieter Hutter | 15 Mar 1999 11:28
Picon
Favicon

*** FLOC-99 --- WORKSHOP AND CONTEST ON INDUCTIVE THEOREM PROVING ***


               CALL FOR PAPERS, SYSTEMS AND PARTICIPATION:
               -------------------------------------------

    FLOC-99 WORKSHOP ON AUTOMATION OF PROOFS BY MATHEMATICAL INDUCTION
    ==================================================================

               &  CONTEST FOR INDUCTIVE THEOREM PROVERS
               ======================================== 

Proof by Mathematical Induction presents the Automated Deduction
community with some very challenging research problems. The aim
of this one day workshop is to create an informal forum in which
hot-topics and emerging techniques can be presented and discussed.

1. CONTEST: 
-----------

Part of the workshop will be a contest for inductive theorem provers.
The contest will be mainly based on an edited list of over 2000 problem drawn 
from the nqthm-92 release and converted into a sorted language. The contest 
will be held offline before the workshop and due to the intrinsic complexity 
of any standard of comparison there will be no official winner. Each team 
will be expected to fill in a questionaire explaining their results, e.g
the rate of success, the rate of interactions, the time spent for each
example, the behaviour on non-provable examples etc. 

Each team will be expected to run its system during the workshop. A sample
of examples will be arranged from the testbed and will be given to the
systems online during the workshop verifying the proposed results. More
(Continue reading)

Permalink | Reply | 0 comments |
headers
Marta Z Kwiatkowska | 16 Mar 1999 11:06
Picon
Picon
Favicon

Research scholarships available at Birmingham


Please bring this to the attention of potential applicants.
Apologies for duplicate mailing.

Thanks

Marta
_____

                    
                        The University of Birmingham
                         School of Computer Science

                           Research scholarships
                                     in
                Computer Science and Artificial Intelligence

The School of Computer Science has research strengths in the areas of
Theoretical Computer Science, Artificial Intelligence and Cognitive
Science, and Software Engineering.

The Theory of Computation group concentrates on the development of
logics and semantics for programming languages. The overall aim is to
provide intuitive conceptual tools for the everyday practice of
programming.  Within this framework, the activities range from abstract
mathematics to issues of implementation and software development.
Current research projects include probabilistic modelling and model
checking, software verification, semantics for concurrent systems,
observation logics, exact real number computation, semantics for
databases, (linear) functional programming, type systems for
(Continue reading)

Permalink | Reply | 0 comments |
headers
Robert Kiessling | 16 Mar 1999 13:47
Picon
Favicon

email address change

unsubscribe types kiesslin@...
subscribe types robert@...
--

-- 
Hello,

could you please change my email address for the types-l subscription
from kiesslin@... to robert <at> dienstagsclub.org?

Thank you,

Robert
Permalink | Reply | 0 comments |
headers
Stephanie Weirich | 18 Mar 1999 14:51
Picon
Favicon

Paper announcement: Flexible Type Analysis

We would like to announce the availability of the following paper at URL 
http://www.cs.cmu.edu/~crary/papers/index.html or 
http://www.cs.cornell.edu/sweirich/research.htm

Stephanie Weirich
Karl Crary

------

Flexible Type Analysis

Karl Crary		Stephanie Weirich

Run-time type dispatch enables a variety of advanced optimization
techniques for polymorphic languages, including tag-free garbage
collection, unboxed function arguments, and flattened data structures.
However, modern type-preserving compilers transform types between
stages of compilation, making type dispatch prohibitively complex at
low levels of typed compilation. It is crucial therefore for type
analysis at these low levels to refer to the types of previous
stages. Unfortunately, no current intermediate language supports this
facility.

To fill this gap, we present the language LX, which provides
a rich language of type constructors supporting type analysis (possibly
of previous-stage types) as a programming idiom. This language is
quite flexible, supporting a variety of other applications such as analysis
of quantified types, analysis with incomplete type information, and type
classes. We also show that LX is compatible with a type-erasure
semantics.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Barry Jay | 18 Mar 1999 23:07
Picon
Picon

Re: Paper announcement: Flexible Type Analysis


>Run-time type dispatch enables a variety of advanced optimization
>techniques for polymorphic languages, including tag-free garbage
>collection, unboxed function arguments, and flattened data structures.

Stephanie,

you can also do this using *static* shape analysis, as in my language FISh.
You might like to take a look at the FISh web-page

http://www-staff.socs.uts.edu.au/~cbj/FISh

Barry

*************************************************************************
| Associate Professor C.Barry Jay, 					|
| Reader in Computing Sciences		Phone: (61 2) 9514 1814		|
| Head, Algorithms and Languages Group,	Fax:   (61 2) 9514 1807		|
| University of Technology, Sydney,	e-mail: cbj@...	|
| P.O. Box 123 Broadway, 2007,	  http://www-staff.socs.uts.edu.au/~cbj	|
| Australia.			        FISh homepage ... ~cbj/FISh     |
*************************************************************************
Permalink | Reply | 0 comments |
headers
Fairouz Kamareddine | 21 Mar 1999 02:52
Picon
Picon

School of Logic and COmputation program and call for participation

	School of Logic and Computation (L&C '99)
	Heriot-Watt (Edinburgh), April 10-13, 1999
	http://www.cee.hw.ac.uk/~fairouz/eefschool.html

Abstracts of the lectures can be found at
http://www.cee.hw.ac.uk/~fairouz/abstracts2.html

Abstracts of the workshops can be found at
http://www.cee.hw.ac.uk/~fairouz/abstracts2work.html

		Preliminary Schedule
	http://www.cee.hw.ac.uk/~fairouz/eefprogram.html

		Saturday, 10 April 1999

12.00 - 14.00 REGISTRATION

REWRITING WORKSHOP
14.00 - 14.30 Rewriting with extensionality, 
		Roberto Di Cosmo
14.30 - 15.00 Extending Partial Combinatory Algebras 
		Inge Bethke, Jan Willem Klop and Roel de Vrijer
15.00 - 15.30 Higher-Order Rewriting 
		Femke van Raamsdonk
15.30 - 16.00 BREAK
16.00 - 16.30 Meaningless Terms in Rewriting
		Richard Kennaway, Vincent van Oostrom and Fer-Jan de Vries
16.30 - 17.00 A Geometric Proof of Confluence by Decreasing Diagrams
		Jan Willem Klop, Roel de Vrijer and Vincent van Oostrom
17.00 - 17.30  Pi calculus in Co-inductive Type Theory
(Continue reading)

Permalink | Reply | 0 comments |
headers
Andrew Wright | 22 Mar 1999 19:16
Favicon

summer internships

InterTrust Technologies has an opening in our research lab for a
summer intern interested in programming languages, security, and
mobile code.  InterTrust is a privately-held company located in
Silicon Valley that is pioneering technology for electronic commerce
in digital information.  More information about the company and our
research lab is available from www.intertrust.com
<http://www.intertrust.com> and www.star-lab.com
<http://www.star-lab.com>
Permalink | Reply | 0 comments |
headers
Gordon Plotkin | 24 Mar 1999 15:55
Picon
Picon

PhD Studentship at Edinburgh


                       Division of Informatics

                       University of Edinburgh

                  Announcement of PhD Studentship in

       The Structure of Programming Languages: Syntax and Semantics

A PhD student is sought for three years from October 1999 to work under 
the supervision of Prof. Gordon Plotkin on a UK EPSRC-funded project:
``The Structure of Programming Languages: Syntax and Semantics.''

The project aims at a general theory of the syntax and semantics of 
programming languages. The student will work on a categorical theory 
of structural operational semantics and its relation to denotational 
semantics. (See http://www.dcs.ed.ac.uk/home/dt/lics97.ps.)
Example topics include: variations on GSOS for computational effects 
other than non-determinism; linguistic expressions of categorical 
operational semantics; and a theory of language translation incorporating 
both denotational and operational semantics.

The studentship is for three years and pays for all fees and includes
maintenance (living expenses) at the usual EPSRC rate.

The studentship will be held at the Laboratory for Foundations of
Computer Science (LFCS), Division of Informatics, University of Edinburgh. 

The LFCS provides an ideal environment for postgraduate research. The
first six months of postgraduate training are supported by a unique
(Continue reading)

Permalink | Reply | 0 comments |

Gmane