The conference proceedings will be published in

Springer Series, now indexed by: ISI Proceedings, DBLP. Ulrich’s, EI-Compendex, SCOPUS, Zentralblatt Math, MetaPress, Springerlink.