Important Dates

• March 22 FLOPS 2006 advance hotel booking (via. block reservation)
• March 30, extended to April 3 DIKU-IST hotel booking deadline
• April 10 FLOPS 2006 hotel booking deadline
• April 21 DIKU-IST opens
• April 22 DIKU-IST closes
• April 24 FLOPS 2006 opens
• April 26 FLOPS 2006 closes

Objective

After the success of the first DIKU-IST workshop which took place in Copenhagen, the second DIKU-IST workshop aims to provide a forum for exchanging research ideas and promoting research collaboration on foundations of software between Department of Computer Science (DIKU) at University of Copenhagen and Graduate School of Information Science and Technology (IST) at University of Tokyo.

Theme

Despite tremendous progress in hardware, the production of software is manual, error prone, and costly. The exploding demand for software has led to a dramatic worldwide undersupply of skilled programmers, outsourcing, and to low software quality, which is evident to anyone today who uses software. Computer languages and their semantics play a central role in all phases of software development: from the specification of an abstract software entity and its presentation in an implementation language, through verifying that software will behave in reliable and error-free ways in safety-critical applications, and finally to the mapping of specifications onto software and hardware within space and speed constraints.

Tentative Programme

Each talk: 20 min presentation + 5 min discussion

---

Venue / Accommodation

The DIKU-IST 2006 workshop is held at the Shonan Village Center, Kanagawa, Japan. Both participation in the workshop and the banquet dinner on April 21 are free of charge thanks to our sponsors, so participants need only pay for hotels and meals. Accommodation has been arranged at the workshop venue where both single and double rooms are available.

The rates are as follows:

• Single Room, 1 guest JPY 9240
• Economy Twin Room, 1 guest JPY 10395
• Economy Twin Room, 2 guests JPY 7508 per person

• Dinner JPY 2888 (April 20, 22. Banquet dinner on April 21 is free of charge)
• Breakfast JPY 1386 (April 21, 22, 23)
• Lunch JPY 1039 (April 21, 22, 23)

A block reservation has been made at the venue which will be allocated on a first-come-first-served basis:

• April 20 (Thu) night: 8 Economy Twin Rooms
• April 21 (Fri) night: 8 Economy Twin Rooms / 14 Single Rooms
• April 22 (Sat) night: 10 Economy Twin Rooms

Reservations should be directed to the organizers (diku-ist06(a)ipl.t.u-tokyo.ac.jp) by April 3rd at the latest. A cancelation fee will be required after April 3rd. The Shonan Village Center accepts payment by cash or credit card: VISA, AMEX, Master Card, Diners International, DC Card, JCB and (Japanese) bank cards.

A separate transportation guide has been made for travel related information.

Organization / Program Committee

• Robert Glück, DIKU (Co-Chair)
• Masami Hagiya, IST
• Fritz Henglein, DIKU
• Shinichi Honiden, IST
• Haruo Hosoya, IST
• Zhenjiang Hu, IST (Co-Chair)
• Neil Jones, DIKU
• Julia Lawall, DIKU
• Stig Skelboe, DIKU
• Akihiko Takano, IST
• Masato Takeichi, IST
• Akinori Yonezawa, IST

Local organizers

• Carl Christian Frederiksen, IST
• Johan Gade, DIKU/IST
• Keisuke Nakano, IST
• Tetsuo Yokoyama, IST

Sponsors

This workshop is supported by the Superrobust Computation Project of the 21st Century COE Program "Information Science and Technology Strategic Core" of the University of Tokyo, and the Danish Research Agency / Statens Naturvidenskabelige Forskningsråd.

Contact information

If you have any questions, please do not hesitate to send an email to the organizing committee: diku-ist06(a)ipl.t.u-tokyo.ac.jp.

FLOPS 2006 Information

The DIKU-IST workshop has been timed with the FLOPS 2006 conference which is held from April 24 to 26, so DIKU-IST participants might also be interested in joining FLOPS. The accommodation for FLOPS is arranged at Fuji Institute of Education and Training (FujiKen) where the conference itself is held. The FLOPS organizers have made a block reservation at FujiKen, but have to commit the booking 1 month in advance (by March 22).

FLOPS hotel booking is possible through JTB until April 10, but anyone who wish to take advantage of the block reservation to book a room should either register via the FLOPS home page or contact the organizers (flops2006@lyon.is.s.u-tokyo.ac.jp) by March 22 at the latest.

Accommodation after the DIKU-IST Workshop

For participants who wish to stay in Tokyo on April 22, e.g. participants in need of accommodation for the period between the DIKU- IST workshop and FLOPS 2006, a block reservation has been made at Hotel Suigetsu near the University of Tokyo.

The rates are:

• Single Room, 1 guest JPY 7140 (10 rooms available)
• Breakfast JPY 1365

Again, reservations should be directed to the organizers (diku-ist06(a)ipl.t.u-tokyo.ac.jp) by April 3rd at the latest and will be made on a first-come-first-served basis.