Categories and Computer Science Workshop

CATEGORIES and COMPUTER SCIENCE Workshop Tuesday 15th & Wednesday 16th June 2010
Sala Riunione, via Carloni 78, Como

TUESDAY 15th June 2010
3pm Matias Menni (La Plata, Argentina)
Title: "The morning characterization of EB monads"
4:30pm Aurelio Carboni (Insubria)
Title: "Slices of monoidal closed categories"
5pm Robert Rosebrugh (Mt Allison, Canada)
Title: "Fibrations, partial lenses and universal updates"

WEDNESDAY 16th June 2010
3pm Matias Menni (La Plata, Argentina)
Title: "Reflective subcategories of decidable objects"
4:30pm RFC Walters (Insubria)
Title: "Weighted automata and CospanSpan".


Dipartimento di Informatica e Comunicazione
Università degli Studi dell'Insubria