Thursday 22nd October

Chair: Tudor Jebelean
09:30-09:50 Opening
09:50-10:30 Astrid Younang and Lunjin Lu: An Extended Domain of Intervals for Analysis of JavaScript Programs
10:35-11:00 Vu Xuan Tung and Hoang Truong: An Improved Type System for Counting Logs of Transactional Multi-threaded Programs
11:00-11:20 Break
14:00-14:40 Wei Chen, Charles Sutton, Andrew D. Gordon, David Aspinall, Igor Muttik and Qi Shen: Verifying Anti-Security Policies Learnt from Android Malware Families
12:00-14:00 Lunch
Chair: Jie Luo
14:00-14:40 Dianfu Ma: Embedded RISC Microprocessor Formal Design and Verification
14:45-15:25 Alexander Maletzky: Verifying Buchberger's Algorithm in Reduction Rings
15:25-15:45 Break
15:45-16:25 Jie Luo and Liang Dong: An Algorithm for Computing All Maximal Contractions in Description Logic
16:30-16:55 Dongchen Jiang: A Comparative Study of Sorting Algorithm Verification
17:00-17:25 Isabela Drãmnesc, Tudor Jebelean and Sorin Stratulat: Synthesis of Algorithms on Binary Trees
18:00- Dinner

Friday 23rd October

Chair: Wei Li
09:30-10:30 Gordon Plotkin: Multilinear Programming with Big Data
10:30-10:50 Break
Chair: Dongming Wang
10:50-11:30 Wei Li: An Approximation Approach to Compute Maximal Consistent Subsets
11:30-11:45 Closing