Seminário de Teoria da Computação

Organizado pelo LCG (Logic and Computation Group),

com o apoio da FCT, dos projectos PRAXIS/P/MAT/10002/1998 ProbLog, 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.


1999-00 


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



Seminário 98/99
Seminário 97/98
Seminário 96/97
Seminário 95/96 


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