Discover All Events

The SPLV'26 Summer School is a premier educational event organized by the Scottish Informatics and Computer Science Alliance (SICSA). Bringing together leading researchers, academics, software engineers, and postgraduate students, this five-day workshop offers an immersive learning experience focused on programming languages, software verification, formal methods, and dependable software engineering. The event aims to strengthen research collaboration while providing participants with practical knowledge that can be applied to modern software development challenges. Hosted at the University of St Andrews, the summer school combines expert-led lectures, practical workshops, collaborative discussions, and networking opportunities. Participants will gain insights into cutting-edge research while exploring how advanced programming techniques improve software quality, security, and reliability. Why Attend SPLV'26? SPLV'26 provides an exceptional opportunity for professionals and researchers to stay updated with the latest developments in programming language theory and software verification. As software systems become increasingly complex, ensuring correctness, security, and performance has never been more important. Attendees will learn from internationally respected researchers who have contributed significantly to compiler technology, static analysis, formal verification, automated reasoning, and software engineering. Every session is designed to bridge academic research with practical software development. The event also promotes collaboration between universities and industry, allowing participants to exchange ideas, discuss emerging technologies, and establish valuable professional connections. Explore Modern Programming Language Research Programming languages continue to evolve to meet the demands of cloud computing, artificial intelligence, cybersecurity, and distributed systems. SPLV'26 introduces attendees to the latest innovations in language design, compiler optimization, type systems, and language semantics. Participants will explore topics including: Programming language theory Functional programming Type systems Compiler design Language semantics Static program analysis Runtime optimization Domain-specific languages Experts will explain how these technologies improve software development while reducing programming errors and increasing maintainability. Learn Software Verification Techniques Software verification plays a critical role in developing reliable applications used in healthcare, finance, aerospace, transportation, telecommunications, and government systems. During the event, participants will discover how verification methods help identify software defects before deployment. Sessions cover various approaches that improve software correctness through mathematical reasoning and automated analysis. Topics include: Formal verification Model checking Theorem proving Symbolic execution Static verification Program correctness Safety-critical software Automated testing Hands-on demonstrations allow attendees to apply these techniques using modern verification tools and research software. Hands-on Workshops and Interactive Learning Unlike traditional conferences, SPLV'26 places strong emphasis on practical learning. Interactive workshops enable participants to experiment with verification tools, programming environments, and software analysis frameworks. During these sessions attendees can: Solve real-world software engineering challenges. Practice verification techniques. Build small research projects. Collaborate with experts. Receive individual guidance from instructors. This practical approach helps participants understand how theoretical concepts can be applied within professional software development environments. Expert Speakers and Academic Excellence SPLV'26 features presentations from internationally recognized researchers working in computer science and software engineering. The speaker lineup includes experts specializing in: Programming languages Formal methods Compiler construction Secure software development Distributed systems Artificial intelligence Automated reasoning Dependable computing Their presentations combine academic research with practical case studies, providing attendees with valuable insights into current research trends and future technological developments. Networking Opportunities Networking remains one of the strongest benefits of attending SPLV'26. Participants will have opportunities to connect with: University researchers Industry professionals PhD students Academic supervisors Software engineers Discussion sessions, coffee breaks, collaborative activities, and informal gatherings encourage participants to build long-term professional relationships that often lead to research collaborations, publications, internships, and career opportunities. Research Collaboration Across Scotland SICSA has established itself as a leading organization supporting computer science research throughout Scotland. SPLV'26 encourages collaboration between universities by creating an environment where researchers can: Share research findings. Develop joint projects. Exchange teaching practices. Build international partnerships. Discuss funding opportunities. These collaborations contribute significantly to strengthening Scotland's reputation as a global center for informatics research. Benefits for PhD Students Doctoral researchers gain tremendous value from attending SPLV'26. The summer school provides opportunities to: Present research ideas. Receive expert feedback. Improve technical knowledge. Expand professional networks. Learn modern research methodologies. Exposure to experienced researchers helps students refine their research direction while developing essential communication and collaboration skills. Industry Applications of Software Verification Software verification is no longer limited to academic research. Modern industries increasingly rely on formally verified software to improve reliability and security. Applications include: Banking systems Healthcare platforms Autonomous vehicles Aviation software Cybersecurity solutions Industrial automation Cloud computing Financial technology Professionals attending SPLV'26 will learn how verification techniques reduce software defects while supporting regulatory compliance and operational excellence. Emerging Topics Covered During the Event The event explores several emerging research areas shaping the future of computing science. These include: Artificial Intelligence verification Machine learning reliability Secure cloud computing Verified distributed systems Privacy-preserving computation Quantum programming languages Automated proof generation Secure software architectures Participants gain early exposure to technologies expected to influence future software engineering practices. Career Development Opportunities SPLV'26 supports career development for both academic researchers and software professionals. Participants strengthen skills in: Research communication Technical presentation Problem solving Scientific collaboration Software engineering Academic writing Leadership Critical thinking These competencies are highly valued by universities, research institutions, technology companies, and government organizations. Why SICSA Continues to Lead Computing Research The Scottish Informatics and Computer Science Alliance plays an essential role in advancing computing research across Scotland. Through conferences, workshops, seminars, doctoral training, and collaborative research initiatives, SICSA continues to support innovation in computer science while encouraging partnerships between academia and industry. Its educational events provide researchers with access to world-class expertise while strengthening Scotland's position as a leading destination for informatics research and technology innovation. Wrapping Up SPLV'26 Summer School offers an outstanding opportunity for researchers, software engineers, postgraduate students, and academics to deepen their knowledge of programming languages and software verification. Through expert presentations, practical workshops, collaborative discussions, and professional networking, participants gain valuable technical skills that can be applied across both research and industry. Whether your goal is to improve software quality, explore advanced programming language concepts, collaborate with international researchers, or build your academic career, SPLV'26 provides the ideal environment to learn, innovate, and connect with the global computing science community.

The Future Business Leadership Summit 2026 brings together top executives, regional founders, industry pioneers, and strategic investors to discuss the evolving landscape of corporate leadership and enterprise growth. Organized in partnership with corporate event specialists, this conference provides actionable insights for steering modern enterprises through technological disruption, economic restructuring, and organizational change. Attendees will explore high-impact strategies aimed at modernizing management frameworks, boosting organizational agility, and unlocking new investment corridors across the Midlands and beyond. Keynote Insights and Emerging Trends Throughout the day, leading keynote speakers and industry panelists will break down pressing issues shaping corporate operations today. Core topics include integrating executive AI tools into decision-making models, developing sustainable corporate governance frameworks, and managing multi-generational workforces. Attendees will gain real-world lessons from case studies showcasing successful digital transformations, corporate restructurings, and cross-sector partnerships. Dedicated panel sessions will focus on executive decision-making under uncertainty, risk mitigation in global supply chains, and dynamic capital allocation. Interactive Masterclasses and Executive Networking In addition to mainstage keynotes, the summit features interactive breakout workshops designed to deliver practical solutions for executive leaders. Participants can join focused roundtable sessions on strategic talent retention, agile organizational design, and enterprise technology integration. Structured networking sessions during the morning tea, networking lunch, and evening reception allow corporate leaders to form strategic alliances, explore joint ventures, and discuss potential investment opportunities in a professional setting.

The UK Real Estate Investment and Infrastructure Forum (UKREiiF) is the premier event in the United Kingdom for the property and construction sectors. Spanning three days in the heart of Leeds, this forum serves as the ultimate catalyst for regional growth and inward investment. Built Environment Networking Limited has designed this event to bridge the gap between the public sector—including core UK cities and regions—and the private sector, featuring major developers, institutional investors, and housebuilders. Attendees will engage in high-level discussions regarding the future of urban development, net-zero targets, and social value. The event features multiple stages including the "Rethinking Places Pavilion" and the "Investment Stage," where keynote speakers from central government and global investment firms share insights. In 2026, the focus remains on overcoming electricity network challenges and unlocking housing delivery across the North of England. With over 10,000 delegates expected, the forum offers an unparalleled environment for deal-making and strategic partnerships. Whether you are looking to showcase a new masterplan or find funding for a large-scale infrastructure project, UKREiiF provides the physical space and intellectual community to make it happen.