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 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.