Saturday, December 15, 2007

Meeting in honour of Bill Lawvere, Como

Como (Italy), January 10, 2008
An informal meeting will be held at the University of Insubria
in Como to celebrate the 70th birthday of Bill Lawvere.
The meeting will consist in a series of three lectures entitled
"Cohesive toposes: combinatorial and infinitesimal cases"
given by Bill Lawvere, a round table and a social dinner.

The lectures will be held in Sala Casartelli (Sala dei Nobel)
Viale Cavallotti 3

Tentative Schedule
Thuursday January 10 2008, Como
11.30-12.30 Lecture 1
13.00-14.30 Lunch
15.00-16.00 Lecture 2
16.00-16.30 Coffee Break
16.30-17.30 Lecture 3
17.30-18.30 Round Table and Discussion
20.00 Dinner

We would be pleased if people could register their interest by
sending an email to

Bill will be in Udine 7th and 8th of January
for the final meeting of a Prin project, delivering a lecture entitled
"Dynamics and Cohesion in Finite Toposes".
He will then be in Como from 10th to 12th January.

Bob Walters
5th December 2007

Wednesday, June 27, 2007

New address

I have finally, after being in Italy for more than 8 years, managed
to get myself a regular homepage at the University here in Como.
To see my future blogs go to that page:

Friday, November 10, 2006

November Seminar - FW Lawvere, University of Buffalo

Date: Tuesday 14th November 2006
Time: 3pm
Room: Seminar Room, via Carloni, 78, Como
Title: Substance and Form Negate Cohesion

Time: 4pm
Title: Chapter 0 of Physics

Thursday, November 02, 2006

December Seminars - Matias Menni

Matias Menni will be giving the following seminars 
during December 2006.

Date: 6 December

Time: 11:30am

Title: Lauchli's completeness theorem from a topos theoretic perspective.

Date: 12 December

Time: 4pm

Title: Categories of combinatorial objects in general and Myhill's
combinatorial functions in particular.

Friday, June 09, 2006

Seminar 9th June 2006, via Saldini 50, Milano

RFC Walters, Categories for Physics and Informatics, Aula 3, 2:30pm

Seminars 5 June 2006, La Roche en Ardenne

These talks are part of IFIP WG1.3 meeting
N. Sabadini, Algebra for Automata I
RFC. Walters, Algebra for Automata II

Monday, May 22, 2006

Seminar 24th May 2006

RFC Walters: Introduction to category theory (for physicists),
2:30pm, via Valleggio 4.13 (note the unusual room)

Friday, March 17, 2006

Seminars 12th April 2006

2:30pm Aurelio Carboni: Perhaps, the missing tabulation axiom.