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.

Get ready to experience the ultimate Nashville country celebration right on the scenic banks of the River Tay! Summer in Nashville, the United Kingdom’s largest touring country music festival, is making its triumphant return to Slessor Gardens in Dundee. This all-day outdoor extravaganza captures the spirit, passion, and vibrant nightlife of Music City, bringing an unforgettable country experience to Scotland. Featuring top-tier live tribute performances, energetic dancing, authentic Southern cuisine, and high-adrenaline entertainment, this festival offers something for long-time country aficionados and newcomers alike. Live Music and World-Class Tributes The festival boasts a stellar main stage line-up stacked with incredible live tribute acts honoring modern country icons. Attendees will enjoy hits from tribute artists showcasing the iconic songs of Luke Combs, Morgan Wallen, and Lainey Wilson. In addition to these powerhouse headline tributes, the musical roster features Country Bound performing a brand-new setlist, the acoustic mastery of The Banjo Lounge 4, and energetic sets by Liam Price. Interactive "Countryoke" sessions will also give crowd members a chance to sing along to their favorite country anthems alongside full live backing bands. Authentic Country Culture and Entertainment Summer in Nashville extends far beyond great music—it brings a full immersive culture to Dundee's premier outdoor event space. Attendees can put on their boots and hit the open dance area for structured line-dancing workshops and open floor sessions led by expert instructors. For thrill-seekers, the festival site offers classic wild west attractions including a mechanical rodeo bull challenge and competitive axe throwing lanes. To make the occasion even more memorable, the first 500 guests through the venue gates will receive a free signature cowboy hat. Food, Drinks, and Waterfront Atmosphere Set against the modern, open-air backdrop of Slessor Gardens near the V&A Dundee, the event ground will host a curated selection of food trucks and pop-up bars. Visitors can savor slow-cooked American BBQ delicacies, gourmet smoked meats, classic southern sides, and a wide array of craft beverages, bourbons, and refreshing summer cocktails. With comfortable outdoor seating, high-energy entertainment, and picturesque views across the Dundee waterfront, it provides the perfect summer atmosphere for spending quality time with friends and family.

Collectormania Milton Keynes, organized by Showmasters Events, returns to its original home at centre:mk for a massive three-day celebration of pop culture. Known as Europe’s largest free-to-enter Comic Con, this event transforms Middleton Hall into a hub for fans of film, television, and cult classics. Attendees have the rare opportunity to meet stars from world-renowned franchises such as Star Wars, Marvel, DC, and Doctor Who. The event is famous for its extensive autograph sessions and professional photoshoot opportunities, allowing fans to get up close and personal with their idols. Beyond the celebrity guests, the hall is packed with hundreds of specialized stalls offering a treasure trove of TV and film memorabilia, rare comic books, action figures, and bespoke artwork. Whether you are a serious collector looking for that elusive vintage toy or a family looking for a unique weekend outing, Collectormania offers an inclusive atmosphere. The event also features a vibrant cosplay scene, where fans showcase incredible hand-crafted costumes. Because it is held within one of the UK’s premier shopping destinations, it combines a high-energy convention experience with the convenience of local amenities. It remains a staple of the Milton Keynes event calendar, drawing thousands of enthusiasts from across the country to celebrate the very best of entertainment and fandom.