Join us for these events

(Programming Languages) in Agda = Programming (Languages in Agda)

Thursday, September 26, 2019

4 p.m.—5 p.m.

Luddy Hall

-

Programming Systems Speaker Series
Speaker:  Philip Wadler, University of Edinburgh

It’s Time for Reasoning

Friday, September 27, 2019

3 p.m.—4 p.m.

Luddy Hall

-

School of Informatics, Computing, and Engineering Distinguished Speaker Series 
Speaker:  Dan Roth, University of Pennsylvania

Bioinformatics Research Talk. Topic: TBA

Thursday, October 24, 2019

3 p.m.—4 p.m.

Luddy Hall

-

Center for Bioinformatics Research Talk
Speaker:  Sarath Chandra Jarga, School of Informatics and Computing, IUPUI