Abstract: Recent advance of computerized technologies has revolutionized genetics. With them, the most complex of biological processes can be dissected at the molecule level, and it revealed the fact that biological systems are quite structured and robust functional systemsand their behavior are fundamentally non-linear.
Life is complex enough though, modern software systems or computer networking systems are getting fairly complex, and many sophisticated notions to describe or to construct complex systems have been developed. Among them, the notions related to behavior of computation seemed to be relevant to biology because biological systems are essentially dynamic.
To model biological systems, traditional system biology, which is a subfield of bio-informatics, uses systems of differential equations and simulations based on them, but has limitation of applicability due to the intractability of huge variations of parameters and initial conditions.
On the other hand, in formal method, we set some appropriate level of abstraction and then give a specification in logic or in algebraic operations of a target system on the abstraction level. Using these, we can analyze or estimate its properties along the long pathways of interactions between components.
In this talk, I will give an overview of the formal system biology, which is an emerging subfield of system biology and uses formal methods, formal specification, hierarchical computational models, calculi, logics, model checking, verification and stochastic simulation methods. Thiskind of approach will give a firm foundation of (formal) bio-ontology based on operational semantics.
Bio: Naoki Yonezaki has been Professor of Tokyo Institute of Technology since 1991. He was also Professor of Japan Advanced Institute of Science and Technology from1991 to 1995. His research interests include database, algorithms, verification of software specification, verification of security and formal approach to system biology.
Currently he is a vice dean of the School of Information Science and Engineering, and the Director General of Inter-departmental Organization for Informatics in Tokyo Institute of Technology. He is also the head of the Leading Information Technology Specialist educational program .IT Bauhaus), and the head of the joint education program for Translational Biomedical Informatics with Tokyo Medical and Dental University.
He has been the editor in chief of Computer Software, which is the academic journal of Japan Society of Software Science and Technology (JSSST) from 2000 to 2004. He also served as a program committee chair of IWTS99 and IWPSE01. He was awarded a fellowship by JSSST in 2008.

Abstract: One might have once dreamed if computer could understand learning/instructional theories. Recent advancement of ontological engineering has made this dream come true. Since the late 1990's, I have tackled this problem and have come up with a theory-aware authoring system with my colleagues. The system is called SMARTIES. It is based on a comprehensive ontology of learning and instructional theories named OMNIBUS. This talk discusses the underlying philosophy behind the research as well as its technical details and recent deployment activities of the system. OMNIBUS and SMARTIES can be accessed from here. Bio: Riichiro Mizoguchi is currently Professor of the Institute of Scientific and Industrial Research, Osaka University. His research interests include non-parametric data analyses, knowledge-based systems, ontological engineering and intelligent learning support systems. Dr. Mizoguchi was President of the International Artificial Intelligence in Education Society and the Asia-Pacific Society for Computers in Education from 2001 to 2003 and President of the Japanese Society for Artificial Intelligence (JSAI) from 2005 to 2007. He received honorable mention for the Pattern Recognition Society Award, Best Paper award of the Institute of Electronics, Information and Communication Engineers, 10th Anniversary Paper award of JSAI, Best Paper award of ICCE99, Okawa Prize (Ontological Engineering), Best Paper award of JSAI, Best Paper award of the International Conference on Computers Education 2006, and Best Paper award of the Japanse Society for Information and Systems in Education, in 1985, 1988, 1996, 1999, 2005, 2006, 2006, and 2010, respectively. He is currently the Vice President of the Semantic Web Science Association and the Co-Editor-in-Chief of the Journal of Web Semantics.
Abstract:A computer that understands and responds to people's emotional states will have to have functional representations of those states, i.e. a theory of mind. This does not require that computers be able to evaluate humans the way humans evaluate humans, only that the machine be able to identify reliable markers and use this data to calibrate responses. Work in experimental psychology has provided both the techniques for the extraction of such data, and the research framework for the further development of new techniques. This discussion will serve as an introduction to the role of experimental psychology in empathic computing. Bio: Adrianne John R. Galang is Assistant Professorial Lecturer at De La Salle University, Manila, and Senior Lecturer at the University of the Philippines, Diliman. His research interests include experimental psychology, decision-making, implicit cognition, personality and creativity.