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
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 SMTCOMP 2016 and 2017, (2) binary code analyzer BEPUM, 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 thestateoftheart SAT solvers, e.g., minisat, for solving the problems. We will use examples of puzzles, e.g., SUDOKU, FixaPix, PicaFix, 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 firstorder logic description and see the effectiveness of the latest SMTsolvers, 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, pushdown automata and contextfree 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/ firstorder logic, set theory, function, preorder/ totalorder, 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 cochair 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 inputoutput 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 20082013. 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 feedforward 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 attentionbased 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:0008:00  Registration 
08:0009:30  Deep Learning For Natural Language Processing And Beyond  Part I Minh Le Nguyen 

09:3010:00  Coffee Break  
10:0011:30  Deep Learning For Natural Language Processing And Beyond  Part I (cont.) Minh Le Nguyen 

Midday  11:3013:30  Lunch (Included with Registration) 
Afternoon  13:3015:00  Mathematical logic and automated reasoning  Part I Mizuhito Ogawa 
15:0015:30  Coffee Break  
15:3017:00  Mathematical logic and automated reasoning  Part I (cont.) Mizuhito Ogawa 

Evening  from 18:00  Welcome Reception 
Tuesday, October 2  
Morning  07:0008:00  Registration 
08:0009:30  Formal Language and Turing Machine  Part I Satoshi Tojo 

09:3010:00  Coffee Break  
10:0011:30  Formal Language and Turing Machine  Part I (cont.) Satoshi Tojo 

Midday  11:3013:30  Lunch (Included with Registration) 
Afternoon  13:3015:00  Process algebra: A Behavioral model for concurrency  Part I Shoji Yuen 
15:0015:30  Coffee Break  
15:3017:00  Process algebra: A Behavioral model for concurrency  Part I (cont.) Shoji Yuen 

Evening  Free Evening 
Wednesday, October 3  
Morning  07:0008:00  Registration 
08:0009:30  Functional Programming and Program Reasoning  Part I Zhenjiang Hu 

09:3010:00  Coffee Break  
10:0011:30  Functional Programming and Program Reasoning  Part I (cont.) Zhenjiang Hu 

Midday  11:3013:30  Lunch (Included with Registration) 
Afternoon  13:3015:00  Formal Language and Turing Machine  Part II Satoshi Tojo 
15:0015:30  Coffee Break  
15:3017:00  Formal Language and Turing Machine  Part II (cont.) Satoshi Tojo 

Evening  Free Evening 
Thursday, October 4  
Morning  07:0008:00  Registration 
08:0009:30  Deep Learning For Natural Language Processing And Beyond  Part II Minh Le Nguyen 

09:3010:00  Coffee Break  
10:0011:30  Deep Learning For Natural Language Processing And Beyond  Part II (cont.) Minh Le Nguyen 

Midday  11:3013:30  Lunch (Included with Registration) 
Afternoon  13:3015:00  Mathematical logic and automated reasoning  Part II Mizuhito Ogawa 
15:0015:30  Coffee Break  
15:3017:00  Mathematical logic and automated reasoning  Part II (cont.) Mizuhito Ogawa 

Evening  Free Evening 
Friday, October 5  
Morning  07:0008:00  Registration 
08:0009:30  Functional Programming and Program Reasoning  Part II Zhenjiang Hu 

09:3010:00  Coffee Break  
10:0011:30  Functional Programming and Program Reasoning  Part II (cont.) Zhenjiang Hu 

Midday  11:3013:30  Lunch (Included with Registration) 
Afternoon  13:3015:00  Process algebra: A Behavioral model for concurrency  Part I Shoji Yuen 
15:0015:30  Coffee Break  
15:3017:00  Process algebra: A Behavioral model for concurrency  Part I (cont.) Shoji Yuen 

Evening  from 18:00  Farewell Party 
Registration
RegisterOnline 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) 
Only limited seats are available.
Venue
The autumn school will be held at Hue Pedagogical University at 34 Le Loi, Hue City.