Geometric and Categorical Structures in Computation and Deduction

Registration to the workshop

Invited speakers

Program of the workshop

Titles and abstracts of the talks

Scientific Committee

Organizing Committee