Participation in European and international projects

FP6

IST coordination action 510996 Types for Proofs and Programs, TYPES (1 Sept. 2004-31 Aug. 2007, extended until 30 Apr. 2008, IoC, partner)
IST integrated project 15905 Mobility, Ubiquity, Security for Small Devices, MOBIUS (1 Sept. 2005-31 Aug. 2009, IoC, partner)
IST integrated project 15964 Algorithmic Principles for Building Efficient Overlay Computers, AEOLUS (1 Sept. 2005-31 Aug. 2009, extended until 28 Feb. 2010, CybAS, partner)
IST STREP 27751 Reinforcing eGovernment Services in Baltic States through Legal and Accountable Digital Time Stamp, BALTICTIME (1 Jan. 2006-31 Dec. 2008, extended until 30 Apr. 2009, CybAS, partner)
LifeSciHealth NoE 518254 An Experimental Network for Functional Integration, ENFIN (15 Nov. 2005-14 Nov. 2010, extended until 14 May 2011, EGeen, later OÜ Quretec, partner)
LifeSciHealth STREP 37730 Colon and Breast Cancer Diagnostics, COBRED (1 March 2007-28 Feb. 2010, extended until 31 Aug. 2010, DCS/UT, partner)
LifeSciHealth integrated project 37900 Silencing RNAs: Organisers and Coordinators of Complexity in Eukaryotic Organisms, SIROCCO (1 Jan. 2007-31 Dec. 2010, extended until 30 Sept. 2011, OÜ Quretec, partner, OÜ Quretec start date summer 2010)

FP7

ICT integrated project 231620 Highly Available and Trustworthy Software Using Formal Models, HATS (1 March 2009-28 Feb. 2013, IoC, partner, IoC start date 1 May 2010)
ICT STREP 216064 Secure, Trusted and Legally Ruled Collaboration Environment in Virtual Life, VirtualLife (1 Jan. 2008-31 Dec. 2010, extended until 31 July 2011, CybAS, partner)
ICT STREP 213360 Innovating the Scientific Knowledge Object Lifecycle, LiquidPub (1 May 2008-30 Apr. 2011, DCS/UT, partner, DCS/UT start date 1 May 2010)
ICT STREP 257593 Artifact-Centric Service Interoperation, ACSI (1 June 2010-31 May 2013, DCS/UT, partner)
ICT STREP 257793 Reuse and Migration of Legacy Applications to Interoperable Cloud Services, REMICS (1 Sept. 2010-31 Aug. 2013, DCS/UT, partner, DCS/UT start date 1 Sept. 2011)
ICT STREP 284731 Usable and Efficient Secure Multiparty Computation, UaESMC (1 Feb. 2012-31 Jan. 2015, CybAS, coordinator)
Infrastructures preparatory phase project 212230 Common Language Resources and Technology Infrastructure, CLARIN (1 Jan. 2008-31 Dec. 2010, extended until 30 June 2011, DCS/UT, partner)
Health integrated project 201619 Embryonic Stem Cell Based Novel Alternative Testing Strategies, ESNATS (1 Apr. 2008-31 March 2013, OÜ Quretec, partner)
Health integrated project 266838 Detection of Endpoints and Biomarkers of Repeated Dose Toxicity Using In Vitro Systems, DETECTIVE (1 Jan. 2011-31 Dec. 2015, OÜ Quretec, partner)

Action IC0701 Formal Verification of Object-Oriented Software (11 March 2008-10 March 2012, Estonia, signatory, Tarmo Uustalu, MC member)
Action IC0702 Combining Soft Computing Techniques and Statistical Methods to Improve Data Analysis Solutions (31 March 2008-30 March 2012, Estonia, signatory, Jaak Vilo, MC member)
Action IC0804 Energy Efficiency in Large Scale Distributed Systems (5 May 2009-4 May 2013, Estonia, signatory, Marlon Dumas, MC member, Michele Mazzucco, MC substitute member)
Action IC0901 Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems (30 Oct. 2009-29 Oct. 2013, Estonia, signatory, Tarmo Uustalu, MC member)

ERA-NET

Complexity-Net project Complexity of Interdependent Epigenetic Signals in Cancer Initiation (1 Sept. 2010-31 Dec. 2012, CS/UT, parnter)

IMI (Innovative Medicines Initiative) (EU FP7 and EFPIA public-private partnership)

PROCEED (Programming Computation on Encrypted Data) programme project Secure Virtual Machines and Languages, SEVILLA (5 April 2011-..., CybAS, contractor)

Vinnova

Tarmo Uustalu
Latest update 31 January 2012