Programming Non-Volatile Memory
James Larus, School of Computer and Communication Sciences (IC) at EPFL (École Polytechnique Fédérale de Lausanne)”” – Abstract: New memory technologies are changing the computer systems landscape. Motivated by the power limitations of DRAM, new, non-volatile memory (NVM) technologies — such as ReRAM, PCM, and…
HOW I THINK ABOUT RESEARCH
Professor Alan V. Oppenheim , Massachusetts Institute of Technology (MIT) – Abstract: In the context of our roles in mentoring doctoral students, there are many ways of finding and formulating research problems and ideas. My own approach over many decades has been to focus on…
Bioinformatics: a Servant or the Queen of Molecular Biology? (INESC-ID and IST Distinguished Lecture)
Pavel A. Pevzner, Department of Computer Science and Engineering University of California at San Diego Abstract While some experimental biologists view bioinformatics as a servant, I argue that it is rapidly turning into the queen of molecular biology. I will illustrate this view by showing…
AI for Social Good: Learning and Planning in the End-to-End, Data-to-Deployment Pipeline (Distinguished Lecture)
Prof. Milind Tambe, University of Southern California – Abstract: With the maturing of AI and multiagent systems research, we have a tremendous opportunity to direct these advances towards addressing complex societal problems. I will focus on the problems of public safety and security, wildlife conservation…
Generating Software Tests (Distinguished Lecture)
Andreas Zeller, CISPA Helmholtz Institute for IT Security – Abstract: Software has bugs. What can we do to find as many of these as possible? In this talk, I show how to systematically test software by generating such tests automatically, starting with simple random “fuzzing”…
Origins of NP and P (Distinguished Lecture)
Jack Edmonds, – Abstract: NP and P have origins in “the marriage theorem”: A matchmaker has as clients the parents of some boys and some girls where some boy-girl pairs love each other. The matchmaker must find a marriage of all the girls to distinct…
Modeling Interactive Information Retrieval and Social Media Interaction as Stochastic Process (Distinguished Lecture)
Norbert Fuhr, University of Duisburg-Essen, Germany – Abstract: Stochastic models have a long history in information retrieval (IR). For modeling sequences of interactions, different variants of Markov models have been proposed by a number of researchers. Here a user moves stochastically between different model states,…
Mixing Consistency in Geodistributed Transactions (Distinguished Lecture)
Andrew Myers, Cornell University, USA – Abstract: Programming concurrent, distributed systems that mutate shared, persistent, geo-replicated state is hard. To enable high availability and scalability, a new class of weakly consistent data stores has become popular. However, some data needs strong consistency. We introduce mixed-consistency…
Conceptual Models as Ontological Contracts (Distinguished Lecture Series)
Giancarlo Guizzardi , Free University of Bolzano-Bozen, Italy – Abstract: In the years to come, we will experience an increasing demand for building Reference Conceptual Models in critical domains in reality, as well as employing them to address classes of problems, for which sophisticated conceptual…
Radio Analytics: The Future Platform for Wireless Positioning, Tracking and Sensing (IST, DEEC and INESC-ID Distinguished Lecture)
On May 11th, at 11am, INESC-ID will promote the 11th session of IST Distinguished Lecture Series entitled “Radio Analytics: The Future Platform for Wireless Positioning, Tracking and Sensing”. The lecture will be given by Professor K. J. Ray Liu, Distinguished Scholar-Teacher of the University of…
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 23rd to 27th November 2020.
“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|