![[The University of Leicester]](unilogo.gif)
Research Projects/Grants
Current grants||Past grants || Sponsors
Current grants
- Coalgebraic Logic: Expanding the Scope
- Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality
- Representing Re-Formation: Reconstructing Renaissance Monuments
- ROLE - Responsive Open Learning Environments
- sKTP with Comtec Translations Ltd
- Tracing Networks: Craft Traditions in the Ancient Mediterranean and Beyond
Past grants
- 80days - Around an Inspiring Virtual Learning World in Eighty Days
- BCTCS 2008-2010
- A Fresh Compiler and Identifyer Kind Analyzer with Hybrid Verification
- Ad-hoc Web Applications
- Adaptive and Hybrid Genetic Algorithms for Production Scheduling Problems in Manufacturing
- AGILE: Architectures for Mobility
- APPSEM II: Applied Semantics
- BCTCS 2005-2007
- Coalgebras and Modal Logic
- Coalgebras, Modal Logic, Stone Duality
- Compressed indexable representation of XML data
- Denotational Semantics and Verification of Hybrid Automata
- EVOL: Software Evolution
- Evolutionary Algorithms for Dynamic Optimisation Problems: Design, Analysis and Applications
- History Dependent Automata for Service Oriented Computing
- iCamp: Innovative, inclusive, interactive & intercultural learning campus
- ICFI'05
- ICOPER - Interoperable Content for Performance in a Competency-driven Society
- InContext: Interaction and Context Based Technologies for Collaborative Teams
- Leg2Net: From Legacy Systems to Services in the Net
- Mechanized Operational Semantics
- MeRLab - Innovative Remote Laboratory in the E-training of Mechatronics
- Midlands Graduate School in the Foundations of Computer Science 2010
- Midlands Graduate School in the Foundations of Computer Science 2007-2009
- Midlands Graduate School in the Foundations of Computer Science 2004-2006
- New Paradigms in Data Structures: Word-Level Parallelism and Self-Adjustment
- PAIS: Process Algebras for Interaction and Spatiality (in System Biology)
- Priorities in Operational Semantics and Term Rewriting
- RELEASE: Research Links to Explore and Advance Software Evolution
- SEGRAVIS: Syntactic and SEmantic InteGRAtion of VIsual modelling techniques
- SENSORIA: Software Engineering for Service-Oriented Overlay Computers
- Structural Operational Semantics Workshop
- The Complexity of Problems in Infinite Groups
- Theory and Applications Of Containers
- The Use of Normal Forms in Solving Word Problems
- WEE-NET: Web Engineering Network of Excellence
- New Paradigms in Data Structures
Sponsors
 |
 |
 |
 |
 |
 |
 |
 |
