Opportunities for Cooperation IAB Kick-off Leicester, 8 June 2005

Opportunities for Cooperation  Content Expertise Projects  Formats

Expertise Semantics Algebraic and Categorical Structures and Methods Deduction, Rewriting and Transformation Algorithms and Complexity Computational Complexity of Algebraic Structures Algorithm Design, Analysis and Engineering Optimisation and Heuristics Software Engineering Models of Software Intensive Systems Software Evolution

Projects: Semantics  Systems and coalgebras Foundations of language design  Mechanized program verification Compiler verification  Syntactic and Semantic Integration of Visual Modelling Techniques Engineering modelling languages

Projects: Algorithms and Complexity  Succinct data structures compact queryable XML representations  Network discovery with minimum measurement Internet mapping projects  Minimum weight dominating sets in unit disk graphs Backbone formation in ad-hoc networks  Evolutionary Algorithms Production scheduling Communication network optimisation

Projects: Software Engineering Software Engineering for Service- Oriented Overlay Computers IST-FET Global Computing 2 09/05 – 08/09 Under Review:  Architectural Support for Evolving Embedded Systems (EPSRC)  Architectural Support for Collaborative Systems (EPSRC)  MISSION: a Multimodal scenario-based paradigm for service oriented computing (EU-IST-FET) IST Architectures for Mobility Jan 02 – Apr 05

Projects: Software Engineering  Network and WG on Software Evolution

Opportunities for Cooperation  Content  Formats Training PhDs Secondments Funded through UK (EPSRC, Royal Society, …) or EU grants

Format: Training Masters Training (EPSRC) course development and delivery student fees (full-time, part-time, via distance learning or CPD) Marie Curie Networks (EU) Visits of experts (tutorials, workshops) Research training appointments

Format: PhDs (all EPSRC) Engineering Doctorates four-year postgraduate awards students spend around 75% in company tailored packages of training courses (managerial and technical) designed and supervised jointly by the academics and company Industrial CASE 3.5 year postgraduate awards allocated to companies company provides a substantial financial contribution student spends at least 3 months overall at company CASE for New Academics building links with a company at an early stage in their career through co-supervision of a CASE student.

Format: Secondments  Knowledge Transfer Partnerships (EPSRC) help companies access knowledge and skills; academics to understand their needs business placements for graduates in companies to tackle technical challenges under the guidance of an academic supervisor  Industry Fellowships Scheme (RS) up to two years full-time transfer between UK private industry and a UK university fellow's salary is paid through the grant

Opportunities for Cooperation  Content  Formats Training PhDs Secondments … or otherwise just talk to us!