Não foi possível encontrar o controller WorkshopController. É possível que o arquivo app/controllers/workshop_controller.php não exista, ou que a classe WorkshopController não esteja definida.
app/controllers/workshop_controller.php
