9th International Workshop on Trends in Linear Logic and Applications TLLA 2025
19-20 juil. 2025
- Birmingham (Royaume-Uni)
The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks.
Discipline scientifique :
Logique en informatique
Lieu de la conférence