Past Events

(Somewhat) Functional Journal Club

2021-05-11
L4E48
Vsevolod Nikulin will talk about "Algebra and calculus of types". 

Mini Course: Zsh 1 of 1

2021-04-20
B701, Computer Lab, Lab 3

This Mini Course will sell Z shells on the Z shore.
The Z shell (Zsh) is a Unix shell that can be used as an interactive login shell and as a command interpreter for shell scripting.

◆Target Audience
This course is suitable for people who have used Unix terminals before.

(Somewhat) Functional Journal Club

2021-04-13
L4E48
In this session, Jeremie Gillet will have a hands-on introduction to Elm, a functional programming language for building safe web applications. Intall Elm in advance.

HiSci Lab 2021

2021-03-13
Fureai Taiken Center - Onna

The "Science Project for Ryukyu Girls Science Camp" that began in 2014 was re-named "HiSci Lab" in 2021. 

In order to support the advancement of women into the STEM field, we encourage female high school students in Okinawa Prefecture to continue their education in STEM.

Female researchers from Okinawa Prefecture who are active both inside and outside the prefecture will have the opportunity to pass on knowledge and convey the joys of science. In addition to lectures, students will have the opportunity to learn through workshops with PhD students and Post-Doctoral researchers at OIST.

[PhD Thesis Presentation_zoom] - Ms. Shivani Sathish

2021-02-26
Seminar Room 210, Ctr Bldg, Level C

PhD Public presentation

1st Admissions Workshop 2021

2021-02-01 to 2021-02-05
Online via Zoom

Selection workshop for students seeking admission to the OIST PhD program in 2021

(Somewhat) Functional Journal Club

2021-01-28
L4E48
This Journal Club is for people interested in Functional Programming, Category Theory and related fields. Maybe you know a some Haskell, maybe you’ve heard of monads or the Yoneda Lemma, or maybe you’d like to learn about these things. We will meet every two weeks (approximately) on Thursdays from 4 to 5PM. Registration not required.
 
In this first meeting, Vsevolod Nikulin will talk about Currying, and the rest of the time we will discuss among participants to learn about our respective interests and expectations for the following meetings.

Pages