[FM-India] CFP: WPHS ATVA 2015, Workshop on Probabilistic and Hybrid System
Madhavan Mukund
madhavan at cmi.ac.in
Mon May 25 10:27:00 IST 2015
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)
More information about the FMIndia
mailing list