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

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.


Technically Sponsored by

Hosted and Sponsored by

Copyright Information Technology Center – Hue University of Education