Time: October 7, 2017—October 8, 2017
Location: Room 77201, Jingchunyuan 78, BICMR
Description
MAVeLoS is a workshop organized by the Department of Information Science, School of Mathematical Sciences, Peking University. The workshop aims to provide an international platform for researchers to share the frontier ideas and newest results.
Organization Committee
Meng Sun (Peking University)
Naijun Zhan (Institute of Software Chinese Academy of Sciences)
Invited Speakers
Luis S. Barbosa (Department of Informatics, Minho University)
Martin Fränzle (Department of Computing Sciences, University of Oldenburg)
Ernst-Rüdiger Olderog (Department of Computing Science, University of Oldenburg)
Anders P. Ravn (Department of Computer Science, Aalborg University)
Guangdong Bai (Singapore Institute of Technology)
Fei He (Tsinghua University)
David Jansen (Institute of Software, Chinese Academy of Sciences)
Geguang Pu (East China Normal University)
Fu Song (Shanghai Tech University)
Jun Sun (Singapore University of Technology and Design)
Yingfei Xiong (Peking University)
Naijun Zhan (Institute of Software Chinese Academy of Sciences)
Lijun Zhang (Institute of Software Chinese Academy of Sciences)
Min Zhang (East China Normal University)
Accommodation and Travel Information
PKU will accommodate all speakers in No.9 building of “Zhong Guan Xin Yuan” Hotel. By default, rooms nave been booked for the arrival on October 6 and departure on October 8. The hotel is across the street of Peking University Campus, about 10-15 minutes, walk to PKU will cover travel expenses for all speakers.
Other participants are responsible for arranging and paying for their own reservations for hotel accommodations and travel expenses. If anyone needs help, please contact Ms. Wenhui Cui.
Some nearby hotels are avaible here: http://bicmr.pku.edu.cn/content/page/9.html
Hotel Address: “Zhong Guan Xin Yuan” Hotel (Zhongguanyuan Global Village) No. 126 Zhongguancun North Road, Haidian District, Beijing 100871, China
Tel: + (86 10) 62752288
Fax: + (86 10) 62752236
Contact
Mailing address: Ms. Wenhui Cui
Room 1213, Science Building No. 1, Peking University, Beijing, China 100871
Phone: +86 10 62751803
E-mail: cuiwenhui@math.pku.edu.cn
Fax: + (86 10) 62751801
Tips
The registration deadline is September 30, 2017. If you want to registrate for this seminar, please contact Ms. Wenhui Cui.
Schedule of MAVeLoS 2017
Oct. 7-8, 2017
October 7, 2017
Venue: Room 77201, No. 78 Jing Chun Yuan, PKU
|
Morning |
Session I Chair: Naijun Zhan |
|
08:00-08:30 |
Sign in |
|
08:30-09:00 |
Opening |
|
09:00-10:00 |
Ernst-Rüdiger Olderog (University of Oldenburg) Space for Traffic Manoeuvres |
|
10:00-10:30 |
Break |
|
|
Session II Chair: David Jansen |
|
10:30-11:30 |
Naijun Zhan (Institute of Software Chinese Academy of Sciences) Automatically Generating System Code from HCSP Formal Models |
|
11:30-12:00 |
Jun Sun (Singapore University of Technology and Design) Automatic Loop-invariant Generation and Refinement through Selective Sampling |
|
12:00-14:00 |
Lunch (Yi Yuan Restaurant) |
|
Afternoon |
Session I Chair: Meng Sun |
|
14:00-15:00 |
Luis Barbosa (Minho University) Hybrid Components, Monadically |
|
15:00-15:30 |
Break |
|
|
Session II Chair: Jun Sun |
|
15:30-16:00 |
David Jansen (Institute of Software Chinese Academy of Sciences) On Equivalence Checking of Nondeterministic Finite Automata |
|
16:00-16:30 |
Lijun Zhang (Institute of Software Chinese Academy of Sciences) An Automatic Proving Approach to Parameterized Verification |
|
16:30-17:00 |
Min Zhang (East China Normal University) The Transition and Properties from Boolean Networks to Discrete-time Markov Chains：A Case Study of Mice Stem Cell Gene Regulatory Networks |
|
17:00-19:00 |
Dinner (Wangchun Hall, YiYuan Chinese Restaurant in Building No.2 of ZhongGuanYuan Global Village PKU) |
October 8, 2017
Venue: Room 77201, No. 78 Jing Chun Yuan, PKU
|
Morning |
Session I Chair: Geguang Pu |
|
09:00-10:00 |
Martin Fränzle (University of Oldenburg) Indecision and Delays are the Parents of Failure |
|
10:00-10:30 |
Break |
|
|
Session II Chair: Fei He |
|
10:30-11:00 |
Guangdong Bai (Singapore Institute of Technology) Towards Model Checking Android Applications for Security Properties |
|
11:00-11:30 |
Geguang Pu (East China Normal University) LTL Synthesis on Finite Trace |
|
12:00-14:00 |
Lunch (Yi Yuan Restaurant) |
|
Afternoon |
Session I Chair: Yingfei Xiong |
|
14:00-15:00 |
Anders P. Ravn (Aalborg University) Evil time, Good Conditions, and Cheap Sensors |
|
15:00-15:30 |
Break |
|
|
Session II Chair: Lijun Zhang |
|
15:30-16:00 |
Fei He (Tsinghua University) PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics |
|
16:00-16:30 |
Yingfei Xiong (Peking University) Precise Program Repair |
|
16:30 |
Closing |