Computer and Information Science

CoLIS 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.

The 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.

The 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 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.

To support and promote the systematic development of the fundamentnal mathematical theory of systems specification. To investigate the theory of formal models for systems specification, develoment, transformation and verification.