Find information:
Dr Alexander Bentkamp Won Three Dissertation Awards Because of His PhD Thesis Superposition for Higher-Order Logic 2022-08-30
Deep memory of Dr. Barry William Boehm 2022-08-24
Concurrent theory and formal verification Joint Conference (CONFESTA 2018) was inaugurated on Sep.4th 2018-09-17
Shuzhi Sam Ge, Academician of Singapore Academy of Engineering, and his Delegation Came to ISCAS for Academic Visit 2018-06-26
CASA 2018 Held Successfully in ISCAS 2018-06-07
Tianzhi-1 Uses Internet’s Open Source, Ready For Public Use 2018-04-09
China-Austria Roundtable on Information and Communications Technology Held at ISCAS 2017-03-23
Assoc. Prof. Carsten Witt Visits Institute of Software 2014-04-18
Prof. Jean-Francois Monin Visits Institute of Software 2014-03-31
Prof. Feng Qin Visits Institute of Software 2013-06-28
Assoc. Prof. Qi Han Visits Institute of Software 2013-05-14
Assoc Prof. Paolo Bottoni Visits Institute of Software 2013-05-09
Prof. Edmund M. Clarke Visits Institute of Software 2013-04-23
Turing Year in China 2012 was held 2012-06-13
The 2011 ARTIST Summer School held in Beijing 2011-09-28
  2 Page(s)   12NextFinal