Computer and Information ScienceComputer and Information ScienceConceptions of Library and Information Science COLIS2025DescriptionCoLIS is a series of international conferences aiming to provide a broad forum for the exploration and exchange of ideas in the field of Library and Information Science, Information Studies, and related disciplines.
More information can be found on the CoLIS 2025 webpage.
Cybercrime Summer SchoolDescriptionThe 8th Strathclyde International Perspectives on Cybercrime Summer School will run Monday 25th-Friday 29rd August 2025 at the University of Strathclyde with a research symposium on Monday 25th August. Students (PhD, MSc, UG), practitioners, and academics are welcome to register.
More information can be found on the Cybercrime Summer School webpage.
31st International Conference on Types for Proofs and Programs (TYPES 2025)DescriptionThe TYPES conference is a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. More information can be found on the TYPES webpage.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
