Foundations for a Theory of Noncommutative Categorical Logic, Part I
27, September 2017

Foundations for a Theory of Noncommutative Categorical Logic, Part I

Location:Science Conference Room / Main Campus, Zouk Mosbeh

Time:3:00 p.m.
The foundations for a categorical theory that extends the ideas on the analysis of logic in categories, which is usually done in the categories...
Foundations for a Theory of Noncommutative Categorical Logic, Part II
4, October 2017

Foundations for a Theory of Noncommutative Categorical Logic, Part II

Location:Science Conference Room / Main Campus, Zouk Mosbeh

Time:3:00 p.m.
The foundations for a categorical theory that extends the ideas on the analysis of logic in categories, which is usually done in the categories...
Computing Galois Representations
23, October 2017

Computing Galois Representations

Location:Science Conference Room / Main Campus, Zouk Mosbeh

Time:3:00 p.m.
The concept of Galois representations attached to elliptic curves and how they can be used to compute arithmetic information, such as the number of...
You have been successfully subscribed to our mailing list