FMCS 2009 17th Workshop on Foundational Methods in Computer Science University of British Columbia, VANCOUVER, Canada MAY 28th - 31st, 2009 FINAL ANNOUNCEMENT * * * Last minute registration is possible. Registration forms are available from the conference webpage http://www.pims.math.ca/scientific/general-event/foundational-methods-comput... Accommodations may also be reserved from the same page. FMCS 2009 SCHEDULE Thursday, May 28, 2009 3:00p.m. Gage residence rooms available for check-in 6:00p.m. Welcome Reception - Ruth Blair AB - Gage Residence Friday, May 29, 2009 Tutorial Sessions - WMAX 240 - 1933 West Mall 9:00-10:30a.m. Ernie Manes - Equationally definable full subcategories of spaces. 10:30-11:00a.m. Break 11:00-12:30p.m. Vaughan Pratt - Axiomatizing affine and Euclidean space. 12:30-2:30p.m. Lunch 2:30-4:00p.m. Pieter Hofstra - Types, groupoids and homotopy. 4:00-4:30p.m. Break 4:30-5:30p.m. Dorette Pronk - The left and right adjoints of Span. Saturday, May 30, 2009 Research talks - WMAX 240 - 1933 West Mall 9:00-9:50a.m. Mehrnoosh Sadrzadeh - What is the vector space content of what we say? A compact categorical approach to distributed meaning. 9:50-10:30a.m. Robert Seely - The basics of Cartesian differential restriction categories. 10:30-11:00a.m. Break 11:00-12:00 Michael Johnson - Monadicity, descent, and classical database view updating. 12:00-12:30p.m. Art Stone - What might Counter-bi-algebras be? 12:30-2:00p.m. Lunch 2:00-2:40p.m. Robin Cockett - Cartesian differential restriction categories. 2:40-3:05p.m. Brian Redmond - TBA 3:05-3:40p.m. Shusaku Tsumoto - Medical data mining. 3:40-4:10p.m. Break 4:10-4:35p.m. Brett Giles - Reversible computation and Frobenius algebras. 4:35-5:00p.m. Aaron Hunter - Algebraic considerations on the dynamics of belief. 6:00p.m. Banquet - Cedar Room in the Ponderosa Building Sunday, May 31, 2005 Sunday talks will be in WMAX 240 - 1933 West Mall 9:00- 9:50a.m. Bob Rosebrugh - EASIK: Database design and manipulation implemented categorically. 9:50-10:20a.m. Sean Nichols - On strong reduction in combinatory logic. 10:20-11:00a.m. Break 11:00-12:00 Vaughan Pratt - Euclid's postulates at all dimensions. The following paragraphs repeat the information from the first announcement. The Department of Mathematics at the University of British Columbia in cooperation with the Pacific Institute of Mathematical Sciences is hosting the Foundational Methods in Computer Science workshop on May 28th - 31st, 2009, on the University of British Columbia Campus in Vancouver, Canada The workshop is an annual informal meeting intended to bring together researchers in mathematics and computer science. There is a focus on the application of category theory in computer science. However, all those who are interested in category theory or computer science are welcome to attend. The meeting begins with a reception at 6pm in the Ruth Blair room in Walter Gage Towers on the UBC campus on Thursday May 28, 2009. The scientific program starts on May 29, and consists of a day of tutorials aimed at students and newcomers to category theory, as well as a day and a half of research talks. The meeting ends at mid-day on May 31. Research talks There will be some invited presentations, but the majority of the talks are solicited from the participants. If you wish to give a talk please send a title and abstract to johnm@math.ubc.ca. Time slots are limited, so please register early if you would like to be considered for a talk. Graduate student participation is particularly encouraged at FMCS. Registration details will appear in the next announcement. Previous meetings Previous FMCS meetings were held in Pullman (1992), Portland (1993), Vancouver (1994), Kananaskis (1995), Pullman (1996), Portland (1998), Kananaskis (1999), Vancouver (2000), Spokane (2001), Hamilton (2002), Ottawa (2003), Kananaskis (2004), Vancouver (2005), Kananaskis (2006), Hamilton (2007), and Halifax (2008). Organizing committee: Robin Cockett (Calgary) John MacDonald (UBC) Phil Mulry (Colgate) Peter Selinger (Dalhousie) Local Organizer: John MacDonald (UBC) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]