gildot Topo Sobre FAQ Tópicos Autores Preferências Artigos Sondagens Propor artigo 8/3 gildicas 9/30 jobs 10/9 perguntas 10/25 press		MPC 2000 Contribuído por scorpio em 18-04-00 8:32 do departamento Mathematics-of-Program-Construction Estão abertas as inscrições para a MPC 2000, a 5ª de uma série internacional de conferências sobre Métodos Formais de Programação que este ano terá lugar em Portugal. Esta série de conferências é dedicada à apresentação de técnicas e métodos de programação inovadores, de raíz científica e com potencial para o cálculo e a automatização do processo de programação de sistemas informáticos, abrangendo todos os paradigmas de programação (eg funcional, imperativo, orientado ao objecto, etc). A MPC 2000 realizar-se-á de 3 a 5 de Julho de 2000 no Teatro D. Bernardes, em Ponte de Lima. Para além da organização, a cargo do Departamento de Informática da Universidade do Minho, a MPC 2000 conta com os apoios de várias entidades e empresas ligadas à informática. Dentre várias, serão de referir as seguintes workshops: Constructive Methods for Parallel Programming Generic Programming Attribute Grammars and their Applications Generic Programming <  Alternativa para DirectX... | "Earth rotates in wrong direction"  >	gildot Login Login: Password: Referências MPC 2000 Mais acerca Uminho Também por scorpio
	Esta discussão foi arquivada. Não se pode acrescentar nenhum comentário.