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.