[Deadline for submission of short / extended abstracts: 13 Feb. 2004.]
Call for Contributions and Participation
2nd APPSEM-II Workshop, APPSEM'04
Tallinn, Estonia, 14-16 April 2004
http://www.cs.ioc.ee/appsem04
Background and objectives
APPSEM II (Applied Semantics II) is a 36-month FP5 IST thematic
network project that started in January 2003. The network consists of
20 sites (with a number of subsites) and is coordinated by Martin
Hofmann (LMU München).
APPSEM'04 in Tallinn is the 2nd general annual meeting of the network
following APPSEM'03 which took place in Nottingham. All members of the
network are invited to attend, but participation of non-members from
both academia and industry with interests in application-oriented
programming language semantics is actively encouraged too. The purpose
of the workshop is to present new results and plan future work in each
of the following nine themes of the network:
A. Program structuring: object-oriented programming, modules,
B. Proof assistants, functional programming, and dependent types,
C. Program analysis, generation, and configuration,
D. Specification and verification methods,
E. Types and type inference in programming,
F. Games, sequentiality, and abstract machines,
G. Semantic methods for distributed computing,
H. Resource models and web data,
I. Continuous phenomena in Computer Science.
For each theme there will be a session of contributed talks. In
addition, there will be 3 invited talks, an industrial panel
session and a business meeting.
Invited speakers
Jim Laird, Sriram Rajamani, Philip Wadler
Submission
Two kinds of contributions are solicited:
* for short (15 mins) presentations,
* for long (30 mins) presentations with intended subsequent
publication in a special issue of TCS.
Submission for short presentations By 13 February 2004 authors should
submit a short abstract (max 2 pp). Short presentations offer the
opportunity to advertise any work relevant for APPSEM II, either
completed or in progress. These submissions will be judged by the
programme committee according to interest and relevance to APPSEM II;
the PC will try to accommodate in the workshop programme all short
presentations that meet these criteria.
Submission for the special issue Publication of the special issue is
conditional to the approval by the TCS editor-in-chief (track B). It
is expected that no more than 10-12 papers will be published in the
special issue. Contributions to the special issue have to pass a
two-phase review process.
Phase 1 By 13 February 2004 authors should submit an extended abstract
(max 10 pp, excl. appendices). The PC encourages high quality extended
abstracts that can be made into journal quality submissions within few
months. In particular, the PC welcomes extended abstracts of papers
that have been presented at (or accepted for) some other refereed
workshop / conference.
The submissions will be ranked by the PC according to quality and
relevance to APPSEM II themes. Successful submissions will get a 30
min slot for presentation at the workshop, and will be considered for
phase 2. Other submissions will be automatically considered for 15 min
presentation slots. Authors of submissions to phase 1 automatically
express a commitment to submit to the special issue phase 2 if
accepted.
Phase 2 By 31 May 2004 authors should submit a journal quality paper
(max 20 pp, excl. appendices, in elsart format). The submissions will
be refereed according to TCS standards. Successful submissions
(i.e. accepted or accepted conditional to minor revisions), will be
included in the special issue. Unsuccessful submissions (that require
a major revision) might be considered for publication in a normal TCS
issue.
Important dates
Submission for short presentations (max 2 pp): 13 February 2004
Submission of extended abstracts (max 10 pp): 13 February 2004
Notification of acceptance (phase 1): 19 March 2004
Workshop: 14-16 April 2004
Journal submission (max 20 pp, excl. appendices, in elsart format):
31 May 2004 (indicative)
Feedback from referees: 31 July 2004 (indicative)
Final version (max 20 pp in elsart format): 15 September 2004 (indicative)
Publication of the special issue: April 2005 (indicative)
Programme committee
The programme committee consists of one or two scientists per theme
and a chairman.
Didier Remy (A)
Gavin Bierman (A)
Thierry Coquand (B)
Neil Jones (C)
Uday Reddy (D)
Fritz Henglein (E)
Pierre-Louis Curien (F)
Glynn Winskel (G)
Peter O'Hearn (H)
Philippa Gardner (H)
Achim Jung (I)
Eugenio Moggi (chair)
Venue
Tallinn, Estonia's capital, is famous for its picturesque medieval Old
Town, a UNESCO World Heritage site. The workshop will be held in the
premises of the historic House of the Brotherhood of Blackheads, right
in the heart of the Old Town.
Registration and cost, accommodation
Details on registration and payment, information on accommodation
options as well as travel information are available from the workshop
web page, www.cs.ioc.ee/appsem04.
Organizers
The workshop is organized by Tarmo Uustalu with colleagues (Institute
of Cybernetics, Tallinn).