camloeba
(camloeba)
Usage start date: 11/04/2012
Formal verification. Functional programming. OCaml.
Block chain. Cryptcurrency. Tezos. Kyoto.
- Attended 10
- Organize 2
- Presenter 1
- Bookmark 0
2023
/
05/19
(Fri)21:00〜
Attending
2021
/
10/01
(Fri)18:30〜
Attending
2020
/
04/17
(Fri)18:30〜
Attending
2020
/
01/18
(Sat)13:00〜
Attending
2019
/
10/10
(Thu)19:00〜
Attending
2019
/
08/08
(Thu)17:30〜
Cancel
2019
/
07/06
(Sat)13:00〜
Cancel
2019
/
03/22
(Fri)19:00〜
Attending
2019
/
02/09
(Sat)09:30〜
Cancel
2018
/
11/09
(Fri)19:00〜
Attending