Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. The objective of this one-day workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. In this fifth edition, the workshop will be in August the first jointly with ICTAC (http://www.iist.unu.edu/ICTAC/ictac2010/) in Natal-Rn, Brasil.
Member of the Program Committee - 5th Workshop on Logical and Semantic Frameworks, with Applications
PAOLINI, LUCA LUIGI
2010-01-01
Abstract
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning. The objective of this one-day workshop is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. In this fifth edition, the workshop will be in August the first jointly with ICTAC (http://www.iist.unu.edu/ICTAC/ictac2010/) in Natal-Rn, Brasil.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
