Logic-ml

9 participants
1781 discussions

ＲＩＭＳ研究集会「証明論と複雑性（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

数学基礎論若手の会２０１２（１１月２３−２５日・奈良）
by Kazushige TERUI 07 Jul '12

07 Jul '12

皆様：京都大学の照井一成と申します．今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の照井までお気軽にご連絡ください．日程： 11月23日(金)午後〜 25日(日)午前場所：奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/ 幹事：照井一成 (京都大学) terui(a)kurims.kyoto-u.ac.jp ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html [宿泊・食事] 宿泊は11月23日(金)と24日(土)の2晩，食事は23日(金)の夕食から 25日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 3,250円 (相部屋) 食事：朝食 700円，昼食 800円，夕食 900円 ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． ※ 宿泊や食事を伴わない参加も歓迎します。 [参加申し込み] 参加を希望される方は，幹事の照井にメールにてお申し込みください． <申込締切> 10月25日(木) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 23日(金)の夜 … ○ or × 24日(土)の夜 … ○ or × 食事： 23日(金)夕食 … ○ or × 24日(土)朝食 … ○ or × 24日(土)昼食 … ○ or × 24日(土)夕食 … ○ or × 25日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

教員公募(千葉大学)
by Takafumi SAKURAI 06 Jul '12

06 Jul '12

(重複して受けとられた方はご容赦ください．) 皆様千葉大学大学院理学研究科数学・情報数理コースの桜井貴文と申します。このメーリングリストをかりて本コースの教員公募を案内をさせていただきます。よろしくご検討ください． (本コースのホームページは http://www.math.s.chiba-u.ac.jp/ です。) 桜井貴文(sakurai(a)math.s.chiba-u.ac.jp) ============================================================================== 教員の公募について (依頼) 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース長桜井貴文このたび本研究科では、下記の要領で教員 1名を公募することになりました。つきましては、貴学の関係各位にお知らせいただくとともに、適任者をご存知の場合には応募をお勧めくださるようお願い致します。記 1. 公募職種および公募人員准教授または助教 1名 2. 所属大学院理学研究科基盤理学専攻数学・情報数理学コース情報数理講座 3. 専攻分野情報数理学（プログラム言語論、ソフトウェア基礎理論、アルゴリズム論、符号・暗号理論等） 4. 応募資格博士の学位を有すること、または採用までに取得予定のこと 5. 担当授業科目等大学院理学研究科および理学部の専門科目、特に情報数理学の科目 (プログラミング、アルゴリズム、言語処理系、数理論理学、計算理論等)からいくつか、および全学向け数学の共通科目、大学院理学研究科の研究指導を担当予定 6. 着任予定時期平成 25年 4月 1日以降のできるだけ早い時期 7. 提出書類 (1) 履歴書 (連絡先には電話番号および電子メールアドレスも記載) この公募では、准教授または助教の選考をします。准教授としてのみ応募される方は、その旨を明記して下さい。 (2) 研究業績リスト (3) 主要な論文の別刷 (またはその写し)５編以内 (4) これまでの研究成果の概要と今後の研究計画 (A4版用紙 2〜3枚程度) (5) これまでの教育経験の概要と今後の教育に対する抱負 (A4版用紙 1〜2枚程度) (6) 研究業績を問合せることのできる方の氏名、所属、連絡先および電子メールアドレス 8. 応募期限平成 24年 9月 28日 (金) 必着 9. 応募書類の提出先〒 263-8522千葉市稲毛区弥生町 1-33 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース桜井貴文封筒の表には「人事応募書類在中」と朱書して、上記宛てに簡易書留でお送り下さい。なお、応募書類返送を希望する場合は切手を貼った返送用封筒に返送先を記入して同封してください。返送用封筒がない場合は返送致しませんのでご了解ください。 10. 問合せ先桜井貴文研究室直通 043-290-2713 学科ファックス 043-290-2733 電子メールアドレス sakurai(a)math.s.chiba-u.ac.jp 11. その他＊応募者の方に千葉大学に来ていただき面接を行うことがあります。その場合、旅費は支給できませんので予めご了承下さい。＊千葉大学は男女共同参画を推進し、女性教員の採用促進を図るためのポジティブ・アクションに取り組んでいます。

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml