[ecoop-info] CFP: WPHS ATVA 2015, Workshop on Probabilistic and Hybrid System

[jun sun]

WPHS ATVA 2015, Workshop on Probabilistic and Hybrid System, satellite
event of ATVA 2015
  October 12-15, 2015, Shanghai, China,
http://iscasmc.ios.ac.cn/?page_id=468


SCOPE
The purpose of the Workshop on Probabilistic and Hybrid Systems, a
satellite event of ATVA 2015, is to promote the meeting of people working
on probabilistic and hybrid systems and the discussion of their ideas and
results.

The workshop is open to everyone desiring to discuss their own work, as
well as to establish new collaborations with other experienced researchers
on the topic.

WPHS ATVA 2015 solicits the submission of a short abstract describing the
topic of the talk; the talk can be about both published and unpublished
work.


IMPORTANT DATES
July 1, 2015          Talk proposal deadline
July 31, 2015         Talk acceptance notification
August 15, 2015       Talk proposal final version deadline
October 12-15, 2015   ATVA 2015 main conference and tutorials (WPHS exact
date to be announced)


PROGRAM CO-CHAIRS
    Ernst Moritz Hahn (Institute of Software, Chinese Academy of Sciences,
Beijing, China)
    Andrea Turrini (Institute of Software, Chinese Academy of Sciences,
Beijing, China)

PROGRAM COMMITTEE
    Alessandro Abate (University of Oxford, Oxford, UK)
    Erika Ábrahám (RWTH Aachen University, Aachen, Germany)
    Lei Bu (Nanjing University, Nanjing, China)
    Yuxin Deng (Shanghai Jiaotong University, Shanghai, China)
    Tingting Han (Birkbeck University of London, London, UK)
    Wanwei Liu (National University of Defence Technology, Changsha, China)
    Zhikun She (Beihang University, Beijing, China)
    Verena Wolf (Saarland University, Saarbrücken, Germany)
    Nicolás Wolovick (Universidad Nacional de Córdoba, Córdoba, Argentina)
    Naijun Zhan (Institute of Software, Chinese Academy of Sciences,
Beijing, China)