Second SYSMICS workshop

November 6, 2017 Luca Spada meeting, News 0

DieRotunde

The second SYSMICS workshop “Substructural logics: semantics, proof theory, and applications” will take place in Vienna 26–28 February 2018.

Webpage of the workshop

Leave a Reply Cancel reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Copyright © 2024 | WordPress Theme by MH Themes