General Co-Chairs

Jianjun Zhao, Kyushu University, Japan
Hong Mei, Peking University, China
Shinichi Honiden, Waseda University, Japan

Program Chairs

Zhenjiang Hu, Peking University/NII, China/Japan
Zhi Jin, Peking University, China
Naoyasu Ubayashi, Kyushu University, Japan

Local Organization Chairs

Yaokai Feng, Kyushu University, Japan
Lei Ma, Kyushu University, Japan
Haibo Yu, Kyushu Sangyo University, Japan

Steering Committee

Jin-Song Dong, Griffith University and NUS, Australia
Hong Mei, Peking University, China
Shinichi Honiden, NII, Japan
Zhenjiang Hu, Peking University/NII, China/Japan
Zhi Jin, Peking University, China
Bashar Nuseibeh, The Open University, UK

AWASE 2019 Tentative Program (Guide Book for Attendees)

Keynote Speakers

Are SE Techniques Right for AI Systems?

Sun Jun (Singapore Management University, Singapore)

Abstract

Deep neural networks can be regarded as "universally" applicable programs, which build upon not logic but data and optimization. While they are incredibly powerful, they suffer many of the same problems of software systems, e.g., bugs, and back-doors. Recently, there is a trend on applying software engineering techniques to AI systems. In this talk, I will present two such attempts from our group and, more importantly, ask the question on whether such approaches are always justified.

Biography

SUN, Jun is currently an associate professor at Singapore Management University (SMU). He received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. In 2007, he received the prestigious LEE KUAN YEW postdoctoral fellowship. He has been a faculty member since 2010 and was a visiting scholar at MIT from 2011-2012. Jun's research interests include software engineering, cyber-security and formal methods. He is the co-founder of the PAT model checker. He serves a technical consultant/scientist for multiple companies.

Registration

Registration for Internetware 2019 and AWASE 2019.

Schedule

博多百年蔵 https://www.ishikura-shuzou.co.jp/banquet

Registration Fee

1) Internetware includes SFDI2019+ workshop, lunches and tea/coffee on each day of the symposium (28-29 Oct.), a reception (28 Oct.) and a banquet (29 Oct.).
2) AWASE-only includes lunches and tea/coffee on each day of the workshop (29-30 Oct.) and a banquet.
3) All-events includes Internetware Symposium, AWASE and SFDI2019+ workshops. It includes lunches and tea/coffee on each day (28-30 Oct.), a reception (28 Oct.) and a banquet (29 Oct.).

Visa Information

Please consult with your nearest Japanese embassy/consulate or your travel agency for the visa and entry requirements. For those who need a visa to travel to Japan, an invitation letter for visa can be issued by local organizers. Please send all requests to yu-haibo@is.kyusan-u.ac.jp with the following information:

• Your name (as it appears on your passport) and mailing address
• Your registration confirmation number (you must register before requesting a visa support letter).
• Include an email address of where letter can be sent

Note that we can only provide invitation letters for visa to participants that have paid their registration fees. More details on Japan visa requirements can be found at here.

AWASE 2019 will be held at Fukuoka SRP Center Building.

Introducation to the Fukuoka SRP Center Building

Address: 2-1-22, Momochihama, Sawara-ku, Fukuoka 814-0001, Japan

Access and Surrounding Map

There are many hotels in Fukuoka from which you can quickly and easily access the conference venue by the public transportation, but the following list gives a few hotels near the conference venue. October is one of the best seasons in Japan and hotels tend to be very busy. If you plan to attend the conference, it will be good if you can book your hotels as early as you can. For hotel reservation, please directly use the following hotel webpages or directly contact with the hotels.

You can also use Booking.com to book your hotels in Fukuoka as well.

Fukuoka Gourmet

Ramen is a kind of noodle dish. Its origin is Chinese noodle but it has been localized for a hundred years. In Fukuoka, you can eat many kinds of Ramen, of which tonkotsu ramen is one of the most popular variation of ramen.

Since Fukuoka is a coastal city, you can enjoy a variety of seafood. Of cource, you can eat sushi or sashimi. Mentaiko (eggs of Alaskan Pollack) is a typical food of Fukuoka.

Motsunabe is Fukuoka-local dishes classified to nabemono. In motsunabe, beef or pork offal is used instead of chicken and its soup is spicy.

Kushiyaki is the general term for grilled/fried things on skewers. Chicken is some of the most popular, in that cases, Kushiyaki is also called "yakitori".