|
|
 |
 |
 |
|
Best Student Paper Award
Jianqiang Cheng (GraphComb team) won the Best Student Paper Award at ICORES 2012. |
|
|
 |
|
Sage-Combinat days
The main goal of this meeting is to gather Sage/Sage-Combinat developers for coding sprints on the following themes:
Refactoring of the combinatorics infrastructure (factories, Cythonizing partitions, compositions...)
Cythonization of many iterators |
|
|
 |
|
DIGITEO Workshop
"The route to hidden electronics"
by Rudy Lauwereins, vice president of IMEC
8 February 2012 at PUIO, 14h30 |
|
| |
|
 |
|
|
|
On Theorem Prover-based Testing
HOL-TestGen is a specification and test case generation environment extending the interactive theore |
|
|
|
|
Book on
Web Data Management and Distribution book by S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset an |
|
|
|
|
Robust Module-based Data Management
F. Goasdoue and M.-C. Rousset, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2011. |
|
| |
|
|
|
