Logic-ml November 2010

11 participants
15 discussions

The 45th MLG Meeting
by Takahiro Seki 15 Nov '10

15 Nov '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　多くの方のご講演・ご参加をお待ちしております。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 1 月 6 日(木)〜 1 月 8 日(土) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2010 年 12 月 15 日（水）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・1月7日（金）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，1月7日（金）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,000円をいただきます。・講演・宿泊を希望される方は，12月15日(水)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG45 とご記載ください。 ----------------------------------- 第45回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　6日(午後) / 7日(午前/午後) / 8日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　6日(夕食/宿泊) / 7日(朝食/昼食/夕食/宿泊) / 8日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

Call for Papers: Infinity in Mathematics and Philosophy
by Makoto Kikuchi 13 Nov '10

13 Nov '10

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).

1 0

Workshop (Mon 2010.11.08) in Kyoto
by Ichiro Hasuo 04 Nov '10

04 Nov '10

*** 重複ご容赦ください．ご興味がありそうな方に，ご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． 11/8(月)に京都大学で開催するワークショップ "Mathematical Theory of Processes and Operations: Concurrent, Quantum, and More" http://www.kurims.kyoto-u.ac.jp/~cs/mtpo の宣伝をさせてください．このワークショップは，Leicester 大学の Irek Ulidowski さん ( http://www.cs.le.ac.uk/people/iu3/ ) の来日にあわせて企画しました．Irek さんは以前京都大学に在籍されたコンピュータ・サイエンティストで，並列システム (concurrency)，特に reversible process calculi や mathematical model of true concurrency の分野で精力的に活躍されています．今回はさらに立命館大学の山下茂さんをお招きし，量子計算に関するご講演をお願いしました．(並列) process や (量子) operation のさまざまな数学的な定式化の中から，新たな統一的視点が浮かび上がってくるのを期待しています．みなさまのご参加をお待ちしております．それでは！オーガナイザー：結縁祥治(名古屋大学)，蓮尾一郎(京都大学) http://www.kurims.kyoto-u.ac.jp/~cs/mtpo ===================================== - 日時： 2010/11/8 (月)，10:00-16:45 - 場所：京都大学数理解析研究所 1階111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html http://www.kurims.kyoto-u.ac.jp/en/access-01.html - 参加費：無料 - 講演は英語です． - 参加申し込みは必要ありませんが，夕食会に参加される方は以下のフォームからお知らせください． https://spreadsheets.google.com/viewform?formkey=dHNTTjlQeDhWdEpPUmtxZmE3Z0… - お問い合わせは，蓮尾 (ichiro[at]kurims.kyoto-u.ac.jp) までお気軽にお願いします． ==================================== プログラム（詳細は http://www.kurims.kyoto-u.ac.jp/~cs/mtpo） 10.00-11.00 Shigeru Yamashita (Ritsumeikan U.) Verification of Quantum Circuits 11.15-12.15 Irek Ulidowski (U. Leicester, UK) Bisimulations and Logics for Reversibility 14.00-14.45 Shoji Yuen (Nagoya U.) Priority in the pi-calculus 15.00-15.45 Masahito Hasegawa (RIMS, Kyoto U.) A quantum double construction in the non-deterministic setting 16.00-16.45 Ichiro Hasuo (RIMS, Kyoto U.) Probabilistic Simulations Revisited from the Coalgebraic Point of View

1 0

TPP10 (Theorem Proving and Provers Meeting) Program
by Jacques Garrigue 01 Nov '10

01 Nov '10

名古屋大学で開催される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)

1 0

Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 01 Nov '10

01 Nov '10

*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． 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/

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml November 2010