<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-text-html" lang="x-unicode">
<p class="MsoNormal"><span lang="EN-US">***************************************************************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">「証明、計算、哲学」</span><span lang="EN-US">International
Workshop "Proofs, Computation and Philosophy"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">11</span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">月</span><span
lang="EN-US">28-29</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">日</span><span
lang="EN-US">Nov28-29th</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">慶応大三田</span><span lang="EN-US">Campus Mita,Keio
Univ (Mita Campus)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">(Apologies for multiple
copies due to cross posting)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">*****************************************************************<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">証明とカット消去の概念について議論することを目的として、「証明」の哲学と計算機科学について、次のよ
うな 国際ワークショップの開催を予定しています。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">参加自由です。またこの案内は転送自由です。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">会議の</span><span lang="EN-US">updated information</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">に
ついてはつぎの</span><span lang="EN-US">URL</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">をご覧ください。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><a
class="moz-txt-link-freetext"
href="http://abelard.flet.keio.ac.jp/seminar/girard2015.html"><a class="moz-txt-link-freetext" href="http://abelard.flet.keio.ac.jp/seminar/girard2015.html">http://abelard.flet.keio.ac.jp/seminar/girard2015.html</a></a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">到着した</span><span lang="EN-US">Abstracts</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">も
ここに貼っていきます。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">（この国際ワークショップとは別に、</span><span lang="EN-US">Girard</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">教
授による連続講義が開催されています。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">この案内の最後を参照ください。）</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">****</span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">国際ワークショップ情報</span><span
lang="EN-US"> International Workshop Information*****<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Date: November
28th(Sat)-29th(Sun), 2015<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">日時</span><span lang="EN-US">: 2015</span><span
style="font-family: "ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin; mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">年</span><span
lang="EN-US">11</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">月</span><span lang="EN-US">28</span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">日</span><span
lang="EN-US">(</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">土</span><span
lang="EN-US">)-29</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">日</span><span lang="EN-US">(</span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">日</span><span
lang="EN-US">)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Place: Conference Hall, 3F
of North Building, Mita campus of Keio University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">場所</span><span lang="EN-US">: </span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">慶應大学三田キャンパス</span>
<span style="font-family: "ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin; mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">北
館</span><span lang="EN-US">3</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">階会議場 </span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Campus Map<span
style="mso-spacerun:yes"> </span><a
class="moz-txt-link-freetext"
href="http://www.keio.ac.jp/en/maps/mita.html"><a class="moz-txt-link-freetext" href="http://www.keio.ac.jp/en/maps/mita.html">http://www.keio.ac.jp/en/maps/mita.html</a></a><span
style="mso-spacerun:yes"> </span><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Building #1 on this map. /
1</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">番
の建物です。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">注意：２８日土曜日はどの門からもお入りに慣れますが、２９日日曜日は正門のみしか書いていない場合があ
りま すので、ご注意ください。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">One can access to the
North Building through any gates on Saturday 28<sup>th</sup> ,
but<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We strongly recommend to
use the MAIN GATE on SUNDAY because other gates<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Often close on Sundays.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">List of the invited
speakers:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">１・</span><span lang="EN-US">Jean-Yves Girard,
(Mathematics Institute of Marseille, Univ Marseille/CNRS) <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Special Lectures</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">
（上記連続講義とは独立な</span><span lang="EN-US">self-contained</span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">な証明論レクチャーです。</span><span
lang="EN-US">Transcendental syntax</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;
mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";mso-fareast-theme-font:
minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">を
別な観点から、より技術的に導入なさいます。 ）</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">2. Philip Scott (Dept. of
Mathematics and Statistics, University of Ottawa)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">"AF Inverse Monoids and
the Coordinatization of MV-algebras"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">3. Jean-Baptiste Joinet
(Faculte de philosophie, Universite Jean Moulin - Lyon 3)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">"Logic and Naturalness :
from Gentzen to Girard"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">4. Paolo Pistone
(Philosophy, IMM, Univ Marseille/CNRS)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">"Proofs, programs and the
library of Babel"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">5. V. Michele Abrusci
(Philosophy, Univ Rome 3)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">“Philosophical aspects of
proof-nets”<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">6. Masahiro Hamano
"Geometry of Interaction for MALL via Hughes-van Glabbeek
Proof-Nets"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">7Kazushige Terui (Research
Institute for Mathematical Sciences, Kyoto University)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">TBA<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">8. Takeshi Tsukada
(Graduate School of Information Science and Technology,
University of Tokyo) "A bifibrational account of LC"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">9. Naohiko Hoshino
(Research Institute for Mathematical Sciences, Kyoto
University)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">"Geometry of Interaction
and coherence spaces"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">-------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Tentative PROGRAM (see the
Workshop webpage for updated information)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><span
style="mso-spacerun:yes"> </span><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">November 28<sup>th</sup>
(Saturday)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">9:30- registration<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">9:50-10:00 Introductory
Remark, Mitsuhiro Okada<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">10:00-11:20 Jean-Yves
Girard Special lecture, Some technical aspects of
transcendental syntax I (tentative) (Univ Lyon 3 and
ENS-Paris)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">11:20-11:30 Break<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">11:30-12:30 Michele
Abrusci (Univ Rome 3),” Philosophical aspects of proof-nets” <span
style="mso-spacerun:yes"> </span><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">12:30-14:00 Lunch Break<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">14:00-15:00 Jean-Baptiste
Joinet (Univ Marseille), "Logic and Naturalness : from Gentzen
to Girard"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">15:00-15:10 Break<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">15:10-15:50 Takeshi
Tsukada (Univ Tokyo) , "A bifibrational account of LC"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><span
style="mso-spacerun:yes"> </span>15:50-16:50 Paolo Pistone
(Univ Marseille/CNRS) <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><span
style="mso-spacerun:yes"> </span>"Proofs, programs and the
library of Babel"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">16:50-17:40 Discussion
with the speakers of the first day ( coordinator: M. Okada)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">November 29<sup>th</sup>
(Sunday)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">10:00-11:20 Jean-Yves
Girard Special Lecture , Some technical aspects of
transcendental syntax II (tentative)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">11:20-11:30 Break<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">11:30-12:10 Naohiko
Hoshino (RIMS, Univ Kyoto) "Geometry of Interaction and
coherence spaces"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">12:10-12:30 Discussion<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">12:30-14:00 Lunch Break<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">14:00-15:00 Phil Scott
(Univ Ottawa) "AF Inverse Monoids and the Coordinatization of
MV-algebras"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">15:00-15:40 Masahiro
Hamano, "Geometry of Interaction for MALL via Hughes-van
Glabbeek Proof-Nets"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">15:40-16:00 Break<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">16:00-16:40 Kazushige
Terui (RIMS, Univ Kyoto) TBA<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">16:40-17:30 Discussion
with the speakers of the second day (coordinator: M.Okada9<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Local organizing
committee:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Mitsuhiro Okada, Keio
University(Chair)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Yutaro Sugimoto, Keio
University<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Yuta Takahashi, Keio
University<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">主催</span><span lang="EN-US"> : Mita Logic Seminar
</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">事
務局</span><span lang="EN-US"> (</span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">科学研究費 新学術領域 「予測と行動判断の論理と計算」）</span><span
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">共催</span><span lang="EN-US">: </span><span
style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">慶應義塾大学</span>
<span style="font-family:"ＭＳ 明朝",serif;
mso-ascii-font-family:Century;mso-ascii-theme-font:minor-
latin;mso-fareast-font-family: "ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;mso-hansi-font-
family:Century; mso-hansi-theme-font:minor-latin">論理と感性のグローバル研
究センター</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">問合せ先</span><span lang="EN-US">:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Mita Logic Seminar </span><span
style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:Century;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:"ＭＳ
明朝";mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:Century;mso-hansi-theme-font:minor-latin">事
務局</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><a
class="moz-txt-link-abbreviated"
href="mailto:logic@abelard.flet.keio.ac.jp"><a class="moz-txt-link-abbreviated" href="mailto:logic@abelard.flet.keio.ac.jp">logic@abelard.flet.keio.ac.jp</a></a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">-------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">なお、このワークショップとは別に、１１月１７日、２４日の午後６時より、大学院棟１階３１３番教室で</span><span
lang="EN-US">Girard</span><span style="font-family:"ＭＳ
明朝",serif;mso-ascii-font-family:
Century;mso-ascii-theme-font:minor-latin;mso-fareast-font-
family:"ＭＳ 明朝";
mso-fareast-theme-font:minor-fareast;mso-hansi-font-family:Century;mso-hansi-theme-font:
minor-latin">教授の公開講義が行われます。参加自由です。</span><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>