 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 |
| The Successful Conclusion of Symposium in Honor of Prof. Barry W. Boehm
|
2011-05-10 |
| International Visiting Scholars Program Policies
|
2011-01-01 |
