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
Uminho 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.

     

     

    [ Topo | FAQ | Editores | Contacto ]