Seminário de Teoria da Computação

Organizado pelo LCG (Logic and Computation Group)

com o apoio da JNICT, dos projectos PRAXIS 2/2.1/MAT/262/94 SitCalc, PCEX/P/MAT/46/96 ACL e 2/2.1/TIT/1658/95 LogComp, bem como dos ESPRIT IV Working Groups 22704 ASPIRE e 23531 FIREworks.


1996-97 


IST, Edifício PG, Sala 3.10, 16h30 



Seminário 95/96 


Última actualização: 3 de Julho de 1997.
Informações: acs@math.ist.utl.pt