From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Workshop announcement
Date: Mon, 13 Jan 1997 13:39:02 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.970113133855.8718B-100000@mailserv.mta.ca> (raw)
Date: Mon, 13 Jan 1997 16:51:57 +0000 (GMT)
From: Matthew Hennessy <matthewh@cogs.susx.ac.uk>
EU KIT / INSTITUTE OF SOFTWARE, CAS
International Scientific Cooperation
------------------------------------------------
SUMMER SCHOOL AND WORKSHOP
--------------------------
Formal Models of Programming and their Applications
September 17 - 20, 1997
Beijing
China
!!!! CALL FOR PARTICIPATION !!!!
The aim of the Summer School and Workshop, organised by the EU KIT
project SymSem, is to bring together in an informal atmosphere
researchers, working in the general area of the Semantic Foundations
of Computation. Participation by Chinese researchers and students is
particularly encouraged. Roughly half of the meeting will be devoted
to expositary seminars given by invited speakers. The remainder will
consist of workshop presentations chosen on the basis of submitted
abstracts.
LIST OF INVITED SPEAKERS:
Gerard Boudol, INRIA-Sophia Antipolis, France
Zhou CaoChen, IIST, Macau
Pierre-Louis Curien, Ecole Normale Superieure, Paris, France
Matthew Hennessy, University of Sussex, UK
Gerard Huet, INRIA-Rocquencourt, France
Colin Stirling, University of Edinburgh
SUBMISSIONS:
We solicit submissions on original research not published or submitted
for publication elsewhere in the form of Extended Abstracts, not to
exceed 2500 words (approximately 5 pages). The abstracts must be
written in English. The topic of the meeting is to be interpreted in
a broad sense, to include semantic and algorithmic aspects of
* Programming languages
* Verification methods and systems
* Program logics
* Concurrency: theory and applications
* Type theory and applications
* Program specification
* Formal languages and automata
* Rewriting systems
It is intended to publish a volume of papers based on the abstracts
presented at the meeting.
Three copies of abstracts should be sent to
Huimin Lin - KIT
PO Box 8718
Institute of Software
Chinese Academy of Sciences
Beijing 100080
China
or alternatively electronic submissions (in the form of a uuencoded
postscript file) may be sent to
kit-submissions@cogs.sussex.ac.uk
IMPORTANT DATES:
Deadline for submission of abstracts: 30/3/97
Notification of Acceptance: 30/4/97
Workshop dates: 17-20/9/97
Information on the workshop will be maintained at the website
http://www.cogs.susx.ac.uk/users/huimin/kit-workshop.html
Organising Committee:
P.L.Curien (France), M. Hennessy (UK), H.Lin (China).
Local Organiser:
H.Lin (China)
Note: TACS is on in Japan on the following week 24 (Wed) -26th Sept.
=================
next reply other threads:[~1997-01-13 17:39 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-01-13 17:39 categories [this message]
1997-11-03 19:42 categories
1997-12-01 18:00 categories
2008-12-05 18:08 Pieter HOFSTRA
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.970113133855.8718B-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).