About LogSem.

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