7º concurso/encontro nacional de 
Programação em Lógica

  CeNPL'04  ::IST::  ::DMIST::  ::CeNPL:: 


Organização

DM-IST - Departamento de Matemática, Instituto Superior Técnico.

Comissão Científica

Salvador Abreu, Universidade de Évora
José Júlio Alferes, Universidade Nova de Lisboa
Amílcar Cardoso, Universidade de Coimbra
Miguel Filgueiras, Universidade do Porto
Pedro Guerreiro, Universidade Nova de Lisboa
Pedro Henriques, Universidade do Minho
Antónia Lopes, Universidade de Lisboa
Ana Paiva, Instituto Superior Técnico
Jaime Ramos, Instituto Superior Técnico
Luis Reis, Universidade do Porto
Hamid Shahbazkia, Universidade do Algarve
Simão Melo de Sousa, Universidade da Beira Interior
Delfim Torres, Universidade de Aveiro

Comissão Organizadora

Jaime Ramos, Instituto Superior Técnico
Francisco Miguel Dionísio, Instituto Superior Técnico 
Francisco Fernandes, LMAC
Paulo Filipe, LCI
Ricardo Gonçalves, LMAC
Hugo Tavares, LCI

Apoio Técnico

João Dimas Santos, CIIST
Angelina Silva, CIIST

Contactos

CeNPL'04, Comissão Organizadora
A/C Prof. Jaime Ramos
Departamento de Matemática
Instituto Superior Técnico
1049-001 Lisboa

cenpl04@math.ist.utl.pt
http://www.math.ist.utl.pt/~cenpl04