Logic-ml May 2015

8 participants
13 discussions

セミナー案内
by KASHIMA Ryo 17 Nov '15

17 Nov '15

数理論理学セミナーのお知らせ日時：1月23日(金) 16:00から場所：東京工業大学大岡山西８号館Ｗ棟10階 W1008 話者：鈴木信行（静岡大学）題目：中間述語論理におけるExistence Propertyに関する話題 --- 小野の問題P52とその周辺 --- 概要：始めに中間述語論理の簡単な紹介をします。ざっくり言うと、中間述語論理とは、直観主義述語論理と古典述語論理の「中間」にある述語論理です。つぎに、existence property と disjunction property と言う性質を考えます。これらは、直観主義論理の構成性(constructivity)を示す顕著な性質として知られています。中間述語論理の枠組みでこれらを考察してみると、この2つの性質が独立であることが解ります。これは、小野の問題P52として知られる問題に否定的解決を与えます。今回は、これにまつわる若干のことがらも報告したいと思います。 ------ 本セミナーは定期的に東工大で開催しているものです。初めて参加を希望される方はご一報ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 3

JAIST Logic Seminar Series
by Hajime Ishihara 05 Sep '15

05 Sep '15

皆様ジーゲン大学のDieter Spreen先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Thursday 7 May, 2015, 13:30-15:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dieter Spreen (University of Siegen) Title: Digit Spaces - Topological Foundations Abstract: Digit spaces have been introduced by Ulrich Berger as a framework for extracting programs that deal with continuous data from formal proofs. The essential idea was to represent objects as streams of unary contractions on a complete metric space and to use coinduction on the logical side. In recent joint work on an extension of this approach to hyperspaces like the space of nonempty compact subsets of a digit space, it turned out that compact cannot be represented by such streams in general: instead one has to deal with infinite trees the nodes of which are labeled by contraction similar to the stream case. It was realized, however, that one will obtain a uniform theory, if the contractions, also called digits, are allowed to be multi-ary.

2 2

APLAS 2015: Final Call for Papers
by Kohei SUENAGA 28 May '15

28 May '15

皆様， APLAS 2015 の call for papers をお送りします．よろしくお願いいたします．末永幸平 ********************************************************************* 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 5, 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)

1 0

Kobe set theory seminar on Tue 2 June.
by Daisuke Ikegami 27 May '15

27 May '15

皆様神戸大学の池上です。来週の火曜日13:30から行われる神戸集合論セミナーのお知らせです。講演者は、筑波大学でポスドクをしている Monroe Eskew さんです。どうぞお気軽にお越しください。 ========================================================================= 日時：2015年6月2日（火）13:30-15:00 講演者：Monroe Eskew （筑波大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車、「神大本部工学部前」停留所下車、徒歩すぐ。 http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html （「ローカルマップ」の59番の建物）題目： An aleph_2 saturated ideal on aleph_3. アブストラクト： We give some more information about which regular cardinals can carry uniform, countably complete, aleph_2 saturated ideals. We extend a negative result of Kunen and Foreman about some “forbidden cardinals,” answering a question of Foreman. Then we show that there can exist a uniform, countably complete, aleph_2 saturated ideal on aleph_3, using results of Foreman and Woodin. It was previously unknown whether there can exist such uniform ideals on aleph_n for n > 2, and it is still open whether there can exist such an ideal on aleph_4. Some of our arguments are quite specific to the cardinals involved. ========================================================================= 問合せ先：池上大祐神戸大学大学院システム情報学研究科 E-mail: ikegami(a)people.kobe-u.ac.jp

1 0

Re: [logic-ml] ICALP/LICS 2015 Call for Participation
by Hasegawa Masahito 25 May '15

25 May '15

$B3'MM!"(B $B8m$C$FJT=8ESCf$N$b$N$r$*Aw$j$7$F$7$^$$$^$7$?!#(B $BBgJQ<:NiCW$7$^$7$?!#;22C$r$48!F$$$$?$@$1$^$9$h$&!"(B $B2~$a$F$*4j$$?=$7>e$2$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B Subject: ICALP/LICS 2015 Call for Participation Date: Mon, 25 May 2015 16:01:24 +0900 From: Hasegawa Masahito <hassei(a)kurims.kyoto-u.ac.jp> $B3'MM!"(B 7$B7n$K5~ET$G3+:E$5$l$k9q:]2q5D(BICALP2015$B5Z$S(BLICS2015$B$N(B $B;22CJg=8$r$*Aw$j$7$^$9!#J;@_%o!<%/%7%g%C%W$b$"$o$;!"(B $B@'Hs;22C$r$48!F$D:$1$^$9$h$&!"$*4j$$?=$7>e$2$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ***** Call for Participation, ICALP/LICS 2015 in Kyoto ***** Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto. Eleven invited talks and about 200 papers on all areas of theoretical computer science and logic in computer science will be presented at Grand Prince Hotel Kyoto. Also, seven workshops will take place at Kyoto University on July 4 and 5. The registration page and the hotel reservation page are already open. For more details please visit our conference webpage: http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Looking forward to seeing you in Kyoto! Local Organizers: Masahito Hasegawa (Kyoto University) Atsushi Igarashi (Kyoto University) Kazuo Iwama (Kyoto University) Kazuhisa Makino (Kyoto University) Contact: icalp-lics2015(a)kurims.kyoto-u.ac.jp

1 0

ICALP/LICS 2015 Call for Participation
by Hasegawa Masahito 25 May '15

25 May '15

$B3'MM!"(B 7$B7n$K5~ET$G3+:E$5$l$k9q:]2q5D(BICALP2015$B5Z$S(BLICS2015$B$N(B $B;22CJg=8$r$*Aw$j$7$^$9!#J;@_%o!<%/%7%g%C%W$b$"$o$;!"(B $B@'Hs;22C$r$48!F$D:$1$^$9$h$&!"$*4j$$?=$7>e$2$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ***** Call for Participation, ICALP/LICS 2015 in Kyoto ***** Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto. Eleven invited talks and about 200 papers on all areas of theoretical computer science and logic in computer science will be presented at Grand Prince Hotel Kyoto. Also, seven workshops will take place at Kyoto University on July 4 and 5. The registration page and the hotel reservation page are already open. For more details please visit our conference webpage: http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Looking forward to seeing you in Kyoto! Local Organizers: Masahito Hasegawa (Kyoto University) Atsushi Igarashi (Kyoto University) Kazuo Iwama (Kyoto University) Kazuhisa Makino (Kyoto University) Contact: icalp-lics2015(a)kurims.kyoto-u.ac.jp - ------------ From: Masahito Hasegawa <masahito.hasegawa(a)gmail.com> Subject: Re: call for participation Date: Tue, 19 May 2015 11:06:04 +0900 > $B4d4V@h@8!"(B > > $B$"$j$,$H$&$4$6$$$^$9!#(B > $B;d$O:n@.$7$FD:$$$?0F$GNI$$$H;W$$$^$9!#(B > $BIU$1B-$9$H$7$?$i!"(Bearly registration$B$N!:@Z$H!"(B > 4-5 July$B$N%o!<%/%7%g%C%W$N$3$H$/$i$$$G$7$g$&$+!)(B > > $BD9C+@n???M(B > > > 2015-05-19 10:56 GMT+09:00 Kazuo Iwama <iwama(a)kuis.kyoto-u.ac.jp>: >> call for participation $B$rN.$7$^$7$g$&!%J8>O$O0J2<$N46$8$G$O$$$+$,$G$7$g(B >> $B$&$+!%!!!!4d4V(B >> >> Subject: ICALP/LICS 2015 Call for Participation >> >> ***** Call for Participation, ICALP/LICS 2015 in Kyoto ***** >> >> Joint Conference of The 42nd International Colloquium on Automata, >> Languages, and Programming (ICALP 2015) and The Thirtieth Annual >> ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in >> July 6-10, 2015, in Kyoto. >> >> Eleven invited talks and about 240 papers on all areas of theoretical >> computer science and logic in computer science will be presented at >> Grand Prince Hotel Kyoto. The registration page and hotel reservation >> page are already open. For more details please visit our conference >> webpage: >> >> http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 >> >> Looking forward to seeing you in Kyoto! >> >> Local Organizers: >> Masahito Hasegawa (Kyoto University) >> Atsushi Igarashi (Kyoto University) >> Kazuo Iwama (Kyoto University) >> Kazuhisa Makino (Kyoto University) >> >> Contact: icalp-lics2015(a)kurims.kyoto-u.ac.jp >> ------- End of Forwarded Message

1 0

AQIS2015のご案内
by NISHIMURA Harumichi 21 May '15

21 May '15

logic-mlの皆様，量子情報科学の国際会議AQIS2015のCALL FOR PAPERSを代理投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ----------------------------------------------------------------------------- 8月24～30に韓国ソウルで開催される15th Asian Quantum Information Science Conference (AQIS'15)の投稿締切が 6月11日と近づいて来ましたので、MLをお借りして以下の案内をさせて頂きます。ご投稿をご検討頂ければ幸です。＃重複してお受け取りの際は，何卒御容赦ください． ------------------------------ Apologies if you receive this mulitple times. Please forward to interested colleagues. ================== CALL FOR PAPERS 15th Asian Quantum Information Science Conference (AQIS'15) - http://aqis-conf.org/2015/ - August 24-30, 2015 at KIAS in SEOUL, KOREA - Tutorials: August 24 - Main Conference: August 25-28 - Satellite Meeting "Implementation of QIP": August 29-30 - Hosted by Korea Institute for Advanced Study (KIAS), Seoul, Korea Important Dates: [all 23:59 Anywhere on Earth(AoE) in 2015] - Submission deadline: June 11 - Acceptance notification: July 11 - Final manuscript deadline: July 25 - Early Registration deadline: July 25 We would like to draw your attention, and that of the quantum information community, to the 15th edition of the Asian Quantum Information Science Conference (AQIS'15). It is the leading conference in the subject in Asia, its highly successful predecessors having been EQIS'01-05 and AQIS'06-14. The topics covered include, but are not limited to, quantum computing, quantum information theory and experiment, quantum communication and cryptography, and foundations of quantum mechanics. Details about the conference can be found on the website: http://aqis-conf.org/2015/ Please check repeatedly as the information there will be updated regularly. Like its previous editions, AQIS'15 will consist of invited talks and tutorials, as well as oral and poster presentations, selected by a high-profile international programme committee. Invited speakers include [to be completed]: *Scott Aaronson (MIT) *Sergey Bravyi (IBM) *Kihwan Kim (Tsinghua U) *Christian Kurtsiefer (NUS, Singapore) *Yasunobu Nakamura (RIKEN and U Tokyo) *Jian Wei Pan (USTC, Hefei) *Renato Renner (ETH, Zurich) Tutorial Speakers include [to be completed]: *Dagmar Bruss (U Duesseldorf) *Daniel Nagaj (Solvak Acad. Sciences) Contributions are solicited in (but not limited to) the following areas: - Quantum computation, algorithms and complexity - Quantum information theory - Quantum decoherence fighting concepts, methods and tools - Quantum cryptography - Quantum communications experiments and theory - Quantum technologies (optics, atomic physics, and solid-state physics, etc.) - Quantum processor and computer design The submission deadline is June 11, 2015, 23:59 Anywhere on Earth (AoE). All submissions must follow the guidelines specified on the web site. We are looking forward to seeing you in Seoul, Korea! Committee Chairs Steering Committee: Jozef Gruska (Masaryk U, Brno) Conference: Jaewan Kim (KIAS, Seoul) Organizing Committee: Jaewan Kim (KIAS, Seoul) & Shigeru Yamashita (Ritsumeikan U) Program Committee: Richard Jozsa (U Cambridge) & Harald Weinfurter (LMU Munich) Contact: aqis15(a)kias.re.kr =======================

1 0

Fwd: CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。たびたび申し訳ありません。先ほどのメールの情報が一部間違っておりましたので、再送致します。 ****************************** 以下の要領で研究集会 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 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 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15

皆様、北陸先端大の横山です。以下の要領で研究集会 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) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) (to be more) -------------------------------------------- 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 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 0

早稲田大学高等研究所主催セミナーのお知らせ
by AKIYOSHI Ryota 15 May '15

15 May '15

次のようなセミナーを予定しております．参加自由です． ------------------------------------------------------------------------------ 早稲田大学高等研究所主催セミナー講演者：Florian Pelupessy 日時：5月25日（月）15:00—16:30 場所：早稲田大学早稲田キャンパス9号館5階　第2会議室 (URL: http://www.waseda.jp/wias/) Title: Phase transitions in logic: combinatorics and provability Abstract: Thanks to Gödel's incompleteness theorems we know that there exist statements in the language of Peano Arithmetic which can be neither proven nor disproven using PA. Only recently, from 1977 onwards, natural examples of such statements have emerged. These statements can be parametrised in such a manner that, at certain values, small tweaks to the parameter value result in a sudden change of provability of the resulting statement for this value. A programme has been started by Andreas Weiermann to examine these phase transitions in provability, revealing a connection between finite combinatorics which is very much provable in PA and the transition thresholds. In this talk we examine this relation and some examples. 問い合わせ先：早稲田大学高等研究所　秋吉亮太 (georg.logic(a)aoni.waseda.jp)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2015