Home -- Logic and Semantics

Home(current)
News
Research
People
Seminar
Tutorial Material
Blog

Logic and Semantics

About LogSem.

News:

We have four papers accepted for publication at POPL'21.

Created using Hugo and the Bootstrap theme Cosmo.

Copyright © 2019 — 2021 by Logic and Semantics research group. All rights reserved.