This is it, unless somebody cancels at the last minute. \documentstyle[12pt]{article} \textwidth 6.3in \oddsidemargin -.1in \pagestyle{empty} \begin{document} \begin{tabular}{|r@{--}r|l|p{3.4in}|}\hline \multicolumn4{|c|}{Friday, September 26\vrule height 15pt depth 5pt width 0pt}\\ \hline \multicolumn2{|c|}{} && \\[-10pt]\hline 8:45 & 9:30 &Andr\'e Joyal & The theory of $h$-categories \\ \hline 9:40 & 10:10 &Marta Bunge &Functions vs Distributions on Grothendieck toposes\\ \hline 10:20 & 10:50 &Peter Freyd &Topoi and $\lambda$-calculus\\ \hline \multicolumn2{|c|}{} && \\[-12pt]\hline 2:30 & 3:15 &Pierre Cartier & Computation and visualization: a new philosophy of categories \\ \hline 3:25 & 3:55 &Phil Mulry & Remarks on Categorical Fixed Points \\ \hline 4:05 & 4:35 &Jim Otto & From NNO to Complexity \\ \hline 4:45 & 5:15 &Robert Par\'e & On the Cardinality of Functors \\ \hline \multicolumn4{|c|}{Saturday, September 27\vrule height 15pt depth 5pt width 0pt}\\ \hline \multicolumn2{|c|}{} && \\[-10pt]\hline 8:45 & 9:30 &Bill Lawvere & Toposes of Laws of Motion\\ \hline 9:40 & 10:10 &Gonzalo Reyes & The law of motion in special relativity \\ \hline 10:20 & 10:50 &Anders Kock & Geometric Construction of the Levi-Civita Parallelism \\ \hline \multicolumn2{|c|}{} && \\[-12pt]\hline 2:30 & 3:15 &Peter Gabriel & Categories and Representation Theory\\ \hline 3:25 & 3:55 &Alex Heller & Semistabilization and infinite loop-spaces \\ \hline 4:05 & 4:35 &Kimmo Rosenthal& Multirelations and power quantales \\ \hline 4:45 & 5:15 &Fred Linton& Triples vs. Theories---one last time\\ \hline \multicolumn4{|c|}{Sunday, September 28\vrule height 15pt depth 5pt width 0pt}\\ \hline \multicolumn2{|c|}{} && \\[-10pt]\hline 8:45 & 9:30 &Mikhail Kapranov & Dg-thickenings of classifying spaces \\ \hline 9:40 & 10:10 &Ross Street & The Petit Topos of Globular Sets\\ \hline 10:20 & 10:50 &Todd Trimble & Opetopes and bar constructions \\ \hline \multicolumn2{|c|}{} && \\[-12pt]\hline 2:30 & 3:15 &Steve Schanuel & Objective number theory \\ \hline 3:25 & 3:55 &Aurelio Carboni & Syntactic characterizations of various classes of locally presentable categories \\ \hline 4:05 & 4:35 &Jim Lambek &What is the category of sets---A tribute to Bill Lawvere \\ \hline 4:45 & 5:15 &Claudio Hermida&Higher-dimensional multicategories \\ \hline \end{tabular} \end{document} |=======================================================================| | Friday, September 26 | |=======================================================================| |=======================================================================| | 8:45- 9:30| Andr\'e Joyal | The theory of h-categories | |------------|---------------------|------------------------------------| | 9:40-10:10| Marta Bunge | Functions vs Distributions | | | | on Grothendieck toposes | |------------|---------------------|------------------------------------| | 10:20-10:50| Peter Freyd | Topoi and lambda-calculus | |============|=====================|====================================| | 2:30- 3:15| Pierre Cartier | Computation and visualization: | | | | a new philosophy of categories | |------------|---------------------|------------------------------------| | 3:25- 3:55| Phil Mulry | Remarks on Categorical Fixed Points| |------------|---------------------|------------------------------------| | 4:05- 4:35| Jim Otto | From NNO to Complexity | |------------|---------------------|------------------------------------| | 4:45- 5:15| Robert Par\'e | On the Cardinality of Functors | |=======================================================================| | | | | |=======================================================================| | Saturday, September 27 | |=======================================================================| |=======================================================================| | 8:45- 9:30| Bill Lawvere | Toposes of Laws of Motion | |------------|---------------------|------------------------------------| | 9:40-10:10| Gonzalo Reyes | The law of motion in | | | | special relativity | |------------|---------------------|------------------------------------| | 10:20-10:50| Anders Kock | Geometric Construction of | | | | the Levi-Civita Parallelism | |============|=====================|====================================| | 2:30- 3:15| Peter Gabriel |Categories and Representation Theory| |------------|---------------------|------------------------------------| | 3:25- 3:55| Alex Heller | Semistabilization and | | | | infinite loop-spaces | |------------|---------------------|------------------------------------| | 4:05- 4:35| Kimmo Rosenthal | Multirelations and power quantales | |------------|---------------------|------------------------------------| | 4:45- 5:15| Fred Linton |Triples vs. Theories--one last time | |=======================================================================| | | | | |=======================================================================| | Sunday, September 28 | |=======================================================================| |=======================================================================| | 8:45- 9:30| Mikhail Kapranov |Dg-thickenings of classifying spaces| |------------|---------------------|------------------------------------| | 9:40-10:10| Ross Street | The Petit Topos of Globular Sets | |------------|---------------------|------------------------------------| | 10:20-10:50| Todd Trimble | Opetopes and bar constructions | |============|=====================|====================================| | 2:30- 3:15| Steve Schanuel | Objective number theory | |------------|---------------------|------------------------------------| | 3:25- 3:55| Aurelio Carboni | Syntactic characterizations of | | | | various classes of locally | | | | presentable categories | |------------|---------------------|------------------------------------| | 4:05- 4:35| Jim Lambek | What is the category of sets-- | | | | A tribute to Bill Lawvere | |------------|---------------------|------------------------------------| | 4:45- 5:15| Claudio Hermida | Higher-dimensional multicategories | |=======================================================================|