Frauenchiemsee, Germany
Refereeing has been completed and the following papers have been accepted. We expect publication of the TCS special issue in November 2006.
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).
The APPSEM'05 workshop will be held on the island Frauenchiemsee, in the lake of Chiemsee, approximately 100 km south east of Munich. This is the 3rd general annual meeting of the network. Previous meetings took place in Nottingham (APPSEM'03) and in Tallinn (APPSEM'04). 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:
For each theme there will be a session of contributed talks. In addition, there will be several invited talks, an industrial panel session, a brainstorming session and a business meeting.
Following on from the workshop, an informal proceedings will be published on the web. Full refereeing will be done on revised versions of the papers after the workshop with a selection of papers being published in a formal proceedings.
The following leading representatives from academia and industry will give invited talks at the workshop:
Two kinds of contributions are solicited:
Authors should submit a short abstract of maximal 2 pages. 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 of full presentations is in 2 phases: phase 1 focusses on relevance of the topic to the APPSEM remit; phase 2 involves full refereeing.
Phase 1: Authors should submit an extended abstract of maximal 10 pages, excluding appendices. The PC encourages high quality extended abstracts that can be considered for formal publication within few months.
The submissions will be ranked by the PC according to quality and relevance to APPSEM II themes. Successful submissions will get a 30 minute slot for presentation at the workshop, and will be considered for phase 2. Other submissions will be automatically considered for 15 minute presentation slots. Authors of submissions to phase 1 automatically express a commitment to submit to phase 2 if accepted.
Phase 2: Authors should submit a full paper (max 20 pages excluding appendices) that will be refereed according to usual scientific standards after the workshop. Selected papers will be published in the proceedings for the workshop. We expect to have 10-12 contributions published in the final proceedings. The exact format of these final proceedings is yet to be decided.
A list of talks at the workshop is available here.
Following on to the workshop a call for papers to be published in a special issue of Theoretical Computer Science will be issued. The Call for Papers is available here.
The following papers have been selected for the special issue (TCS, Volume 364, Issue 3, Nov 2006):
| "Proof-Carrying Code from Certified Abstract Interpretation and Fixpoint Compression" | Frederic Besson, Thomas Jensen and David Pichardie |
| "Type Systems Equivalent to Data-Flow Analyses for Imperative Languages" | Peeter Laud, Tarmo Uustalu, Varmo Vene |
| "Securing the .NET Programming Model" | Andrew Kennedy |
| "Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm" | Dominique Cansell, Dominique Mery |
| "A Concurrent Lambda Calculus with Futures" | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
The programme committee consists of one or two scientists per theme and a chairman.
The picturesque small island Frauenchiemsee is home of a Benedictine monastery, which nowadays also hosts seminars. Founded in 722 by Duke Tassilo III of Bavaria, its most famous abbess was Irmengard (died 866; beatified 1928), great-granddaughter of Charlemagne. Other historically recorded abbesses are Sabina Preindorfer (died 1609) und Magdalena Haidenbucher (died 1650). Until the 11th century the monastery was directly subordinated to the Holy Empire, later on it was subordinated to the Archbishop of Salzburg.
The summer school is located in
Frauenchiemsee, an island in Lake Chiemsee,
on the
border between Germany and Austria.
and about 100kms in the south east
of the Munich Airport or about 70 km in the west of Salzburg Airport.
Journey from Munich Airport:
1. Take airport bus or S-Bahn (S1 or S8) to Munich Central Station (München Hauptbahnhof). There is a train on every 10 minutes, 30 min travel time.
2. Take train to Prien (ca 1h travel time, trains every 20mins).
3. Taxi or bus to harbour (10min travel time).
4. Take a boat to Frauenchiemsee (35 min travel time)
5. If you are late you need to take a boat taxi (about 100 Euro)!
Journey from Salzburg Airport:
1. Take airport bus (line 2) or taxi to Salzburg Central Station (Salzburg Hauptbahnhof). There is a bus on every 10 min during the day, travel time about 20 min
2. Take train to Prien. There is a train on every 40 min, travel time ca. 50 min.
3. Taxi or bus to harbour (10min travel time).
4. Take a boat to Frauenchiemsee (35 min travel time)
5. If you are late you need to take a boat taxi (about 100 Euro)!
Martin Hofmann
Hans-Wolfgang Loidl
Sigrid Roden
Konstantin Kutzkow