Intends to present several main advances in Natural Language Semantics and the interface between syntax and semantics, based on logical theories of linear logic and ludics, and on sharp analyses of computing due to advanced theories in Theoretical Computer Sciences.
