[FM-India] CFP: WPHS ATVA 2015, Workshop on Probabilistic and Hybrid System

[Madhavan Mukund]

  Date: Mon, 25 May 2015 12:38:16 +0800
  From: jun sun <sunjun at sutd.edu.sg>
  Subject: CFP: WPHS ATVA 2015, Workshop on Probabilistic and Hybrid System
  
  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)