ePMC is publicly available

ePMC, the Extendible Probabilistic Model Checker, is now available publicly. It can be accessed online on GitHub, at this repository.

ePMC is the successor of IscasMC, from which it keeps all features about Linear Time Logic probabilistic model checking. ePMC is highly modular, which allows everyone to extend and improve the functionalities of the model checker.

Call for Applications: 2016 Call for Applications for the CAS-TWAS President’s Fellowship

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.

Please refer to this file for details.