{"id":4869,"date":"2018-01-16T09:01:58","date_gmt":"2018-01-16T00:01:58","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=4869"},"modified":"2018-03-19T09:36:57","modified_gmt":"2018-03-19T00:36:57","slug":"wias-top-runners-lecture-collection-proof-theory-and-computation-1-2%ef%bc%88march-16-17%ef%bc%89","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news-en\/2018\/01\/16\/4869\/","title":{"rendered":"WIAS Top Runners\u2019 Lecture Collection: &#8220;Proof Theory and Computation (1) &#038; (2)&#8221;\uff08March 16-17\uff09"},"content":{"rendered":"<h4>WIAS Top Runners\u2019 Lecture Collection:<br \/>\n&#8220;Proof Theory and Computation (1) &amp; (2)&#8221;\uff08March 16-17\uff09<\/h4>\n<h5>Speaker<\/h5>\n<p><a href=\"http:\/\/www.mathematik.uni-muenchen.de\/~schwicht\/index_en.php\">SCHWICHTENBERG, Helmut<\/a> \uff08Professor, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen\uff09<\/p>\n<h5>Schedule<\/h5>\n<p>&#8220;Proof Theory and Computation (1) &#8221;\u00a0 \/ Friday,\u00a016\u00a0March 2018, 16:00\uff5e18:00<br \/>\n&#8220;Proof Theory and Computation (2)&#8221;\u00a0\u00a0 \/ Saturday,\u00a017 March 2018, 16:00\uff5e18:00<\/p>\n<h5>Venue<\/h5>\n<p><a class=\"addicn\" href=\"https:\/\/www.waseda.jp\/top\/en\/access\/waseda-campus\">Rm. 1102 on the 11th floor, Building #26, Waseda University<\/a><\/p>\n<h5>Outline<\/h5>\n<p style=\"text-align: justify;\">The modern proof theory has been established in the 20th century.<br \/>\nIn particular, it has been developed in connection with the notion of computation, which was formulated mathematically in 1930\u2019s.<br \/>\nIn this event, Professor Helmut Schwichtenberg, who is one of the authors of books \u201cBasic Proof Theory\u201d and \u201cProofs and Computations\u201d (both are published from Cambridge University Press), would give us two lectures on proof theory and computation.<br \/>\nThe prospected audience are graduate students and researchers who have basic knowledge of mathematical logic.<\/p>\n<h5>Abstract &amp; Presentation Slides<\/h5>\n<p>For Abstract, please lick <a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2018\/02\/dr_Schwichtenberg_mar_16_17.pdf\">here<\/a>.<\/p>\n<p>For Presentation Slides, please click <a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2018\/03\/Proof_theory_computation.pdf\">here<\/a>.<\/p>\n<h5>Coordinator<\/h5>\n<p>FUJIWARA, Makoto\uff08Assistant Professor, Waseda University\uff09<br \/>\nAKIYOSHI, Ryota\u00a0\u00a0\u00a0\u00a0 \uff08Associate Professor, Waseda University\uff09<\/p>\n<h5>Prospected Audience<\/h5>\n<p>Faculty and staff members of a university, grad students, undergraduates, the general publics<\/p>\n<h5>Language<\/h5>\n<p>English<\/p>\n<h5>Organizer<\/h5>\n<p>Waseda Institute for Advanced Study, Waseda University<\/p>\n<h5>Registration<\/h5>\n<p>Free of charge. Please come to the event venue directly.<\/p>\n<h5>Poster<\/h5>\n<p><a href=\"https:\/\/www.waseda.jp\/inst\/wias\/assets\/uploads\/2018\/02\/20180316_top_runners_poster.pdf\">Please click here.<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>WIAS Top Runners\u2019 Lecture Collection: &#8220;Proof Theory and Computation (1) &amp; (2)&#8221;\uff08March 16-17\uff09 Sp [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":2765,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[95],"tags":[82,94,73],"class_list":["post-4869","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-en","tag-events-en","tag-general-en","tag-research-en"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4869","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=4869"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4869\/revisions"}],"predecessor-version":[{"id":4875,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4869\/revisions\/4875"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media\/2765"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=4869"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=4869"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=4869"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}