Logic-ml

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

1792 discussions

モデル理論研究集会のお知らせ
by ikeda＠hosei.ac.jp 03 Jun '15

03 Jun '15

皆様，法政大学の池田と申します．今年８月に法政大学で研究集会「モデル理論夏の学校2015」が開催されます．この研究集会は毎年夏に開催されるモデル理論および関連分野に関する研究集会です．モデル理論に興味のある方の参加をお待ちしております．・日程：２０１５年８月２２日（土）- ２４日（月）・会場：法政大学市ヶ谷キャンパス５５年館５５１教室・所在地：〒102-8160東京都千代田区富士見2-17-1 ・世話人：池田宏一郎（法政大学経営学部，ikeda(at)hosei.ac.jp）・Web page：https://sites.google.com/site/modeltheorysummer2015/ 参加を希望される方は，下記のフォームに必要事項を記入の上，池田宛に電子メールでお申し込みください．（講演申込み締切は６月３０日） %%%%%%%%%%モデル理論夏の学校・参加申し込みフォーム%%%%%%%%%% ・氏名：・所属機関：・職名／学年：・講演：する／しない・講演題目： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 池田宏一郎（法政大学）

1 0

ポスドクの公募（＠産総研関西センター）のお知らせ
by Takashi Kitamura 03 Jun '15

03 Jun '15

*** 重複して受け取られた場合はご容赦ください *** みなさま、産業技術総合研究所の北村と申します。本 ML をお借りいたしまして、産総研（関西センター）でのポスドク公募のお知らせをさせていただきます。弊所情報技術研究部門ソフトウェアアナリティクス研究グループでは、現在、ポスドクの公募を行っております。採用者は、当研究グループが開発するモデルベーストのソフトウェアテスト技術に関する研究プロジェクトに従事していただきます。主な仕事内容は以下の通りとなります。・テスト自動化のためのアルゴリズムの研究やプログラムコードの開発・企業と共同実施による本技術の実証実験・ソフトウェアテストに関するチュートリアルやセミナの開発・研究論文の執筆本プロジェクトでは、ソフトウェアツール開発が重要な項目であり、C++ によるプログラムコードの開発技術・経験が求められます。また研究対象となる技術はソフトウェアテストに関するものですが、アルゴリズムや論理学、形式手法の側面も強く、これらについて素養があることが望ましいです。（ただし、必須ではないです。）雇用条件・応募方法等は以下をご参照ください。 https://unit.aist.go.jp/hrd/keiyaku_koubo/list_dith_1_kansai.html#itri https://unit.aist.go.jp/hrd/keiyaku_koubo/27-itri_0028.html 応募締め切りが「平成27年6月8日(月)」とありますが、延長可能ですので、興味のある方やまずはお早めに、私のほうにメールだけでもいただければと存じます。以上、よろしくお願いいたします。 -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Internal Tel: *33-274-71902 Fax: +81-6-6494-8073

1 0

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

27 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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml