Logic-ml

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

3 participants
1740 discussions

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

SLACS 2010 開催のご案内
by Yoshihito Toyama 29 Oct '10

29 Oct '10

以下の日程で SLACS 2010 - 記号論理と情報科学研究集会を開催いたします。ご興味のある方はご参加ください．開催日：2010年11月1日(月)午後〜 11月2日(火)午後場所：東北大学（片平キャンパス電気通信研究所 2号館 4階大会議室) 懇親会：11月1日夜に懇親会を予定しています．参加費，参加申込はともに不要です．詳細につきましては， http://www.nue.riec.tohoku.ac.jp/slacs2010/ をご参照ください．問い合わせ先菊池健太郎（東北大学電気通信研究所） kxe-slacs2010(a)memoad.jp ------------------------------------------------------ SLACS 2010 - プログラム 11月1日（月） 13:50-14:00 オープニング＋連絡など 14:00-15:00 　　蓮尾一郎（京都大学・JSTさきがけ）「Theory of Coalgebra: Towards Mathematics of Systems」梗概 (60分) 15:00-15:20 休憩 15:20-16:50 　　星野直彦（京都大学）「A modified GoI interpretation for a linear functional programming language」 (45分) 　　石田和（京都大学）「線形論理における非可換モデル」 (45分) 16:50-17:10 休憩 17:10-17:30 　　山西康世（奈良女子大学）「MUAでの分類予測学習機能の実装」 (20分) 18:30- 懇親会 11月2日（火） 10:00-11:15 　　中澤巧爾（京都大学）「Monadic translation of classical sequent calculus」 (30分) 　　鴨浩靖（奈良女子大学）「Malfattiの三角形の大きさを数式処理で計算する」梗概 (45分) 11:15-11:30 休憩 11:30-12:15 　　宮部賢志（京都大学）「Frequency and belief are probability」梗概 (45分) 12:15-13:30 昼食・休憩 13:30-14:10 　　小島健介（京都大学）「Neighborhood Semantics for Intuitionistic Monotone Modal Logic」 (40分) 14:10-14:30 休憩 14:30-16:00 　　佐々木克巳（南山大学）「S4を含む正規様相論理における、標準形の論理式とexactモデル」梗概 (60分) 　　佐々木克巳（南山大学）「様相論理S4.1とS4.2」梗概 (30分)

1 0

Kobe Colloquium in Logic (Lajos Soukup)
by Joerg Brendle 28 Oct '10

28 Oct '10

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

1 0

Kobe Colloquium in Logic (Christoph Weiss)
by Joerg Brendle 28 Oct '10

28 Oct '10

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

1 0

総合研究大学院大学情報学専攻入試説明会についてご案内
by Makoto Kanazawa 27 Oct '10

27 Oct '10

メーリングリストのみなさま大学院の入試説明会に関する宣伝です。関心のありそうな学生さんに知らせて頂けると幸いです。国立情報学研究所／総合研究大学院大学金沢　誠 ---------------------- 総合研究大学院大学　複合科学研究科　情報学専攻は，以下のとおり入試説明会を開催いたします。本専攻は，わが国唯一の情報学の学術総合研究所である，国立情報学研究所に設置されています。都心に位置した好立地条件のもとで，社会人の方も仕事をしながら学び，研究することができます。今回の入試説明会は，主に2011年2月に実施される入試の受験希望者を対象としたものですが，それ以外でも，本専攻の研究・教育にご興味のある皆さまのご参加を歓迎いたします。ぜひ積極的なご参加とご周知を頂ければ幸いです。 ●入試説明会日　時：11月10日（水）17:00-19:00 会　場：12階会議室対　象：5年一貫制博士課程（学部卒業者及び卒見込者）／　　　　博士後期課程（修士課程修了者及び修了見込者）内　容（予定）： 17：00～18：30　出願について、学生生活紹介、所内見学 18：30～19：00　個別相談会 ※詳細はＨＰをご覧ください。　http://www.nii.ac.jp/graduate/guidance/ ○情報学専攻入学試験概要についてはこちら　http://www.nii.ac.jp/graduate/applications/index.html ○情報学専攻アクセス支援制度　入学を希望される方が、事前相談等で本専攻を訪問される際に　交通費を支給する制度があります。本説明会も対象です。　詳しくはこちら　http://www.nii.ac.jp/graduate/aid/access-aid.html ○情報学専攻についてのお問い合わせや募集要項等の資料請求はこちら　http://www.nii.ac.jp/graduate/contact/index.php ○総合研究大学院大学複合科学研究科情報学専攻HP http://www.nii.ac.jp/graduate/index.html ○国立情報学研究所HP http://www.nii.ac.jp/

1 0

CFP: LENLS 7 (Logic and Engineering of Natural Language Semantics 7)
by BEKKI Daisuke 27 Oct '10

27 Oct '10

（重複して受け取られた場合はご容赦ください）　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/‾bekki/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

2 1

Set Theory Seminar in Kobe
by Joerg Brendle 19 Oct '10

19 Oct '10

Set Theory Seminar in Kobe 以下の要領でセミナーを開催します．日時：2010年10月21日（木）15:00-17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：池上大祐（ヘルシンキ大学）題目：Wadge reducibility for the real line アブストラクト： In 1968, Wadge introduced Wadge reducibility for the Baire space, that is an analogue of many-one reducibility in recursion theory. For two subsets A, B of Baire space, we say A is Wadge reducible to B if there is a continuous function from the Baire space to itself such that A = f^{-1} (B). We can introduce Wadge degrees in the same way as many-one degrees. In the 1970s and 1980s, set theorists in California developed a beautiful theory of Wadge degree structure under ZF+AD+DC. On the other hand, we can easily introduce Wadge reducibility on any topological space as above. In 1998, Woodin claimed that Wadge reducibility on the real line is totally different from that on the Baire space. In this talk, we compare them and claim how different they are. This is joint work with Hisao Tanaka and Philipp Schlicht. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

数学基礎論若手の会2010・締切延長
by leibniz 18 Oct '10

18 Oct '10

logic-mlの皆様，数学基礎論若手の会の幹事の山下です。昨日10月18日（月）に募集を締め切ったのですが，講演枠，宿泊・食事にまだ余裕があるため締め切りをあと1週間延長し、10/26 （火）とします。いずれも先着順とし，枠が埋まり次第終了とします． ------- 日時：　11月19日（金）午後〜21日（日）午前場所：　愛知県青年の家（愛知県岡崎市, http://aichi-yh.jp/) 参加費用：フル参加でも1万円以内に収まると思います（多分8000円くらい）締め切り：10月18日（月）申し込みは下記情報を今年度幹事の山下 (leibniz7(a)gmail.com) までお知らせください．確認のメールを差し上げます．氏名性別メールアドレス所属身分宿泊・食事（全参加の場合は2泊5食となります）講演のご希望詳しくは2010年数学基礎論若手の会のページをごらんください： http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html =========================================== 愛知学院大学教養部山下秀康 email: yamasita(a)dpc.aichi-gakuin.ac.jp, leibniz7(a)gmail.com

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml