Logic-ml July 2013

logic-ml@fos.kuis.kyoto-u.ac.jp

11 participants
14 discussions

Fwd: categories: PhD positions in Leicester
by Ichiro Hasuo 07 Jul '13

07 Jul '13

転送します．蓮尾 ---------- Forwarded message ---------- From: Alexander Kurz <ak155(a)mcs.le.ac.uk> Date: Fri, Jul 5, 2013 at 8:10 PM Subject: categories: PhD positions in Leicester To: categories <categories(a)mta.ca> Hi All, we have 3 PhD positions in Computer Science, deadline 29th July. http://www2.le.ac.uk/study/research/funding/computerscience-gta Applications by students interested in a PhD on Category Theory in Computer Science are particularly welcome, despite the fact that category theory is not listed under "topics of particular interest" in the advert, which was an oversight. I would be very grateful if you could pass this on to potential candidates. Ideally, interested students would get in touch with me directly before applying formally. Best wishes, Alexander [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

$B=8Cf9V5A$N$*CN$i$;(B
by Hasegawa Masahito 04 Jul '13

04 Jul '13

$B3'MM!"(B $B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B $B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$N2OB<>4@1@h@8$G$9!#(B $B7W;;2DG=2r@O3X$N4pAC$+$i:G6a$NOCBj$^$G$r2r@b$7$FD:$-$^$9!#(B $BM}3X8&5f2J$NBg3X1!@8$rBP>]$H$7$?3+9V2JL\$G$9$,!"4X?4$r$*;}$A$N(B $BJ}$O$I$J$?$G$b$*5$7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"(B $BD9C+@n$^$G$*Ld$$9g$o$;2<$5$$!#(B $BD9C+@n???M(B <hassei at kurims.kyoto-u.ac.jp> $B5~ETBg3X?tM}2r@O8&5f=j(B ====================================================================== $B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r@O@l96?tM}2r@O7O(B $B?tM}2r@OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B $B!V<B?t$N7W;;M}O@!W(B $B9V(B $B;U!'2OB<(B $B>4@1(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J!K(B $BF|(B $B;~!'#2#0#1#3G/#77n#2#2F|!&#2#3F|!&#87n#1F|!&#2F|(B $B$$$:$l$b#1#4;~3+;O(B $B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B $B!JCm!'KLIt$N?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B $BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B $B7W;;2DG=@-$d7W;;NL$ON%;6E*!&M-8BE*$JA`:n$K$h$k=hM}$NG=NO$H8B3&$r8l$k35(B $BG0$G$"$k$,!"E,@Z$JDj<02=$K$h$j<B?t!"<B?tCMH!?t!"<B?t$N=89g$H$$$C$?O"B3(B $BE*$JBP>]$K$b1~MQ$9$k$3$H$,$G$-$k!#K\9V5A$G$O7W;;2DG=2r@O3X$H8F$P$l$k$3(B $B$NJ,Ln$N4pAC$+$i:G6a$NOCBj$^$G2r@b$9$k!#(B $BFC$KM=HwCN<1$O2>Dj$;$:0lHLE*$J7W;;NLM}O@$N35@b$+$i;O$a$k!#$3$l$r<B?t$J(B $B$I$N2r@O3XE*BP>]$KEv$F$O$a$kOHAH$G$"$kFs7?7W;;$HI=8=$NM}O@$r2r@b$7!"$=(B $B$N1~MQ$H$7$F<BH!?t$d<B?t=89g$KBP$9$kMM!9$J6qBNE*A`:n$N7W;;NL$r07$&!#(B 1. $B7W;;NLM}O@$N4pAC(B $B!&LdBj$H;;K!(B $B!&;~4V!&6u4V$N@)8B(B $B!&Hs7hDj@-!&MpBr!&7W?t(B $B!&5"Ce$HAjBP2=(B 2. $B<B?t$N7W;;M}O@(B $B!&Fs7?7W;;$HI=8=$NM}O@(B $B!&<B?t$H<BH!?t$NI=8=(B $B!&=89g$NI=8=$H7W;;(B $B!&MM!9$J1i;;$N7W;;NL(B $B9V5A%&%'%VJG!'(B http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/teaching/rims_H25/ $B0u:~MQ0FFb!'(B http://www.kurims.kyoto-u.ac.jp/~hassei/kawamura2013.pdf ======================================================================

1 0

超準解析シンポジウム（第1報）
by Hiroshi Akiyama 04 Jul '13

04 Jul '13

皆様：静岡大学の明山です。 2013年度超準解析シンポジウムを下記のように開催いたしたいと存じます。よろしくお願いいたします。　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月17日(火)午後〜9月19日(木)午前　（予定）会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンハ゜ス）　　　工学部6号館（旧・共通棟）12教室　　　（北門のすぐそばの５階建ての建物の1階です）ご参加いただけるかたは　講演の有無　講演題目（仮題でも結構です）　講演できない日時(無・有) を下記期日までに下記世話人までお知らせください。　参加・講演申込締切：2013年8月23日(金) （おおよその人数把握のため，参加だけの方もお知らせいただければ幸いに存じます。）世話人：静岡大学工学部共通講座　　明山　浩　　　　　 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

Nagoya Logic Seminar
by 吉信康夫 02 Jul '13

02 Jul '13

皆様：以下の要領で名古屋数学基礎論セミナーを開催します。奮って御参加下さい。日時：7月5日(金) 15:30- 場所：名古屋大学全学教育棟3階 SIS5 教室 (http://www.nagoya-u.ac.jp/2012website/global-info/images/access-map/map2.pdf の地図でB4(1)の建物です。建物内配置図は http://www.ilas.nagoya-u.ac.jp/student/lectureroom/ でご覧になれます。 SIS5 教室は3階の中央より少し北, C36の北隣にあります。) 講演者：John Pardo (ペンシルバニア州立大学, JSPSサマープログラム研究員(北陸先端大)) 題： Forcing and Basis Theorems in Computability Theory アブストラクト：The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well. I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare. (7/2 に神戸大学で予定されている講演と概ね同内容ですのでご注意下さい。)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2013