20090802 city.mangaluru: Workshop to boost mining sector