Luís Caires Computer Science Department, Section of Science and Technology of Programming . CITI (Center of Computer Science and Information Technology) . Member of EATCS, ACM. E-mail : Luis.Caires(AT)di.fct.unl.pt Room : P2/13 (CITIA) Phone : Office - (+351) 21 294 85 36, Ext. 10719; Fax - (+351) 21 294 85 41) ; Home - (+351) 21 840 28 25

My research interests

• Software Construction;
  
• Programming languages, calculi and logics;
  
• Models of concurrency, distribution, and mobility;
  
• Foundations of Global Computing.

  Software Available: A Spatial Logic Model Checker

• D.3 Programming Languages; F.1 Computation by Abstract Devices; F.3 Logics and Meanings of Programs; F.4 Mathematical Logic and Formal Languages

Events: LRPP'04, Dagstuhl FOG, FoSSaCS'05, TGC'05, ICALP'05, CONCUR'05, FMCO'05

Directory

Research Papers

Students

Projects and Working Groups

Running:

IP Sensoria

FET Profundis (FET IST 2001-33310)

SpaceTimeTypes (POSI/EIA/55582/2004)

APPSEM II Esprit Working Group (Applied Semantics) ( APPSEM II )

POLY (SAPIENS 34398/2000)

ComponentGlue (Microsoft Research Grant 2002-73)

DataBricks (SAPIENS 33924/2000)

Closed: Coordina, ESCOLA

Aulas (Local)

Algoritmos e Estruturas de Dados I

Linguagens de Programação II

Modelação e Análise de Sistemas Distribuídos

Módulo TALMP Linguagens de Programação e Programação Concorrente (2005)

Módulo TALMP Linguagens de Programação para Sistemas Distribuídos (2003--2004)