(All speakers are included)

[Plenary Speakers]

Nguyen Huu Du (Vietnam Institute for Advanced Study in Mathematics)
Dynamic Behavior of Kolmogorov Systems Perturbed by Noise
Marcel Jackson (La Trobe University)
Algebraic Foundations for Program Logics
Manish Jain (Armorway Inc.)
Game-Theoretic Allocation of Limited Resources: Applications to Security Domains
Rafael López (Universidad de Granada)
Capillary Surfaces Modeling Liquid Drops on Wetting Phenomena
Gaven Martin (Massey University)
New Approaches to the Modelling of Highly Elastic Media
Arnab Roy (Fujitsu Laboratories of America)
Relational Hash
Aleksandar Staykov (I²CNER, Kyushu University)
Application of the Non-equilibrium Green's Function Method
in the Design of Nanoscale Electronic Devices
Takashi Suzuki (Osaka University)
Mathematical Oncology and Applications


Kazushi Ahara (Meiji University)
Basic Research for the Patient-Specific Surgery Support System
-An Identification Algorithm of the Mesentery Using 3D Medical Images-
Pierluigi Cesana (Australia Branch, IMI, Kyushu University)
New Models for the Space-Time Evolution of Martensitic Microstructure
Marcio Gameiro (University of São Paulo)
Persistent Homology and Applications
Peter Höfner (NICTA and UNSW)
Using Process Algebra to Design Better Protocols
Akifumi Kira (IMI, Kyushu University)
Our Challenges to Real-Time Disaster-Recovery Scheduling
Mary Myerscough (University of Sydney)
Why Do Hives Die? Using Mathematics to Solve the Problem of Honey Bee Colony Collapse
Tak Nishida (Intec Innovative Technologies USA, Inc.)
Internet-of-Things, Big Data, and Entropy
The Role of Mathematical Technologies in Social System Design: An Interdisciplinary Approach to Complex Social Problems
Takayuki Osogami (IBM Research - Tokyo)
Human Choice and Good Choice
Taehyun Rhee (Victoria University of Wellington)
Deformable Human Body Modeling from 3D Medical Image Scans
Takenobu Seito (Bank of Japan)
Cryptography and Financial Industry
Vitaly Shumeiko (Chalmers University of Technology)
Parametric Effects in Quantum Electrical Circuits and Applications to Quantum Information
Matthew Simpson (Queensland University of Technology)
Why are Scratch Assays Difficult to Reproduce?
Dimetre Triadis (Australia Branch, IMI, Kyushu University)
Leveraging Progress in Analytic Groundwater Infiltration for New Solutions in Industrial Metal Solidification
Graham Weir (Wellington, New Zealand)
The Mathematics describing Two Phase
Geothermal Fluid Flows: Quantifying Industrial Applications and Innovations
Dmitry Znamenskiy (Philips Research)
On 3D Scanning Technologies for Respiratory Mask Design

[Young Researchers Short Talks]

Laura Karantgis (La Trobe University)
Steady Saturated-Unsaturated Water Flow in a Sloping Domain and its Application to Landslides
Kentaro Okamoto (Graduate School of Mathematics, Kyushu University)
Zeta Function Associated with the Representation of the Braid Group
Yuichiro Yasui (CESS, Kyushu University)
Fast, Scalable, and Energy-Efficient Parallel Breadth-First Search

Session Chairs