EEPSRCHHeriot-Watt UniversityUUniversity of Edinburgh
About this event
What to expect
AI for the Working Mathematician is a three-day ICMS workshop in Edinburgh, running 14–16 December 2026 at the Bayes Centre. It will examine how AI is changing mathematical research, from automated theorem proving and formalisation to conjecture generation and the analysis of large mathematical datasets.
Mathematics meets artificial intelligence
Recent foundation models have produced powerful systems for mathematical reasoning, while machine learning is revealing previously hidden structures in mathematical data, including phenomena such as elliptic curve murmurations. This workshop creates a focused setting in which academic and industry researchers can evaluate these advances, demonstrate emerging technologies and discuss where current methods still fall short.
The programme will explore areas including:
Theorem proving and AI-assisted mathematical reasoning
Automated formalisation using proof assistants such as Lean
AI-supported conjecture generation
Machine learning for large mathematical datasets
Tools for scientific discovery, including DeepMind’s AlphaEvolve and Axiom Maths’ Axolver and Axplorer
The opportunities and limitations of current AI systems for mathematics
Talks and collaborative working groups
Alongside invited talks, attendees will take part in specialist working groups addressing technical challenges and collaborative projects. These sessions are intended to help participants develop new approaches, identify shared problems and initiate joint research,not simply observe demonstrations. The mix of presentations and focused group work makes this a particularly relevant event for people actively investigating how AI can contribute to mathematical practice.
The workshop is aimed at researchers and practitioners working across mathematics, computer science and industry. Its emphasis on technical challenges, proof assistants and research collaboration means it is best suited to a specialist or research-level audience rather than those seeking a general introduction to AI.
The AI Social Discussion Group’s first meet-up brings people together for an informal evening of AI conversation at Cumberland Bar in Edinburgh. Hosted by Nick B., this inaugural gathering runs from 7:00pm to 9:00pm BST on Monday, 19 October 2026. It takes place at Cumberland Bar, 1–3 Cumberland Street, Edinburgh. The event is focused on social discussion around AI and offers attendees an opportunity to meet fellow members of the new community. No detailed agenda, named discussion topics or additional speakers have been published, so expect an open, informal meet-up rather than a structured workshop or programme of talks. Attendees can also access the Meetup event chat to connect with others before the gathering begins. Learn more about the AI Social Discussion Group. Register for the meet-up
Ireland's International AI Summit 2026 marks the official launch of European AI Innovation Month, positioning Dublin at the heart of Europe's AI conversation. Hosted by Ireland's Department of Enterprise, Trade and Employment during the country's EU Presidency, this flagship event brings together EU and global leaders, heads of government, CEOs, investors, innovators and academics at the Royal Dublin Society (RDS) on 14th October 2026. What Makes This Summit Essential Under the theme Harnessing AI to Revolutionise Europe's Competitiveness, the summit serves as a high-level platform for strategic dialogue on AI's future application across Europe and globally. Ireland's unique position as the EU headquarters for sixteen of the world's top twenty global technology companies and eight leading foundational AI model providers makes it an ideal setting for this critical conversation about Europe's technological sovereignty and competitive future. Programme Structure The full-day summit combines multiple engagement formats designed to explore AI from policy, economic and technological perspectives. Ministerial addresses and keynote speeches from global leaders will establish the strategic context, with confirmed keynote speaker EU Executive Vice-President Henna Virkkunen addressing technological sovereignty, security and democracy. These high-level addresses are complemented by panel discussions and fireside chats examining: - Competitiveness and innovation in the European AI landscape - Trustworthy AI development and deployment - Digital infrastructure requirements for AI advancement - Investment strategies and funding mechanisms - Skills and talent development for the AI economy Sector Deep Dives and Practical Applications Beyond strategic policy discussion, the summit includes European-focused sector deep dives examining AI opportunities across key areas of economy and society. These sessions highlight practical examples of AI adoption and collaboration, showcasing how businesses, public services and research institutions deploy AI solutions to improve productivity, deliver innovative services and address complex societal challenges. An Innovation Spotlight Exhibition will provide enterprises the opportunity to demonstrate cutting-edge AI applications and solutions, with expressions of
The 2nd MedTech Meets AI Conference brings healthcare technology leaders to Barcelona on 14–15 October 2026 for two days of practical AI insight and industry connections. Hosted by UBIQ Events, this specialist conference explores how artificial intelligence is being applied across medical devices, diagnostics and the wider life sciences sector. Rather than focusing solely on future possibilities, the programme promises real-world case studies, practical applications and expert perspectives on implementing AI in complex healthcare environments. What the conference will cover The two-day agenda will examine several of the most consequential areas where AI is reshaping MedTech: - Transforming disease detection through AI-assisted diagnostics - Medical imaging and the changing role of AI in radiology - Turning medical big data into useful diagnostic insight - AI-powered robotics and advances in surgical precision - Ethical and regulatory considerations for healthcare AI - The challenges, innovations and potential impact shaping AI’s future in MedTech These themes make the event particularly relevant to MedTech executives, healthcare innovators, AI strategists, medical-device professionals, data and analytics leaders, R&D teams, and life sciences decision-makers. The content is aimed at an experienced professional audience looking for implementation lessons, strategic insight and opportunities to compare approaches with peers. Industry speakers The announced 2026 line-up includes leaders working across innovation, AI research, analytics, robotics, manufacturing transformation and digital platforms. Speakers include Mayank Mohun of Siemens Healthineers, Karolina Henzel and Lukasz Nowicki of GE HealthCare, Donnacha Dunleavy of Medtronic, Sertac Guzel of Johnson & Johnson MedTech, and Abouzar Eslami, PhD, of ZEISS Medical Technology. Further perspectives will come from senior figures at Philips, Alcon, Fresenius Medical Care, Zimmer Biomet, Getinge and KARL STORZ. Additional speakers are due to be announced, giving attendees access to a broad cross-section of the organisations developing and deploying AI-enabled medical technology. Venue and tickets The conference takes place from Wednesday 14 to Thursday 15 October 2026 at Hotel Catalonia Eixample 1864, Carrer de Roger de Llúria, 60, in central Barcelona. The event combines
DTX London brings together 10,000+ technology leaders, innovators and decision-makers at Excel London for two days of practical insights into digital and business transformation. Taking place 14-15 October 2026, this flagship expo connects the people, platforms and processes that drive organisation-wide change across AI, cyber security, data analytics, cloud infrastructure, and automation. What to Expect DTX London is designed for teams at every stage of their transformation journey — whether you're optimising your IT stack, strengthening cyber and data strategies, or deploying AI solutions at scale. The event features multiple content stages addressing critical themes including Responsible AI, Holistic Security Foundations, Human-First Resilience, Agile IT, and Purpose-Led Tech Rollouts. Attendees from organisations including Network Rail, NHS, BBC, Booking.com, HSBC, Barclays, and John Lewis come to discover vendor-neutral insights, explore emerging solutions, and connect with peers facing similar challenges. The expo floor showcases hundreds of exhibitors across 12 technology areas, from IT infrastructure and cloud computing to unified communications and customer experience platforms. Content and Speakers The event programme is shaped by a dedicated Advisory Board of senior leaders in technology, operations, data, and cybersecurity. Expect keynote presentations, panel discussions, and case study sessions covering People-Powered Transformation, The Data Advantage, Leading Through Change, Next Generation Talent, Smarter Workspaces, and Elevated Customer Journeys. Co-located with Unified Communication EXPO, DTX London creates a comprehensive environment for exploring the intersection of technology, people, and operations. The agenda balances strategic vision with tactical implementation, ensuring you leave with actionable insights regardless of your role — CIO, CTO, CISO, Head of Data, DevOps Lead, or Transformation Manager. Technology Areas Covered The expo spans IT Infrastructure, Storage & Networks | IT Service Management | Cloud Computing | Cyber Security | Unified Communications & Collaboration | Video and Audio Visual | Data Management & Analytics | AI | Software Development & Engineering | Customer Contact & Experience. Register your interest for DTX London 2026
KanDDDinsky ’26 brings Domain-Driven Design and AI-assisted software development to Berlin from 14–16 October 2026 for talks, hands-on sessions and Open Space. Now in its ninth edition, KanDDDinsky is a community-led conference for people who build business software and want to improve how they design, develop and evolve it. Around 300 attendees will gather at the Park Inn by Radisson Berlin Alexanderplatz Hotel in Berlin to learn from world-renowned experts, hear fresh community voices and exchange practical experience with peers. This is deliberately not a vendor conference. The emphasis is on collaborative learning, useful ideas and real-world software development rather than product pitches. The 2026 programme will place particular focus on AI-assisted software development in the context of Domain-Driven Design, exploring this fast-moving area through the conference’s established community format. Format and schedule KanDDDinsky ’26 combines several ways to participate: - Conference talks and hands-on sessions: 14–15 October - Open Space day: 16 October - Pre-conference workshops: 12–13 October The main event listing runs from 08:00 on Wednesday 14 October until 16:00 CEST on Friday 16 October. Talks offer access to expert and community perspectives, while hands-on sessions and workshops create opportunities to engage more directly with the material. The Open Space day gives participants a more collaborative setting in which the community can shape discussions around the subjects that matter most to them. Who should attend? The event is designed for software practitioners interested in Domain-Driven Design, artificial intelligence and the challenges of building effective business software. It will be particularly relevant to developers, architects and other technical professionals who want to examine AI-assisted development through the lens of software design and business context. The mix of expert-led content, practical sessions and participant-driven discussion should suit both established DDD practitioners and people looking to deepen their understanding through contact with the wider community.… Register for this event
A two-day, in-person conference in Amsterdam exploring how to validate and apply AI safely across regulated GxP life sciences environments. Taking place 14–15 October 2026, from 8:00am to 5:00pm, Harness the Power of AI in GxP Europe brings together practical use cases, regulatory guidance and validation strategies. Organised by Knowledge Exchange Network, the programme focuses on using artificial intelligence to improve efficiency while protecting compliance, data integrity and accountability. Rather than treating AI as a purely theoretical opportunity, this conference uses case-study-driven sessions to examine implementation in manufacturing, quality control, validation and supply chains. Attendees will hear how regulated organisations can approach AI-driven automation, predictive analytics and continuous process improvement without losing sight of GxP obligations. Regulation, validation and data integrity The regulatory sessions will explore the frameworks and expectations shaping AI adoption in life sciences, including: - FDA guidance concerning AI and machine learning - Part 11 compliance for secure, accurate electronic records - The ISPE® AI Quality and Compliance Initiative - Data integrity challenges in AI-driven processes - Regulatory expectations across global markets - Transparency and accountability throughout AI validation Industry experts will discuss how teams can align AI initiatives with applicable quality and compliance standards, with particular attention to the evidence and controls required when algorithms influence regulated processes. Applied AI use cases The programme also examines practical applications of AI within GxP operations. Case studies and sessions cover: - AI-driven automation in GMP environments - Optimising quality control and manufacturing workflows - Best practices for validating AI algorithms and models - Predictive analytics for preventive maintenance - AI in continuous process improvement - Improving validation speed and accuracy - Applications across manufacturing and supply-chain operations… Register for this event
