More is different: how complex networks lead to new emergent social behavior
Prof. Jorge M. Pacheco, Universidade do Minho – Abstract: The holy-grail of computational social science is to understand how societies behave as a collective, knowing how individuals interact with each-other. Conversely, if all we know is how societies behave collectively (as happens all too often…
Privacy-Preserving Event Stream Processing in the Cloud
Prof. Pascal Felber, Université de Neuchâtel, Institut d’informatique – Abstract: Stream processing provides an appealing paradigm for building large-scale distributed applications. Such applications are often deployed over multiple administrative domains, some of which may not be trusted. Recent attacks in public clouds indicate that a…
Folk Theorems for Multi-Agent Systems
Prof. Michael Wooldridge, University of Oxford – 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…
Behavioral Signal Processing: Enabling human-centered behavioral informatics
Prof. Shrikanth Narayanan, University of Southern California, USA – Abstract: Audio-visual data have been a key enabler of human behavioral research and its applications. The confluence of sensing, communication and computing technologies is allowing capture and access to data, in diverse forms and modalities, in…
Elastic and Fault-Tolerant Stream Processing in the Cloud
Prof. Peter Pietzuch, Department of Computing, Imperial College London – Abstract: As users of “big data” applications want fresh processing results, we witness a new breed of stream processing systems that are designed to scale to large numbers of cloud-hosted machines. Such systems face new…
What happens when you let reality inspire your research?
Prof. Paulo Veríssimo, University of Lisbon, Portugal – Abstract: It is not often that one finds concrete problems capable of inspiring really advanced research. Computing and communications, having become commodities which societies largely depend on, created such an opportunity in what concerns their security and…
Disciplined Approximate Computing: From Language to Hardware, and Beyond
Prof. Luis Ceze, University of Washington, USA – Abstract: Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. A key challenge, though, is how to isolate parts of the program that must…
Talk1:The OpenRISC experience & Talk2:Machine Guided Energy Efficient Compilation
Dr. Jeremy Bennett , Embecosm, UK – Abstract: Dr. Jeremy Bennett brings us two short lectures: the first one is under the theme “Free softcores, tools and toolchains: The OpenRISC experience”, the second short lecture is about “MAGEEC: Machine Guided Energy Efficient Compilation”. Free softcores,…
Head in the clouds: an overview of cloud computing and some associated research challenges
Prof. Rodrigo Rodrigues, Universidade Nova de Lisboa, Portugal – Abstract: Cloud computing is a fast growing, multi-billion dollar industry, with several forecasts predicting an annual growth rate for this market that is well above 20% during the remainder of the current decade. In this talk…
Repetitions in Strings
Prof. Maxime Crochemore, Université Paris-Est, France – Abstract: Large amounts of text are generated every day in the cyberspace via Web sites, emails, social networks, and other communication networks. These text streams need to be analysed to detect critical events or the monitor business for…
40 Years of Science and Knowledge: The ability to create new technology-based companies
The second session to celebrate INESC 40th years will take place on October 8, at 5 p.m., at Calouste Gulbenkian Foundation (Auditorium II).
This session will be transmitted live.
17:00 Opening session
Leonel Sousa (INESC Lisboa/IST)
17:10 Keynote speech
Carlos Moedas (Fundação Calouste Gulbenkian)
17:30 Panel I: The first wave: networks and services
José Alves Marques (LINK/IST)
João Nuno Bento (Novabase)
Pedro Ramalho Carlos (Shilling Founders Fund)
Luís Alveirinho (Altice)
Moderator: Isabel Trancoso (INESC-ID/IST)
18:15 Panel II: The second wave: software and artificial intelligence
Vasco Pedro (Unbabel)
Ana Teresa Freitas (HeartGenetics)
Jaime Jorge (Codacy)
João Paulo Neto (Voice Interaction)
Moderator: Joaquim Sérvulo Rodrigues (Armilar)
19:00 Four decades creating value
Arlindo Oliveira (INESC/IST)
José Tribolet (INESC)
António Costa, Prime Minister (to confirm)
[Registration will be open soon]
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 will take place between the 24th and 28th of October at Alfândega Porto Congress Centre, in Porto.
ICST 2020 aims to supply a common forum for researchers, scientists, engineers and practitioners all over the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.
Energy Virtual Experience – EVEx 2020
The event “Energy Virtual Experience” ( EVEx 2020) will take place online, from October 26 to 30.
“Energy Virtual Experience” will provide 4 different interactive experiences: EVEx Talks, EVEx MasterClass, EVEx Academy, and EVEx Expo/Busines. These four experiences will be centered on “Ibero-American post-pandemic energy transition”.
Looking to stimulate interdisciplinary studies and innovative solutions in energy area, call for papers and projects will be launched soon.
INESC-ID researcher and IST Professor, Rui Castro, is member of the scientific committee of EVEx 2020.
|More information will be coming soon|