The Society for the study of Artificial Intelligence and Simulation of Behaviour
The Society for the Study of Artificial Intelligence and Simulation of Behaviour
AISB is media partner with the AI & Big Data Expo, with regular presence at their London event. AI & Big Data Expo North America, a key part of TechEx North America, is the premier event showcasing Generative AI, Enterprise AI, Machine Learning, Security, Ethical AI, Deep Learning, Data Ecosystems, and NLP. Register for your free or gold pass to attend.
Title: Towards Verification of Neural Systems.
Speaker: Alessio Lomuscio, PhD.
Imperial College London.
Safe Intelligence.
21 March, 5pm CET (4pm GMT)
Abstract:
A major challenge in deploying ML-based systems, such as ML-based computer vision, is the inherent difficulty in ensuring their performance in the operational design domain. The standard approach consists in extensively testing models against a wide collection of inputs. However, testing is inherently limited in coverage, and it is expensive in several domains.
Novel verification methods provide guarantees that a neural model meets its specifications in dense neighbourhood of selected inputs. For example, by using verification methods we can establish whether a model is robust with respect to infinitely many re-illumination changes, or particular noise patterns in the vicinity to an input. Verification methods can also be tailored to specifications in the latent space and establish the robustness of models against semantic perturbations not definable in the input space (3D pose changes, background changes, etc). Additionally, verification methods can be paired with learning to obtain robust learning methods capable of generating models inherently more robust than those that may be derived with standard methods.
In this presentation I will succinctly cover the key theoretical results leading to some of the present ML verification technology, illustrate the resulting toolsets and capabilities, and describe some of the use cases developed with our colleagues at Boeing Research, including centerline distance estimation, object detection, and runway detection.
I will argue that verification and robust learning can be used to obtain models that are inherently more robust than present learning and testing approaches, thereby unlocking the deployment of applications in society critical capplications.
Bio:
Alessio Lomuscio is Professor of Safe Artificial Intelligence at Imperial College London (UK), where he leads the Safe AI Lab. He is a Distinguished ACM member, a Fellow of the European Association of Artificial Intelligence and currently holds a Royal Academy of Engineering Chair in Emerging Technologies. He is founding co-director of the UKRI Doctoral Training Centre in Safe and Trusted Artificial Intelligence.
Alessio’s research interests concern the development of verification methods for artificial intelligence. Since 2000 he has pioneered the development of formal methods for the verification of autonomous systems and multi-agent systems, both symbolic and ML-based. He has published over 200 papers in leading AI and formal methods conferences and journals.
He is the founder and CEO of Safe Intelligence, a VC-backed Imperial College London spinout helping users build and assure robust ML systems.
Tech Show London has announced registration for its 2025 edition is now open. Taking place on 12-13 March 2025 at Excel London, the award-winning event will once again bring together five co-located shows: the refreshed Cloud & AI Infrastructure, DevOps Live, Cloud & Cyber Security Expo, Big Data & AI World, and Data Centre World.
Across two days, Tech Show London will provide a platform for thought leadership, collaboration, and innovation. Attendees can engage with industry experts, discover emerging technologies, and gain valuable insights to future-proof their businesses.
In 2024, the Tech Show London Mainstage featured an impressive lineup of global leaders and innovators including Professor Brian Cox; former investor on Dragons’ Den and Co-founder of Implement AI, Piers Linney; Chief Technologist at NASA, Dr Carolyn Mercer; Dame Stephanie Shirley; Founder of Starling Bank, Anne Boden MBE; Technical Expert Witness for Bates vs Post Office, Jason Coyne; CDIO at the Ministry of Justice, Gina Gill; and Chief Information Technology Officer at the United Nations, Bernardo Mariano Junior.
AISB Chair, Bertie Muller will contribute in two sessions:
12 March 2025 – AI vs. AI: Defending Systems from Intelligent Threats
13 March 2025 – Panel: How Strategic Practices Can Improve Incident Response and Strengthen Organisational Defences
Read the full article at: https://www.techerati.com/news-hub/registration-goes-live-for-tech-show-london-2025/
Bernardo Magnini Fondazione Bruno Kessler
February, 27 – 5:00PM (CEST)
Title: Rethinking NLP Evaluation in the Age of LLMs: Lessons from Benchmarking Italian
Abstract: Large Language Models (LLMs) are now at the core of most NLP applications, mainly because of their strong performance and their adaptability to different tasks and languages. However, despite their widespread use, evaluating LLMs is still an active area of research, and a debate about methodologies is ongoing. Several issues are under discussion, including competence-oriented and task-oriented approaches; how to balance prompt naturalness and effectiveness; investigate the role of multiple prompts in evaluation; considering both multiple-choice and generative tasks along with the most appropriate metrics for each; and comparing zero-shot and few-shot settings taking into consideration execution performance. To be more concrete, I will report examples and lessons learned from developing an LLM benchmark for the Italian language.
Bio: Bernardo Magnini is senior researcher at FBK (Trento, Italy), and responsible of the NLP research group. His interests are in the field of Computational Linguistics, particularly lexical semantics and lexical resources, question answering, textual entailment, and conversational agents, areas in which he has published more than 300 scientific papers. He has co-chaired several events, including EVALITA, the evaluation campaign for both NLP and speech tools for the Italian language, CLIC-it 2014 (the first Italian conference on Computational Linguistics), AI*IA 2018 (the 17th International Conference of the Italian Association for Artificial Intelligence) and ACL 2022, the 60th Annual Meeting of the Association for Computational Linguistics. He has been contract professor at the University of Trento, Bolzano and Pavia, and President of the Italian Association for Computational Linguistics (AILC) from 2015 to 2022.
Live Stream and recording:https://www.youtube.com/watch?v=-EIvRMMw2UQ
The Italian Association for Artificial Intelligence, in collaboration with the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour, UK) is pleased to announce the next seminar of its Spotlight Seminars on AI initiative:
January 30 – 5:00 P.M. (CET)
Title: Evaluating Commonsense Reasoning in Large Language Models
Speaker: Anthony Cohn, University of Leeds, UK
Streaming link: https://www.youtube.com/@AixiaIt/streams
Abstract: In this talk I will discuss the ability of LLMs to perform commonsense reasoning, particularly with regard to spatial reasoning. Across a wide range of LLMs, although they show abilities rather better than chance, they still struggle with many questions and tasks, for example when reasoning about directions, or topological relations. I will also discuss issues arising from the fact that some of the most powerful language models currently are proprietary systems, accessible only via (typically restrictive) web or software programming interfaces. This is the Language-Models-as-a-Service (LMaaS) paradigm. In contrast with scenarios where full model access is available, as in the case of open-source models, such closed-off language models present specific challenges for evaluating, benchmarking, and testing them.
Bio: Anthony (Tony) Cohn is Professor of Automated Reasoning in the School of Computer Science, University of Leeds. His current research interests range from theoretical work on spatial calculi (receiving a KR test-of-time classic paper award in 2020) and spatial ontologies, to cognitive vision, modelling spatial information in the hippocampus, and Decision Support Systems, particularly for the built environment, as well as robotics. He is Foundation Models lead at the Alan Turing Institute where he is conducting research on evaluating the capabilities of large language models, in particular with respect to commonsense reasoning, and is also a co-investigator on a project combining LLMs and probabilistic answer set programming. He is Editor-in-Chief of Spatial Cognition and Computation and was previously Editor-in-chief of the AI journal. He has previously been President of IJCAI, EurAI, KR inc, and AISB. He is the recipient of the 2021 Herbert A Simon Cognitive Systems Prize, and is also (uniquely) the recipient of Distinguished Service Awards from the three main international AI societies: IJCAI, AAAI and EurAI, as well as from KR Inc. He is a Fellow of the Royal Academy of Engineering, the Learned Society of Wales, the AI societies AAAI, AISB, EurAI and AAIA, as well as the CORE Academy (International Core Academy of Sciences and Humanities) and the International AI Industry Alliance.
The joint AI*IA/AISB Committee of the Spotlight Seminars on AI,
Giuseppe De Giacomo
Floriana Grasso
Antonio Lieto
Bertie Müller
Luciano Serafini
Further information on this and upcoming talks in the Winter series can be found at https://aixia.it/en/incontri/spotlight-seminars-on-ai-winter-2025/
We’re proud to be partnering with Big Data & AI World 2025! Join us on 12-13 March at Excel London – Register today!
Big Data & AI World is the UK’s premier event for data and AI. Join industry leaders to explore transformative innovations, ethical AI, and emerging trends. Discover solutions to today’s challenges and unlock the future of data-driven opportunities.
Register here: https://www.bigdataworld.com/QuatroHive
AI and Big Data Expo
Expert line-up announced for the upcoming AI & Big Data Expo Global! Explore the latest innovations within AI & Big Data, and join top-level content and thought leadership discussion with industry-leading experts. @ai_expo #AI #BigData
Explore the future of AI & Big Data – Olympia, London between 5th – 6th February 2025. Learn more about the in-person event here: https://www.ai-expo.net/global/ @ai_expo #AI #BigData
Register today for the in-person event exploring AI & Big Data between 5th – 6th February. AI & Big Data will explore the future of #AI and #BigData via live sessions over two days. Find out more: https://www.ai-expo.net/global/ @ai_expo #AI #BigData
The Italian Association for Artificial Intelligence, in collaboration with the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour, UK) is pleased to announce the next seminar of its Spotlight Seminars on AI initiative:
30 June – 4:00PM (BST)
Title: Symbolic Reasoning for Large Language Models
Speaker: Guy Van den Broeck, UCLA, USA
Link Streaming (Live section): https://www.youtube.com/c/AixiaIt
Many expect that AI will solve society’s problems by simply being more intelligent than we are. Implicit in this bullish perspective is the assumption that AI will naturally learn to reason from data: that it can form trains of thought that “make sense”, similar to how a human expert might reason about a case, or more formally, how a mathematician might prove a theorem. This talk will investigate the question whether this behavior can be learned from data, and how we can design the next generation of AI techniques that can achieve such capabilities. It will focus on neurosymbolic reasoning for large language models, both at training and generation time, using probabilistic circuits as the architecture that bridges learning and reasoning.
Bio: Guy Van den Broeck is an Associate Professor and Samueli Fellow at UCLA, in the Computer Science Department, where he directs the StarAI lab. His research interests are in Machine Learning, Knowledge Representation and Reasoning, and Artificial Intelligence in general. His papers have been recognized with awards from key conferences such as AAAI, UAI, KR, and OOPSLA. Guy is the recipient of an NSF CAREER award, a Sloan Fellowship, and the IJCAI-19 Computers and Thought Award.
The joint AI*IA/AISB Committee of the Spotlight Seminars on AI,
Giuseppe De Giacomo
Floriana Grasso
Antonio Lieto
Bertie Muller
Luciano Serafini
AISB Fellow Professor Luciano Floridi will give the annual keynote lecture for the "AI and Democracy" seminar on January 16 at 18:00 (CET). The focus is on a philosophical understanding of Artificial Intelligence (AI) and its impact.
Register here: https://www.eui.eu/events?id=563863
We’re excited to announce that we are partnering with Big Data & AI World 2024 again this year. The event is taking place on 6 & 7 March at ExCeL, London. We will also be partnering with the Frankfurt edition of Big Data & AI World in May.
It would be great to see you there, register for free to join us: Click here to register
Follow the latest news and speaker lineup: Stellar speaker lineup announced for Tech Show London 2024