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

2. Opportunities for Cooperation  Content Expertise Projects  Formats

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

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

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

6. 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-2001-32747 Architectures for Mobility Jan 02 – Apr 05

7. Projects: Software Engineering  Network and WG on Software Evolution

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

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

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

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

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