Description

 MAVeLoS is a workshop orginized 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 ideals and newest results. 

Workshop Organizers 

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 Science, 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 have 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

            

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 still want to registrate for this seminar, please contact Ms. Wenhui Cui.

Personal Information

All necessary measures have been taken to ensure the security of personal information provided for registration. Your personal information will only be used for registering for this conference.

*Last Name:
*First Name:
*Institute/Company:
*Phone Number:
*Gender:	Male Female
*Title:	ProfessorAssociate ProfessorAssitant ProfessorPost-docDr.Graduate studentUndergraduate student
*Country/Region:	ChinaAmerica
*Email:

Arriving Time:
Departure Time:
*Do you need us to book accommodation for you?	YESNO
*Validate Code

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