O LSFA já apareceu no Shine: http://shine.icomp.ufam.edu.br/results.php?conference=LSFA +-+Workshop+on+Logical+and+Semantic+Frameworks%2C+with+Applications&year1=2001&year2=2012
-- ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
