(重複して受け取られた場合はご容赦ください)
11/18-19に開催される LENLS 7 国際ワークショップのプログラムのご 案内をお送りします。事前登録は11/12(金)が〆切です。
また、11/20(土)には、お茶の水女子大学において、Alexandru Baltag 氏(オックスフォード大)と、Sonja Smets氏(グローニンゲン大)によ るQuantum logicをテーマとしたチュートリアルも予定しています。
多数の方々のご参加をお待ちしています。
戸次大介(お茶の水女子大学)
[Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION
Logic and Engineering of Natural Language Semantics 7 (LENLS7)
Workshop Site : Campus Innovation Center Tokyo, Minato-ku, Tokyo Dates : November 18-20, 2010 Workshop URL : http://www.is.ocha.ac.jp/%E2%80%BEbekki/lenls/ =================================================================
Chair:
* Eric McCready (Aoyama Gakuin University)
Invited Speakers:
* Alexandru Baltag (Oxford University) * Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology (AIST))
LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI2010, sponsored by The Japan Society for Artificial Intelligence (JSAI). (http://ai-gakkai.or.jp/jsai-isai/2010/)
On the 20th, there will also be a special tutorial lecture at Ochanomizu University by A. Baltag (Oxford Univ, UK) and S. Smets (University of Groningen, The Netherlands).
Registration ============ The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until 12th November 2010.
http://www.ai-gakkai.or.jp/jsai-isai/2010/index.html#registration
Program ======= November 18th (Thu), 2010 ------------------------- Location: Campus Innovation Center Tokyo (Tamachi, Tokyo)
10:00-10:15 Coffee Break
10:15-10:20 Opening Remarks
10:20-11:50 Session 1: General Semantics 1 * Joo Chung "Uncommon common grounds and the Korean reportative evidential -tay" * Myoung Hyoun Song, Chungmin Lee "CF-reduplication: Dynamic Prototype and Contrasting Alternatives" * Arndt Riester "Restriction triggers alternative presuppositions"
11:50-13:30 Lunch
13:30-15:00 Session 2: Formal Pragmatics
* J.-R. Hayashishita "On the focus sensitivity of so-called focus-sensitive particles" * Anton Benz "Optimal Completion and Implicatures of Complex Sentences --- A Game Theoretic Approach" * Nicholas Asher, Sylvain Pogodalla "SDRT and continuation semantics"
15:00-15:20 Coffee Break
15:20-16:50 Sesson 3: Formal Grammar
* BEKKI Daisuke "Combinatory Categorial Grammar as a Substructural Logic --- Preliminary Remarks ---" * Nakamura Hiroaki "Biding of Relational Nouns and the Variable-free Semantics" * Alastair Butler, Kei Yoshimoto "Interpreting Japanese Dependency Structure"
16:50-17:50 Invited Talk 1
* Alexandru Baltag (TBA)
November 19th (Fri), 2010 ------------------------- Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info]
10:00-10:20 Coffee Break
10:20-11:50 Sesson 4: General Semantics 2
* Fabienne Martin "Relative stupidity and past tenses" * Stephanie Solt " Varieties of /Most/" * Richard Zuber "Factives and intensionality"
11:50-13:30 Lunch
13:30-15:00 Sesson 5: NPI
* Csipak, Eva "how to be literally minimal" * Yasutada Sudo "The Small Reading of the Scalar Particle Mo in Japanese and Negative Polarity" * Tomohide KINUHATA "The Scope of Pronounced and Unpronounced Negation: A Case of Japanese Sika-nai and its Correlates"
15:00-15:20 Coffee Break
15:20-16:50 Sesson 6: Vagueness
* Satoru SUZUKI "Prolegomena to Salient-Similarity-Based Vague Predicate Logic" * David Etlin "Vague Desire: The Sorites and the Money Pump" * Michael Franke, Gerhard Jaeger, Robert van Rooij "Signaling, stochastic choice, and vagueness"
16:00-17:50 Invited Talk 2
* Shunsuke Yatabe "Yablosque paradoxes and co-induction"
November 20th (Sat), 2010 ------------------------- "Tutorial Session on Quantum Logic"
Lecturer: Alexandru Baltag (Oxford Univ, UK) Sonja Smets (University of Groningen, The Netherlands).
Title: (TBA)
Location: Ochanomizu University, Faculty of Science, Building 3, 2F, room 209
IMPORTANT: You'll have to show your ID card and a hard copy of this webpage to get into the campus on Saturday.
Schedule -------- 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-17:00 Session 2
Organizing Committee ==================== Eric McCready (Chair) Daisuke Bekki Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Kei Yoshimoto
$B3'MM(B
$B7k1o>M<#$5$s!JL>8E20Bg3X!K$N%j%/%(%9%H$K$h$jE>Aw$$$?$7$^$9!#(B
$B>.@n(B (JAIST)
============ *** $B=EJ#$4MF<O$/$@$5$$!%$46=L#$,$"$j$=$&$JJ}$K!$$4E>Aw$/$@$5$$(B ***
$B$_$J$5$^!$(B
$B$3$s$K$A$O!*(B $B5~ETBg3X?tM}2r@O8&5f=j$NO!Hx$H?=$7$^$9!%(B 11/8($B7n(B)$B$K5~ETBg3X$G3+:E$9$k%o!<%/%7%g%C%W(B
"Mathematical Theory of Processes and Operations: Concurrent, Quantum, and More" http://www.kurims.kyoto-u.ac.jp/~cs/mtpo
$B$N@kEA$r$5$;$F$/$@$5$$!%(B
$B$3$N%o!<%/%7%g%C%W$O!$(BLeicester $BBg3X$N(B Irek Ulidowski $B$5$s(B ( http://www.cs.le.ac.uk/people/iu3/ ) $B$NMhF|$K$"$o$;$F4k2h$7$^$7(B $B$?!%(B Irek $B$5$s$O0JA05~ETBg3X$K:_@R$5$l$?%3%s%T%e!<%?!&%5%$%(%s%F%#(B $B%9%H$G!$JBNs%7%9%F%`(B (concurrency)$B!$FC$K(B reversible process calculi $B$d(B mathematical model of true concurrency $B$NJ,Ln$G@:NOE*$K(B $B3hLv$5$l$F$$$^$9!%(B
$B8=CJ3,$G$N%9%T!<%+!<$N%j%9%H$O!$(B
- $B;32<(B $BLP(B $B;a(B ($BN)L?4[Bg3X>pJsM}9)3XIt(B) http://www.ngc.is.ritsumei.ac.jp/~ger/ $BNL;R2sO)$N@_7W$H8!>Z(B
- Irek Ulidowski $B;a(B (Dept. Comp. Sci., U. Leicester) http://www.cs.le.ac.uk/people/iu3/ Bisimulations and Logics for Reversibility
- $B7k1o(B $B>M<#(B ($BL>8E20Bg3XBg3X1!>pJs2J3X8&5f2J(B) http://www.agusa.i.is.nagoya-u.ac.jp/person/yuen/index.html Pi$B7W;;$K$*$1$k(BPriority$B$K$D$$$F(B
- $BO!Hx(B $B0lO:(B ($B5~ETBg3X?tM}2r@O8&5f=j(B) http://www.kurims.kyoto-u.ac.jp/~ichiro/ $B3NN(E*%7%9%F%`$N4V$NLOJo4X78$N!$M>Be?t$rMQ$$$?0lHLM}O@(B
$B$H$J$C$F$$$^$9!%(B($BJBNs(B) process $B$d(B ($BNL;R(B) operation $B$N$5$^$6$^$J?t3XE*$J(B $BDj<02=$NCf$+$i!$(B $B?7$?$JE}0lE*;kE@$,Ib$+$S>e$,$C$F$/$k$N$r4|BT$9$k$b$N$G$9!%(B
$B$_$J$5$^$N$4MhD0$r4?7^$$$?$7$^$9!%$^$?!$$G$-$l$P$49V1i$b$*4j$$$$$?$7$^$9!*(B
$B0J2<!$<BL3E*$J$3$H$,$i$G$9!%(B
- $BF|;~!'(B 2010/11/8 ($B7n(B)$B!$(B10:00- - $B>l=j!'(B $B5~ETBg3X?tM}2r@O8&5f=j(B 1$B3,(B111$B9f<<(B http://www.kurims.kyoto-u.ac.jp/ja/access-01.html http://www.kurims.kyoto-u.ac.jp/en/access-01.html - $B;22CHq!'(B $BL5NA(B - $B1Q8l$G$49V1i$$$?$@$1$k$H$&$l$7$/;W$$$^$9!%(B - $BF|K\8l$,$G$-$J$$$1$l$I$b$46=L#$N$"$j$=$&$JJ}$,$b$7<~0O$K(B $B$$$i$C$7$c$l$P!$$<$R;22C?=$79~$_$r$*4+$a$/$@$5$$(B - $B<+M3;22C$NM<?)2q$r4k2h$7$F$$$^$9!%(B - $B;22C?=$79~$_(B: $B0J2<$N(B web $B%U%)!<%`$+$i$*4j$$$$$?$7$^$9!%(B https://spreadsheets.google.com/viewform?formkey=dHNTTjlQeDhWdEpPUmtxZmE3Z08... $B$49V1i$NJ}$O>/$7Aa$a$K!$(B11/3 $B$^$G$K$*?=9~$_$/$@$5$$!%(B - $B$*Ld$$9g$o$;$O!$O!Hx(B (ichiro[at]kurims.kyoto-u.ac.jp) $B$^$G$*5$7Z$K(B $B$*4j$$$7$^$9!%(B
$B$_$J$5$^$N$4;22C$r$*BT$A$7$F$*$j$^$9!%$=$l$G$O!*(B
$B%*!<%,%J%$%6!<!'(B $B7k1o>M<#(B($BL>8E20Bg3X(B)$B!$O!Hx0lO:(B($B5~ETBg3X(B) http://www.kurims.kyoto-u.ac.jp/~cs/mtpo