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.

Choosing the right university path and understanding higher education options is a crucial step for prospective students, parents, and guardians. The University of Northampton Open Day on August 15, 2026, offers an immersive, comprehensive experience designed to showcase everything the institution has to offer. Held at the modern Waterside Campus, this upcoming event gives attendees a first-hand look at academic facilities, cutting-edge learning spaces, and vibrant student accommodation. Visitors can engage directly with expert academic faculty members, current student ambassadors, and dedicated support teams who are available to answer questions regarding undergraduate and postgraduate programs. The schedule is packed with informative sessions covering a wide variety of essential topics. Attendees can participate in dedicated talks focusing on student life, finance and guidance, personal statement writing advice, and specific course breakdowns. Additionally, tailored sessions are hosted for parents and carers to help them navigate the transition to university life alongside their dependents. Campus and town tours provide a clearer picture of living and studying in Northampton, ensuring that every visitor leaves with a thorough understanding of the student experience. Whether you are exploring foundation years, full degrees, or master's options, this open day serves as an ideal launchpad for your academic future. Registrations open approximately two months prior, making it essential to book early to secure your spot. Come along to discover unique scholarship opportunities, student perks, and clubs that make the university community thrive.

The Global Smart Manufacturing & AI Summit 2026 is a premier gathering designed to bridge the gap between traditional industrial processes and the future of autonomous production. As the industry moves deeper into the era of Industry 5.0, this event serves as a critical touchpoint for leaders looking to integrate Artificial Intelligence, Machine Learning, and advanced robotics into their existing supply chains. Hosted in the industrial heartland of Birmingham, the summit brings together a global cohort of CTOs, engineers, and digital transformation experts to discuss the roadmap for the next decade of manufacturing. The conference will explore the practical applications of Digital Twins, which allow companies to simulate entire production lines in a virtual environment before a single machine is turned on. This year’s theme, "Resilience through Intelligence," focuses on how AI can predict supply chain disruptions before they occur and how generative design can reduce material waste by up to 40%. Attendees will gain access to exclusive case studies from automotive giants and aerospace innovators who have successfully navigated the transition to "dark factories"—fully automated facilities that operate with minimal human intervention. Beyond the technical sessions, the summit offers a sprawling exhibition floor featuring live demonstrations of collaborative robots (cobots) and industrial IoT sensors. The event is structured to encourage deep networking through curated roundtable discussions and a VIP gala dinner. For businesses looking to scale, the "Tech-Pitch" arena will showcase startups offering niche solutions in predictive maintenance and edge computing. This is not just a conference; it is a strategic laboratory for the future of British and global industry.