*PPGCC* Com as arquiteturas multi-core, cresce a demanda por métodos mais refinados de concorrência. Durante este curso, cobriremos as principais técnicas nesta área, enquanto discutiremos de forma secundária também a tarefa de provar a corretude destes sistemas.