Equipa do IST em provas de segurança eletrónica

24 outubro 2014, 09:15 - Carlos António Roque Martinho

A equipa STT do IST, que integra alunos de Engenharia Informática, Eletrotécnica, Matemática e Segurança da Informação, mostrou resultados promissores na sua primeira participação numa das 10 maiores provas de segurança eletrónica (Capture The Flag Hack.lu) e promete crescer num futuro próximo. A equipa obteve um honroso 52º lugar entre 581 equipas inscritas, resolvendo 10 dos 30 problemas propostos. Mais informação no artigo da revista Exame Informática. (link)

Distinguished Lecture Series - Folk Theorems for Multi-Agent Systems

15 outubro 2014, 15:42 - Lucília Abreu

Abstract
The Nash Folk Theorems are a collection of related results that characterise the Nash equilibria that can be sustained in repeated games. As the name suggests, the Folk Theorems are technically simple, but this simplicity belies the fact that they are of enormous significance. For example, it has been argued that they provide answers to fundamental questions relating to the structure and behaviour of human societies. In this talk, I will introduce the Folk Theorems, and then show how they can be applied in the context of multi-agent systems, to understand the equilibria that can be obtained in such systems.
Bio
I am a Professor of Computer Science in the Department of Computer Science at the University of Oxford, and a Senior Research Fellow at Hertford College. I joined Oxford on 1 June 2012; before this I was for twelve years a Professor of Computer Science at the University of Liverpool. In October 2011, I was awarded a 5-year ERC Advanced Grant, entitled "Reasoning About Computational Economies" (RACE). I am a AAAI Fellow, an ECCAI Fellow, an AISB Fellow, and a BCS Fellow. In 2006, I was the recipient of the ACM Autonomous Agents Research Award. In 1997, I founded AgentLink, the EC-funded European Network of Excellence in the area of agent-based computing. I was program chair for the 19th European Conference on Artificial Intelligence (ECAI-2010), held in Lisbon, Portugal, in August 2010. I will be General Chair for the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015), to be held in Buenos Aires, Argentina. Between 2003 and 2009 I was co-editor-in-chief of the Journal Autonomous Agents and Multi-Agent Systems. I am an associate editor of the Journal of Artificial Intelligence Research (JAIR) (2006-2009, 2009-2012), an associate editor of Artificial Intelligence journal (2009-2012) and serve on the editorial boards of the Journal of Applied Logic, Journal of Logic and Computation, Journal of Applied Artificial Intelligence, and Computational Intelligence.

Information available here https://pt-pt.facebook.com/pages/InescID/145976505450662 and here http://www.inesc-id.pt/lectures.php?plt=26

Talk: A Commitment-based Reference Ontology for Services (& its implications to EA)

30 setembro 2014, 15:10 - Lucília Abreu

Abstract
The concept of “service” has been characterized by different disciplines and authors from various points of view. The variety of characterizations reveals that this notion, although an intuitive one, is far from trivial. Given the importance of services in enterprise computing and Service Science in general, we believe that a clear account of services and service-related concepts is necessary and would serve as a basis for communication, consensus and alignment of various approaches and perspectives. In this talk, I will discuss efforts towards a commitment-based account of the notion of service captured in a core reference ontology called UFO-S. UFO-S addresses the commitments established between service providers and customers, and show how such commitments affect the service lifecycle. The commitment-based account can serve to harmonize different notions of service in the literature. I will discuss the implications of the broad account on services to Service-Oriented Enterprise Architecture modelling in particular discussing how it may impact ArchiMate models that use the service construct.

Bio
João Paulo Andrade Almeida é professor adjunto da Universidade Federal do Espírito Santo e Coordenador Adjunto do Programa de Pós-Graduação em Informática. É Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.Possui graduação em Engenharia de Computação pela Universidade Federal do Espírito Santo (1999), mestrado em Telemática (com louvor) pela University of Twente (2001) e doutorado em Ciência da Computação pela University of Twente (2006). Tem experiência em Desenvolvimento e Arquitetura de Sistemas Orientados a Serviços e Modelos, Modelagem Conceitual e Modelagem de Organizações e Processos de Negócio. É chair do steering committee da conferência IEEE EDOC, membro do comitê de programa de vários eventos internacionais e revisor para vários periódicos internacionais. Foi coordenador do Programa de Pós-Graduação em Informática (incluindo os cursos de Mestrado em Informática e Doutorado em Ciência da Computação) no período de 2011 a 2013. Atuou como co-chair do comitê de programa da 13th IEEE  International EDOC Enterprise Computing Conference (EDOC 2009), Auckland, Nova Zelândia, e general chair da 14th IEEE International EDOC Enterprise Computing Conference (EDOC 2010), Vitória, ES. Recebeu os prêmios de melhor artigo nas conferências IEEE EDOC 2013 (Towards a Commitment-Based Reference Ontology for Services), IEEE CogSIMA 2013 (A Rule-Based Platform for Situation Management), IFIP I3E 2013 (Foundational Ontologies for Semantic Integration in EAI: A Systematic Literature Review) e IEEE EDOC 2011 (An Ontology-Based Semantics for the Motivation Extension to ArchiMate).

Palestra - Comunicações na rede de baixa tensão da smart grid

17 setembro 2014, 14:34 - Lucília Abreu

Mais informações disponível aqui https://www.dropbox.com/s/82t4w764fwhxldp/PALESTRA_PROF.%20AUGUSTO%20CASACA.pdf?dl=0

Concursos para pessoal docente - Prof. Catedrático/Associado/Auxiliar

4 setembro 2014, 15:24 - Lucília Abreu

Concurso para Prof. Catedrático na àrea científica de ASO https://www.dropbox.com/s/p2aoe11zx9u0edm/Concurso%20PCA-ASO.pdf?dl=0

Concurso para Prof. Associado na àrea científica de MTP https://www.dropbox.com/s/85f2fx3d0vb4oph/Concurso%20PAS-MTP.pdf?dl=0

Concurso para Prof. Associado na àrea científica de CGM https://www.dropbox.com/s/4m9ke4dyvvvfv34/Concurso_PAS_CGM.pdf?dl=0

Concurso para Prof. Associado na àrea científica de ASO https://www.dropbox.com/s/489bipldzd7lvmm/Concurso_PAS_ASO.pdf?dl=0

Concurso para Prof. Auxiliar https://www.dropbox.com/s/2adpp221bcvkggu/PAX_DEI.pdf?dl=0