Logic-ml

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

1792 discussions

Sylvain Salvati at NII Logic Seminar 7/1
by Makoto Kanazawa 23 Jun '15

23 Jun '15

Lecture by Sylvain Salvati at NII Logic Seminar Date and Time: July 1, 16:00-17:00 Place: National Institute of Informatics, Conference Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Sylvain Salvati (INRIA Bordeaux Sud-Ouest) Title: Model construction for higher-order model-checking Abstract: When dealing with finite state properties, it is usual to have some finite algebraic structures (e.g. finite monoids in the case of finite state automata on strings) that represent those properties. When dealing with logical properties of programs that are computed by finite state automaton, the question of what is an "adequate" finite algebraic structure arises. Having such a structure would entail a sort of modularity in program verification, but it also gives some strong understanding of how the properties can be checked. In the context of higher-order verification, programs are models as lambda-terms and it is natural to think about denotational domains as a possible candidate. Finitary Scott domains only capture very simple properties of the Bohm trees generated by higher-order programs. This talk will illustrate how to enrich Scott domains so that they can capture wider classes of finite state properties. 問合せ先: 金沢誠 (国立情報学研究所) e-mail: kanazawa(a)nii.ac.jp

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 19 Jun '15

19 Jun '15

皆様、北陸先端大の横山です。締め切りが近づきましたので、下記の研究集会の情報を再送致します。横山啓太 ---------- Forwarded message ---------- From: YOKOYAMA Keita <y-keita(a)jaist.ac.jp> Date: 2015-05-14 22:49 GMT-07:00 Subject: Fwd: CTFM2015 Call for abstracts To: logic-ml(a)fos.kuis.kyoto-u.ac.jp, kisoron-ml(a)fos.kuis.kyoto-u.ac.jp ****************************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

Talk by Matthew de Brecht (25 Jun 11:00-)
by Tetsuya Sato 19 Jun '15

19 Jun '15

京都大学数理解析研究所の佐藤です。 6月25日11:00から、情報通信研究機構・脳情報通信融合研究センターの Matthew de Brecht氏に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 25 Jun, 2015 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Matthew de Brecht (NICT, CiNet) Title: Towards a descriptive set theory for QCB spaces. Abstract: QCB spaces (quotients of countably based spaces) are a convenient cartesian closed category of topological spaces with important applications in computable analysis and for modeling the semantics of programming languages. However, they generally fail to be countably based and have very complicated topologies, which so far has been a major obstacle for obtaining a deep understanding of these spaces. In this talk, I will present recent joint work with M. Schroeder and V. Selivanov concerning a classification of QCB0 spaces according to the descriptive complexity of defining a basis for their topologies. Our approach provides useful tools for analyzing when one QCB space can be embedded into another, and has deep connections with the projective hierarchy from descriptive set theory. We will present some applications concerning the existence of universal QCB-spaces, as well as some results on the Kleene-Kreisel continuous functionals.

1 0

ICALP Satellite Workshop on Quantum Computational Complexity
by NISHIMURA Harumichi 16 Jun '15

16 Jun '15

logic-ml の皆様，国際会議ICALP2015のサテライトワークショップとして以下のような量子計算量に関するワークショップを開催します．ご興味のある方の積極的なご参加をお待ちしております．名古屋大学大学院情報科学研究科西村治道 --------------------------------------------------------------------------- 7月4日京都大学百周年時計台記念館において、ICALP2015のSatellite Workshopとして，量子計算の分野で著名な以下の研究者による講演会を企画しました． URL: http://cs.e.yamagata-u.ac.jp/qcc/ -Richard Cleve (Waterloo University / IQC) -Matthew Coudron (MIT) -Joseph Fitzsimons (Singapore University of Technology and Design) -Keisuke Fujii (Kyoto University) -Troy Lee (CQT Singapore) -Jamie Sikora (CQT Singapore) -Seiichiro Tani (NTT) ICALPに参加されない方でも当日5,000円で参加できます．研究費などから補助がない学生の方の参加費を新学術領域研究「計算限界解明」プロジェクトから補助可能です．詳しくは，下記までお問い合わせください． Email: qcc2015(a)cs.e.yamagata-u.ac.jp ---------------------------------------------------------------------------

1 0

[Last CFP] Symposium on Foundations & Practice of Security (10/26-28, France)
by Lu Yifeng 16 Jun '15

16 Jun '15

皆様直前のＣＦＰで恐縮ですが、下記の国際会議の call-for-papers をお送りいたします。ご投稿をお待ちしております。小川瑞史（北陸先端大） --------------------------------------------------------------------- ****** PLease forgive me if you receive multiple copies ****** Call for Papers =============== **The 8th International Symposium on Foundations & Practice of Security (FPS 2015), Clermont-Ferrand, France, 26-28 October 2015.** Conference Website ------------------ <http://confiance-numerique.clermont-universite.fr/fps2015/> Scope ----- Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. After the previous meetings held in La Rochelle, Montreal, Grenoble, Toronto and Paris, this 8th edition of the FPS symposium will be held in Clermont-Ferrand, France. The aim of FPS is to discuss and exchange theoretical and practical ideas that address security issues in inter-connected systems. It aims to provide scientific presentations as well as to establish links, promote scientific collaboration, joint research programs, and student exchanges between institutions involved in this important and fast moving research field. We also invite papers from researchers and practitioners working in security, privacy, trustworthy data systems and related areas to submit their original papers. The main topics, but not limited to, include: * Computer and Network Security * Formal foundations in Information or Operational Security * Security of Service Oriented Architectures * Information Theoretic Security * Security of Cloud Computing * Security Management and Security Policies * Policy-based Security Architectures * Security of P2P systems * Security & Privacy on Social Networks * Access Control Languages * Data Mining & Watermarking * Cryptography & Cryptanalysis * Threat Analysis and Trust Management * Privacy & Sensitive Data Management * Policy-based Distributed Information Systems * Security in Sensor Networks and RFIDs * Security of Cloud Computing, Grid Computing * Security of Distributed Embedded Middleware * Distributed Security Protocols & Policies * Security and Privacy in Digital Currencies * Malware, Botnet and Advanced Persistent Threats * Code Reverse Engineering and Vulnerability Exploitation * Side Channel & Physical Attacks * Social Engineering Submissions Guidelines ---------------------- Full papers should be at most 16 pages, including the bibliography and appendices. Short papers should be up to 8 pages. Authors should indicate whether their paper is a "position paper" to differentiate them from regular ones (you mention "Position paper" in the title). Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Authors must submit their papers by the deadline indicated below, using the EasyChair web site (using the link http://www.easychair.org/conferences/?conf=fps2015) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer's LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged. Publication ----------- As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper. Committees ------------------ General Chair Pascal Lafourcade (Universite d'Auvergne) Program Committee Co-Chairs Guillaume Bonfante (Mines de Nancy) Joaquin Garcia-Alfaro (Telecom SudParis) Evangelos Kranakis (Carleton University) Publicity Co-Chairs Asia: Mizuhito Ogawa (Japan Advanced Institute of Science and Technology) Europe: Giovanni Livraga (University of Milan) North America: Zhiqiang Lin (University of Texas at Dallas) Program Committee Michel Barbeau (Carleton University) Jordi Castella-Roca (Rovira i Virgili Univ.) Frederic Cuppens (Telecom Bretagne) Nora Cuppens-Boulahia (Telecom Bretagne) Mila Dalla Preda (University of Verona) Josep Domingo-Ferrer (Universitat Rovira i Virgili) Jean-Luc Danger (Telecom ParisTech) Sara Foresti (Univ. degli Studi di Milano) Marc Frappier (Univ. de Sherbrook) Martin Gagne (Wheaton College) Sebastien Gambs (Universite de Rennes) Flavio D. Garcia (University of Birmingham) Diala Haidar (Dar Al Hekma College) Jordi Herrera-Joancomarti (Univ. Aut. de Barcelona) Bruce Kapron (University of Victoria, Canada) Hyoungshick Kim (Sungkyunkwan University) Giovanni Livraga (Univ. degli Studi di Milano) Luigi Logrippo (Univ. du Quebec en Outaouais) Javier Lopez (University of Mﾃ｡laga) Flaminia Luccio (Ca'Foscari University of Venice) Joan Melia-Segui (Universitat Oberta de Catalunya) Ali Miri (Ryerson University) Guillermo Navarro (Univ. Aut. de Barcelona) Jordi Nin (Universitat Politecnica de Catalunya) Melek Onen (Eurecom) Andreas Pashalidisi (K. U. Leuven) Marie-Laure Potet (Ensimag) Silvio Ranise (FBK, Security and Trust Unit) Claudio Soriente (ETH Zurich) Chamseddine Talhi (ETS, Montreal) Nadia Tawbi (Universite LAVAL) Emmanuel Thome (INRIA Lorraine) Alexandre Viejo (Rovira i Virgili University) Lena Wiese (Gottingen University) Nicola Zannone (Eindhoven Univ. of Technology) Nur Zincir Heywood (Dalhousie University) Steering Committee Frederic Cuppens (Telecom Bretagne) Nora Cuppens-Boulahia (Telecom Bretagne) Mourad Debbabi (Concordia University) Joaquin Garcia-Alfaro (Telecom SudParis) Evangelos Kranakis (Carleton University) Pascal Lafourcade (Universite d'Auvergne) Jean-Yves Marion (Mines de Nancy) Ali Miri (Ryerson University) Rei Safavi-Naini (Calgary University) Nadia Tawbi (Universite Laval) Submission Website ------------------ <http://www.easychair.org/conferences/?conf=fps2015> Important Dates --------------- Submission Deadline: | June 14, 2015 Acceptance Notification: | August 17, 2015 Camera Ready: | September 13, 2015 Conference: | October 26-28, 2015, Clermont-Ferrand, France

2 2

ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ
by 西澤弘毅 15 Jun '15

15 Jun '15

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと講演の募集をさせていただきます。 **************************************************************** * 第二十六回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2015年8月31日（月）午後～9月1日（火） * * 公立鳥取環境大学本部講義棟27講義室（鳥取県鳥取市） * * * * 開催のお知らせと講演の募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十六回ALGIを開催することになりました。開催期間及び開催場所は上記のとおりです。会場の手配などは公立鳥取環境大学の吉田聡先生にお願いしています。初日は午後から開催いたします。最終日の午後まで開催するかどうかは、講演の数によります。講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

セミナー案内
by KASHIMA Ryo 13 Jun '15

13 Jun '15

数理論理学セミナーのお知らせ【本セミナーは定期的に東工大で開催しているものです。初めて参加される方は前日までにご連絡ください。】日時：6月19日(金) 16:30 場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 話者：田中一之（東北大）題目：決定問題とオートマトン概要： 1920年代にヒルベルト学派が数理論理学の中心テーマとして掲げた「決定問題」は，狭義には1階論理における真偽を判定する手続きを求める問題である．これはゲーデルやチューリングによってすぐに否定的に解かれたが，その後も様々な角度から類似の問題が提起され，肯定的にも否定的にも豊富な結果と解決手法が生れた．肯定的な手法としてはオートマトンの利用がしばしば有効であることが知られているが，その方法はもちろん万能ではなく，決定可能と不可能の分水嶺となる興味深い現象も数多く見られる．本講演では，周辺の話題に広く触れ，予備知識を仮定せずに決定問題の数理へと誘いたい。参考文献：D．クライアン他著田中訳『ロジックの世界』講談社ブルーバックス 2015年3月．田中一之『ゲーデル、チューリング、超パズル』東京大学出版会 UP 2015年5月号．田中一之『「イミテーション・ゲーム」と数学映画の楽しみ方』数学セミナー2015年7月号． ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

CCA 2015 と併設ワークショップの御案内
by Akitoshi Kawamura 06 Jun '15

06 Jun '15

皆様計算可能解析学の国際会議　　Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015) 　　平成27年7月12～15日　明治大学駿河台キャンパス（東京都千代田区）　　http://cca-net.de/cca2015/ の参加登録を受付けておりますので御案内申し上げます。 http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/ こちらのページより御登録下さい（参加費12000円（懇親会ナシの場合2000円）は当日受付にてお支払い下さい）。早期・晩期の参加費の違いは設けておりませんが、準備の都合上なるべく早めに登録頂けますと幸いです。特に懇親会参加の場合は今月中の御登録をお願い致します。初日である7月12日（日）には　　日独ワークショップ「実数計算の理論と実際」を開催します。こちらは計算理論と数値計算の協働的発展を目指し、双方の専門家が基礎から最近の話題まで紹介するワークショップで、この日だけなら参加無料・申込不要です。詳しくは上記ウェブページを御覧下さい。皆様の御参加をお待ち申し上げます。 -- 河村彰星東京大学大学院総合文化研究科広域科学専攻広域システム科学系 2015-02-03 11:39 GMT+09:00 Hajime Ishihara <ishihara(a)jaist.ac.jp>: > First Call for Papers: > > Twelfth International Conference on > > Computability and Complexity in Analysis (CCA 2015) > http://cca-net.de/cca2015/ > > July 12-15, 2015, Tokyo, JAPAN > > ______________________________________________________________ > > > Scientific Program Committee > > * Andrej Bauer (Ljubljana, Slovenia) > * Stephen A. Cook (Toronto, Canada) > * Guido Gherardi (Munich, Germany) > * Daniel Graça (Faro, Portugal) > * Hajime Ishihara (Ishikawa, Japan) > * Ker-I Ko (Hsinchu, Taiwan) > * Timothy McNicholl (Ames, USA) > * André Nies (Auckland, New Zealand) > * Mariko Yasugi (Kyoto, Japan) > * Martin Ziegler, chair (Darmstadt, Germany) > > > Organizing Committee > > * Naohi Eguchi (Chiba University, Japan) > * Kojiro Higuchi (Chiba University, Japan) > * Akitoshi Kawamura, chair (University of Tokyo, Japan) > * Kenshi Miyabe (Meiji University, Japan) > * Ryuhei Mori (Tokyo Institute of Technology, Japan) > * Hideki Tsuiki (Kyoto University, Japan) > > > Submissions > > Authors are invited to submit 1-2 pages abstracts in PDF format > by March 31st via https://easychair.org/conferences/?conf=cca2015 > > > Conference Web Page > > http://cca-net.de/cca2015/ > > > > _______________________________________________ > Kisoron-ml mailing list > Kisoron-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/kisoron-ml

1 0

APLAS 2015: Deadline extension (June 15)
by Kohei SUENAGA 05 Jun '15

05 Jun '15

皆様，京都大学の末永です． APLAS 2015 の締め切りが延長となりました．投稿をご検討ください．よろしくお願いいたします．末永幸平 -- ** DEADLINE EXTENSION FOR SUBMISSIONS TO APLAS 2015: ** - Paper submission deadline: June 15, 2015. ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 15, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page <https://easychair.org/conferences/?conf=aplas2015> using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China) -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

数学基礎論サマースクール2015
by Makoto Kikuchi 05 Jun '15

05 Jun '15

数学基礎論サマースクール2015のご案内以下の要領で数学基礎論サマースクール2015を開催します． 7月初旬に参加申し込みの案内をお送りします．皆様のご参加を心よりお待ちしています．【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義．　また，様相論理と他分野との関係や発展的内容についての特論．【日時】2015年8月18日（火）13:30 ～ 21日（金）15:00 【場所】神戸大学六甲台第2キャンパス内工学部教室棟LR501教室（戎記念ホール）【住所】〒657-8501神戸市灘区六甲台町1-1 【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html 【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専），　黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）【内容】〈講義〉（各3コマ） 1. 様相論理入門（佐野） 2. 証明可能性論理（倉橋） 3. 強制法と様相論理（薄葉） 4. 真理と様相（黒川）〈特論〉（各1コマ） 1. 認識論理のゲーム論的意思決定への応用（金子） 2. 計算機科学と様相論理（佐藤） 3. 公理的集合論と様相論理（渕野）【懇親会】18日夜に神戸大学内で懇親会を開催する予定です．【世話人】神戸大学大学院システム情報学研究科菊池誠，酒井拓史【連絡先】菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml