Research awards and distinctions

received by current members of CLC (now SQIG at IT) as well as past members while at SQIG/CLC/LCG: 

• P. Mateus, Portuguese IBM Scientific Prize, IBM, Portugal, 2005. Análise de sistemas de prova de conhecimento nulo.
• R. Gonçalves, PGEI research grant from Fundação Calouste Gulbenkian, 2005.
• L. Cruz-Filipe and P. Letouzey, CALCULEMUS Workshop 2005 (Affiliated workshop of FM'05), Newcastle-upon-Tyne, UK, July 18-19, 2005. Winner of best paper award. A large-scale experiment in executing extracted programs.
• C. Caleiro and R. Gonçalves, 1st World Congress on Universal Logic, Montreux, Switzerland, March 31 - April 3, 2005. Winner of the best paper contest about "How to define identity between logics?". Equipollent logical systems.
• D. Graça, PGEI research grant from Fundação Calouste Gulbenkian, 2004.
• P. Resende (ex-aequo), José Anastácio da Cunha Prize, Sociedade Portuguesa de Matemática, Portugal, October 31, 2002. Tropological systems and observational logic in concurrency and specification.
• P. Resende (ex-aequo), Portuguese IBM Scientific Prize, IBM, Portugal, 1998. Semântica observacional de sistemas concorrentes.
• A. Sernadas, J. F. Costa and C. Sernadas, Descartes Prize, Data Processing Institute, Ministry of Finances, Portugal, 1992. Object specification with diagrams: Oblog approach.

Last update: July 18, 2006.