VALU3S 5th Project Consortium Meeting
Today and tomorrow, the VALU3S Consortium meets for the fifth time in an online meeting...
Read MoreNews and Events
FBK-SAL COLLABORATION
The Austrian research center Silicon Austria Labs (SAL) and the Italian research institute Fondazione Bruno Kessler (FBK) are launching a bilateral research collaboration to develop methods and processes that increase the...
Read MoreHUBCAP Mid-Term review meeting
The HUBCAP mid-term review meeting with the European Commission took place online on September 22. HUBCAP successfully passed the review....
Read MoreROBDT KICKOFF MEETING
On September 15, we had a successful kick-off meeting of the ROBDT project, funded by the European Space Agency (ESA-ESOC) and lead by TRASYS with the participation of GMV and FBK. The project aims at developing a Robotic...
Read MoreInformal workshop on Satisfiability Checking and Symbolic Computation (SC-SQUARE)
The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex...
Read More