The SICSA Summer School on Practical Types will give participants an overview of how types can be used in practice. Types have provided numerous benefits in programming language research, including language design and compiler construction, over the years and this trend looks set to continue into the future. But types have also found much wider practical application, … SICSA Summer School on Practical Types
Professor David Kaufman of Simon Fraser University in Vancouver will be visiting the School between May 7th and May 21st. Prof. Kaufman is a world leading expert on Computer Supported Education, Educational Technologies and Digital StoryTelling. See: http://www.sfu.ca/education/faculty-profiles/dkaufman.html He will be hosted by Ishbel and working with the Virtual Worlds research group. Prof. Kaufman will … DVF: Professor David Kaufman
The School of Computer Science welcomes Dr Michael Milford from Queensland University of Technology, Australia who is meantime visiting Scotland. Abstract: The brain circuitry involved in encoding space in rodents has been extensively tested over the past forty years, with an ever increasing body of knowledge about the components and wiring involved in navigation tasks. … SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford
An Introduction to NoSQL and MongoDB – SICSA CSE Workshop Speaker: Joe Drumgoole Director, Partner Technical Services @MongoDB Joe is a product development expert with over 20 years experience in the field. An expert in cloud computing and one of the first users of Amazon cloud in Europe. An outstanding team builder who has created … May 19th: An Introduction to NoSQL and MongoDB – SICSA CSE Workshop
Title: Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications Abstract: The aim of this talk is to illustrate the use of Internet-of-Things (IoT) technologies as building blocks of smart city applications. As a first step the talk will present the pertinence of IoT and smart cities and accordingly it will introduce a range of smart … Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications by Prof John Soldatos
Professor John Stasko and the Associate Chair of the School of Interactive Computing in the College of Computing at Georgia Tech has been appointed as an Honorary Professor in the School of Computer Science. This appointment comes following a SICSA distinguished visiting fellowship John was awarded. This fellowship allowed John to participate in the SACHI/Big … Honorary Professor John Stasko
Speaker: Prof. Jonathan Seldin, University of Lethbridge, Canada Abstract: In this talk it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalisation procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalisation fail, including … On Normalising Disjunctive Intermediate Logics
The 11th International Conference on Finite-State Methods and Natural Language Processing (FSMNLP 2013) was held in the Gateway in St Andrews on July 15-17,2013. Presented were 17 peer-reviewed papers on natural language processing applications, language resources, and theoretical and implementational issues with relevance to finite-state methods. In addition, there were two keynote lectures, by Alexander … The 11th International Conference on Finite-State Methods and Natural Language Processing (FSMNLP 2013)
(followed by tea/coffee and then informal gatherings at local venues) ROOM: TBA ABSTRACT Public compute clouds provide a flexible platform to host applications as a set of appliances, e.g., web servers or databases. Each appliance usually contains an OS kernel and userspace processes, within which applications access resources via APIs such as POSIX. The flexible … CANCELLED Unikernels: Functional Library Operating Systems for the Cloud by Anil Madhavapeddy, University of Cambridge
The Scottish Informatics & Computer Science Alliance (SICSA) have confirmed that the Scottish Funding Council have approved funding for six new initiatives that will provide new placements, exchanges and internships with Scottish and overseas businesses. Read more in the University News and in Latest news from SICSA