Integratie van zoek- en optimalisatietechnologie voor formele modelleertalen.

Dit project streeft ernaar bij te dragen aan de convergentie tussen deze velden door een expressieve, principiële en pragmatisch geschikte modelleringslogica te ontwikkelen die de eerste orde logica uitbouwt, terwijl ook aparte meer solver afhankelijke hoogwaardige talen worden ontwikkeld om heuristische informatie te specificeren.