headers
Roland Yap Hock Chuan | 5 Jul 1999 05:25
Picon

Final CFP: ASIAN'99, Phuket, Dec 10-12, 1999

                        CALL for PAPERS
                            ASIAN'99 

               Asian Computing Science Conference
             Phuket, Thailand, December 10-12, 1999

     Conference Web Page:        http://www.comp.nus.edu.sg/~asian99
     Paper submission deadline:  July 12, 1999

BACKGROUND:
----------

The series of annual Asian Computing Science Conferences (ASIAN) was
initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for 
researchers in computer science from the Asian region and to promote 
interaction with researchers from other regions.  The first four 
conferences have been held, respectively, in Bangkok, Singapore, 
Katmandu and Manila. In addition to support from the host countries, 
they have also been sponsored by INRIA, France, UNU/IIST, Macau and 
NUS, Singapore.  The proceedings have been published as Lecture Notes 
in Computer Science, Springer-Verlag.

SCOPE:
------

The scope of the conferences has been a broad coverage of Computer Science,
but with a focus on a few chosen specific themes concerning the formal 
aspects of algorithms, programming, concurrency and parallelism, networking 
and security.  The 1999 conference will continue to emphasize the conceptual 
areas of Computer Science, though papers in all areas will be considered.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Thomas Jensen | 5 Jul 1999 14:00
Picon
Favicon

PhD and post-doc positions in formal program construction and analysis

PhD and  POST-DOC POSITIONS AVAILABLE
                         IRISA/INRIA Rennes, France

Several doctoral and post-doctoral positions are available within the
Lande research group at IRISA/INRIA Rennes. The main research
interests of the group are software design and validation, program
analysis and verification, software architectures and debugging.

The positions are funded by collaborative projects involving 
different research groups and industrial companies.
The appointed candidates are expected to work in one of the 
following topics:
- Software architectures: formalisation, verification, analysis,
applications to industrial case studies, study of product line
architectures, functional and non-functional properties of software
architectures, etc.
- Security: formalisation, verification and static analysis of security
properties,
dynamic analysis and intrusion detection, application to Java Card and
the
development of software for smartcards.
- Program analysis: tools and algorithms for implementation of static
analyses, integration of static analyses into programming environments

Progress on these topics requires a number of complementary skills 
including:

  Formal methods and program verification
  Software architectures
  Security of information systems
(Continue reading)

Permalink | Reply | 0 comments |
headers
Didier.Remy | 13 Jul 1999 14:32
Picon
Picon
Favicon

CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL + ...


                       SECOND CALL FOR PARTICIPATION

                                   PLI 99

                  Principles, Logics, and Implementations
                    of high-level programming languages

                               Paris, France,
                       September 27 - October 1, 1999

                       http://pauillac.inria.fr/pli/

                              ----------------
Important dates

    August 15     Extended deadline for TMR grant applications.
    August 22     Deadline for early registrations.

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

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 first edition of
PLI will be held in September 1999 in Paris and will bring together two
popular conferences ICFP and PPDP (previously known as PLILP/ALP) focused on
functional and declarative programming languages, and a collection of
related satellite events.

PLI 99 comprises the following conferences and workshops:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Carl Gunter | 14 Jul 1999 14:56
Favicon

Formal Specification of PLAN


We would like to announce the availability of a draft specification for
the Packet Language for Active Networks at
http://www.cis.upenn.edu/~switchware/PLAN/spec
We welcome feedback on the draft specification and hope to resolve a
first non-draft version in the fall.

PLAN is a packet-based scripting language designed by the SwitchWare
group at the University of Pennsylvania for configuring, composing, and
invoking router-resident services for active networking.  Although it is
not an essential feature of the language, PLAN implementations
have generally been carried out for service layers programmed in
specific languages.  We are aware of efforts for OCaml, Java, C, C++,
and typed assembly.  Version 3.1 of the SwitchWare OCaml implementation
has been tested to conform to the specification.  Information and
software for PLAN can be found at the PLAN home page
http://www.cis.upenn.edu/~switchware/PLAN.

The specification has several purposes.  First, it is meant to serve as
a means to communicate PLAN design ideas between implementors.  Second,
a PLAN standard should assist portability of PLAN programs between
implementations.  Third, it will make it easier to create tutorials for
PLAN that are meaningful for more than one implementation.  Finally, the
PLAN specification is given formally and could be used as the basis of
automated mathematical analysis of the language, its implementations,
and programs written in the PLAN.

Comments about the PLAN specification can be directed to the PLAN
Discussion List, PLAN-disc@..., or, if you prefer, to
gunter@... and pankaj <at> dsl.cis.upenn.edu.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Matthew Hennessy | 15 Jul 1999 14:57
Picon
Picon

Faculty Position at Sussex

The following faculty position may be of interest to recipients to the
types mailing list.  The research group in theoretical computer
science has a keen interest in type theory in general and types for
mobile and distributed systems in particular and would welcome a new
faculty member with expertise in this area.

=====================================================================
UNIVERSITY OF SUSSEX

SCHOOL OF COGNITIVE AND COMPUTING SCIENCES

LECTURER (Grade A/B) - Foundations of Computer Science (Ref 131)

Applications are invited for this position in Foundations of Computer
Science. Candidates should be able to show evidence of significant
research achievement in any aspect of the Foundations of Computation.
The successful applicant will be expected to expand significantly the
existing high research profile of the Group in this area. Applicants
should also be willing to teach in areas of Computer Science other than
their research speciality.

Salary in the range: #16,655 - #21,815 per annum (Grade A) or #22,726 -
#29,048 per annum (Grade B). Salaries under review. Closing date:
Friday 13 August 1999.

Informal enquiries may be made to Professor Matthew Hennessy, COGS,
University of Sussex, Falmer, Brighton BN1 9QH, UK. Tel +44 1273 678101
Email matthewh@...

Application forms and further particulars are available from and should
(Continue reading)

Permalink | Reply | 0 comments |
headers
Anuj Dawar | 15 Jul 1999 17:48
Picon
Picon
Favicon

British Logic Colloquium 1999


                  British Logic Colloquium 1999

The 1999 meeting of the British Logic Colloquium will be held from
23 to 25 September at the University of Wales conference centre,
Gregynog.

Programme
---------

The meeting will include a celebration of Roger Hindley's
contributions to logic, on the occasion of his retirement from the
Department of Mathematics at the University of Wales Swansea.

In addition, there will be lectures covering a wide variety of areas of
mathematical and philosophical logic as well as the history of logic,
with the following confirmed to speak:

The provisional programme is:

Thursday 23 September
---------------------

1:00pm  Lunch

2:00pm
 Robin Milner (Cambridge)
      What is the Logic of Communication?

3:00pm
(Continue reading)

Permalink | Reply | 0 comments |
headers
Kim Bruce | 19 Jul 1999 16:04
Picon

FOOL 7 Workshop - Call for papers

The call for papers for FOOL7 can be found below and at
	<http://www.cs.williams.edu/~kim/FOOL/Call7.html>

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

                           Call for Papers

                 The Seventh International Workshop on 
               Foundations of Object-Oriented Languages

                               FOOL 7

                      Sponsored by ACM SIGPLAN

                          January 22, 2000
                     Boston, Massachusetts, USA 
                         Following POPL '00

Deadlines

    Submissions: October 4, 1999 
    Notifications: November 12, 1999 
    Final versions: December 10, 1999 

The search for sound principles for object-oriented languages has given 
rise to much work on the theory of programming languages during the
past 15 years, leading to a better understanding of the key concepts of 
object-oriented languages and to important developments in type theory,
semantics, and program verification.  The FOOL workshops 
bring together researchers to share new ideas and results in these
(Continue reading)

Permalink | Reply | 0 comments |
headers
FSTTCS99 | 20 Jul 1999 06:31
Picon

Post-FSTTCS Workshop on Mobile Computation


---------------------------------------------------
        19th International Conference on

        FOUNDATIONS OF SOFTWARE TECHNOLOGY
                        &
        THEORETICAL COMPUTER SCIENCE

                (FST&TCS19)

     13--15 December 1999, IIT Campus, Chennai

   URL: http://www.imsc.ernet.in/~fsttcs99
 Email: fsttcs99@...

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

		  Foundations of Mobile Computation
	  A Post-Conference Satellite Workshop of FST & TCS 99
			 
			 December 16-17, 1999

                  Institute of Mathematical Sciences
			    Chennai, India

The workshop will address fundamental principles in the definition,
analysis and implementation of languages and models for mobile
distributed programming.

The last few years have seen several new technologies and languages
(Continue reading)

Permalink | Reply | 0 comments |
headers
Thomas Streicher | 21 Jul 1999 16:38
Picon
Favicon

job announcement

The following job announcement may be of interest to type theorists who
know German well enough to give courses in this language. The description
of the job is comparatively vague but type theory is definitely within the
scope.

A position of a Professor (C3) is advertised at the Department of
Mathematics, Darmstadt University of Technology, in the area of
Mathematical Foundations of Computer Science. Deadline for
Applications: September 3, 1999. For details see
http://
www.mathematik.tu-darmstadt.de/Math-Net/Dekanat/Ausschreibungen/c3_de.html
Permalink | Reply | 0 comments |
headers
Samson Abramsky | 26 Jul 1999 18:10
Picon
Picon

CTCS `99 Call for Participation

CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99)
              10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND
                 http://www.dcs.ed.ac.uk/home/ctcs99

                       CALL FOR PARTICIPATION 
              EARLY REGISTRATION DEADLINE: 10th August 1999

CTCS '99 is the 8th conference on "Category Theory and Computer
Science."  The purpose of the conference series is the advancement of
the foundations of computing using the tools of category theory. While
the emphasis is upon applications of category theory, it is recognized
that the area is highly interdisciplinary.

Previous meetings have been held in Guildford (Surrey), Edinburgh,
Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure
(Genova).

This document contains

1. Invited speakers
2. List of accepted papers
3. Programme committee
4. Registration form

A WWW-version containing all this information plus abstract of
contributed papers can be found under www.dcs.ed.ac.uk/home/ctcs99

1. Invited speakers
-------------------
(Continue reading)

Permalink | Reply | 0 comments |

Gmane