Logic-ml August 2013

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

12 participants
16 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2013