- Logic-ml - fos.kuis.kyoto-u.ac.jp

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Oct '13

01 Oct '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ************************************* Yoshihito Tanaka Faculty of Economics, Kyushu Sangyo University (KSU) 2-3-1 Matsukadai, Higashi-ku, Fukuoka 813-8503, Japan e-mail ytanaka(a)ip.kyusan-u.ac.jp. tel +81-92-673-5216 *************************************

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Oct '13

01 Oct '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

セミナー案内
by KASHIMA Ryo 30 Sep '13

30 Sep '13

数理論理学セミナーのお知らせ日時：10月4日(金)15:00から場所：東京工業大学大岡山西８号館部屋未定（参加者希望者はメールをください．部屋確定後に個別にお知らせします）（１）話者：Daniel Günzel （ダルムシュタット工科大）題目：Logical Metatheorem: Background and practice 概要： A logical Metatheorem, due to Gerhardy-Kohlenbach, is introduced by presenting the main logical tools involved and showing some key aspects of the theory involved. After having done all the formal work, an application to a real world fixed point theorem (due to Fora) is given in several steps going to the formalization and modification process to finally obtain new constructive results. （２）話者：横山啓太（北陸先端科学技術大学院大）題目：Ramsey's theorem, its iteration and their strength 概要： In this talk, I will introduce several versions of iterated Ramsey's theorem, and study the strength of them. I will also consider finite versions of iterated Ramsey's theorem, which are independent from Peano arithmetic. In fact, some of them are strictly stronger than the famous independent statement by Paris/Harrington. ------ 問い合わせ先：鹿島亮（東京工業大学） kashima(a)is.titech.ac.jp

1 0

Fwd: Postdoc position in Operational Semantics in Warsaw
by Ichiro Hasuo 29 Sep '13

29 Sep '13

みなさま，ワルシャワ大学の Bartek Klin さんによるポスドク募集を転送します．蓮尾一郎 www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ --------------------------------------------------------------------------- A three-year postdoctoral position is available under the direction of Bartek Klin in the Institute of Informatics, University of Warsaw. The position is in the field of semantics of programming languages and process algebras, within the project "Modular operational semantics: a bialgebraic approach", funded by the Polish National Science Center. The applicants should have (or be close to completion of) a PhD degree in Mathematics or Computer Science, and be interested in topics such as semantics of programming languages, process algebra, formal methods, and/or category theory. The position is available from November 2013, but the starting date may be postponed on request of a suitable candidate. In addition, interested candidates are invited to apply for a postdoctoral fellowship at the Warsaw Center of Mathematics and Computer Science (http://www.wcmcs.edu.pl/node/41), with the rather short deadline of *** October 15th, 2013 ***. These are one-year positions (with a possible extension to two years), with an excellent salary which may be used as an additional source of funding for the first years of stay in Warsaw. For further information please contact Bartek Klin (klin(a)mimuw.edu.pl). ---------------------------------------------------------------------------

1 0

Philosophy of Logic and Speach Act Theory 集会のご案内（１０月５日慶応大三田キャンパス）
by Mitsu Okada 25 Sep '13

25 Sep '13

次の集会のご案内をさせていただきます。　岡田光弘（慶応大学哲学専攻） ――――――――――――――――――――――――――――――――――――― 国際ワークショップ (International Workshop) Philosophy of Logic and Speach Act Theory 論理と言語行為論の哲学 ――――――――――――――――――――――――――――――――――――― 開催日時：2013年10月5日(土) 13:30PM-17:00PM (17:30からレセプション有り。出席者無料) Date: October 5, 2013 (Sat) 13:30PM-17:30 PM 開催場所：慶應義塾大学三田キャンパス南館（法科大学院棟) 地下4階ディスタンスラーニング室 Place: Distance Learning Room, B4F (Basemant) of South building (Law school building),　 Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html ――――――――――――――――――――――――――――――――――――― 論理と言語行為論の哲学についての国際集会を開催します。特に今回はフランスＣＮＲＳ人文社会部門及びパリ大学ソルボンヌ＝パンテオン校(パリ大学第1校）哲学科との共同企画で講演および討論集会を行います。 - 提題講演者： Sandra Laugier (Universite Paris I, 哲学科教授) Pierre Wagner (Universite Paris I, 哲学科教授) - ディスカッションコーディネータ　岡田光弘（慶應義塾大学哲学専攻）＊発表言語は英語 - 参加方法：事前登録不要・参加費無料 (※セッション終了後の立食形式レセプションも参加自由です) Ｌａｕｈｉｅｒ教授は言語行為論、ウィトゲンシュタインの哲学などを専門とされ多くの著編著を出版されています。Ｗａｇｎｅｒ教授は論理の哲学、数学の哲学を専門とされ、クセジュ文庫の Logiqueなど多くの著作で知られています。 .Program (13:30PM,-!7:30PM) 1. Pierre Wagner (Professor, Department of Philosophy, Universite Paris I (Sorbonne) Pluralism and Universalism in Logic Discussion Pause 2.Sandra Laugier (Professor, Department of Philosophy, Universite Paris I (Sorbonne) The normality of the Ordinary, Performative Utterances and Social Reality: Reconsideration of Speach Act Theory of Austin Discussion -- 17:30PM- Reception (free of charge for all participants) 簡単な要旨を下に付けています。 ――――――――――――――――――――――――――――――――――――― 主催・企画：慶應義塾大学「思考と行動判断」の研究拠点共同企画：　ＣＮＲＳ人文社会学部門お問い合わせ先： E-mail: think-judge(a)abelard.flet.keio.ac.jp --------------------------------------- 1. Pluralism and Universalism in Logic Pierre Wagner 論理のPluralismとＵｎｉｖｅｒｓａｌｉｓｍの考え方とその問題点などを検討します。また、近年の論理学におけるこれに関係する動きについても議論します。例えば様々な部分構造論理や様相論理、動的論理系論理について論理的多元論の立場でとらえる考え方とそうでない立場でとらえる考え方について検討します。最近ののＵｎｉｖｅｒｓａｌ logicの運動についても批判的観点も含めて議論します。 2. The normativity of the Ordinary -Performative Utterrances and Social Reality The question of performative utterances seems inseparable from a reflection on social normativity, especially on the transgression of norms implied in Austin’s thorough study of the failures (abuses and misfires) of the performative, in /How to do things with words/. Austin’s discovery of speech acts rests ultimately on thought about law and normativity. It is a well known fact that H. L. A. Hart was a member of the seminar, held just after the war, in which Austin presented the theory of speech acts. Moreover, Reinach’s theory of social acts, an early form of the theory of speech acts, was developed in a legal context. Reinach’s work anticipates Austin’s so closely that some historians of speech act theory have proposed that Austin was aware, /via/ Ryle, of Reinach’s work. The connection between law and speech acts has engendered all sorts of difficulties and misunderstandings, especially with respect to the normativity of these acts and with respect to the existence of norms or rules grounding them (cf. Hart and Searle). My aim here is, first of all, to clarify the connection between speech acts, normativity, and law. This large question has often been taken up in order to make normative use of Austin’s theories, for example by Searle. It is therefore important to see what use can really be made of Austin’s work in the theory of norms. I will first approach this issue by examining the specific nature of the speech act in Austin. Reflection on law makes clear the variety of speech acts beyond the paradigmatic example of promising. It also shows what is truly at stake in Austin’s theory. Furthermore it alerts us to the full radicalism of Austin’s philosophy of language. In making performatives “social” acts determined by rules, Austin’s mainstream interpreters and inheritors neglect the properly linguistic dimension of Austin’s discovery. They also miss his critique of representationalism and of the very idea of states of affairs. Yet this critique is inseparable from his discovery of performatives. What is at stake, therefore, is the very idea of performance, that is to say, the very idea of agency, independently of all prior normativity and of any creation of a state of affairs or a social reality. -------------------------------------end of the announcement---------------------------

1 0

[CFP] PPL2014 論文募集のお知らせ: 第16回プログラミングおよびプログラミング言語ワークショップ
by Keisuke Nakano 19 Sep '13

19 Sep '13

＊＊＊重複して受け取られた場合はご容赦ください＊＊＊電気通信大学の中野と申します．来年3月に熊本県阿蘇市阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) のご案内です．詳細な投稿方法などは決定次第，下記ワークショップWebページにてお知らせしますので，ご投稿，ご参加をご検討ください． -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)～3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションを披露した学生に発表賞を授与する予定です．カテゴリ1（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2014参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2014プログラム委員会により優れていると認めるものは，PPL2014終了後（2014年4月下旬予定），「コンピュータソフトウェア」誌のPPL2014推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定する可能性があります． ====================================================================== 投稿・発表申込要領 3つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ------------------------------ 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： EasyChair による申込み受付を予定しています．発表申込締切：2013年12月20日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2014年1月8日(水) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2014年2月3日(月) 最終原稿提出締切：2014年2月14日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込締切：2014年1月24日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2014年2月5日(水) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込締切：2014年2月7日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200〜300字程度）をご提出ください．採否通知：2014年2月14日(金) 問い合わせ先：ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

「NII湘南会議」の企画募集のご案内(9/15, 12/15, 6/15締切)
by Soichiro Hidaka 11 Sep '13

11 Sep '13

logic-mlの皆様、国立情報学研究所の日高と申します。本メーリングリストをお借りして、国立情報学研究所の主催で、アジアにおける最初のダグスツールスタイル・セミナーとなる「NII湘南会議」の企画募集をご案内させて頂きたいと思います。 NII湘南会議は、情報学の分野で世界的にトップレベルの研究者が一堂に会し、叡智を分け合う場を提供します。会議は、毎月開催し、成田国際空港からもアクセスのよい湘南国際村センターにて行われます。富士山をバックに、湘南海岸を眼下に見下ろす景観が楽しめます。詳しくは、リーフレット http://www.nii.ac.jp/shonan/wp-content/uploads/2010/07/NII-Shonan-Meeting-B… もしくは本メールの後半の英文企画募集のほか、下記webサイトをご参照下さい。 http://www.nii.ac.jp/shonan/ (英文) http://www.nii.ac.jp/about/international/shonanmtg/ (和文概要) 企画は随時受付けておりますが、年に3回締切りがあり、直近の締切りは 9月15日で、その後12月15日、6月15日と続きます。是非ご検討いただければ幸いです。 ---- NII SHONAN MEETINGS: CALL FOR PROPOSAL (1) Objective NII Shonan Meetings, following the well-known Dagstuhl Seminars, aim to promote informatics and informatics research at an international level, by providing yet another world's premier venue for world-class scientists, promising young researchers, and practitioners to come together in Asia to exchange their knowledge, discuss their research findings, and explore a cutting-edge informatics topics. The meetings are held in Shonan Village Center (near Tokyo), which offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. The friendly and open atmosphere is to promote a culture of communication and exchange among the meeting participants. The NII Shonan Meetings are managed by National Institute of Informatics (NII) in Japan. (2) Scope and Style NII Shonan Meetings follow the style of the Dagstuhl Seminars. A meeting usually lasts for four days (Monday to Thursday) or shorter. It is initiated by at most three organizers (one from Asia), established leaders in their field, representing different communities invited to the Seminar, preferably from different institutions. NII invites on their behalf about 25 to 35 researchers of international standing from academia and industry. Like Dagstuhl Seminars, an NII Shonan Meeting typically does not come with a fixed program. Instead, the pace and the program are guided by topics and presentations that evolve through discussions. In particular, NII does not require participants to submit a paper for presentation, or to give a presentation at all. On the contrary, NII encourages participants to present new ideas and work in progress. All administrative works of meetings are supported by the NII team in the preparation phase and during the seminars themselves, so that the organizers can focus on choosing research topics and selecting active researchers for the meeting. (3) Proposal Submissions NII invites international standing scientists to submit proposals for international meetings (with about 25-35 participants) on any topics of informatics. The proposal should clearly motivate the topic of your seminar and include the following items: - Meeting Title - Organizers (at most three, 1-page CV for each) - Proposed Dates for the Meeting - Description of the Meeting (1-2 pages, in English) - Invitation list (Position/First Name/Middle Name/Last Name/Affiliation/Email/Gender/URL/research list) The proposal should be submitted via the following EasyChair page: http://www.easychair.org/conferences/?conf=nim1 The proposal will be reviewed by the Academic Committee. Once the proposal is approved, our staff will help to organize the seminar. We welcome proposal submission anytime through a whole year, although submission is closed in June 15th, September 15th and December 15th. Notification of acceptance is only made after two or three months of each closing day. More information about submitting proposals: http://www.nii.ac.jp/shonan/proposal-submissions/ (4) Locations and Expenses The meetings are held in Shonan Village Center (near Tokyo), whose nearest train station can be accessed by a direct train from Narita International Airport, and offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. http://www.shonan-village.co.jp/svc/ The following rates cover overnight accommodation (single room) and full board (breakfast, lunch, and dinner) per day: - Meeting organizers: free - Participants from academia: 8,000 Yen/day - Participants from industry: 15,000 Yen/day - Partner accompanying participant: 7,500 Yen/day (Meal charges are not included.) (5) Organization Organization Committee: Yoh'ichi Tohkura (NII): Chair Isao Echizen (NII) Cheung Gene (NII) Soichiro Hidaka (NII) Zhenjiang Hu (NII) Junichi Yamagishi (NII) Toyomi Takekawa (NII) Academic Committee: Zhenjiang Hu (NII): Chair Akiko Aizawa (NII) Katsumi Inoue (NII) Noriko Kando (NII) Ken'ichi Kawarabayashi (NII) Jeff Kramer (Imperial College London) Kae Nemoto (NII) Bashar Nuesibeh (Lero/Open Univ.) Yoichi Sato (Univ. of Tokyo) Ken Satoh (NII) Shin'ichi Satoh (NII) Satoshi Sekine (New York Univ./Rakuten Inst. of Tech.) Akihiko Takano (NII) (6) Inquiry Should you have any questions, please feel free to contact us by sending an email to shonan(a)nii.ac.jp More information about NII Shonan Meetings is available at the following website: http://www.nii.ac.jp/shonan/ 国立情報学研究所アーキテクチャ科学研究系助教日高宗一郎総合研究大学院大学複合科学研究科情報学専攻併任博士(工学) hidaka(a)nii.ac.jp http://research.nii.ac.jp/~hidaka 〒101-8430 東京都千代田区一ツ橋2-1-2 学術総合センタービル内 TEL:03-4212-2586(直)/03-4212-2000(代) 内線2586 FAX:03-4212-2120

1 0

超準解析シンポジウム（第3報）
by Hiroshi Akiyama 10 Sep '13

10 Sep '13

関係各位： 2013年度超準解析シンポジウムを下記の要領で開催いたしますのでご案内申し上げます．　静岡大学　明山　浩　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月18日(水)12：30 から 9月19日(木)12：30 まで　会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンパス）　　　工学部6号館 12教室　　　（北門のすぐそばの5階建ての建物の1階です）会場への交通：遠鉄（遠州鉄道）バスをご利用の場合，JR浜松駅北口バスターミナル15番または16番のりばで乗車，「静岡大学」で下車（所要時間は約20分，運賃180円）．会場アクセスHP： http://www.eng.shizuoka.ac.jp/outlines/p07/ 本シンポジウムは科研費挑戦的萌芽研究(24654021) (研究代表者：小澤正直) の助成を受けております．プログラム９月１８日（水） 12：30--13：00 受付 13：00--13：40 明山　浩　（静岡大学）　多様体上の熱核に対する超準的方法 13：50--14：35 横山啓太　（北陸先端科学技術大学院大学）　弱い組合わせ命題と超準的手法 14：50--15：35 山下秀康　（愛知学院大学）　コヒーレント状態経路積分と de Broglie 場 15：45--16：30 知沢清之　（管理工学研究所）　On the two methods to prove the existence of 4-dimensional canard 16：40--17:10 ショートコミュニケーション懇親会９月１９日（木） 9：30--10：15 柳川　信　（筑波大学）　A non-standard construction of p-adically closed fields 10：25--11：10 村上雅彦　（東京医科大学）　Yet another quantum set theory 11：25--12：10 松永　隆　（大阪府立成人病センター）　A key lemma to a nonstandard proof of the Doob-Meyer theorem 12：30 連絡事項等，　閉会　　 ************** 静岡大学大学院工学研究科数理システム工学専攻，工学部共通講座（数学）　明山　浩 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

$B9V1i$N$*CN$i$;!J(BJamie Vicary$B;a(B, 2013$BG/(B9$B7n(B12$BF|!K(B
by Hasegawa Masahito 03 Sep '13

03 Sep '13

$B3'MM!"(B $B0J2<$NFbMF$G!"(BOxford$BBg3X$N(BJamie Vicary$B$5$s$N9V1i$rM=Dj$7$F$*$j$^$9!#(B $B7wO@$rMQ$$$?NL;R7W;;!&NL;R>pJs$N8&5f$K4X$9$kOCBj$G$9$,!"Hs@lLg2H$N(B $BJ}$bG0F,$KCV$$$F$*OC$7D:$-$^$9!#3'MM$N$4;22C$r$*BT$A$7$F$*$j$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ---------------------------------------------------------------------- $B9V1i<T(B Jamie Vicary $B;a(B (Dept. Computer Science, Univ. Oxford / Centre for Quantum Technologies, Univ. Singapore) $BBjL\(B THE GEOMETRY OF QUANTUM AND CLASSICAL INFORMATION $BF|;~(B 2013$BG/(B9$B7n(B12$BF|!JLZ!K(B11:00-12:00 $B>l=j(B $B5~ETBg3XAm9g8&5f#29f4[(B 4$B3,(B478$B9f<<(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!J?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!"$4Cm0U2<$5$$!K(B $B35MW(B Recent work has shown a beautiful connection between geometry and information flow, in both quantum and classical computer science. Diagrams involving points, lines and regions encode basic phenomena such as quantum measurement, entanglement creation, secret key preparation and encryption. Procedures such as quantum teleportation, quantum dense coding and encrypted communication can then be defined as equations between these diagrams, such that solutions to these equations in the correct 2-category correspond precisely to implementations of these algorithms in the ordinary sense. This work has many connections to other areas of mathematics and physics, such as topological quantum field theory, representation theory, and higher category theory, which I will briefly describe. All mathematical aspects will be introduced from scratch, so this talk should make sense to non-specialists. $BLd9g$;(B $BD9C+@n???M!J5~ETBg3X?tM}2r@O8&5f=j!K(B<hassei at kurims.kyoto-u.ac.jp> ----------------------------------------------------------------------

1 0

第２９回量子情報技術研究会（QIT29）のご案内
by NISHIMURA Harumichi 03 Sep '13

03 Sep '13

logic-mlの皆様，第２９回量子情報技術研究会のご案内を代理投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ------------------------------------------------------------------------ 第29回量子情報技術研究会 (QIT29) のご案内研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第29回研究会を下記のように開催致します．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．日時: 2013年11月18日(月)〜19日(火) 会場: 早稲田大学西早稲田キャンパス 63号館2階04-05会議室 (〒169-8555 東京都新宿区大久保 3-4-1) 発表募集分野 (申し込み状況によっては査読の可能性あり) 量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その関連分野定員: 150名参加費: 事前振込み一般6,000円，学生1,000円 (当日会場払いは一般7,000円，学生2,000円) (懇親会は別途) 研究会参加申込要領参加申込は下記 Web より受付けます： http://staff.aist.go.jp/s-kawabata/qit/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用します．【口頭講演申込締切】 2013年10月 4日(金) 【ポスター講演申込締切】2013年10月18日(金) 【予稿原稿提出締切】 2013年10月18日(金) 【参加申込締切】 2013年10月25日(金) 【問合先】中里弘道 (早稲田大学先進理工学部) 湯浅一哉 (早稲田大学先進理工学部) 青木隆朗 (早稲田大学先進理工学部) 和久井健太郎 (情報通信研究機構) Email: qit29(a)list.waseda.jp 主催: 量子情報技術時限研究専門委員会 (委員長: 枝松圭一 (東北大学)) 共催: 応用物理学会量子エレクトロニクス研究会 ------------------------------------------------------------------------

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Sep '13

01 Sep '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

Book Series: Logic in Asia について
by 小野寛晰 30 Aug '13

30 Aug '13

皆様北京の清華大学の Fenrong Liu さんとともに、新たな book series "Logic in Asia" を企画してきました。最近 Springer と契約を終え、Studia Logica Library の Trends in Logic と並ぶ一シリーズとして今後モノグラフやプロシーディングスを出版していくことになります。proposal 等の形式は近く Springer のサイトに記載される予定ですが、Trends in Logic とほぼ同様になる予定です。添付したファイルにこのシリーズの概要がありますので、ご検討ください。またご質問等ありましたら私宛にご連絡ください。小野寛晰

1 0

超準解析シンポジウム（第2報）
by Hiroshi Akiyama 28 Aug '13

28 Aug '13

皆様： 2013年度超準解析シンポジウム世話人の明山（静岡大学）です．プログラム（暫定版）を作成いたしました．日程は最初の予定から短縮しました．懇親会を9月18日（水）夕方からと考えております．場所等は未定です．シンポジウムに参加されるかたは，お手数ですが懇親会へのご出欠を9月9日（月）までに私までお知らせいただければ幸いです．　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月18日(水)12：30 から 9月19日(木)12：30 まで　会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンパス）　　　工学部6号館（旧・共通棟）12教室　　　（北門のすぐそばの5階建ての建物の1階です）会場への交通：遠鉄（遠州鉄道）バスをご利用の場合，JR浜松駅北口バスターミナル15番または16番のりばで乗車，「静岡大学」で下車（所要時間は約20分，運賃180円）．プログラム（暫定版）９月１８日（水） 12：30--13：00 受付 13：00--13：40 明山　浩　（静岡大学）　多様体上の熱核に対する超準的方法 13：50--14：35 横山啓太　（北陸先端科学技術大学院大学）　弱い組合わせ命題と超準的手法 14：50--15：35 山下秀康　（愛知学院大学）　コヒーレント状態経路積分と de Broglie 場 15：45--16：30 知沢清之　（管理工学研究所）　On the two methods to prove the existence of 4-dimensional canard 16：40--17:20 （予備：追加講演またはショートコミュニケーション）懇親会（予定）９月１９日（木） 9：30--10：15 柳川　信　（筑波大学）　A non-standard construction of p-adically closed fields 10：25--11：10 村上雅彦　（東京医大）　Yet another quantum set theory 11：25--12：10 松永　隆　（大阪府立成人病センター）　A key lemma to a nonstandard proof of the Doob-Meyer theorem 12：30 連絡事項等，　閉会　　 ************** 世話人：静岡大学工学部共通講座　　明山　浩　　　　　 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

[CFP] *Deadline Extended* 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2013)
by Takashi KITAMURA 28 Aug '13

28 Aug '13

みなさま、こんにちは、産総研の北村崇師です。今年10月にニュージーランドで開催の FTSCS2013 の論文投稿締め切りが9月6日に延長されましたのでお知らせいたします。 http://www.ftscs.org/ > FTSCS2013 は形式手法をテーマにしたワークショップです。 > 研究論文だけでなく、経験論文や調査論文、ツール論文、ポジションペーパも募集しています。 > Proceedings は Springer の CCIS より出版され、FTSCS2013 を基にElsevier の Science of Computer Programming で特集号が企画される予定です。是非論文投稿をご検討ください。よろしくお願い致します。 --------------------------------------------------------------------- *** Deadline extended to September 6th *** --------------------------------------------------------------------- Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 6, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy Krishnan Oracle Labs Brisbane, Australia Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Tang Nguyen UST Hanoi, Vietnam Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Grigore Rosu University of Illinois at Urbana-Champaign, USA Neha Rungta NASA Ames, USA Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Michael Whalen University of Minnesota, USA Peng Wu Chinese Academy of Sciences, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073 Internal Tel: *33-274-71902

1 0

JAIST Logic Seminar Series
by Takako Nemoto 26 Aug '13

26 Aug '13

皆様直前のお知らせになって申し訳ありません。ジーゲン大学（ドイツ）の Hannes Diener 博士の講演のお知らせです。ふるってご参加ください。問い合わせ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: t-nemoto(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Wednesday 28 August, 2013, 15:30- Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Title: The recursive part of constructive reverse mathematics Abstract: http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf

1 0

Workshop on Relevant Logics
by KASHIMA Ryo 24 Aug '13

24 Aug '13

皆様、 Relevant logic に関係する研究者の交流，情報交換を目的としたワークショップを開催します。どなたでもご参加いただけますが，参加の場合は事前に御一報ください。日時：9月10日(火) 13:00から場所：東京工業大学大岡山キャンパス西８号館W棟10階1008号室プログラム： 13:00 鹿島亮（東工大） Relevant logic の定式化について 14:00 吉満昭宏（琉球大）関連論理Bの情報的意味論 15:15 佐野勝彦（JAIST） Alternative Semantics for Visser’s Basic Propositional Logic 16:15 大森仁（学振海外特別研究員，ニューヨーク市立大学・ボーフム大学）否定と関連(連関)論理 17:15 古森雄一 Relevant logic との出会い詳細はこちら： http://www.is.titech.ac.jp/~kashima/Events/RelevantLogic2013.html 問い合わせ先：鹿島亮 kashima(a)is.titech.ac.jp

1 0

SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 20 Aug '13

20 Aug '13

みなさま，下のお知らせ，再送させてください．アップデートですが： - ウェブページを更新しました．参加者・講演者，スケジュール（仮）が見えます．https://sites.google.com/site/slagics2013/ - 参加申込，まだまだ受付中です（9/13 まで）．講演スロットもまだまだありますので，講演希望の方もぜひどうぞ！暫定プログラムが https://docs.google.com/spreadsheet/ccc?key=0AnyEiro37woZdEo3MkY1c1pUYjFlek… ですが，3日間朝から夕方までやるき満々です． - 旅費補助・数研宿舎の申込は締切りました．どうかよろしくお願いいたします！ SLAGICS organizers: 星野直彦，蓮尾一郎 2013/6/3 Ichiro Hasuo <ichiro(a)is.s.u-tokyo.ac.jp>: > (English below) > > みなさま，（何人かの方々には bcc で失礼します） > > こんにちは！東京大学の蓮尾です． > > 京都大学数理解析研究所で行うワークショップ > > SLAGICS 2013: ALGI and SLACS join forces > 京都大学数理解析研究所 RIMS研究集会 > 2013/9/24（火） -- 2013/9/26（木） > https://sites.google.com/site/slagics2013/ > > へのお誘いです． > > === 背景 ============================== == > 毎年行われている研究集会 > > ALGI (Algebra, Logic and Geometry in Informatics) > 代数, 論理, 幾何と情報科学研究集会 > http://sakura.math.kyushu-u.ac.jp/algi/ > > と > > SLACS (Symbolic Logic and Computer Science) > 記号論理と情報科学研究集会 > http://www.math.s.chiba-u.ac.jp/SLACS/ > > は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直 > 彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の > 研究集会として共催をすることにしました． > （応募に際してご協力いただいた皆さま，どうもありがとうございました． > 無事採択されました） > > 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が， > 特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共 > 同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場 > にできればと考えております． > > === プログラム ================================ > > 9/24 は SLACS day > 9/25 は相互乗り入れ day > 9/26 は ALGI day > > とします（なんとなく）．9/25 には，東京大学の塚田武志さん > http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ > によるゲーム意味論のチュートリアルを予定しています． > 懇親会は 9/24 です． > > 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講 > 演の数によっては短縮の可能性があります． > > === 旅費の補助・宿泊 ================================ > > 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の > 宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは > https://sites.google.com/site/slagics2013/practical > をごらんください． > > === 参加登録 ================================ > https://sites.google.com/site/slagics2013/registration > からお願いします． > > 参加登録の締切は， > > - 旅費希望または北白川学舎宿泊希望のかたは， > *** 2013/8/16 （金）*** > （ただし基本的に早い者勝ちなので，早めがおすすめです） > - それ以外の方は *** 2013/9/13 （金）*** > > とさせてください． > > > ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね． > それでは！ > > SLAGICS 2013 オーガナイザー > > 星野直彦 > 京都大学数理解析研究所 > http://www.kurims.kyoto-u.ac.jp/~naophiko/ > > 蓮尾一郎 > 東京大学コンピュータ科学専攻 > http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ > > > > ======================================================== > > SLAGICS 2013: ALGI and SLACS join forces > RIMS, Kyoto University > 2013/9/24 (Tue) -- 2013/9/26 (Thu) > https://sites.google.com/site/slagics2013/ > > > ALGI and SLACS are two series of workshops in Japan whose > interests range widely from formal logic and semantics to > algebraic geometric, and categorical methods, with emphases on > computer science. This year the two series join forces and > hold a joint workshop in Kyoto. > > Though many talks will be in Japanese, your contributed talks > in English are most welcome and appreciated. See > > https://sites.google.com/site/slagics2013/practical-in-english > > for some practical information. (There will be travel support by > courtesy of RIMS, Kyoto University). The registration deadlines are: > > - *** Fri 16 Aug *** if you'd like travel support or a room > at the RIMS accommodation (but do it ASAP since these are > first come, first served); > - *** Fri 13 Sep *** otherwise. > > Looking forward to seeing you in Kyoto! > > Best regards, > > SLAGICS 2013 Organizers: > Naohiko Hoshino > RIMS, Kyoto U. > http://www.kurims.kyoto-u.ac.jp/~naophiko/ > > Ichiro Hasuo > Dept. CS, U. Tokyo > http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 0

Extended Deadline: AAA 2013 - 1st International Workshop on Argument for Agreement and Assurance
by Hiroyuki Kido 14 Aug '13

14 Aug '13

Apologies for cross-postings. =============================================================== 1st International Workshop on Argument for Agreement and Assurance (AAA 2013) Kanagawa, Japan October 27-28, 2013 http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/ *** Extended deadline: August 24 *** =============================================================== OVERVIEW: ---------------- Submissions are invited for the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013). The workshop will be held in Keio University Hiyoshi Campus, Kanagawa, Japan, on October 27-28, 2013, as part of the Japanese Society for Artificial Intelligence international symposia on AI (JSAI-isAI) 2013. Argumentation has now become an interdisciplinary challenging research area in AI aiming at formalizing various aspects of human or/and computer software argument in terms of computation, and applying those knowledge to various fields. Scope of argumentation in AI includes human arguments appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Results of argumentation in AI are widely applicable to various fields such as consensus building, agreement formation, multiagent systems, semantic web, recommendation systems, argument mining, learning, belief revisions, chance discovery, safety engineering, etc. In particular, safety engineering is a research area that is interested in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for certification bodies to issue a license to developing and operating bodies, for system stakeholders to make agreement, for system administrators to achieve accountability, etc. AAA 2013 contributes to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments. AAA 2013 solicits contributions from broad range of researchers related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance. AAA 2013 seeks high-quality original submission of full papers limited to 14 pages including figures, references, etc. All submissions will be rigorously peer reviewed with double blind. Selected papers will be included in JSAI-isAI 2013 post-proceedings as a volume of LNAI published by Springer Verlag. AIMS AND SCOPE: -------------------------- AAA 2013 aims to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments, and to share current limitations and problems of argumentation in AI in terms of both theory and practice. Topics of interest include but are not limited to the following: - Abstract and structured argumentation systems including studies of frameworks, proof-theories, semantics, complexity, etc. - Dialogue systems for persuasion, negotiation, deliberation, eristic, information-seeking dialogues, etc. - Applications of argumentation and dialogue systems to various fields such as agreement technologies, systems assurance, safety engineering, multi-agent systems, practical reasoning, belief revision, learning, semantic web, etc. - Agreement and assurance technologies through arguments including safety cases, assurance cases and dependability cases, etc. - Tools for argumentation systems, dialogue systems, argument-based stakeholders' agreement, argument-based accountability achievement, argument-based open systems dependability, argument-based verification and validation, etc. IMPORTANT DATES: ---------------------------- - Workshop Submission Deadline: August 24, 2013 (Extended!) - Workshop Author Notification: September 15, 2013 - Workshop Camera-ready: September 30, 2013 - Workshop Date: October 27-28, 2013 SUBMISSION INSTRUCTIONS: ------------------------------------------ We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from Springer Online, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form. Here is the submission page. https://www.easychair.org/account/signin.cgi?conf=aaa2013 If a paper is accepted, at least one author of the paper must register the workshop and present it. PROCEEDINGS: ---------------------- A printed volume of the proceedings will be available at the workshop. Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2013 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. VENUE: ---------- The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN. ORGANIZING COMMITTEE: -------------------------------------- - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Gakuin Univ., Japan) - Hiroyuki Kido (Univ. of Tokyo, Japan) PROGRAMME COMMITTEE: -------------------------------------- - Takashi Kitamura (AIST, Japan) - Sarah Alice Gaggl (Technische Universität Dresden, Germany) - Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina) - Paolo Torroni (Univ. of Bologna, Italy) - Gabriele KernIsberner (Technische Universitaet Dortmund, Germany) - Ken Satoh (National Institute of Informatics, Japan) - Chiaki Sakama (Wakayama Univ., Japan) - Toshinori Takai (Nara Institute of Science and Technology, Japan) - Antonis Kakas (Univ. of Cyprus, Cyprus) - Iyad Rahwan (Masdar Institute of Science & Technology, UAE) - Pavlos Moraitis (Paris Descartes Univ., France) - Stefan Woltran (Vienna Univ. of Technology, Austria) - Phan Minh Dung (Asian Institute of Technology, Thailand) - Juergen Dix (Clausthal Univ. of Technology, Germany) - Martin Caminada (Univ. of Aberdeen, UK) - Makoto Takeyama (Kanagawa Univ., Japan) - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Univ., Japan) - Hiroyuki Kido (Univ. of Tokyo, Japan) - Shuichiro Yamamoto (Nagoya Univ., Japan) - Yutaka Matsuno (Univ. of Electro-Communications, Japan) - Tim Kelly (Univ. of York, UK) - John Rushby (SRI, USA) - John Knight (Univ. of Virginia, USA) - Ewen Denney (NASA/Ames, USA) - Charles Weinstock (SEI, USA) - Robin Bloomfield (City Univ. of London, UK)

1 0

Kobe Colloquium on Logic, Statistics and Informatics, August 19 (Sheila Miller)
by Joerg Brendle 13 Aug '13

13 Aug '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年8月19日（月）15:00-16:30 講演者：Sheila Miller (CUNY ニュー・ヨーク) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： How not to construct the free two-generated left distributive algebra アブストラクト： We begin with an extended introduction to free left distributive algebras (LDs) including a normal form theorem for the one-generated free LD, which itself arises naturally from the assumption of a very large cardinal axiom. After discussing some applications and open problems, we make remarks on the impossibility of using forcing to construct a two-generated free LD by lifting the rank-to-rank elementary embedding used to create the one-generated free LD. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

**講演希望の方もお早めに** SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 13 Aug '13

13 Aug '13

みなさま，蓮尾です．ALGI + SLACS = SLAGICS 2013 のお知らせを再送します．すみません，日程を確定させる必要上，講演希望の方も早め（できれば今週中，8/16 金曜日まで）に参加申し込みをお願いいたします． https://sites.google.com/site/slagics2013/registration それでは，京都でお会いしましょう！蓮尾一郎 ============================== (English below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学の蓮尾です．京都大学数理解析研究所で行うワークショップ SLAGICS 2013: ALGI and SLACS join forces 京都大学数理解析研究所 RIMS研究集会 2013/9/24（火） -- 2013/9/26（木） https://sites.google.com/site/slagics2013/ へのお誘いです． === 背景 ================================ 毎年行われている研究集会 ALGI (Algebra, Logic and Geometry in Informatics) 代数, 論理, 幾何と情報科学研究集会 http://sakura.math.kyushu-u.ac.jp/algi/ と SLACS (Symbolic Logic and Computer Science) 記号論理と情報科学研究集会 http://www.math.s.chiba-u.ac.jp/SLACS/ は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の研究集会として共催をすることにしました． 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場にできればと考えております． === プログラム ================================ 9/24 は SLACS day 9/25 は相互乗り入れ day 9/26 は ALGI day とします（なんとなく）．9/25 には，東京大学の塚田武志さん http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ によるゲーム意味論のチュートリアルを予定しています．懇親会は 9/24 です． 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講演の数によっては短縮の可能性があります． === 旅費の補助・宿泊 ================================ 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは https://sites.google.com/site/slagics2013/practical をごらんください． === 参加登録・講演の申し込み ============================== https://sites.google.com/site/slagics2013/registration からお願いします．参加登録の締切は， - 講演希望，旅費希望または北白川学舎宿泊希望のかたは， *** 2013/8/16 （金）*** （ただし基本的に早い者勝ちなので，早めがおすすめです） - それ以外の方は *** 2013/9/13 （金）*** とさせてください．ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね．それでは！ SLAGICS 2013 オーガナイザー星野直彦京都大学数理解析研究所 http://www.kurims.kyoto-u.ac.jp/~naophiko/ 蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ======================================================== SLAGICS 2013: ALGI and SLACS join forces RIMS, Kyoto University 2013/9/24 (Tue) -- 2013/9/26 (Thu) https://sites.google.com/site/slagics2013/ ALGI and SLACS are two series of workshops in Japan whose interests range widely from formal logic and semantics to algebraic geometric, and categorical methods, with emphases on computer science. This year the two series join forces and hold a joint workshop in Kyoto. Though many talks will be in Japanese, your contributed talks in English are most welcome and appreciated. See https://sites.google.com/site/slagics2013/practical-in-english for some practical information. (There will be travel support by courtesy of RIMS, Kyoto University). The registration deadlines are: - *** Fri 16 Aug *** if you'd like travel support, a room at the RIMS accommodation, and/or a talk slot (but do it ASAP since these are first come, first served); - *** Fri 13 Sep *** otherwise. Looking forward to seeing you in Kyoto! Best regards, SLAGICS 2013 Organizers: Naohiko Hoshino RIMS, Kyoto U. http://www.kurims.kyoto-u.ac.jp/~naophiko/ Ichiro Hasuo Dept. CS, U. Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 0

Kobe Colloquium on Logic, Statistics and Informatics, August 13 (Luz Garcia)
by Joerg Brendle 11 Aug '13

11 Aug '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年8月13日（火）13:20-14:50 講演者：Luz García (バルセロナ大学と神戸大学) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Forcing Arguments in Infinite Ramsey Theory アブストラクト： Neil Hindman proved a Ramsey-like result that was conjectured by Graham and Rotschild. Hindman's Theorem asserts that if the set of all natural numbers is divided into two classes, one of the classes contains an infinite set such that all finite sums of distinct members of the set remain in the same class. Hindman's original proof was greatly simplified by James Baumgartner. We will present a proof of this theorem which relies on forcing arguments. The analysis of the partial order arising in the proof of Hindman's Theorem, which we denote by P_{FIN}, is our main interest. The partial order P_{FIN} is similar both to the one due to Matet and to Mathias forcing. This prompts the question whether it is equivalent to one of them or not. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics
by Suzuki, Nobu-Yuki 10 Aug '13

10 Aug '13

皆様金子守さんの依頼で代理投稿いたします。よろしくお願いします。鈴木信行（静岡大学） ------------------------------- 皆様筑波大学の石川です。先日ご案内申し上げた八月のコンファレンス The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics: http://infoshako.sk.tsukuba.ac.jp/~ishikawa/gamelogic13/ のプログラムが添付ファイルのように決定しました。興味のある方のご参加を歓迎致しますので，奮ってご参加ください。また，初日の夜はconference dinnerを計画しております。こちらにご参加ご希望の方は，石川(ishikawa(a)sk.tsukuba.ac.jp) までご連絡いただければと思います。石川竜一郎 --------------------------------------------------------------- Ryuichiro ISHIKAWA (Associate Professor). Faculty of Engineering, Information and Systems, University of Tsukuba, 1-1-1 Ten-nodai, Tsukuba 305-8573, Japan Tel: +81-(0)29-853-5072 Fax: +81-(0)29-853-5070 URL: http://infoshako.sk.tsukuba.ac.jp/~ishikawa/index.html e-mail: ishikawa(a)sk.tsukuba.ac.jp

1 0

2013LLS
by Toshihiko Kurata 06 Aug '13

06 Aug '13

皆様， 09月15日〜19日に「ラムダ計算と論理の晩夏セミナー」が予定されていますので，御案内させて頂きます．詳細はHPが http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/index2.ht… にありますので御確認下さい．今回の宿泊・参加に関する連絡は倉田（法政大学）まで頂けたらと思います．お気軽に参加を検討頂けますと幸いです．よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 04 Aug '13

04 Aug '13

(English below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学の蓮尾です．京都大学数理解析研究所で行うワークショップ SLAGICS 2013: ALGI and SLACS join forces 京都大学数理解析研究所 RIMS研究集会 2013/9/24（火） -- 2013/9/26（木） https://sites.google.com/site/slagics2013/ へのお誘いです． === 背景 ================================ 毎年行われている研究集会 ALGI (Algebra, Logic and Geometry in Informatics) 代数, 論理, 幾何と情報科学研究集会 http://sakura.math.kyushu-u.ac.jp/algi/ と SLACS (Symbolic Logic and Computer Science) 記号論理と情報科学研究集会 http://www.math.s.chiba-u.ac.jp/SLACS/ は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の研究集会として共催をすることにしました．（応募に際してご協力いただいた皆さま，どうもありがとうございました．無事採択されました） 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場にできればと考えております． === プログラム ================================ 9/24 は SLACS day 9/25 は相互乗り入れ day 9/26 は ALGI day とします（なんとなく）．9/25 には，東京大学の塚田武志さん http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ によるゲーム意味論のチュートリアルを予定しています．懇親会は 9/24 です． 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講演の数によっては短縮の可能性があります． === 旅費の補助・宿泊 ================================ 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは https://sites.google.com/site/slagics2013/practical をごらんください． === 参加登録 ================================ https://sites.google.com/site/slagics2013/registration からお願いします．参加登録の締切は， - 旅費希望または北白川学舎宿泊希望のかたは， *** 2013/8/16 （金）*** （ただし基本的に早い者勝ちなので，早めがおすすめです） - それ以外の方は *** 2013/9/13 （金）*** とさせてください．ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね．それでは！ SLAGICS 2013 オーガナイザー星野直彦京都大学数理解析研究所 http://www.kurims.kyoto-u.ac.jp/~naophiko/ 蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ======================================================== SLAGICS 2013: ALGI and SLACS join forces RIMS, Kyoto University 2013/9/24 (Tue) -- 2013/9/26 (Thu) https://sites.google.com/site/slagics2013/ ALGI and SLACS are two series of workshops in Japan whose interests range widely from formal logic and semantics to algebraic geometric, and categorical methods, with emphases on computer science. This year the two series join forces and hold a joint workshop in Kyoto. Though many talks will be in Japanese, your contributed talks in English are most welcome and appreciated. See https://sites.google.com/site/slagics2013/practical-in-english for some practical information. (There will be travel support by courtesy of RIMS, Kyoto University). The registration deadlines are: - *** Fri 16 Aug *** if you'd like travel support or a room at the RIMS accommodation (but do it ASAP since these are first come, first served); - *** Fri 13 Sep *** otherwise. Looking forward to seeing you in Kyoto! Best regards, SLAGICS 2013 Organizers: Naohiko Hoshino RIMS, Kyoto U. http://www.kurims.kyoto-u.ac.jp/~naophiko/ Ichiro Hasuo Dept. CS, U. Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 2

教員公募
by S.Yamane 01 Aug '13

01 Aug '13

関係者各位金沢大学理工研究域では、以下の教員公募を行っております。適任者がありましたら，どうぞお知らせ下さいますようお願い申し上げます。クロスポストをご容赦ください。金沢大学山根　智 ------------------------------------------------------------- 関係各位　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年８月１日　　　　　　　　　　　　　　　　　　　　　　金沢大学理工研究域電子情報学系長　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　山　根　智　　　　　　　　　　　　　　　教員の公募について　この度，当研究域電子情報学系では，下記の要領により教員を公募いたします。つきましては，関係各位への周知方及び適任者の推薦について，よろしくお取り計らい下さいますようお願い申し上げます。　　　　　　　　　　　　　　　　　　　記１．職種　　　教授１名２．所属　　　金沢大学理工研究域電子情報学系（情報システムコース）３．専門分野　数学（解析系が望ましい）４．担当科目　　　　学士課程共通教育科目（微分積分学，線形代数学），　　　　　　　　工学系数学科目（微分方程式，ベクトル解析，複素解析，　　　　　　　　フーリエ解析など），　　　　　　　　情報システムコースの数学関連科目及び学士課程学生の研究指導　　　　大学院　自然科学研究科電子情報科学専攻の数学関連科目，　　　　　　　　大学院生の研究指導５．応募資格　　 (1)博士の学位を有すること　　(2)十分な研究業績を有し，大学院博士後期課程において研究指導ができること　　(3)大学における数学教育に十分な実績を持ち，特に熱意をもって工学系学士課程　　　学生に対する数学教育を行えること　　(4)大学内における諸業務を学内教職員と協調して行えること６．着任時期平成２６年４月１日７．応募書類　　 (1) 履歴書（写真貼付，学歴は高卒以降，学位，職歴，賞罰）　　 (2) 研究業績リスト（研究論文，著書，国際学会発表，報告等；印刷中，投稿中の　　　ものはその旨明記のこと）　　 (3) 主要論文の別刷（５編以内，各１部，コピー可）　　 (4) これまで行ってきた研究の概要と今後の研究計画（A４用紙２枚程度）　　 (5) 教育経験と着任後の教育（学士課程学生，大学院生への研究指導を含む）に関する抱負（A４用紙１〜２枚程度）　　 (6) 外部資金（科研費など）の獲得状況　　 (7) 応募者の業績を評価できる方２名の氏名と連絡先　　 (8) 直接連絡のとれる住所，電話番号，電子メールアドレスを記載した連絡表８．応募締め切り　平成２５年１０月３１日（木）必着９．書類提出先　　　　〒920-1192 金沢市角間町金沢大学理工研究域電子情報学系長山根智１０．問い合わせ先　　　金沢大学理工研究域電子情報学系畑上到　　　　（Tel: 076-234-4911;E-mail:hataue@is.t.kanazawa-u.ac.jp）１１．その他　　 (1) 書類選考の上，候補者に対し面接（プレゼンテーション）を行います。　　　　面接の旅費等は自己負担となります。選考及び面接結果については本人に　　　　直接通知します。応募書類は返却致しません。　　 (2) 応募書類は封筒に「電子情報学系教員応募書類在中」と朱書の上，郵送の場合　　　　は簡易書留にしてください。　 ○ 就業規則等については,下記の URL をご覧ください。　　 http://www.kanazawa-u.ac.jp/internal/staff/regulations/index.html 　○ 金沢大学では男女共同参画を積極的に推進しています。詳しくは下記の URL を　　ご覧ください。　　 http://cdl.w3.kanazawa-u.ac.jp/index.html -------------------------------------------------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml