[logic-ml] workshop on categories, logic and computation (28 July 2011, Kyoto)

[Hasegawa Masahito]

$B3'MM!"(B

$B5~Bg$ND9C+ at 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 at 8l(B
Charity$B$N3+H/$d@~7AO at M}$N7wO at 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+ at n(B 
<hassei at kurims.kyoto-u.ac.jp>$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+ at n$^$G$*4j$$CW$7$^$9!#(B

$BD9C+ at n???M(B
$B5~ETBg3X?tM}2r at O8&5f=j(B