Important Dates

• January 10-12: Workshop at Asakusa View Hotel
• January 13: Workshop at The University of Tokyo
• January 14: Free Discussion

Objective

After the success of the first, second, and third DIKU-IST workshops, the fourth DIKU-IST workshop aims to provide a forum for exchanging research ideas among researchers on programming languages and foundations of software, and promoting research collaboration 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

• January 10 (Monday, Asakusa View Hotel)
• January 11 (Tuesday, Asakusa View Hotel)
• January 12 (Wednesday, Asakusa View Hotel)
• January 13 (Thursday, University of Tokyo)
• January 14 (Friday)

— January 10 (Monday, Asakusa View Hotel) —

13:00-13:30  Registration

13:30-13:40  Openning

13:40-15:10  Session 1

Neil D. Jones (University of Copenhagen)
Programming in Biomolecular

Kenichi Asai (Ochanomizu University)
Functional Derivation of Small-Step Semantics for Symmetric Lambda Calculus

Robert Glueck (University of Copenhagen)
Online Specialization

15:10-15:30  Tea Break

15:30-17:00  Session 2

Holger Bock Axelsen (University of Copenhagen)
A Universal Reversible Turing　Machine

Tetsuo Yokoyama (Nanzan University)
Generating Input-Erasing Efficient Clean Reversible Programs for Injective Functions

Poul Clementsen (University of Copenhagen)
Reversible Coroutines

18:00-20:00  Reception

• Place: Asakusa View Hotel, 4th Floor Room Komagata
• Pay your reception fee at the registration.

— January 11 (Tuesday, Asakusa View Hotel) —

09:00-10:30  Session 3

Andrzej Filinski (University of Copenhagen)
Monadic Effects in Operational Semantics

Ken Friis Larsen (University of Copenhagen)
Probability Monad And Generic Multiset Discrimination

Tom Hvitved (University of Copenhagen)
A Trace-based Model for Multiparty Contracts

10:30-10:50  Tea Break

10:50-11:50  Session 4

Jesper Andersen (University of Copenhagen)
Semantic patch inference

Kazutaka Matsuda (Tohoku University)
Towards Decidable Inverse Computation of Functional Programs

13:30-15:00  Session 5

Naoki Kobayashi (Tohoku University)
Towards a Software Model Checker for ML

Kazuhiro Inaba (National Institute of Informatics)
Modal-Mu Definable Graph Transduction

Yoichi Hirai (University of Tokyo)
Determining the Valid Parameters for the Weight-Balanced Tree Algorithm

15:00-15:20  Tea Break

15:20-16:50  Session 6

Anders Starcke (University of Copenhagen)
An Adversarial Approach to Modelling Interaction Specifications

Keisuke Nakano (University of Electro-Communications)
Jigsaw Radix Conversion

Patrick Bahr (University of Copenhagen)
Compositional Data Types

— January 12 (Wednesday, Asakusa View Hotel) —

09:00-10:30  Session 7

Akimasa Morihata (Tohoku University)
From parametric polymorphism to balanced tree structures for parallel programming

Yu Liu (National Institute of Informatics)
A Homomorphism-based MapReduce Framework for Systematic Parallel Programming

Mikkel Jønsson Thomsen (University of Copenhagen)
Specification and Implementation of Requirements for ERP systems

10:30-10:50  Tea Break

10:50-12:20  Session 8

Soichiro Hidaka (National Institute of Informatics)
Marker-directed optimization of UnCAL graph algebra revisited: Optimizing bidirectional graph transformations

Hiroyuki Kato (National Institute of Informatics)
Functional Graph Transformation with Structural Recursion

Kazuyuki Asada (University of Tokyo)
Semantic Structures of Bidirectional Programming

Afternoon: Free discussion

— Janurary 13 (Thursday, University of Tokyo) —

10:00-11:50 : DIKU-IST Student Program

10:00-10:15 : Messages from the Dean of IST by Prof. Hagiya

10:15-11:10 : DIKU-IST Student Session
(Introducing DIKU and IST by students followed by discussions)

11:20-11:50 : Visit Robotics Lab. of Prof. Kuniyoshi

14:00-15:00  Session 9

Fritz Henglein (University of Copenhagen)
Regular expressions as Types

Lasse Nielsen (University of Copenhagen)
Workflows as Session Types

15:00-15:20  Tea Break

15:20-16:20  Session 10

Kento Emoto (University of Tokyo)
Semirings for Free! — An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions

Sebastian Fisher (National Institute of Informatics)
Semiring Fusion

16:20-16:40  Tea Break

16:40-17:40  Session 11

Torben Mogensen (University of Copenhagen)
Partial Evaluation of Janus

Zhenjiang Hu (National Institute of Informatics)
On Determination of Backward Transformation

18:00-20:00  Banquet

• Place: Restaurant Abreuvoir (in the University of Tokyo)
• Pay your banquet fee at the registration.

— January 14 (Friday) —

Free Discussion

Venue / Accommodation

• Accomodation: Asakusa View Hotel
• Workshop venue:
  • 10-12th: Asakusa View Hotel, 4th Floor, Room Kototoi(言問)
  • 13th: Faculty of Engineering Bldg.2, 3rd Floor, Room 1A1B(33A)
• Reception venue (10th): Asakusa View Hotel, 4th Floor, Room Komagata(駒形)
• Banquet venue (13th): Restaurant Abreuvoir (in the University of Tokyo)

Access

From Narita Airport to Asakusa View Hotel:

• Route (google map): 'Access Express' from Narita Airport Terminal 1 to Asakusa Station; then 10 minutes walk as in the google map.
• The arrival area of Scandinavian Airlines is South Wing of Terminal 1, 1st Floor.
• To get on Access Express (map): First go to the entrance on B1F near the blue Encircled Number 4 with orange line (and blue line) on the map.
  Then along the orange line (until the end), first go right (passing the first escalator) then you go to the two escalators going down to the same platform 'Narita SKY ACCESS Line ordinary train platform' (B2F) of Box Number 1, which is the platform you can get on Access Express.
• Timetable of Access Express: ... 9:09 9:49 10:29 11:09 11:51 12:24 13:09 13:44 ... from Narita Airport Terminal 1
  (It is better to avail Ordinary Trains than Skyliner/Cityliner, since the former is much cheeper and without a transfer. Among Ordinary Trains, use Access Express rather than Limited Express.)
• Access Express is bound for Haneda Airport. Get off at Asakusa Station (64 min. from Narita Airport).
• The hotel is here.

From Asakusa View Hotel to Narita Airport:

• Timetable of Access Express (through train) from Asakusa Station to Narita Airport (basically 1.5 trains every hour):
• 14th(Fri.): ★ in this timetable
• 15th(Sat.): ★ in this timetable

Between Tokyo Station and Asakusa View Hotel:

• Asakusa View Hotel is just near Exit No.2 of Asakusa Station of Tsukuba Express.
• From Tokyo Station, first go to Akihabara by Yamanote Line (Uchi-mawari = counter-clockwise), then transfer to Tsukuba Express and get off at Asakusa Station.
• Note that Asakusa Station of Tsukuba Express is different from Asakusa Station of Tobu, Toei, and Metro, which is used to go to Narita Airport.

Between Asakusa View Hotel and University of Tokyo:

• Route (google map): First take Tsukuba Express (bound for Akihabara) and get off at Shinokachimachi Station, then transfer to Ôedo Line (bound for Iidabashi and Tocho-mae) and get off at Hongo-sanchome Station. Then walk to Faculty of Engineering Bldg.2, in which map 'Akamon (Red Gate)' is the destination of the Google map.
• Note that Asakusa Station of Tsukuba Express is different from Asakusa Station of Tobu, Toei, and Metro, which is used to go to Narita Airport.

Organization / Program Committee

• Masato Takeichi, IST
• Zhenjiang Hu, NII
• Robert Glück, DIKU
• Fritz Henglein, DIKU

Local Organizers

• Keisuke Nakano, UEC
• Kazuyuki Asada, IST

Sponsors

This workshop is supported by Grant-in-Aid for Scientific Research (A) 19200002, and a joint research project at National Institute of Informatics.
Thanks also to the Danish National Advanced Technology Foundation (Højteknologifonden), the Danish Strategic Research Council (Det Strategiske Forskningsråd), and the Danish Free Research Council (Det Frie Forskningsråd).

Contact Information

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