I am a PhD student in the DIALOG project and the OMEGA group, who is looking how to connect recent developments in these groups to ActiveMath.