"Avalcon"@cs .