Atlas home || Conferences | Abstracts | about Atlas
Host: University of L'Aquila
Homepage: http://w3.dm.univaq.it/tlca99/
Email: tlca99.aquila@univaq.it
Organizers: Benedetto Intrigila, Flavio Corradini, Andrea Formisano, Maria Chiara Meo, Monica Nesi, Alfonso Pierantonio, Ivano Salvo, Stefano Sorgi
Description:
The TLCA series of conferences aims at providing a forum for the presentation and discussion of recent research in an area which was
originally a rather restricted field but has now considerably expanded. The following list of topics is non-limitative:
Proof-theory Cut-elimination and normalization, Linear logic, ... Semantics Denotational semantics, Game semantics, ... Operationality Abstract machines, Parallel execution, ... Typing Subtypes, Type assignment systems, ... Programming Proof search, Type checking, ...
Mail Address:
Benedetto Intrigila Dipartimento di Matematica Pura ed Applicata Università di L'Aquila Via Vetoio, Loc. Coppito 67100 L'Aquila, Italia
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.