When you cite our IscasMC model checker, please use [HahnLSTZ14]
We are hosting the IscasMC summer school on the Practical Aspects on Probabilistic Model Checking, where we survey the main aspects relative to probabilistic model checking, with a specific attention to the practical aspects, in particular relative to the implementation of IscasMC.
See the official page for more details.
Mariëlle Stoelinga, from the University of Twente, the Netherlands, gives a course on Fault Trees Analysis at the Huairou Campus of the University of the Chinese Academy of Sciences from Jul. 10 to Jul. 15, 2016.
Yu-Fang Chen, from Academia Sinica, Taiwan, is visiting us from Jul. 01 to Dec. 31, 2016.
According to an agreement between the Chinese Academy of Sciences (CAS) and The World Academy of Sciences (TWAS) for the advancement of science in developing countries, up to 200 students/scholars from all over the world will be sponsored to study in China for doctoral degrees for up to 4 years.
This CAS-TWAS President’s Fellowship Programme provides students/scholars that are non-Chinese citizens an opportunity to pursue doctoral degrees at the University of Chinese Academy of Sciences (UCAS), the University of Science and Technology of China (USTC) or Institutes of CAS around China.
Under the terms of the CAS-TWAS agreement, travel from their home countries to China will be provided to the fellowship awardees in order to begin the fellowship in China (one trip only per student/scholar). TWAS will select 80 awardees from developing countries to support their international travel, while CAS will support the other 120. Visa fee will also be covered (once only per awardee) as a lump sum of USD 65 when all the awardees are on site in China. Any awardee on site in China, the host country, at the time of application will NOT be eligible for any travel or visa reimbursement.
Thanks to generous contribution of CAS, fellowship awardees will receive a monthly stipend (to cover accommodation and other living expenses, local travel expenses and health insurance) of RMB 7,000 or RMB 8,000 from CAS through UCAS/USTC, depending on whether he/she has passed the qualification test arranged by UCAS/USTC for all doctoral candidates after admission. All awardees will also be provided tuition and admission fee waivers.
Both Andrea’s and Moritz’s CAS fellowships have been extended for the next year.
Yuan Feng, from University of Technology Sydney, will visit us for a week at the beginning of December.
Andrea’s project for the Research Fund for International Young Scientists on LP-based reduction techniques for analyzing cost probabilistic automata has been approved by the National Natural Science Foundation of China (NSFC).