provided by rio de janeiro's secretaria de cultura, this link is a searchable database with all cultural events in the region, including petrópolis, by date, and type - the city must be selected in the drop-down menu on the left.  the prefecture of petrópolis maintains an official webpage also listing local events, with exact dates and more details here.

on this page we list more information on petrópolis, including history,  attractions, dining & lodging, and how to get there.