The 9th International Conference on
Knowledge and Systems Engineering (KSE 2017)

October, 2017, Hue city, Vietnam

Important Date:
• Deadline for submission:
June 15th, 2017
(Extended – STRICT !!!)
• Notification of acceptance:
          July 30, 2017
• Camera ready paper:
          August 15, 2017
• Registration & Payment:
          August 20, 2017
• Conference Dates:
          Oct 19-21, 2017

Guideline for final submission
1. Camera Ready (file)
2. IEEE copyright: DOC or PDF
3. Example for Copyright form

Keynote speakers

Professor Ngoc Thanh Nguyen

Wroclaw University of Science and Technology, Poland.


Title of the topic: Collective Intelligence: Latest Researches 




Short bio

Professor Ngoc Thanh Nguyen (Ph.D., D.Sc.) is a Polish state professor granted by the President of Poland and a full professor of Wroclaw University of Science and Technology, and is the Head of Information Systems Department in the Faculty of  Computer Science and Management. His scientific interests consist of knowledge integration methods, collective intelligence, and intelligent technologies for conflict resolution, inconsistent knowledge processing, and multi­agent systems. He has edited more than 30 special issues in international journals, 52 books and 35 conference proceedings. He is the author of 5 monographs and more than 350 other publications. Professor Nguyen serves as Editor-in-Chief of International Journal of Information and Telecommunication (Taylor&Francis), Transactions on Computational Collective Intelligence (Springer) and Vietnam Journal of Computer Science (Springer). He is also an Associate Editor of several prestigious international journals. He was a Genral Chair or Program Chair of more than 30 international conferences. He has been serving as an expert for Ministry of Science and Higher Education and Ministry of Regional Development of  Poland in evaluating R&D projects. He is also an expert of European Commission in evaluation  research projects, an expert of Slovakia Research Agency, an expert for Research Promotion Foundation, Cyprus and Natural Sciences and Engineering Research Council  of Canada. He has given 18 plenary and keynote speeches for international conferences and invited lectures in many countries. In 2009 prof. Nguyen was granted of title Distinguished Scientist of ACM. He was also a Distinguished Speaker of IEEE and ACM. He serves as the Chair of IEEE SMC Technical Committee on Computational Collective Intelligence. In ISI Web of Science he has more than 850 citations with index H equal to 17. He has been the leader of 15 research grants including 5 international projects. Now he is serving as a member of Management Committee representing Poland in Cost Action IC1302 KEYSTONE, for which he is also as a co-chair of a working group.

Professor Zhenjiang Hu

National Institute of Informatics, Japan


Title of the topic: Bidirectional Programming and Software Adaptation: Towards a Happy Marriage




Short bio

Zhenjiang Hu is a full professor of National Institute of Informatics (NII) in Japan. He received his BS and MS degrees from Shanghai Jiao Tong University in 1988 and 1991, respectively, and PhD degree from University of Tokyo in 1996. He was a lecturer (1997–1999) and an associate professor (2000–2007) in University of Tokyo, before joining NII as a full professor in 2008. His main interest is in programming languages and software engineering in general, and functional programming, program calcaulation, and bidirectional transformation in particular. He is the academic committee chair of the NII Shonan Meetings, IFIP WG 2.1 member, and has been the steering committee members of ICFP, Haskell, APLAS, ICMT, and BX. He is also serving on the editorial boards of IEEE Transactions of Software Engineering, Science of Computer Programming, and Software and Systems Modeling.


Bidirectional Programming and Software Adaptation: Towards a Happy Marriage

Bidirectional transformations and bidirectional programming have been attracting a lot of attention lately, both in the programming languages community, and in the software engineering community. As bidirectional programming languages are growing more mature, they are getting easier to use for software engineers, more efficient, and more

reliable. The strongest argument in favor of bidirectional programming is its ability to provide a synchronization mechanisms between a source and a view, that is guaranteed to be correct by construction. On the other hand, software adaptation is an ability to adapt at run-time to changing user needs, system intrusions or faults, and changing operational environment. In this talk, we shall explain the essence of bidirectional transformation, introduce a powerful language for bidirectional programming, and show how bidirectional programming can provide a powerful mechanism to modularize adaptive software. This mechanism would be very useful not only for reusing a adaptive software for different target systems, but also for maintaining separation of concerns when developing complex adaptive software.

Professor Ken Satoh

NII (National Institute of Informatics), and Sokendai (The Graduate University of Advanced Studies), Japan


Title of the topic: Juris-Informatics and PROlog-based LEGal reasoning system: PROLEG


Short bio

Ken Satoh a full professor of Principles of Informatics Research Division, NII(National Institute of Informatics), and Sokendai(The Graduate University of Advanced Studies), Japan. He worked with Fujitsu 1981-1995 and then was an associate professor of Hokkaido University till 2001. He also studied law at the law school of University of Tokyo in 2006-2009. His main research interest is logical foundations of Artificial Intelligence (AI). He recently proposed juris-informatics which is a new research field combining informatics and law.


Juris-Informatics and PROlog-based LEGal reasoning system: PROLEG

 We have been doing research on "juris-informatics" which is application of informatics to legal domain. The name is made from a hope that we will make a similar impact to "bio-informatics" and show some related results to "juris-informatics" As a part of research of "juris-infrmatics", we implement "Japanese Ultimate Fact (JUF) thery" to simulate judge's reasoning at a civil court. JUF theory is a tool for judges to make a judgement based on burden of proof under incomplete information. We show correspondence of burden of proof and negation as failure in logic programming and we introduce a system called PROLEG which we developed using the correspondence. PROLEG consists of general rules and exceptions which directly reflect lawyers' knowledge structure in legal reasoning. Then, we show that the representation power of PROLEG is same as Answer Set Programming and that PROLEG could be applied to any other legal domains where general rules and exceptions co-exist.

Professor Mizuhito Ogawa

School of Information Science 
Japan Advanced Institute of Science and Technology 
923-1292 Japan 


mizuhito "at"  


+81 (761) 51-1247


+81 (761) 51-1149

Title of the topic: SMT solver over reals, raSAT and beyond.

Homepage:  Professor Mizuhito Ogawa


Short bio

Mizuhito Ogawa, Dr. of Science, graduated the master course of University of Tokyo, majoring Mathematics. He worked at NTT laboratories on functional programs, dataflow machine, and dataflow analysis till 2001. Then, he was JST PRESTO fellow until 2003, and stayed at University of Tokyo as a visiting researcher. He has been in
JAIST as a professor in Schools of Information Science. His research interest covers from theory to practical tool implementation. For instance, the confluence of rewriting systems, the computational content of classical proofs, and the decidability of the reachability of infinite state transition systems are such examples in his theoretical interest. Tool implementations are performed under collaboration with Vietnamise universities and students, e.g., (1) SMT solver, raSAT, on polynomial constraints over reals,  which was ranked second in QFNRA category of SMT-COMP 2016 and 2017, (2) binary code analyzer BE-PUM, which is performed under collaboration with the group
of Prof. Quan Thanh Tho, HCMUT.

Title: SMT solver over reals, raSAT and beyond.

Abstract: SMT solvers are used as a verification engine in many places. They have various backend theories, such as linear constraints, uninterpreted function symbols, and arrays. An annual international competition SMT-COMP has lots of categories corresponding to these theories and their combinations.  among these theories, nonlinear constraints over reals still remain the frontier. In this  talk, we first briefly overview techniques for solving nonlinear constraints.

Then, we will focus on the interval arithmetic and associated techniques in the raSAT loop, and its implementation raSAT. The raSAT loop, which combines interval arithmetic with testing to accelerate SAT detection, has been implemented as raSAT since 2012, by To Van Khanh (UET) and Vu Xuan Tung (JAIST). The SMT solver raSAT  has
been participated to QFNRA category since 2014, and ranked the second
on 2016 and 2017 at SMT-COMP.

Technically Sponsored by

Hosted and Sponsored by

Sponsored by

Copyright Information Technology Center – Hue University of Education