Logic-ml July 2012

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

16 participants
19 discussions

セミナー案内
by KASHIMA Ryo 12 Oct '12

12 Oct '12

数理論理学セミナーのご案内日時：12月22日(木)17時から場所：東京工業大学大岡山西８号館W棟11階 W1101セミナー室会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html 話者：藤原誠（東北大学）題目：結婚定理の逆数学概要： 1972年にManasterとRosensteinは可算版結婚定理を再帰理論的に分析し、通常の可算版結婚定理は計算可能には成立しないことを示した。一方、1983年にKiersteadは拡張Hall条件を導入し、計算可能に成立する結婚定理を得た。本発表では、拡張Hall条件を用いて考え得るあらゆる結婚定理の複雑さを逆数学的に分析する。また、Kiersteadとは別の観点から、計算可能に成立する結婚定理について考察する。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃＃＃＃詳細はお問い合わせください＃＃＃

1 1

【参加募集】数学基礎論サマースクール 2012「計算可能性とランダムネス」
by Kohtaro Tadaki 29 Jul '12

29 Jul '12

＜重複してお受け取りの方はご容赦ください＞皆様：中央大学の只木孝太郎です。数学基礎論サマースクール 2012を下記の要領で開催します。今年のテーマは「計算可能性とランダムネス」です。もしお近くに興味を持ちそうな学生さんなどがいましたら、ご案内いただければ幸いです。詳しくは、ホームページをご覧下さい。たくさんの皆様の参加をお待ちしております。 -------------------------------------------------- 数学基礎論サマースクール 2012 ホームページ： http://www2.odn.ne.jp/tadaki/LSS2012.html ◆テーマ：計算可能性とランダムネス ◆日時： 2012年9月4日（火）午後 -- 9月7日（金）午前 ◆場所：東京工業大学　大岡山キャンパス ◆参加費：無料 ◆参加申込：不要 -------------------------------------------------- ＜特記事項＞今年の数学基礎論サマースクールでは、チューリング生誕 100年を記念し、計算可能性の理論についての入門講座を開催します。講師は東工大の鹿島亮先生です。計算可能性の理論に興味を持つ一般の市民、学生、研究者の皆さんの参加を歓迎します。詳しくは、上記ホームページをご覧下さい。 -- 只木孝太郎 (Kohtaro Tadaki) 中央大学研究開発機構〒112-8551 東京都文京区春日1-13-27 E-mail: tadaki(a)kc.chuo-u.ac.jp

1 0

ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」・暫定プログラム公開
by Suzuki Toshio 26 Jul '12

26 Jul '12

　研究集会案内・暫定プログラム公開　（複数お受け取りの場合はご容赦ください）首都大学東京の鈴木登志雄です。以下の研究集会に多数の講演申込みをありがとうございます。参加申込みをされていない方の当日参加も歓迎します。 ------------------------------------------------------------------ ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」期間　２０１２年９月１２日（水）午後から１４日（金）午後場所　数理解析研究所４２０号室（収容人数１５０名） http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html ------------------------------------------------------------------ さて、暫定プログラム（７月２６日版）を公開しましたので取り急ぎお知らせいたします。 http://www.ac.auone-net.jp/~bellp/meeting/program0726.pdf 講演される方へ：ご意見や情報の追加がございましたら７月３０日（月）午前中までに鈴木 toshio-suzuki [atmark] tmu.ac.jp へご連絡いただけると助かります。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻

1 0

PLPV 2013 First Call for Papers
by Makoto Takeyama 26 Jul '12

26 Jul '12

皆様、（重複してお受け取りになられた場合はご容赦ください）産業技術総合研究所の武山と申します。この場をお借りしまして来年1月22日にPOPL 2013に併設して開催される国際ワークショップ PLPV 2013のCFPをご案内させていただきます。プログラミング言語とプログラム検証に跨る話題について、幅広く多くの研究コミュニティーからの論文投稿をお待ちしておりますので、ご検討いただけますようよろしくお願い申し上げます。 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge François Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Makoto Takeyama <makoto.takeyama(a)aist.go.jp> AIST/RISEC (National Institute of Advanced Industrial Science and Technology / Research Institute for Secure Systems) tel: +81-6-6494-8045

1 0

Kobe Colloquium on Logic, Statistics and Informatics (Ausgust 1, 2012)
by SAKAI Hiroshi 20 Jul '12

20 Jul '12

皆様：神戸大学の酒井拓史と申します． 8月1日(水)に開催される Kobe Colloquium on Logic, Statistics and Informatics のアナウンスをさせていただきます．ご興味をお持ちの方は是非ご参加ください： ------------------------------------------------------ Kobe Colloquium on Logic, Statistics and Informatics: ------------------------------------------------------ August 1, 2012 (Wed.) 16:30 - 18:00 (teabreak: 15:30 -) ``Topological Set Theory'' Dr. Andreas Fackler (LMU Munich) Abstract The idea behind positive set theory is to weaken the naive comprehension principle by omitting all instances in which negation occurs. For example, the universal class V is a set while the Russell class is not. Surprisingly, this approach leads to a theory in which V is a topological space in a natural way. Inspired by that fact, topological set theory TS instead of a comprehension principle has as its axioms several topological statements about V. Topological and positive set theory are closely related and in both of them there is an interesting interplay between the set theoretic and topological properties of V. Many basic theorems of TS remain true even without the axiom that the universal class V is a set, although one decisive statement about the ordinal numbers goes missing. Instead, a surprising connection to another familiar set theory arises ... In my talk, I will present this family of axiom systems and give an overview of results about their implications, their consistency strengths, and their interrelations. We will also look briefly at their (known) models -- topological structures called hyperuniverses -- and at methods to construct such objects. ------------------------------------------------------------------------------ The talk will be given in the presentation room of the group of Logic, Statistics and Informatics (inside the glass door with "Fuchino group" (written in Japanese) on the 4th floor in the Sience and Technology Building 3 http://kurt.scitec.kobe-u.ac.jp/~brendle/Forcing2012/university.jpg in Rokkodai Campus of Kobe University) There will be a dinner after the talk. 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6245

1 0

公募情報（大阪府立大学・数学）
by Masaru Kada 17 Jul '12

17 Jul '12

みなさま：大阪府立大学嘉田です．大阪府立大学では，このたび数学の准教授１名の公募を行うこととなりました．専門分野は特に問いません．採用予定日は，平成２５年４月１日です．この公募に関する詳しい情報（募集要項）と，必要な書式は http://www.osakafu-u.ac.jp/staff/index.html http://jrecin.jst.go.jp/seek/SeekJorDetail?fn=0&id=D112070662&ln_jor=0 においてあります．ご応募，ご推薦をお考えいただければ幸いです．よろしくお願い申し上げます． -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Call for Participation: International Workshop on Game Theory, Epistemic Logic, & Related Topics
by Suzuki, Nobu-Yuki 17 Jul '12

17 Jul '12

筑波大学の石川竜一郎さんからの依頼により、代理でご案内を投稿します。国際ワークショップ: International Workshop on Game Theory, Epistemic Logic, & Related Topics が８月２７日から３０日まで、筑波大学で開かれます。詳しくは http://infoshako.sk.tsukuba.ac.jp/~ishikawa/gamelogic12/ をご覧ください。宜しくお願い致します。鈴木信行＠静岡大学

1 0

「範疇文法と証明論」シンポジウム (7/21) プログラム
by BEKKI Daisuke 17 Jul '12

17 Jul '12

（重複して受け取られた場合はご容赦ください） ============================================== 第二回「範疇文法と証明論」シンポジウムのご案内 ============================================== 　「範疇文法と証明論」は、理論言語学、数理論理学、自然言語処理の学際シンポジウムです。範疇文法(Categorial Grammar)と証明論的意味論 (Proof Theoretic Semantics)を中心テーマとして、言語学者、論理学者、自然言語処理研究者が、それぞれの立場から研究発表を行います。　プログラムをお送り致します。どなたでも、お気軽にご参加下さい。日時：2012/7/21(土) 10:00-17:00 場所：お茶の水女子大学理学部3号館209-207（以下の地図の建物20の2F） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線茗荷谷駅徒歩7分、または有楽町線護国寺駅徒歩7分）備考：お茶の水女子大学に入構する際に、守衛所にて身分証明書の提示を求められます。 URL：http://researchmap.jp/joadanh3a-8286/#_8286 使用言語：日本語（質疑は英語可）参加費：無料講演予定： ------------------------------------------------------------------ 10:00-10:40 矢田部俊介（産業技術総合研究所）「範疇文法と証明論的意味論」 10:40-11:20 峯島宏次（慶應義塾大学）「Syllogistic logics and categorial grammar」 11:20-12:00 戸次大介（お茶の水女子大学）「範疇文法と限定継続」 12:00-14:00 昼食休憩 14:00-14:40 佐野勝彦（北陸先端科学技術大学院大学）「Inquisitive semantics and inquisitive logic」 14:40-15:20 上垣渉（MIT) 「選言を含む知識帰属とinquisitive logic」 15:20-15:30 休憩 15:30-16:10 窪田悠介（東京大学・JSPS）「Hybrid Type-Logical Categorial Grammar」 16:10-17:00 宮尾祐介・松崎拓也（国立情報学研究所）「大学入試における「論理」とは？」 ------------------------------------------------------------------

1 0

東北大学ロジックセミナーのご案内(7月20日)
by higurashi3873＠yahoo.co.jp 13 Jul '12

13 Jul '12

Logic-ml $B$N3'MM!$(B $B$3$s$P$s$O!$ElKLBg3X$NKYH*2B9($G$9!%(B 7$B7n(B20$BF|!J6b!K$KElKLBg3X$K$F2<5-%;%_%J!<$r9T$$$^$9$N$G!$6=L#$N$"$kJ}$O$<$R$4;22C$/$@$5$$!%(B $BFs9V1i$4$6$$$^$9!%(B ************************************************************************* $BF|;~!'(B7$B7n(B20$BF|!J6b!K(B15:30$B!A(B17:00 $B>l=j!'ElKLBg3X(B $BKL@DMU;3%-%c%s%Q%9(B $BM}3X9gF1Eo(B 1201$B9f<<(B $B-!(B15:30$B!A(B16:00 $B9V1i<T!'(B $B;3:j!!Ip(B $B!J(B $BElKLBg3XBg3X1!!&M}3X8&5f2J(B $B!K(B $B%?%$%H%k!'(B The Optimal Bounded Marriage Theorem $B%"%V%9%H%i%/%H!'(B J. Hirst showed that WKL_0 is equivalent over RCA_0 to the assertion that every bounded marriage problem satisfying Hall condition has a solution. In this talk, arranging the result, we mainly prove that ACA_0 is equivalent over RCA_0 to the assertion that every bounded marriage problem of the finite total utility satisfying Hall condition has an optimal solution. $B-"(B16:00$B!A(B17:00 $B9V1i<T!'(B $B2,K\(B $B7=;K(B $B!J@gBf9bEy@lLg3X9;!&Am9g2J3X7O!K(B $B%?%$%H%k!'(B $BL?BjMMAj&L7W;;$N0l3,3HD%$K$D$$$F(B $B%"%V%9%H%i%/%H!'(B $BK\H/I=$G$O!$0l3,MMAj&L7W;;(B($BL?BjMMAj&L7W;;$N0l3,3HD%(B)$B$H$=$N<~JU>u67$K$D$$$F2r@b$9$k!%$^$:!$0l3,MMAj&L7W;;$r9=C[$9$k$K;j$kGX7J$H$7$F!$7A<0<jK!$K$D$$$F=R$Y$k!%(B $B<!$K!$L?BjMMAj&L7W;;$H0l3,=R8lO@M}$r9g$o$;$F!$0l3,MMAj&L7W;;$rDj5A$9$k!%$=$N8e!$0l3,MMAj&L7W;;$N@-<A$N$&$A!$40A4@-$HI=8=NO$K$D$$$F=R$Y$k!%$5$i$K!$0l3,MMAj&L7W;;$NE,MQNc$H$7$F!$%;%^%U%)$K$h$kAj8_GS=|$NBEEv@->ZL@$r>R2p$9$k!%:G8e$K!$$^$H$a$H4XO"2]Bj$N>R2p$r9T$&!%(B ************************************************************************* $B0J>e$G$9!%(B $B%;%_%J!<>pJs$N>\:YEy$O2<5-@gBf%m%8%C%/$N%[!<%`%Z!<%8$+$i$b$4Mw$$$?$@$1$^$9!%(B https://sites.google.com/site/sendailogichomepage/ $BKYH*!!2B9((B -- -- $BElKLBg3XBg3X1!!!M}3X8&5f2J(B $B?t3X@l96!!;:3X41O"7H8&5f0w(B E-mail: higurashi3873(a)yahoo.co.jp

1 0

The 47th MLG Meeting
by Takahiro Seki 09 Jul '12

09 Jul '12

第47回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関と申します。　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催いたします。 ========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　期間: 2012 年 11 月 16 日(金) 〜 11 月 18 日(日) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2012 年 11 月 2 日（金）　世話人：関　隆宏（新潟大学），佐野勝彦（北陸先端科学技術大学院大学）　連絡先E-mail : mlg.logic.japan(a)gmail.com 　ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・11月17日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，11月17日（土）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。・講演・宿泊を希望される方は，11月2日(金)までに下記の形式で電子メールにて　mlg.logic.japan(a)gmail.com　まで申し込んでください。 ----------------------------------- 第47回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　16日(午後) / 17日(午前/午後) / 18日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　16日(夕食/宿泊) / 17日(朝食/昼食/夕食/宿泊) / 18日(朝食) 領収書について：　発行する / 発行しないその他：（講演時間の変更や講演日時の希望等） -----------------------------------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2012