Logic-ml August 2016

13 participants
20 discussions

Call for Participation: Automated Technology for Verification and Analysis (ATVA) 2016
by Takashi Kitamura 18 Aug '16

18 Aug '16

---------------------------------------------------------------------- CALL FOR PARTICIPATION: ATVA 2016 14th International Symposium on Automated Technology for Verification and Analysis (ATVA) 2016 Chiba, Japan, October 17-20th, 2016 http://atva2016.gforge.inria.fr/ ---------------------------------------------------------------------- The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan - 2003-5, Beijing - 2006, Tokyo - 2007, Seoul - 2008, Macao - 2009, Singapore - 2010, Taiwan - 2011, Thiruvananthapuram - 2012, Hanoi - 2013, Sydney - 2014, and Shanghai - 2015. Venue Chiba, Japan Main conference: Mitsui Garden Hotel Tutorials: Chiba University, Nishi-Chiba campus (one station away from hotel) Scope * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized systems * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced/weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent hardware/software systems * Verification in industrial practice * Applications and case studies Keynotes (Oct. 17-19) Masahiro Fujita: Unification of Synthesis and Verification in Topologically Constrained Logic Design Javier Esparza: From LTL to Limit-Deterministic Automata Tevfik Bultan: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution Tutorials (Oct. 20) Masahiro Fujita: Synthesizing and completely testing hardware based on templates through small numbers of test patterns Javier Esparza: Verification of population protocols Tevfik Bultan: String Analysis for Vulnerability Detection and Repair Important Dates: Early registration: August 31 (Japan Standard Time) Conference: October 17-20 Programme Committee Co-Chairs Cyrille Artho (AIST, Japan and KTH, Sweden) Axel Legay (INRIA, France) Doron Peled (Bar Ilan University, Israel) Publicity Chair Takashi Kitamura (AIST, Japan) Local Chairs Mitsuharu Yamamoto (Chiba University, Japan) Yoshinori Tanabe (Tsurumi University, Japan) -- Takashi KITAMURA t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Tel: +81-72-751-9633, AIST internal: *33-272-79633 -- Takashi KITAMURA t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Tel: +81-72-751-9633, AIST internal: *33-272-79633

1 0

PEPM 2017: Second Call for Papers
by Ryosuke SATO 17 Aug '16

17 Aug '16

皆様、（複数受け取られた場合はご容赦ください。）東京大学の佐藤亮介です。来年1月に POPL 併設で開催される PEPM 2017 の 2nd CFP をお送りいたします。日程は次の通りです。 For Regular Research Papers and Short Papers: * Abstract submission : Tuesday 13th September 2016 * Paper submission : Friday 16th September 2016 * Author notification : Monday 24th October 2016 * Camera ready : Monday 28th November 2016 For Posters: * Poster submission : Sunday 30th October 2016 * Author notification : Friday 10th November 2016 * Camera ready : Monday 28th November 2016 Keynote talk は、Neil Jones 氏（DIKU）に決まりました。是非，投稿をご検討ください。 -- 東京大学大学院情報理工学系研究科佐藤亮介 ryosuke(a)kb.is.s.u-tokyo.ac.jp ------------------------------------------------------------------- SECOND CALL FOR PAPERS Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017) NEWS: Keynote talk by Neil Jones, DIKU (see below). http://conf.researchr.org/home/PEPM-2017 Paris, France, January 16th - 17th, 2017 (co-located with POPL 2017) PEPM is the premier forum for discussion of semantics-based program manipulation. The first ACM SIGPLAN PEPM symposium took place in 1991, and meetings have been held in affiliation with POPL every year since 2006. PEPM 2017 will be based on a broad interpretation of semantics-based program manipulation, reflecting the expanded scope of PEPM in recent years beyond the traditionally covered areas of partial evaluation and specialization. Specifically, PEPM 2017 will include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to maintain the dynamic and interactive nature of PEPM and to encourage participation by practitioners, we also solicit submissions of short papers, including tool demonstrations, and of posters. Scope ----- Topics of interest for PEPM 2017 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing applications of semantics-based program manipulation techniques in new domains. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme chairs. Submission categories and guidelines ------------------------------------ Three kinds of submissions will be accepted: Regular Research Papers, Short Papers and Posters. * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance and clarity. Regular research papers must not exceed 12 pages in ACM Proceedings style (including appendix). * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages in ACM Proceedings style (including appendix). * Posters should describe work relevant to the PEPM community, and must not exceed 2 pages in ACM Proceedings style. We invite poster submissions that present early work not yet ready for submission to a conference or journal, identify new research problems, showcase tools and technologies developed by the author(s), or describe student research projects. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM 2017 web site. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. Publication and special issue ----------------------------- All accepted papers, short papers and posters included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Authors of selected papers from PEPM 2016 and PEPM 2017 will also be invited to expand their papers for publication in a special issue of the journal Computer Languages, Systems and Structures (COMLAN, Elsevier). Keynote ------- Neil Jones (DIKU) will give the PEPM keynote talk, titled Compiling Untyped Lambda Calculus to Lower-level Code by Game Semantics and Partial Evaluation Best paper award ---------------- PEPM 2017 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Submission ---------- Papers should be submitted electronically via HotCRP. https://pepm17.hotcrp.com/ Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style, and specifically the sigplanconf.cls 9pt template. Important Dates --------------- For Regular Research Papers and Short Papers: * Abstract submission : Tuesday 13th September 2016 * Paper submission : Friday 16th September 2016 * Author notification : Monday 24th October 2016 * Camera ready : Monday 28th November 2016 For Posters: * Poster submission : Sunday 30th October 2016 * Author notification : Friday 10th November 2016 * Camera ready : Monday 28th November 2016 PEPM workshop: * Workshop : Monday 16th - Tuesday 17th January 2017 The proceedings will be published 2 weeks pre-conference. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.). PEPM'17 Programme Committee --------------------------- Elvira Albert (Complutense University of Madrid, Spain) Don Batory (University of Texas at Austin, USA) Martin Berger (University of Sussex, UK) Sebastian Erdweg (TU Delft, Netherlands) Andrew Farmer (Facebook, USA) Matthew Flatt (University of Utah, USA) John Gallagher (Roskilde University, Denmark) Robert Glück (DIKU, Denmark) Jurriaan Hage (Utrecht University, Netherlands) Zhenjiang Hu (National Institute of Informatics, Japan) Yukiyoshi Kameyama (University of Tsukuba, Japan) Ilya Klyuchnikov (Facebook, UK) Huiqing Li (EE, UK) Annie Liu (Stony Brook University, USA) Markus Püschel (ETH Zurich, Switzerland) Ryosuke SATO (University of Tokyo, Japan) Sven-Bodo Scholz (Heriot-Watt University, UK) Ulrik Schultz (co-chair) (University of Southern Denmark) Ilya Sergey (University College London, UK) Chung-chieh Shan (Indiana University, USA) Tijs van der Storm (Centrum Wiskunde & Informatica, Netherlands) Jeremy Yallop (co-chair) (University of Cambridge, UK)

1 0

数学基礎論若手の会2016の参加講演募集
by Kenshi Miyabe 13 Aug '16

13 Aug '16

（重複して受け取られた場合はご容赦ください）皆様，明治大学の宮部賢志です．数学基礎論若手の会2016の参加講演の募集の案内です． ===== 数学基礎論若手の会2016 日時：2016年10月21日(金)午後〜23日(日)午前場所：明治大学清里セミナーハウス住所：〒407-0301 山梨県北杜市高根町清里3545-1 参加費学生: 8,000円一般: 10,000円締め切り交通費宿泊費の援助希望者の参加締め切り: 9月9日(金) 参加一次締め切り: 9月30日(金) 参加最終締め切り: 10月11日(火) 講演タイトル，アブストラクト締め切り: 10月14日(金) 参加費の内訳および申込の書式等の詳細は，以下のウェブサイトをごらんください． http://kenshi.miyabe.name/wakate2016/ ===== 宮部 -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Senior Assistant Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

Workshop 参加者募集のお知らせ
by Hideki Tsuiki 10 Aug '16

10 Aug '16

Workshop 参加者募集のお知らせ Call for participation 日本学術振興会研究拠点形成事業「数理論理学とその応用に関するワークショップ」 JSPS Core-to-Core Program "Workshop on Mathematical Logic and its Application” http://www.i.h.kyoto-u.ac.jp/~matthew/core2core2016/index.html 2016 年 9月16,17日（金, 土曜日）京都大学、吉田南キャンパス、総合人間学部棟 1401 教室 September 16--17, 2016, Faculty of Integrated Human Studies Building, room 1401 Kyoto University 北陸先端科学技術大学院大学が内外の協力機関および協力者と実施しております日本学術振興会研究拠点形成事業「数理論理学とその応用の国際拠点形成」 (http://www.jaist.ac.jp/logic/core2core) の一環として、表記のワークショップを京都で開催いたします。本拠点形成事業参加研究者のためのワークショップですが、それ以外の方もご参加いただけます。講演者などの情報は、上記ホームページを御覧ください。両日とも、朝 9:00 から夕方 5:30 頃まで講演がある予定です。 16 日の夜には、近くで懇親会を予定しております。場所はまだ決まっておりませんが、 4000 〜 5000 円程度で考えております。当日参加も可能ですが、本事業参加研究者以外で参加を予定されている方は、下記フォームにて、できるだけ事前にご連絡を頂けますようにお願い申し上げます。特に、懇親会に参加希望される方は、8 月 31 日までにご連絡ください。ご質問等がございましたら、core2core2016(a)jaist.ac.jp までお寄せください。多くの方のご参加をお待ちしております。オルガナイザー：石原哉立木秀樹照井一成 Matthew de Brecht 根元多佳子 --------------------------------------- 「数理論理学とその応用に関するワークショップ」に参加します。所属：名前：懇親会に参加 / 不参加

1 0

[2nd CfP] FTSCS 2016 @ November 14-15, Tokyo
by Takashi Kitamura 10 Aug '16

10 Aug '16

--------------------------------------------------------------------- Call for Papers FTSCS 2016 5th International Workshop on Formal Techniques for Safety-Critical Systems Tokyo, November 14/15, 2016 (satellite workshop of ICFEM 2016) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby 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. FTSCS 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, railway, 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. 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); 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 is done via EasyChair at https://easychair.org/conferences/?conf=ftscs2016. 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 2016. 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 4, 2016 Notification of acceptance: October 7, 2016 Workshop: November 14/15, 2016 Venue: Tokyo, Japan Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Etienne Andre University Paris 13, France Toshiaki Aoki JAIST, Japan Cyrille Artho AIST, Japan Kyungmin Bae Pohang University of Science and Technology, Korea Eun-Hye Choi AIST, Japan Alessandro Fantechi University of Florence and ISTI-CNR, Pisa, Italy Bernd Fischer Stellenbosch University, South Africa Osman Hasan National University of Sciences & Technology, Pakistan Klaus Havelund NASA JPL, USA Jerome Hugues Institute for Space and Aeronautics Engineering, France Marieke Huisman University of Twente, The Netherlands Ralf Huuck Synopsys, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Thierry Lecomte ClearSy System Engineering, France Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Frederic Mallet INRIA Sophia Antipolis, France Roberto Nardone University of Napoli "Federico II", Italy Vivek Nigam Federal University of Paraíba, Brazil Thomas Noll RWTH Aachen University, Germany Kazuhiro Ogata JAIST, Japan Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Markus Roggenbach Swansea University, UK Ralf Sasse ETH Zurich, Switzerland Martina Seidl Johannes Kepler University, Austria Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Andras Voros Budapest University of Technology and Economics, Hungary Chen-Wei Wang State University of New York (SUNY), Korea Alan Wassyng McMaster University, Canada Michael Whalen University of Minnesota, USA Huibiao Zhu East China Normal University, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Tel: +81-72-751-9633, AIST internal: *33-272-79633

1 0

数学基礎論とその応用
by Makoto Kikuchi 06 Aug '16

06 Aug '16

皆様，下記の要領で研究集会「数学基礎論とその応用」を開催します．この研究集会は，1980年頃より数年毎に数理解析研究所で開催されていたが，2006年を最後に途絶えている，数学基礎論の様々な分野の研究者の交流を目的とする研究集会を継承するものです．今回の集会では，この研究集会のシリーズの創始者の一人であり，我が国の数学基礎論の発展にご尽力され，昨年亡くなられた角田譲先生を追悼し，午前中は角田先生と縁の深い研究者を中心に，かつての数学基礎論の状況や最近の発展の紹介，様々な思い出を含むご講演をお願いしています．午後は海外からの招聘研究者の講演と，若手研究者による最先端の研究成果を紹介する英語による講演からなります．いずれの講演も数学基礎論の専門外の研究者や大学院生が聴講することを前提としており，講演者には背景や目的の説明に十分な時間を取るようにお願いしています．期間が短く大変に申し訳ございませんが，参加者の概数を把握する必要があるために，参加ご希望の方，参加される可能性のある方は，【2016年8月16日】までに件名を「mla2016」として email で，以下の情報を菊池（mkikuchi(a)kobe-u.ac.xn--jp)-u63b3a0e8fwh6d0645a8vxi. ただし，今回お送りいただく情報は最終的なものである必要はなく，送付後の集会への出欠，懇親会への出欠の変更は可能です．宿泊の手配はいたしません．各自でご予約下さるようお願いします．昨今の京都は宿泊の手配が難しくなっています．参加される方にはお早目のご予約をお勧めいたします．今回は，原則として大学院修士課程修了以上の方を対象として，参加者に旅費を援助できる可能性があります．旅費の援助を希望される場合は〆切厳守で，出欠の情報と共に，その旨，菊池までご連絡下さい．なお，ご希望には添えない場合があること，旅費を援助する場合には申し込み後の出欠の変更は原則として控えていただく必要があることをご了承下さい．また，学生の方が旅費の補助を希望する場合は，書式自由で指導教員による簡単な推薦文を参加申し込みに合わせてお送り下さい．皆様のお越しをお待ちしています．菊池誠ーー参加申込ーー氏名：所属大学・部局・職名または身分：旅費援助の希望：有・無　　「有」の場合の出張期間：　月　日〜　月　日懇親会（会費5000円程度，詳細未定）：出席・欠席ーーーーーーーー　　　　　　　　　　記研究集会「数学基礎論とその応用」日時：2016年9月26日（月）〜 9月29日（木）場所：京都大学数理解析研究所111室 Web page：http://www2.kobe-u.ac.jp/~mkikuchi/mla2016.html 問い合わせ先：菊池誠（神戸大）mkikuchi(a)kobe-u.ac.jp プログラム： 9月26日（月） 11:00-11:50 宮元忠敏（南山大）集合論で試される構造と構成のいくつか 13:30-14:20 Joel Hamkins（CUNY） TBA (set theory) 14:30-15:20 樋口幸治郎（日大工） Computably Represented Structures 15:30-16:20 竹内耕太（筑波大） Properties Characterized by Generalized Indiscernible 9月27日（火） 10:00-10:50 新井敏康（千葉大） TBA (proof theory) 11:00-11:50 板井昌典（東海大） 1980年代半ば，米国中西部のモデル理論，そして未来ーモデル理論賛歌 13:30-14:20 Frank Wager (Lion) Recent Interactions between Model Theory and Combinatorics 14:30-15:20 横山啓太（JAIST) On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs 15:30-16:20 丸山善宏（京大） Dynamics of Duality: How Duality Emerges, Changes, and Breaks 9月28日（水） 10:00-10:50 向井国昭（慶応大） Barwiseのモデル論的意味論の周辺と抽象設計学 11:00-11:50 金井康雄（大和大）公理的集合論の一角を彷徨って 13:30-14:20 Bakh Khoussainov（Auckland/Kyoto） Computably Enumerable Structures: Domain Dependence 14:30-15:20 星野直彦（京大数研） Geometry of Interaction and Higher Order Functions 15:30-16:20 Diego Mejia（静岡大） Several Values in Cichon's Diagram 夜：懇親会（詳細未定） 9月29日（木） 10:00-10:50 佐藤洋祐（東理大／計算代数）限量子記号消去アルゴリズムとその計算の現状について 11:00-11:50 隈部正博（放送大） Generic Sets の Turing Degrees について 13:30-14:20 Philip Welch（Bristol） Higher Type Recursion and Sigma^0_3-Determinacy

1 0

SLACS2016のご案内
by sasaki 05 Aug '16

05 Aug '16

みなさま　期日が近づきましたので、「記号論理と情報科学研究集会（SLACS）」を再度案内させてください．　現在、講演の申込件数が、非常に少ない状態ですので、是非とも、ご参加・ご講演をお願いいたします。　　　　　　8月16日が締め切りになっています。以下、前回案内の内容です。 ================================================================================= みなさま 2016年度の「記号論理と情報科学研究集会（SLACS）」を案内させてください．完成された話題はもちろん，未完成の話題やこれから考えてみたい話題なども歓迎します．是非とも，参加・講演をご検討ください．　日程：2016年8月25日(木),26日(金) 　場所：名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール　招待講演：新屋良磨さんに，形式言語理論に関する，全然知らない人向けの話をお願いしています．　懇親会：25日に予算3500円程度で行う予定です．講演を希望される方・懇親会参加を希望される方は，　　氏名　　所属　　e-mail アドレス　　懇親会参加の有無　　(講演を希望される場合)題目・希望講演時間(30〜50分) 　　その他の要望（講演日など）の情報を，　　　　　　8月16日までに，世話人(sasaki(a)nanzan-u.ac.xn--jp)-u63b4b3ai1gqet146cnwrdnb3b. 詳細は， http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html にあります．世話人　南山大学　佐々木克巳 ======================================================================= 南山大学　佐々木克巳 -- sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

2016年数学基礎論サマースクールのご案内
by Hirotaka Kikyo 03 Aug '16

03 Aug '16

皆様数学基礎論サマースクールを2016年９月５日（月）から９月７日（水）まで、早稲田大学西早稲田キャンパスで開催する予定です。初日は午前中から、最終日も午後まで行う予定です。今年のテーマはモデル理論です。初日の最初の方にモデル理論の基本事項を解説するつもりです。詳しくは次のサイトでお知らせします。 https://sites.google.com/site/logicsummerschool2016/ どうぞ、よろしくお願い致します。世話人桔梗宏孝

1 0

Kobe Colloquium: Aug 8, 2016, Jun Otsuka
by Makoto Kikuchi 02 Aug '16

02 Aug '16

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時: 2016/8/8 (月) 11.00am - 正午場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室講演者：大塚淳（神戸大・文）題目：因果・統計・機械学習の哲学に向けてアブストラクト：限られたデータから推論を行う帰納推論の手法は、 19世紀末からの古典統計学および近年の機械学習理論の発展にともない、大きな進展を見せてきた。しかしそれらは決して一枚岩ではなく、異なった哲学・目的に支えられているといっていいだろう。本発表では、推測統計、因果推論、機械学習など、現代の帰納推論にまつわる様々な数理的手法の背景にある哲学的前提について探ってみたい。特にJudea Pearlらによって開発された、グラフ表現を用いた統計的因果推論を紹介し、それを従来の伝統的統計学および近年の機械学習的手法と比較することで、それぞれの思想的背景を浮き上がらせることが、本発表の目的である。交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムと懇親会参加について
by 西澤弘毅 02 Aug '16

02 Aug '16

logic-ml メーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのアナウンスをさせていただきます。 < 重複してお受け取りの節はご容赦願います。> ご参加をお待ちしております。 --------------------------------------------------------------------- **************************************************************** * 第二十七回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2016年8月27日（土）13:45～8月28日（日）12:45 * * 信州大学松本キャンパス人文学部・経法学部新棟1階第1講義室 * * * * 暫定プログラムのお知らせと講演募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十七回ALGIを開催することになりました。会場の手配などは信州大学の田中康平先生にお願いしています。開催場所は下記のとおりです。信州大学松本キャンパス人文学部・経法学部新棟1階第1講義室 http://www.shinshu-u.ac.jp/guidance/maps/map05.html http://www.shinshu-u.ac.jp/general/extension-courses/pdf/map01-02.pdf 講演枠が１つ空いております。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。 ALGIは申し込み不要で自由にご参加いただけます。ただし、一日目の18:30から松本駅周辺で懇親会を予定しておりますので、懇親会への参加を希望される方は、8/20（土）までに西澤 (nishizawa AT kanagawa-u.ac.jp) にメールでお知らせください。また、今回のALGIの前後には次のような集会も予定されています。併せて参加をご検討下さい。 2016年度 SLACS(記号論理と情報科学研究集会) 日時：2016年8月25日(木),26日(金) 会場：名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール詳細：http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html 「空間の代数的・幾何的モデルとその周辺」日時：2016年8月29日（月）14:00～8月31日（水）12:15 会場：信州大学理学部講義棟第一講義室詳細：http://marine.shinshu-u.ac.jp/~kuri/ALG_TOP2016/AGM2016.html できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学大学院理工学研究科） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2016