Em tempo: eu sou contra proocedings serem classificados no Qualis... Mas, se tem que ser, concordo com o Vivek, no maximo B4...
Abracos, Elaine. Enviado desde mi iPhone El 27/03/2012, a las 7:07, Joao Marcos <botoc...@gmail.com> escribió: > 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
