Annals of the Japan Association for Philosophy of Science
Call for Papers: Infinity in Mathematics and Philosophy
On the occasion of the annual meeting of the Japan Association for Philosophy of Science 2010, 12.-13. June, 2010 on Ikuta Campus of Senshu University, Kawasaki, Japan, a symposium on "Infinity in Mathematics and Philosophy" was held with keynote lectures by Professors Juliet Floyd (Boston Univ.) and Akihiro Kanamori (Boston Univ.) and a panel discussion with a panel of speakers Professors Kanamori and Floyd as well as Professors Kazuhisa Todayama (Nagoya Univ.) and Yasuyuki Kawahigashi (Tokyo Univ.) facilitated by Sakaé Fuchino (Kobe Univ.)
In connection with this symposium, a special section in an issue of Annals of the Japan Association for Philosophy of Science is planned with the invited papers including those by the keynote speakers and other participants of the panel discussion, as well as contributed papers. Potential authors of the contributed papers for this special section are encouraged to submit articles which should deal with the "infinity in mathematics and philosophy'' in a broad sense either from philosophical, mathematical, mathematically logical, historical or sociological point of view, or else from a view point consisting of any combination of these.
The submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. The authors are kindly asked to prepare the manuscripts according to the guide lines of the journal (see "notes to contributors"http://phsc.jp/en/). The deadline of the submission is by March 31, 2011. A copy in the form of a pdf file and/or a file in any other common format should be sent to the association (kisoron(a)sasappa.co.jp) or directly to the guest editor of the special section: Sakaé Fuchino (fuchino(a)diamond.kobe-u.ac.jp).
名古屋大学で開催されるTPP10の案内をお送りします。
TPP10 幹事
Jacques Garrigue
=========================================================================
Call for participation for TPP 2010 in Nagoya
第6回 TPPミーティングを 11月 25日(木)-26日(金) に名古屋大学にて開催します.
このミーティングは,2005年から年に1回開催され,
定理証明系を作っている人から使う側の人まで幅広い人たちが集まり,
様々な側面からの話をしてアイディアの交換をしてきたものです.
日時:11月25日(木) 13:00頃 〜 11月26日(金) 15:00頃
場所:名古屋大学 多元数理科学研究科 理学部A館 A428号室
URL: http://www.math.nagoya-u.ac.jp/~garrigue/tpp10/
プログラムを同封しましたので、参加されたい方はご連絡を下さい.
申込み・問い合わせ先:tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue)
=========================================================================
The 6th Theorem Proving and Provers meeting will be held on November
25(Thu) - 26(Fri), 2010 at Nagoya University.
Time: 11/25 around 1pm to 11/26 around 3pm
Place: Nagoya Univ. Grad. School of Mathematics, Bld. Sci. A, Room A428
URL: http://www.math.nagoya-u.ac.jp/~garrigue/tpp10/
The program is enclosed. If you would like to attend, please drop me a
mail.
Submission/questions to: tpp10 at math.nagoya-u.ac.jp (Jacques Garrigue)
=========================================================================
TPP'10 Program
Thursday, November 25
13:00-14:20
Balance Condition on Weight-Balanced Trees
Youichi Hirai (University of Tokyo), Kazuhiko Yamamoto (IIJ Innovation
Institute)
Maximal Completion
Dominik Klein (JAIST)
14:40-16:00
Formal Scientific Reasoning
Rene Vestergard (JAIST)
16:20-17:40
Representing Polymorphic Higher-Order Abstract Syntax in Agda and Presheaves
Makoto Hamana (Gunma University)
Simpoulet: an attempt at proving behavioural bisimulations in Coq
Jacques Garrigue (Nagoya University) and Pierre-Marie Pedrot (ENS Lyon)
18:30-20:30
Party
Friday, November 26
9:00-10:20
IsaFoR/CeTA - Automatic Certification of Termination Proofs
Christian Sternagel (University of Innsbruck)
Complexity Analysis by Rewriting for Exponential Time
Naohi Eguchi (JAIST)
10:40-12:00
証明支援器Coqのシステム開発実務への適用 (Applying Coq to practial
software development)
Yoshihiro Imai (IT Planning)
Instrumenting Error-correcting codes with SSReflect (work in progress)
Reynald Affeldt (AIST)
13:20-14:00
Formalizing Regular Expression Matching in Isabelle/HOL
Yasuhiko Minamide (Tsukuba University)
14:00-15:00
Solutions to TPPmark10
(The problem can be found at the above URL)
*** 重複ご容赦下さい.また,興味のありそうな方にぜひご転送ください ***
みなさま,
こんにちは! 京都大学数理解析研究所の蓮尾と申します.
Adventures of Categories: Applied Category Theory Colloquium
というプロジェクトの一環として,10月から12月にかけて6回,
京大数理研で講演会を行っています.今週の金曜日の講演は
小嶋泉氏 (京都大学数理解析研究所) による,数理物理学における
「ミクロ・マクロ双対性」についての1時間です.
講演会の詳細については以下を,プロジェクトの詳細については
さらに下をご覧ください.
みなさまのお越しを歓迎します.それでは!
"Adventures of Categories" 参加者有志:
Piet Hut,Craig Pastro,荒井迅,一宮尚志,西郷甲矢人,長谷川真人,
浜野正浩,春名太一,平岡裕章,蓮尾一郎
///////////////////////////////////////////////////////////////////////////////////////////
Date, Time:
14:00-15:00, Friday 22 Oct, 2010
Place:
Room 111, RIMS, Kyoto University
http://www.kurims.kyoto-u.ac.jp/en/access-01.html
京都大学数理解析研究所 1階 111号室
http://www.kurims.kyoto-u.ac.jp/ja/access-01.html
Speaker:
Izumi Ojima (RIMS, Kyoto U.)
http://www.kurims.kyoto-u.ac.jp/en/list/OJIMA,%20Izumi.html
Title:
"Micro-Macro duality" in physics as matching adjunctions
between what to be described and what to describe
Abstract:
After explaining the basic scheme for describing the relations between
"Micro" and "Macro" aspects (or levels) in nature, the duality, or
more precisely, adjunction relations between them will be discussed
from algebraic and categorical viewpoints, according to "Micro-Macro
duality".
////////////////////////////////////////////////////////////////////////
===============
"Adventures of Categories" プロジェクトについて
数学における異分野協働の実験場として,数学の中でもそのわかりに
くさにおいて定評のある圏論 category theory をコアに据えて,
- 純粋数学における圏論ユーザー
- 応用数学における圏論ユーザー
- 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー
(この立場から,プリンストン高等研究所の学際研究担当,Piet Hut 教授にも
参加いただきます)
の3者の交流の機会とすべく今回のプロジェクトを企画しました.
6回の講演会の中から,
- いろいろな数学の分野でどのように圏論が使われているのか?
- 各分野間の知識移転によって,どのような成果が得られるか?
- 圏論的手法が有効な他の応用分野は?
- テクニカルに素人の方に対して,圏論をどのように説明し,
アピールすることができるか?
というような問に対して,何らかの答えが浮かび上がるのを期待しています.
興味のおありの方,ご来聴を歓迎いたします!
Adventures of Categories というタイトルは,本プロジェクト参加者の
西郷甲矢人さんの発案です.A.N. Whitehead の本, Adventures of Ideas
にかかっています.
次回以降,代数学・幾何学における圏論や数理物理学における圏論,
さらに Hut 教授による講演 "How to motivate non-mathematicians to explore
category theory"など,企画しております.こちらもどうかご期待くださ
い.日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です.
# 本プロジェクトは,(独) 科学技術振興機構 さきがけプログラムから支援
# を受けています. http://math.jst.go.jp/
Kobe Colloquium in Logic
以下の要領でコロクウィウムを開催します.
日時:2010年11月1日(月)17:00 〜
場所:神戸大学自然科学総合研究棟3号館4階421室(プレゼンテーション室)
講演者:Lajos Soukup(はんがりーかがくあかd)
題目:On splitting infinite-fold covers
アブストラクト:
Let X be a set, kappa be a cardinal number and let H be a
family of subsets of X which covers each x in X at least kappa times.
What assumptions can ensure that H can be decomposed into
kappa many disjoint subcovers?
We examine this problem under various assumptions on the set X and
on the cover H: among other situations, we consider covers of
topological spaces by closed sets, interval covers of linearly ordered sets
and covers of the Euclidean space R^n by polyhedra and by arbitrary convex
sets.
We focus on these problems mainly for infinite kappa.
Besides numerous positive and negative results, many questions turn out to
be
independent of the usual axioms of set theory.
交通:阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車,「神大本部工学部前」停留所下車,徒歩すぐ.
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm
連絡先:ブレンドレ ヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp
Kobe Colloquium in Logic
以下の要領でコロクウィウムを開催します.
日時:2010年11月1日(月)17:00 〜
場所:神戸大学自然科学総合研究棟3号館4階421室(プレゼンテーション室)
講演者:Christoph Weiss(ミュンヘン大学)
題目:The principles ITP and ISP and their related theorems
アブストラクト:
We define combinatorial principles ITP and ISP that do for supercompactness
what the tree property does for weak compactness. We will then present the
proof
that these principles follow from the Proper Forcing Axiom and give some
applications of them.
交通:阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車,「神大本部工学部前」停留所下車,徒歩すぐ.
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm
連絡先:ブレンドレ ヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp