
INESC-ID at Ciência 2023
INESC-ID is taking part in Ciência 2023, happening this week, 5 to 7 July, at the University of Aveiro campus.
Ciência 2023 is the largest annual science and technology event in Portugal, organized by the Portuguese Foundation for Science and Technology (FCT) and the National Agency for Scientific and Technological Culture, Ciência Viva.
Today, 05 July, our President Inês Lynce — Automated Reasoning and Software Reliability researcher at INESC-ID, as well as President of its Board of Directors, and Full Professor at Instituto Superior Técnico — participated in the panel discussion Parcerias internacionais da FCT: Construir pontes sobre o Atlântico (“FCT international partnerships: Building bridges over the Atlantic”).
In this panel Professor Lynce joined ten colleagues to discuss the impact of the international partnerships between FCT and North American institutions such as the Massachusetts Institute of Technology, the University of Texas at Austin and Carnegie Mellon University (the latter of which the Professor focused on as one of the National Directors at Portugal of the Carnegie Mellon Portugal Program).
Ciência 2023 is dedicated to the theme “Science and the Ocean Beyond the Horizon”, focusing on the ocean and waters. You can watch the event streamed live through its website.
Upcoming Events
INESC Lisboa 2023 Annual Meeting

On November 3rd will take place the first Meeting of INESC Lx, a consortium of the INESC institutions based in Lisbon: INESC-ID, INOV and INESC MN.
The event will take place at Hotel Golf Mar, in Vimeiro, giving all the participants the opportunity to discuss and share the work being developed at INESC Lx. The agenda includes in the Opening Session the President of the Commission for Regional Development and Coordination of Lisbon and Tagus Valley (CCDR LVT), Teresa Almeida and in the Closing Session the Portuguese Minister of Economy, António da Costa Silva.
If you are a member of INESC Lx you can register here by September 29th.
About INESC Lisboa
INESC Lisboa is a unique research consortium in Portugal, representing INESC-ID, INESC MN and INOV, research institutions in the areas of computer science, electronics and computer engineering, and physics engineering in Lisbon. Its mission is to facilitate synergies among the institutes to promote the Research, Development, and Innovation (R&D+i) made in Portugal.
ER 2023 in Lisbon between November 6-9

This year’s edition of the International Conference on Conceptual Modeling (ER 2023) will be held between November 6 and 9 in Lisbon, at the Congress Center of the Instituto Superior Técnico (Alameda Campus)
ER 2023 is the main international forum for discussing the state of the art, emerging issues, and future challenges in research and practice on conceptual modeling.
Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.
The event is being jointly organized by INESC-ID, Instituto Superior Técnico and University of Twente.
Keynote speakers:
- Daniel Jackson, “Software Design, Concepts and AI”
- Maurizio Lenzerini, “Conceptual Modeling and Knowledge Representation: a journey from Data Modeling to Knowledge Graphs”
- Walid S. Saba, “Reverse Engineering of Language at Scale: Towards Symbolic and Explainable Large Language Models”
- Catia Pesquita, “True or False? The impact of negative knowledge in biomedical artificial intelligence”
The event’s agenda is available here and online registration.
More on ER 2023 Website.
OLISSIPO Workshop: “Metabolism and mathematical models: Two for a tango”

The 3rd Edition of the workshop “Metabolism and mathematical models: Two for a tango” will take place online on November 14-15, 2023.
The topic of the workshop is metabolism in general. As in the previous cases, a special focus will be placed on parasitology. Besides an exploration of the biological, biochemical and biomedical aspects of metabolism, the workshop will also aim at presenting some of the mathematical modelling, algorithmic theory and software development that have become crucial to explore such aspects.
More details will soon be provided but initial information may be already found here.
Keynote speakers:
- Barbara Bakker (Faculty of Medical Sciences, University of Groningen, The Netherlands)
- Igor Cestari (Institute of Parasitology, McGill University, Montréal, Canada)
- Vassily Hatzimanikatis (École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland)
- Steffen Klamt (Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany)
- Ina Koch (Goethe Universität, Frankfurt am Main, Germany)
- Laura-Isobel McCall (San Diego State University, US)
Besides the talks given by the above Keynote speakers, there will be two sessions, one per day, of 30 minutes each, dedicated to a discussion of some specific open questions. More details on these will be provided very soon.The workshop will take place in the afternoons, from 2pm to 5:30pm CET time.
Registration is free but is required here.
Olissipo website.