IST2002 is the major yearly event where the results of European and worldwide research are presented and discussed in order to support the creation of the future Information Society within the EU” s Sixth Framework.
LibRT has been invited to give a presentation on verification and validation at the Business Rules Forum 2002 in New Orleans.
We were present at the first european business rules conference in Zürich and presented our ideas on business rules verification.
LibRT was present at CA World 2002 with a presentation on end-user business rules maintenance.
LibRT was present at CA world 2001 in Orlando with a presentation on business intelligence.
LibRT has been present at CA world 2000 in New Orleans with three presentations. One presentation discussed the aim of verification techniques and is in collaboration with Jan Vanthienen of the University of Leuven in Belgium. The second presentation was a demonstration of VALENS and Prologa, two verification tools. The third presentation was about rule induction using a genetic algorithm.
Of course we were present at AionWorld 1999 in Orlando Florida (the Platinum Aion User Conference). At this conference we gave a presentation on our ideas about validation and verification techniques for Aion knowledge bases.