Parabéns a Elaine e demais envolvidos no LSFA pela publicação do volume de anais do último LSFA! Só podemos lamentar que ---diferentemente do ENTCS--- o EPTCS, cujo material é de livre acesso na net, não possui qualquer classificação segundo o Qualis.
JM > ------------------------------------------------------------------------------ > \\ > arXiv:1203.5423 > Date: Sat, 24 Mar 2012 15:27:21 GMT (3kb) > > Title: Proceedings 6th Workshop on Logical and Semantic Frameworks with > Applications > Authors: Simona Ronchi della Rocca (UNITO), Elaine Pimentel (UFMG) > Categories: cs.LO cs.CC cs.PL > ACM-class: F.3.1, F.3.2, F.4.1 > Journal-ref: EPTCS 81, 2012 > DOI: 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. > \\ ( http://arxiv.org/abs/1203.5423 , 3kb) > ------------------------------------------------------------------------------ -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
