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
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
Labels: computing, mathematics
0 Comments:
Post a Comment
<< Home