Algebra

Confirmed Speakers

• Prof. Bruno Lopes Vieira (UFF)

• Prof. Rodrigo Geraldo Ribeiro (UFOP)

Minicourses:

• Mathematics in Lean

Profa. Daniele Nantes (UnB)

• Dependently Typed Reasoning: An Introduction to Dependently Typed Formalization

Deivid Vale (Augusta University)