Sections
  Home    Themes    Graduate Academy    Knowledge Transfer    Events    News    Contact    Jobs 
  
Sponsors

 

 

 
 
 
You are here: Home → Events
 
Search
 
 
Advanced Search…
 
     
 

Events

Site Events

Event 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.
Event 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".
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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.
Event 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:

Collection Past Events
Events which have already happened.
Document Actions