新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

このエントリーをはてなブックマークに追加

Aug

10

coq Art オンライン読書会 #n ( 3.3.3 - )

Registration info

参加枠1

Free

Attendees
0

参加者への情報
(参加者と発表者のみに公開されます)

Description

Tactic の証明論における定式化などを終え、
Coq System の見通しが非常によくなってきました。

System F ~ CIC などの型理論の先に広がる coq Art の世界は、 ある程度 Coq に親しんだ方でも楽しめる内容となっていると考えています。

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

shinichi__

shinichi__ published coq Art オンライン読書会 #n ( 3.3.3 - ).

08/04/2020 14:25

coq Art オンライン読書会 第n回目( 3.3.3 - ) has been published!

Group

Ended

2020/08/10(Mon)

21:00
22:30

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2020/08/04(Tue) 14:25 〜
2020/08/10(Mon) 22:30

Location

オンライン

オンライン

オンライン

Organizer

Attendees(0)

No attendees yet.

Attendees (0)