Navigation

apoios-header

 

cctc-logo

 

haslab

 

citi.jpg

 

C.M.Almada.jpg

 

FCT.png

 

lasige.jpg

 

Outsystems

 

AnubisNetworks

 

UNLisboa

 

SAS da UNLisboa

 

OrdemEngenheiros

 

 

Prémio INForum 2012

 

Tal como nas edições anteriores, o INFORUM 2012 irá atribuir um prémio ao melhor artigo de entre os escritos por alunos de mestrado ou doutoramento como autor principal, de acordo com a escolha da comissão de selecção internacional.

 

Júri

Os artigos nomeados

  • CMU: Filtros de precedência: agregação anónima de dados de trânsito bluetooth, Nelson Gonçalves, Carlos Baquero, Rui José and Miguel Borges
  • CPDLA: C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-clouds, Ricardo Mendes, Tiago Oliveira, Alysson Bessani and Marcelo Pasin
  • GDC: Merging Temporally-Related Clinical Data from Patients with Amyotrophic Lateral Sclerosis, Pedro M. T. Amaral, Susana Pinto, Mamede De Carvalho, Pedro Tomás, Sara C. Madeira
  • SETR: Real-Time Scheduling of Parallel Tasks in the Linux Kernel, José Carlos Fonseca, Luis Nogueira, Cláudio Maia and Luis Miguel Pinho
  • SOFT-PT: ARMY: A deductive verification platform for ARM programs using Why3, Mário Pereira, Jean-Christophe Filliâtre and Simão Melo de Sousa
  • SSCC:DIVERSYS: DIVErse Rejuvenation SYStem, Miguel Garcia, Nuno Neves and Alysson Bessani

 

Vencedor

O prémio foi entregue a Mário Pereira com o artigo:

  • "ARMY: A deductive verification platform for ARM programs using Why3", de Mário Pereira, Jean-Christophe Filliâtre and Simão Melo de Sousa

 

Patrocínio

Outsystems
  
Acções do Documento
« Junho 2017 »
Junho
Do
1234
567891011
12131415161718
19202122232425
2627282930
 
Sections