$B3'MM!"(B
$B5~Bg$ND9C+@n$H?=$7$^$9!#(B
Robin Cockett$B65<x(B(University of Calgary)$B$NMhF|$r4|$K!"0J2<$N$h$&$J0lF|(B $B$@$1$N%o!<%/%7%g%C%W$r3+:E$7$^$9!#(BCockett$B65<x$O%W%m%0%i%_%s%08@8l(B Charity$B$N3+H/$d@~7AO@M}$N7wO@E*$J%b%G%k$N8&5f$J$I$GCN$i$l$F$*$j!":#2s(B $B$N%o!<%/%7%g%C%W$b!"7wO@$H$=$N7W;;5!2J3X$X$N1~MQ$K4X$9$k9V1i$,Cf?4$H(B $B$J$kM=Dj$G$9!#(B
==== Workshop on Categories, Logic and Computation 28 July 2011, Research Institute for Mathematical Sciences, Kyoto University Venue: Room 478, General Research Building No.2, Kyoto University
Programme (Tentative) 09:55-10:00 Opening 10:00-10:40 Naohiko Hoshino (Kyoto University) A Modified GoI Interpretation for A Linear Functional Programming Language and Its Adequacy 11:00-11:40 Craig Pastro (Kyushu University) TBA (lunch break) 13:30-14:30 Robin Cockett (University of Calgary) Differential Categories 15:00-15:40 Masahiro Hamano (JST) A Polarized Int Construction 16:00-16:40 Shin-ya Katsumata (Kyoto University) TBA 17:00-17:40 Ryu Hasegawa (University of Tokyo) A Categorical Reduction System and Its Properties 17:40-17:45 Closing (dinner) ====
$B$3$N%W%m%0%i%`$O;CDjE*$J$b$N$G$"$j!":#8e99?7$5$l$k2DG=@-$,$"$j$^$9!#(B $B:G?7$N>pJs$K$D$$$F$O!"%&%'%V%Z!<%8(B http://www.kurims.kyoto-u.ac.jp/~hassei/CatLogComp20110728.html $B$r$4Mw$/$@$5$$!#(B
$B%o!<%/%7%g%C%W$N%F!<%^$K4X?4$r$*;}$A$NJ}$N$4;22C$r$*BT$A$7$F$*$j$^$9!#(B $B$J$*!"2q>l$N=`Hw$NET9g>e!";22C$5$l$kJ}$O!"%*!<%,%J%$%6!<!JD9C+@n(B <[email protected]>$B!K$^$G$4O"MmD:$1$^$9$H9,$$$G$9!#$=$N(B $BB>!"$3$N%o!<%/%7%g%C%W$K4X$9$k$*Ld$$9g$o$;$bD9C+@n$^$G$*4j$$CW$7$^$9!#(B
$BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B