2013年8月24日[土]

第１回論理学徒のつどい

[6019views]

Googleカレンダー登録

詳細

これは論理学や数学基礎論周辺に興味がある人に、インフォーマルな交流の場を提供することを目的としたイベントです。学生、社会人問わず多くの方の参加をお待ちしております。

対象分野：論理の哲学・論理学・証明論・逆数学・モデル理論・集合論・計算理論・一般位相・一般代数・及びそれらの近接分野。

開催形式：発表会

参加資格：論理式・モデル・形式的証明・公理系などについて具体的なイメージが湧くこと。

参加費：300円

参加方法：ついぷらに登録し、公式アカウント(@Logic_and_Math)をフォローして下さい(告知等で使います)。

※1日だけ参加される方はその旨と参加日を公式アカウントに報告してください。

※キャンセルされる場合は早めに公式アカウントまでご報告ください。

参加定員：30人

日程：2013年8月24,25日(二日間開催)

開催場所：名古屋大学　多元数理科学棟

懇親会：こちらから登録

スケジュール&講演アブストラクト

8/24

12:00開場

12:15開会式

12:30~13:55発表：論理学史(聖ステパノ大王)

14:10~15:05発表：高階論理(証蔵)

15:05~16:05おやつ休憩

16:05~17:30発表：ラムダ計算(魔法少女)

17:35~17:40全体注意

18:00~20:00懇親会

8/25

10:40開場

11:00~12:25発表：モデル理論(古関)

12:25~13:40昼休み

13:40~14:40討論会

14:50~16:15発表：超準解析(山元)

16:30~17:25発表：集合論(宮崎)

17:35~17:50閉会式

17:50～18:30片付け

18:30：会場閉鎖

討論会について：論理学や基礎論を勉強されてる方が疑問に思っていることなどをぶつけあう企画です。

話したい疑問やテーマを@Logic_and_Mathまでリプライいただけるとありがたいです。

Twitterアカウント：@Logic_and_Math

場所

名古屋大学

道順を調べる

このイベントに参加しますか？
まずX(Twitter)アカウントでログインする
※ログインする際、TwiPlaが勝手にツイートやフォローする事はありません。

興味あり (19人)

不参加 (3人)

名簿印刷用ページを開く

名前をID表示に

コメント

最新の20件を表示中　[すべて表示する]

@hymathlogic 興味あり！
中の人　4245日前　
@hymathlogic 興味あり！通りすがりの主婦でも顔だしてよろしいでしょうか…。
おおやともこ　4244日前　
@hymathlogic 興味あり！
ほうちゃん　4244日前　
@hymathlogic 興味あり！
銀豚無用　4243日前　
@hymathlogic 興味あり！
ＪＩＮ　4240日前　
@hymathlogic 興味あり！
さとすのさとす　4237日前　
行けるかどうかわからんが、応援はします。 @hymathlogic
ゼルプスト殿下　4235日前　
@hymathlogic 思い切って参加します！まだまだ未熟者ですがよろしくお願いします。
指圧マット　4212日前　
@hymathlogic 興味あり！
η　4212日前　
@hymathlogic 参加します！
η　4209日前　
@hymathlogic 参加します！
ぞみ　4203日前　
@hymathlogic 参加します！
メ・ガリマ・バ　4201日前　
@hymathlogic 参加します！
なみだうさぎ　4200日前　
なんかとりあえずヒルベルト流とかゲンツェン流とかなんとなくわかった気がするので論理学徒のつどいに参加します
パスベルス　4162日前　
@hymathlogic 参加します！　多元数理の佐藤より
nagoya.math.m09054m　4161日前　
@hymathlogic その時期、用が立て込みすぎていて、残念ながら不参加です。
ゼルプスト殿下　4157日前　
@hymathlogic 大変残念ですが不参加とさせていただきます。
ほうちゃん　4156日前　
@hymathlogic すいません、スケジュールの都合上、論理学徒のつどいは不参加ということでよろしくお願い致します。
Takayuki Kihara　4156日前　
@hymathlogic 参加します！　表明が遅くなりすみません。
谷口一平 A.k.a.hani-an　4155日前　
@hymathlogic 興味あり！
Ryo Ishigaki　4146日前

ログインしてコメントする

X(Twitter)アカウントでログイン