NII Logic Seminar April 2010

Apr 14, 2010 · Seoul, Japan

NII Logic Seminar is a regular academic meeting held every week in National Institute of Informatics for those who are interested in

Mathematical Logic (constructive logic, proof theory, linear logic)
Theoretical Computer Science (lambda calculus, type theory, computational complexity)
Mathematical Linguistics and Natural Language Semantics

Event organizers

Are you organizing NII Logic Seminar April 2010?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews