# Posts

### Homotopy Theory Seminar

Cindy Lester and I are organizing a seminar on Homotopy Theory.

### Graduate topics course

This Fall 2020 I will be teaching a new graduate course on (Homotopy) Type Theory and computer assisted Mathematics

### Course web page

**MAS5308**moved to Canvas### Problem sets updated

The problem set for groups here was updated

### Class time and second midterm

- On Mondays class will meet at 12:10 pm, instead of at 12:20 pm.
- The second midterm has been pushed back to Friday, October 26.

### Problem sets updated

The problem set for groups here was updated

### More Algebra Problems

I have reshuffled the problems by themes. Find them at the course site

### Algebra Problems

Here is the second set

### Visiting Trieste, January 2018

I am visiting Ugo Bruzzo at the International School for Advanced Studies (SISSA) in Trieste, Italy from January 5 through February 5, 2018.

### Algebra seminar, Spring 2017

The Spring 2017 algebra seminar has started.

### Algebra seminar, Fall 2016

The algebra seminar has started!

### New Web Page

I had to bite the bullet and I revamped my several years-old XHTML web page. I decided to use a static web site generator, and, for now, my choice is Jekyll.

subscribe via RSS