Events
Site Events
-
SICSA Workshop on Probabilistic Modelling, Model-Checking and Planning
(The Institute for Advanced Studies, James Weir Building, 75 Montrose Street, G1 1XJ, Glasgow, from
Mar 17, 2010 09:30 AM to
Mar 17, 2010 04:30 PM)
- The aim of the workshop is to bring together researchers working on quantitative modelling of computer systems using methods such as model-checking, planning and stochastic methods to gain insight into the dynamic behaviour of systems.
-
Distinguished Visiting Fellow Talk: Peter Kemper
(Room G.03, Informatics Forum, Edinburgh, from
Mar 19, 2010 11:00 AM to
Mar 19, 2010 12:30 PM)
- Peter Kemper will present a talk entitled "Trace-based Methods for the Verification and Validation of Discrete Event Simulation Models".
-
TTOM Innovation Partnering Event
(from
Mar 23, 2010 09:30 AM to
Mar 23, 2010 12:45 PM)
- For SMEs who might want to partner with HE on specific projects/activities.
-
Enterprisers Course
(Stirling University, from
Apr 12, 2010 09:00 AM to
Apr 15, 2010 04:30 PM)
- Free places available for students or graduates interested in starting a business or in an early stage startup.
-
SICSA Workshop on Socio-technical issues in Healthcare and Security
(Department of Computing Science, University of Glasgow, G12 8RZ, from
Apr 20, 2010 10:00 AM to
Apr 20, 2010 04:00 PM)
- The next meeting of the Socio-Technical Systems Scotland group will focus on the two application areas of security and healthcare.
-
Knowledge Transfer Scotland – Policy and Practice Conference
(Heriot-Watt University, from
Apr 23, 2010 09:00 AM to
Apr 23, 2010 05:30 PM)
- Scotland’s national knowledge transfer conference for researchers, research managers and KT practitioners.
-
Complex Systems Engineering Theme Meeting
(Robert Gordon University, from
Apr 30, 2010 12:00 AM to
Apr 30, 2010 12:00 AM)
- A CSE Theme meeting will be taking place on 30 April at Robert Gordon University.
-
EIE'10 & TechCrunch Europe
(Informatics Forum, University of Edinburgh, from
May 12, 2010 09:30 AM to
May 12, 2010 06:30 PM)
- Four hours. Fifty high-potential spinouts and startups from across Scotland. One Interactive and Engaging Panel. Then a late afternoon and evening with the world's hottest online source of breaking news and coverage from the technology ventures scene.
-
Enterprise and Entrepreneurship for Researchers
(Westwood Hotel, Glasgow, from
May 17, 2010 10:00 AM to
May 19, 2010 04:00 PM)
- This three day course gives PhD students a chance to explore the idea of research commercialisation.
-
SICSA PhD Conference 2010
(Informatics Forum, University of Edinburgh, from
Jun 09, 2010 01:00 PM to
Jun 11, 2010 12:00 PM)
- Following the successful 2009 conference, the SICSA PhD Conference 2010 will be held at the University of Edinburgh in the Informatics Forum with accommodation at Pollock Halls from 9th-11th June 2010.
-
SICSA International Summer School on Statistical Inference in Computational Biology
(National E-Science Centre, Edinburgh, from
Jun 14, 2010 09:00 AM to
Jun 18, 2010 05:00 PM)
- The school will focus on the role of statistical inference in biological modelling, with a particular emphasis on the Bayesian framework.
-
Workshop on Modelling and Analysis of Networked and Distributed Systems
(University of Stirling, from
Jun 17, 2010 09:45 AM to
Jun 17, 2010 05:00 PM)
- An event for modelling researchers with techniques that would be useful for networked and distributed systems, and networking researchers with an interested in modelling and analysis of their systems.
-
Workshop on Programming and Design of Heterogeneous and Reconfigurable Systems
(University of Glasgow, from
Aug 04, 2010 09:00 AM to
Aug 05, 2010 05:00 PM)
- This informal workshop will bring together UK researchers from the heterogeneous and reconfigurable hardware and programming languages communities.
-
SICSA Summer School on Formal Reasoning & Representation of Complex Systems
(Heriot-Watt University, from
Aug 14, 2010 09:00 AM to
Aug 15, 2010 05:30 PM)
- The summer school will give a broad overview of software verification techniques, addressing both bottom-up and top-down approaches with a strong focus on the formal representation and reasoning themes.
Contained Collections:
-
Past Events
- Events which have already happened.


