Autumn School Description

- The first international autumn school on Artificial Intelligence, Software Engineering and Fundamental Knowledge in Computer Science will be held in Hue, Vietnam, from Oct 01 to Oct 05, 2018.

- The autumn school will introducte participants to various topics, from essential to advanced, in Artificial Intelligence, Software Engineering and Computer Science. Lectures will be given by professors from Japan Advanced Institute of Science and Technology (JAIST), National Institute of Informatics (NII) and Nagoya University (Meidai).

- This school is suitable for researchers, university lecturers, software engineers, but also for graduate as well as undergraduate students interested in Artificial Intelligence and Machine Learning. In certain topics, some background in programming is encouraged, but not essential.

Organizing Committee

Prof. Le Anh Phuong

MSc Nguyen Duc Nhuan

Ph.D Ha Viet Hai

Ph.D Le Thanh Hieu

Ph.D Nguyen Thi Lan Anh

Ph.D Nguyen Hong Quoc

Ph.D Nguyen Tuong Tri

MSc Nguyen Thi Huong Giang

MSc Vo Ho Thu Sang

MSc Vinh Anh Nghiem Quan

Endorsed by

Lecturers

Mizuhito Ogawa

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 Vietnamese 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.

Satoshi Tojo

Satoshi Tojo received a Bachelor of Engineering, Master of Engineering, and Doctor of Engineering degrees from the University of Tokyo, Japan. He joined Mitsubishi Research Institute, Inc. (MRI) in 1983, and the Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan, as associate professor in 1995 and became professor in 2000. His research interest is centered on grammar theory and formal semantics of natural language, as well as logic in artificial intelligence, including knowledge and belief of rational agents. Also, he has studied the iterated learning model of grammar acquisition, and linguistic models of western tonal music.

Mathematical logic and automated reasoning

Abstract

Mathematical logic becomes a core of formal methods, e.g., software analysis and verification. We will mostly focus on the description of the concepts and conditions by logical formulas. First, we will review the basis of propositional logic. Propositional logic is easy, but if we allow millions of atomic propositions we can describe quite rich properties. Further, we can apply the-state-of-the-art SAT solvers, e.g., minisat, for solving the problems. We will use examples of puzzles, e.g., SUDOKU, Fix-a-Pix, Pic-a-Fix, Sulitherlink, and so on. We observe depending on the description among logically equivalent ones, the efficiency varies a lot. We will also look on the first-order logic description and see the effectiveness of the latest SMT-solvers, e.g., Z3.

Requirement for students

Participants are encouraged to bring their own laptops to try the SAT/SMT solvers.

Software Guidelines

Please download minisat and Z3 in advance. Note that minisat for 64bits requires the compilation from the source in cygwin environment.

Formal Language and Turing Machine

Abstract

In this lecture, we give a basic understanding on finite automata and regular grammar, push-down automata and context-free grammar, and computability by Turing machine, which are the very fundamental of computer science. In addition, we provide some advanced topics concerning the application of such formal grammar to natural language.

Requirement for students

Basic literacy on mathematics, such as propositional/ first-order logic, set theory, function, pre-order/ total-order, and graph theory.

Shoji Yuen

Shoji Yuen is a professor at Nagoya University. He received BEng and MEng from Kyoto University, and received Dr of Engineering from Nagoya University. He joined Nagoya University as an assistant professor in 1992, an associate professor in 1998, and a professor since 2007. He has been working for theory and practice of concurrency, focusing on the theoretical aspect of concurrent programs. He has been investigating various practical aspects of concurrent programs such as the timed property, and the probabilistic characterization.

Zhenjiang Hu

Zhenjiang Hu is a professor of National Institute of Informatics, and a professor of Graduate School of Information Science and Technology in University of Tokyo. 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. His main interest is in programming languages and software engineering in general, and functional programming, program transformation, and bidirectional programming in particular. He is the steering committee chair of the NII Shonan Meetings, the steering committee co-chair of Asian Foundation of Software Science, and IFIP WG 2.1 member. He is/was serving on the steering committees of ICFP, Haskell, APLAS, ICMT, and BX, and on the editorial boards of IEEE Transaction on Software Engineering, Science of Computer Programming, Software and Systems Modeling, and National Science Review.

Process algebra: A Behavioral model for concurrency

Abstract

The process algebra deals with communication and concurrency. It composes communicating processes interacting with each other. Concurrent execution is quite different from the sequential execution in that the concurrent execution usually depends on the environment. In order to ensure the correctness of concurrent executions, concurrency is observed as the nondeterministic behaviour. Since communications are the only way to observe processes, the behavioural semantics is characterized by communication patterns, not by the input-output relations, where termination or final states are not distinguished as in the sequential executions. Two processes are defined to be equal as long as they are not distinguishable by communications. This notion of the equivalence is commonly known as ‘bisimularity’. We present the fundamental notions of computations focusing on communication and concurrency with the introduction of Milner’s CCS (Calculus for Communicating Systems) including related process calculi. We also mention the general technique to properly define process behaviour by the structural operational semantics, SOS.

Requirement for students

Basic knowledge of automata theory, basic mathematics (Sets, order, basic algebra).

Programming is preferred, but not essential.

Functional Programming and Program Reasoning

Abstract

Functional programming is becoming more and more popular, and it is no wonder that Facebook is now using functional languages such as Erlang, ML, and Haskell in their daily software development. In this lecture, I'd explain the basic concepts of functional programming, and show how to develop functional programs and how to reason about functional programs.

Requirement for students

Had some experience in programming.

Minh Le Nguyen

Minh Le Nguyen is currently an Associate Professor of School of Information Science, JAIST. He leads the lab on Machine Learning and Natural language Understanding at JAIST. He received his B.Sc. degree in information technology from Hanoi University of Science, and M.Sc. degree in information technology from Vietnam National University, Hanoi in 1998 and 2001, respectively. He received his Ph.D. degree in Information Science from School of Information Science, Japan Advanced Institute of Science and Technology (JAIST) in 2004. He was an assistant professor at School of information science, JAIST from 2008-2013. His research interests include machine learning, natural language understanding, question answering, text summarization, machine translation, big data mining, and Deep Learning.

Deep Learning For Natural Language Processing And Beyond

Abstract

The Tutorial begins with the basic of feed-forward neural network and relevant fundamental knowledge for deep learning. We then introduce more specialized neural network models, including Convolutional Neural Network, Recurrent Neural Network, and attention-based models. In the second part, we will present how these models and techniques can be applied to some interesting problems of natural language processing including sentiment classification, textual entailment recognition, natural language generation, and question answering. The last part of the tutorial will show how we can adapt deep learning and natural language processing techniques for program analysis.

Requirement for students

TBA

Autumn School Program

Monday, October 1
Morning 07:00-08:00 Registration
08:00-09:30 Deep Learning For Natural Language Processing And Beyond - Part I
Minh Le Nguyen
09:30-10:00 Coffee Break
10:00-11:30 Deep Learning For Natural Language Processing And Beyond - Part I (cont.)
Minh Le Nguyen
Midday 11:30-13:30 Lunch (Included with Registration)
Afternoon 13:30-15:00 Mathematical logic and automated reasoning - Part I
Mizuhito Ogawa
15:00-15:30 Coffee Break
15:30-17:00 Mathematical logic and automated reasoning - Part I (cont.)
Mizuhito Ogawa
Evening from 18:00 Welcome Reception
Tuesday, October 2
Morning 07:00-08:00 Registration
08:00-09:30 Formal Language and Turing Machine - Part I
Satoshi Tojo
09:30-10:00 Coffee Break
10:00-11:30 Formal Language and Turing Machine - Part I (cont.)
Satoshi Tojo
Midday 11:30-13:30 Lunch (Included with Registration)
Afternoon 13:30-15:00 Process algebra: A Behavioral model for concurrency - Part I
Shoji Yuen
15:00-15:30 Coffee Break
15:30-17:00 Process algebra: A Behavioral model for concurrency - Part I (cont.)
Shoji Yuen
Evening Free Evening
Wednesday, October 3
Morning 07:00-08:00 Registration
08:00-09:30 Functional Programming and Program Reasoning - Part I
Zhenjiang Hu
09:30-10:00 Coffee Break
10:00-11:30 Functional Programming and Program Reasoning - Part I (cont.)
Zhenjiang Hu
Midday 11:30-13:30 Lunch (Included with Registration)
Afternoon 13:30-15:00 Formal Language and Turing Machine - Part II
Satoshi Tojo
15:00-15:30 Coffee Break
15:30-17:00 Formal Language and Turing Machine - Part II (cont.)
Satoshi Tojo
Evening Free Evening
Thursday, October 4
Morning 07:00-08:00 Registration
08:00-09:30 Deep Learning For Natural Language Processing And Beyond - Part II
Minh Le Nguyen
09:30-10:00 Coffee Break
10:00-11:30 Deep Learning For Natural Language Processing And Beyond - Part II (cont.)
Minh Le Nguyen
Midday 11:30-13:30 Lunch (Included with Registration)
Afternoon 13:30-15:00 Mathematical logic and automated reasoning - Part II
Mizuhito Ogawa
15:00-15:30 Coffee Break
15:30-17:00 Mathematical logic and automated reasoning - Part II (cont.)
Mizuhito Ogawa
Evening Free Evening
Friday, October 5
Morning 07:00-08:00 Registration
08:00-09:30 Functional Programming and Program Reasoning - Part II
Zhenjiang Hu
09:30-10:00 Coffee Break
10:00-11:30 Functional Programming and Program Reasoning - Part II (cont.)
Zhenjiang Hu
Midday 11:30-13:30 Lunch (Included with Registration)
Afternoon 13:30-15:00 Process algebra: A Behavioral model for concurrency - Part I
Shoji Yuen
15:00-15:30 Coffee Break
15:30-17:00 Process algebra: A Behavioral model for concurrency - Part I (cont.)
Shoji Yuen
Evening from 18:00 Farewell Party

Registration

Register
Online
Download
Printable Form (PDF)

Download
Autumn School Announcement &
Payment Details (PDF)
Registration Deadline: Sep 25, 2018.
Registration Fee
Participation Fee* (all 5 days)
+ Farewell Party
VND 750,000 (approx $33 US)
Participation Fee* (all 5 days)
+ Lunches (all 5 days)
+ Farewell Party
VND 1,500,000 (approx $65 US)
* In-class materials & coffee-breaks included.
Only limited seats are available.

Venue

The autumn school will be held at Hue Pedagogical University at 34 Le Loi, Hue City.