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…
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…
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…
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…
Upcoming Events
OLISSIPO Workshop: “How to design a graphical abstract” with Dr. Rita Félix (CNC-UC)
On April 19, the OLISSIPO project will host an 8-hour workshop titled “How to design a graphical abstract” with Dr. Rita Félix, a science communicator, illustrator and designer from CNC Center for Neuroscience and Cell Biology (Coimbra, Portugal). Registration is free and seating is limited.
Registration Deadline: April 5 | Register here (free but mandatory)
Date & Time: April 19, 09h00-18h00 ( 8-hours)
Where: INESC-ID, R. Alves Redol 9, 1000-029 Lisboa | Room 9 (Auditorium), Ground Floor
Summary: “How to design a graphical abstract” Workshop aims to explain what a graphical abstract is, and give you design tools and tips on how to create a better, clear and engaging graphical abstract. This workshop is tailored to give you tools and improve your graphical abstract, without having to learn how to use a new software program (like Adobe Illustrator). Bring your graphical abstract, share it with the class, work on it and take home a new version.
Short Bio: Rita Félix is a science communicator, illustrator and designer, with life sciences research experience. Currently working as the Institutional Communication Manager and Designer at CNC-UC. She completed her PhD in Neuroscience in 2020, in the Champalimaud Neuroscience Programme. After that, she enrolled in a Digital Illustration Specialization Course to further develop her visualization and design skills. Worked as a Scientific Graphic Designer at Science Crunchers, a science communication company, where she developed multiple graphical abstracts, article figures, infographics, diagrams, illustrations, visual identity, logos and webdesign for companies, scientific institutions and Horizon 2020 consortia. More information at https://ritallfelix.wixsite.com/portfolio .
INESC-ID talk: “Rise of the AI-Empowered End User Software Engineer” by Ed Ayers and Andy Gordon (Cogna)
On April 19, INESC-ID will host a talk by Ed Ayers and Andy Gordon from the startup Cogna. The talk is titled “Rise of the AI-Empowered End User Software Engineer” and is organised by INESC-ID researcher Nuno Lopes.
Date & Time: April 19, 15h00 -16h00
Where: INESC-ID, Rua Alves Redol, 9, 1000-029 Lisboa | Room 9 (Auditorium), Ground Floor
Summary:
“What if natural language really is the new programming language? Inspired by the transformation of professional software engineering by generative AI, let’s take the next step: empowering end users. We can boost their productivity with hyper-customized software generated from natural language. This challenge needs research right across software engineering: requirements, architecture, coding, testing, verification, repair, and maintenance. We will survey current progress and open research questions in this exciting new area of programming language research.”
(Photo: Cogna website)