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 University of Suffolk is proud to host the upcoming Business, Arts and Technology Taster Day, a landmark experiential forum designed to bridge the gap between secondary education, higher academia, and fast-evolving industry practices. Situated in the heart of Ipswich along the vibrant Waterfront campus, this event offers an immersive, interactive environment where prospective students, educators, and young professionals can explore cutting-edge academic disciplines and prospective career pathways. As industries increasingly demand multidisciplinary skill sets combining strategic management, creative design, and advanced computing, this comprehensive taster day serves as a essential launchpad for future innovators and leaders. Fostering Innovation and Multidisciplinary Learning During this full-day event, attendees will participate in hands-on academic workshops delivered by world-class university faculty and industry experts. The event schedule is structured to offer deep dives into core subjects, including Business Management, Digital Arts, Software Development, Cyber Security, and Creative Enterprise. Participants will get direct experience using university facilities, from state-of-the-art computing laboratories to collaborative design studios, allowing them to visualize real-world academic and professional workflows. Interactive Workshops and Expert Panels A key component of the event is its series of practical academic taster sessions. Attendees will engage with current real-world challenges through collaborative group projects, interactive business simulations, and live technology demonstrations. Furthermore, a dedicated panel session featuring current University of Suffolk undergraduates, postgraduate researchers, and local industry leaders will provide candid insights into university life, career prospects, and emerging technological trends in East Anglia and the broader UK economy. Networking and Campus Experience Beyond classroom engagement, the Business, Arts and Technology Taster Day provides an invaluable networking environment. Attendees can connect directly with academic tutors, career advisors, and student support staff to discuss program structures, admission pathways, placement opportunities, and student welfare services. Guided campus tours will showcase the university’s modern infrastructure, including the iconic Waterfront Building, specialized study hubs, and vibrant student social spaces. Comprehensive Guidance for Future Pathways Whether you are a Level 3 student evaluating higher education options, a parent supporting a prospective applicant, or an educator seeking enrichment opportunities for your school cohort, this event offers structured guidance tailored to your goals. Advisors will be on-site throughout the day to provide step-by-step assistance with UCAS applications, portfolio development for arts programs, and financing higher education. Join us in Ipswich for an inspiring day dedicated to unlocking future academic and professional success!

Strong leadership is essential at every level of nursing, from the bedside to the boardroom. This RCN Wales workshop in Cardiff is designed to empower nursing staff with the tools and confidence to lead innovation within their teams and organizations. In a rapidly changing healthcare landscape, the ability to spearhead service improvements and advocate for patient safety is a core competency for the modern nurse. This interactive session moves beyond theory, focusing on the "real-world" skills needed to manage change and inspire colleagues. The workshop will cover various leadership styles, with a particular focus on "Compassionate Leadership"—a model heavily promoted within NHS Wales. Participants will engage in workshops that help identify their own leadership strengths and areas for growth. A key segment of the day will be dedicated to "Innovation in Action," where members can present ideas for service improvement and receive feedback from peers and leadership experts. This is an ideal environment for those looking to transition into management or specialist roles. Furthermore, the workshop addresses the "Politics of Nursing," exploring how local leadership can influence broader health policy. By understanding the sociopolitical context of healthcare in Wales, attendees can better navigate the challenges of resource allocation and workforce planning. This event is not just for those in formal leadership positions; it is for any nurse who wants to be a catalyst for positive change in their workplace. The day concludes with a networking session, allowing participants to build a supportive community of like-minded innovators across Cardiff.

Effective communication and meticulous record keeping are the cornerstones of safe and professional nursing practice. The Royal College of Nursing is hosting this comprehensive seminar at their Ty Maeth facility in Cardiff to address the evolving standards required in modern healthcare settings. As nursing roles become more complex and autonomous, particularly in Advanced Practice, the legal and professional implications of documentation have never been more critical. This seminar is designed to provide practical, evidence-based guidance for registered nurses and healthcare support workers. The first half of the day focuses on the principles of "Best Practice in Record Keeping." This includes navigating the transition from paper-based to electronic health records (EHR), maintaining confidentiality under GDPR, and ensuring that records are "fit for purpose" in legal or regulatory reviews. Expert speakers will walk through real-world scenarios and case studies where documentation was the deciding factor in patient outcomes and professional accountability. The afternoon session delves into "Advanced Practice in the Independent Sector," a growing field in Wales. This segment will explore the specific challenges faced by nurses working outside the NHS, including clinical governance and the scope of practice. For those pursuing or currently in advanced roles, the seminar provides a vital update on the RCN's professional framework and how to demonstrate competence through documented evidence. This event offers 6 CPD hours, making it an essential date for those approaching their NMC revalidation.