Nettsider med emneord «planning»

Bildet kan inneholde: tekst, font, linje, logo, varemerke.
Publisert 12. sep. 2019 18:10

Master topics which use SMT technology for optimization and verification problems in planning and program verification. Several different topics are possible.

Publisert 3. jan. 2019 13:29

The work of Bjørnar Luteberget, Koen Claessen (from Chalmers), and Christian Johansen (from PSY and ConSeRNS groups at IFI) won the Best Paper Award at the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD), which was held in Texas, USA, in November 2018.

Schneider Electric Logo
Publisert 5. okt. 2017 08:53

Schneider Electric Norway AS has proposed master projects that will be co-supervised by them and will involve real and challenging ICT problems in their organisation. Part of the work will be done at their offices at Ryen.