Seminário de Teoria da Computação

Organizado pelo LCG (Logic and Computation Group),

com o apoio da FCT, 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.


1997-98 


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



Seminário 96/97
Seminário 95/96 


Última actualização: 9 de Junho de 1998.
Informações: acs@math.ist.utl.pt