CAIN 2024
Sun 14 - Mon 15 April 2024 Lisbon, Portugal
co-located with ICSE 2024



Platinum Supporters

Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We have approximately 195,000 employees and we operate in over 170 countries and regions, serving more than three billion people around the world. Huawei's mission is to bring digital to every person, home and organization for a fully connected, intelligent world. To this end, we will drive ubiquitous connectivity and promote equal access to networks to lay the foundation for the intelligent world; provide diversified computing power to deliver ubiquitous cloud and intelligence; build powerful digital platforms to help all industries and organizations become more agile, efficient, and dynamic; redefine user experience with AI, offering consumers a more personalized and intelligent experience across all scenarios, including home, travel, office, entertainment, and fitness & health.

Silver Supporters

Google's mission is to organize the world's information and make it universally accessible and useful, and we advance that mission every day in incredible new ways. Research across Google provides new ways of looking at old problems and helps transform how we all work and live, and we think the biggest impact comes when everyone in the world can access it. We use state-of-the-art computer science techniques to solve problems for our users, customers and the world, making it easier for you to do things every day, whether it's searching for photos of people you love or breaking down language barriers.
Founded in 2012, ByteDance's mission is to inspire creativity and enrich life. With a suite of more than a dozen products, including TikTok and Resso, as well as platforms specific to the China market, including Toutiao, Douyin, and Xigua, ByteDance has made it easier and more fun for people to connect with, consume, and create content.

CSIRO is Australia's national science agency, which has been applying innovations from science to solve the greatest national challenges for more than 100 years. While many challenges are ever present - sustainable energy and resources, food security and quality growing our future industries, for example – our ability to tackle them is amplified and accelerated by digital technologies. CSIRO's is at the forefront of digital science and innovation, leading both in developing new research and working across disciplines and sectors to apply technologies and drive impact. CSIRO's current work is focused on three goals:
- Drive the development and adoption of Artificial Intelligence in Australia, including through our leadership of the new National Artificial Intelligence Centre and the Next Generation AI Graduates Program.
- Put digital science and technology at the heart of Australia's recovery and resilience to help solve our immediate challenges and to anticipate and prepare for future ones.
- Reinvent the way science is done, using digital to revolutionise the future of scientific discovery, using technologies such as AI.

Bronze Supporters

IBM is a leading provider of global hybrid cloud and AI, and consulting expertise. We help clients in more than 175 countries capitalize on insights from their data, streamline business processes, reduce costs, and gain the competitive edge in their industries. More than 4,000 government and corporate entities in critical infrastructure areas such as financial services, telecommunications and healthcare rely on IBM's hybrid cloud platform and Red Hat OpenShift to affect their digital transformations quickly, efficiently, and securely. IBM's breakthrough innovations in AI, quantum computing, industry-specific cloud solutions and consulting deliver open and flexible options to our clients. All of this is backed by IBM's legendary commitment to trust, transparency, responsibility, inclusivity, and service. Visit for more information.
Founded in 1998, Critical Software is an international technology company, specialising in the development of software solutions and engineering services to support critical and reliable systems, oriented to the safety, mission, and business of enterprises. Currently, the company has over 1,300 employees and has achieved Investors in People Gold status. Critical Software is a Benefit Corporation, reflecting its commitment to sustainability, social and environmental issues, and transparency in developing business for the common good.

Our applied scientists work at the intersection of theory and practice. AWS Automated Reasoning teams deliver tools that are called billions of times daily. Amazon development teams are integrating automated reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are built and operated.

Exhibition Booth