Formal Aspects of Component Software
(FACS 2010)

Universidade do Minho
Universidade do Minho

7th International Workshop on Formal
Aspects of Component Software

October 14-16, 2010 - Guimarães (Portugal)

UN University
United Nations University

Keynote Speakers

Sanjit Seshia

Sanjit Seshia

Title
Quantitative Analysis of Software: Challenges and Recent Advances

Abstract
Even with impressive advances in formal methods over the last few decades, some problems in automatic verification remain challenging. Central amongst these is the verification of quantitative properties of software such as execution time or energy usage. In this talk, I will discuss the main challenges for quantitative analysis of software in cyber-physical systems. I will also present some recent advances based on the combination of inductive inference with deductive reasoning.
 
Brief biography
Sanjit A. Seshia is an assistant professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in embedded systems, electronic design automation, computer security, and program analysis. He has received a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.

 

Luís Caires

Ls Caires

Title
Analysis of Service Oriented Software Systems

Abstract
We overview perspectives on the general concept of service-based computing, and present some of our recently proposed techniques, based on process algebras, type theory and logic, to reason about key properties of service-based software systems. We will also discuss how our basic framework may be extended to cover several interesting security properties, such as separation of duties in multiple partner protocols. (talk based in joint work with Hugo. T. Vieira)
 
 
Brief biography
Luis Cares is an Associate Professor (with Habilitation) at the Department of Informatics of FCT/UNL (Universidade Nova de Lisboa). He is also the Director of CITI (Center of Informatics and Information Technology). Member of EATSC, ACM, ICTI (CMU|Portugal) and IFIP TC-2 WG 2.2 (on Formal Description of Programming Concepts), his research interests span from concurrency models and logics to program languages, calculi and types. His work on spatial logic, with Luca Cardelli and others, is widely recognized as a landmark in the area.