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 Roccia Design & Innovation Expo 2026 is designed as an immersive event for anyone interested in the future of interior spaces, architectural materials and luxury home design. Taking place at the ROCCIA Design Centre in Preston, the event brings together the creativity, technical expertise and product innovation associated with modern tiles, bathrooms and kitchens. Visitors can explore an extensive showroom environment while discovering ideas that can help transform residential and commercial spaces. Roccia has established itself as a major destination for tiles, bathrooms and kitchens in the United Kingdom. Its Preston Design Centre offers an extensive environment where visitors can view materials, finishes, design concepts and complete interior solutions. The company focuses on helping customers move from initial inspiration and design planning to the selection of products and the creation of finished interiors. The expo provides an opportunity for visitors to explore current design directions in a practical setting. Instead of viewing products only through catalogues or digital screens, attendees can experience materials, colours, textures and room settings in person. This makes the event particularly useful for homeowners planning renovations, interior designers looking for new inspiration, architects researching surface materials and professionals working across the kitchen and bathroom sectors. Explore the latest trends shaping modern interiors and architectural design One of the key attractions of the event is its focus on contemporary design trends. Interior design continues to evolve as homeowners and professionals seek spaces that combine beauty, practicality and long-term performance. Tiles are now used not only for traditional floors and walls but also as important design features across kitchens, bathrooms, living spaces and outdoor environments. Visitors can explore a broad range of styles, including modern large-format surfaces, stone-inspired finishes, decorative designs, textured materials and classic patterns. Different colours and surface treatments can significantly influence the atmosphere of an interior. Warm neutrals, natural textures, bold patterns and elegant marble-inspired finishes all provide different design possibilities. The expo also creates a useful environment for comparing materials. Selecting the right surface is an important part of any renovation project because design decisions must often balance visual appeal, maintenance requirements, durability and suitability for a specific room. Seeing materials directly allows visitors to understand the differences between finishes and consider how products may work together in a complete design scheme. For professionals, the event can also provide a valuable source of inspiration for upcoming projects. Architects and designers can investigate how different materials can contribute to a particular visual identity, whether the project involves a private home, a hospitality venue, a commercial development or a larger architectural space. Discover premium bathroom concepts designed for comfort, style and functionality Bathrooms have become increasingly important within modern interior design. They are no longer viewed only as practical spaces but are often designed as relaxing, visually impressive areas within the home. The event provides an opportunity to explore bathroom concepts that combine contemporary styling with functional planning. Visitors can examine different approaches to bathroom design, including modern sanitaryware, statement surfaces, elegant fittings and coordinated room concepts. A successful bathroom design requires careful consideration of space, layout, storage, lighting and materials. By viewing complete displays, attendees can understand how individual products work together as part of a wider design scheme. The expo is also relevant to homeowners who may be planning a bathroom renovation. Many renovation decisions can be challenging when customers are choosing products separately. A showroom-based event can make the process easier by allowing visitors to compare styles and imagine how different products may work within their own homes. Interior professionals can also use the event to explore design ideas for clients. The combination of premium materials, showroom displays and expert guidance can help create more informed decisions when developing bathroom concepts. Find inspiration for contemporary kitchens and social living spaces The modern kitchen has become one of the most important areas of the home. It frequently serves as a place for cooking, dining, working, entertaining and spending time with family. As a result, kitchen design must combine practicality with an attractive and welcoming appearance. Roccia’s kitchen offering includes contemporary design solutions and specialist kitchen brands. The company highlights German and Italian kitchen solutions alongside its in-house design expertise. At the expo, visitors can explore ideas for creating kitchens that work effectively for everyday life while maintaining a strong visual identity. Design considerations may include cabinetry, work surfaces, splashbacks, flooring, storage and the relationship between the kitchen and surrounding living areas. For homeowners, the event can help turn general ideas into more practical design plans. Visitors may be able to compare different finishes and develop a clearer understanding of the style they want. For professionals, the event provides an opportunity to review current approaches to kitchen design and discover ideas that can be adapted for different projects. Connect with interior design specialists and explore practical project guidance A major benefit of an industry-focused design event is the opportunity to gain guidance from professionals. Interior projects often involve many decisions, from choosing the right materials to understanding how different products can be used together. Visitors attending the Roccia Design & Innovation Expo can use the event environment to explore design ideas and ask questions about potential projects. Professional guidance can be especially valuable for people who are beginning a renovation and are unsure where to start. The event may also support conversations around design planning, product suitability and the selection of materials for specific spaces. Homeowners can gain ideas for their own properties, while architects and designers can explore options for client projects. Professional interaction is also important for the broader interior design community. Events that bring together suppliers, designers, homeowners and project professionals can encourage the exchange of ideas and help attendees understand emerging trends. Discover how materials influence the appearance and performance of interiors Material selection plays a major role in the success of any interior project. The right material can influence the appearance, atmosphere, durability and maintenance requirements of a space. Tiles and surfaces are available in a wide variety of formats, colours, patterns and textures. Large-format tiles can create a clean, contemporary appearance, while smaller formats and decorative patterns can introduce character and visual detail. Natural stone-inspired designs can add a sense of luxury, while textured surfaces can provide depth. Visitors can use the expo to compare these different approaches. This is particularly useful for projects where the appearance of a material needs to be considered alongside practical performance. Kitchens and bathrooms, for example, often require surfaces that can withstand regular use while remaining visually appealing. Outdoor spaces can also benefit from carefully selected materials. Modern outdoor porcelain products can be used for patios, pathways and other external areas, creating continuity between indoor and outdoor environments. Roccia offers products for a variety of interior and exterior applications. A valuable event for homeowners planning renovation and property improvement projects The event is especially relevant to homeowners who are considering a renovation. Planning a new kitchen, bathroom or interior space can involve significant investment, making it important to research options carefully before making final decisions. A visit to a specialist showroom can provide a clearer understanding of available products and design possibilities. Instead of making decisions based only on online images, visitors can experience colours, textures and finishes in person. The event can also help homeowners develop a more structured approach to renovation planning. They may begin with general inspiration and gradually identify preferred materials, colours and layouts. Speaking with design professionals can further help them understand how their ideas could be developed into a realistic project. The Preston ROCCIA Design Centre offers a large showroom environment, giving visitors the opportunity to explore a wide selection of tiles, bathroom products and kitchen solutions in one location. Supporting professional networking across the design and construction sectors Although the event is suitable for the general public, it also has value for professionals. Interior designers, architects, developers, contractors and other specialists can use the event to explore products and connect with potential suppliers. Professional networking can help create new opportunities and improve awareness of current products and design directions. Industry events also provide a setting where professionals can discuss challenges, compare ideas and understand how materials are being used in modern projects. For property developers and renovation specialists, access to a broad selection of products can help with the early stages of project planning. For designers and architects, the event can provide valuable visual and material references for future work. The event's focus on tiles, kitchens, bathrooms and interior solutions makes it particularly relevant to professionals involved in residential and commercial property improvement. Why visitors should attend the Roccia Design & Innovation Expo 2026 The event offers a combination of inspiration, product discovery and practical design exploration. Visitors can see a broad selection of interior solutions within a specialist showroom environment and gain ideas for projects of different sizes. The event is suitable for people at different stages of the design process. Some visitors may simply be looking for inspiration, while others may already have a detailed renovation plan. The showroom format allows attendees to explore products at their own pace and compare different approaches. For design professionals, the event can provide an opportunity to research new materials and understand current market trends. For homeowners, it can make the renovation process more accessible by bringing different products and design ideas together in one location. Plan your visit to this specialist UK interior design showcase Visitors planning to attend should consider the type of project they are working on before arriving. Bringing measurements, photographs or general design ideas can help make discussions more productive. Homeowners may also benefit from preparing questions about materials, finishes, layouts and project requirements. The ROCCIA Design Centre in Preston is a major showroom destination for tiles, bathrooms and kitchens. The showroom is located at Mercedes-Benz House, Queen Street, Preston, PR1 4HH. With a focus on premium design, specialist products and professional guidance, the Roccia Design & Innovation Expo 2026 offers an opportunity to explore ideas for creating more attractive, functional and individual interiors. Whether visitors are planning a complete renovation, searching for a specific tile, developing a kitchen concept or researching bathroom solutions, the event can provide valuable inspiration and practical direction. The expo highlights the importance of bringing design ideas to life through real materials and professional expertise. By exploring the latest trends and speaking with specialists, attendees can gain a better understanding of the choices available for modern homes and commercial spaces. The Roccia Design & Innovation Expo 2026 is positioned as a specialist design event for homeowners, architects, interior designers, developers and industry professionals interested in premium interior solutions. With its focus on tiles, bathrooms, kitchens and contemporary design, the event provides an environment for discovering new ideas and exploring materials in person. Held at the ROCCIA Design Centre in Preston, the event connects design inspiration with practical product discovery. Visitors can explore modern surfaces, luxury bathroom concepts, kitchen solutions and interior trends while gaining ideas for future projects. Roccia’s extensive showroom environment makes the venue particularly suitable for a design-focused exhibition. For anyone interested in modern interiors, property renovation or architectural design, the event offers an opportunity to explore the relationship between creativity, materials and functionality. It can help visitors make more informed decisions and discover new possibilities for transforming residential and commercial spaces.

As part of the National Productivity Week 2026, The Productivity Institute, headquartered at The University of Manchester, is organizing a public-facing showcase at the iconic Manchester Central Library. This event is designed to bridge the gap between academic research and practical economic impact. The showcase highlights seven integrated research programs that focus on strengthening regional and national productivity in the UK. Productivity is often discussed in abstract economic terms, but this event aims to humanize the data, showing how better productivity leads to improved living standards, higher wages, and a more resilient economy. Attendees will have the opportunity to engage with leading economists and social scientists who are tackling the "productivity puzzle." The event features a series of short, punchy presentations followed by roundtable discussions where business owners and policymakers can voice their challenges. From analyzing the impact of infrastructure on local businesses to understanding the role of skills and education in the workforce, the program covers a diverse range of topics. It is a vital event for those interested in the future of the North of England's economy and the broader UK landscape. The setting in the Central Library emphasizes the event's commitment to accessibility and public engagement.