Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications

Details Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications

2012-03-24

arxiv.org/abs/1203.5423v1

EPTCS 81, 2012

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.81

This volume contains the proceedings of the Sixth Workshop on Logical and Semantic Frameworks with Applications (LSFA 2011). The workshop will be hold in Belo Horizonte, on August 27th 2011. 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 the use of such techniques and results, from the practical side.

Affiliated with

Also associated with

No associations

Rating

Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-39166