Chuck Liang speaks at 19 Dec at 11h
Thanos Tsouanas visits for two weeks
Lutz Straßburger’s paper “Cut Elimination in Nested Sequent Systems for Intuitionistic Modal Logics” has been accepted to FoSSaCS 2013 to be held in Rome during 16–24 March as part of ETAPS.
© 2012 INRIA
Made with by Graphene Themes.