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.
CALCO/MFPS Conference 2025DescriptionCALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
|