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
- Pedro C. Diniz (U. Southern California, USA)
- Michel Wermelinger, Open University, UK
- Pedro Trancoso (U. Cyprus, Cyprus)
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
