Roman Matuszewski - Grants

European Union

MKMNET - Mathematical Knowledge Management, 2002 - 2003 (IST-2001-37057), member of the 5FP Project,
TRIAL SOLUTION - Tools for Learning Systems, 2001 - 2002 (IST-2001-35447), member of the 5FP Project,
CALCULEMUS - Systems for Integrated Computation and Deduction, 2000 - 2004 (HPRN-CT-2000-00102), member of the 5FP Project,
TYPES - Computer Assisted Reasoning Based on Type Theory, 1999 - 2003 (IST-1999-29001), member of the 5FP Project.
Systeme informatique de modernisation des fermes familiales,, 1987 - 1988 (Brussels, DG XII, PHARE), scientific secretary.

Temporal reprezentation of the knowledge and their implementation in the medical systems, 2006-2009, (3 T11F 011 30), member of the Polish State Scientific Research Committee Project,
Undecidability and Algorithmic Intractability in the Social Sciences, 2003-2006, (2 H01A 030 25), member of the Polish State Scientific Research Committee Project,
New techniques for the computer aided formalization of mathematics, 2003-2005, (4 T11C 039 24), member of the Polish State Scientific Research Committee Project,
Research on the natural and arificial intelligence with use of automated reasoning, 1997-1999 (KBN 8 T11C 018 12), co-principial investigator in the Polish State Scientific Research Committee Project.

Further Development of Journal Formalized Mathematics, 1997 - 1998 (N00014-97-1-0777), member of the Office of Naval Research Project,
Automated Hyperlinking in an Electronic Mathematical Proof-Checked Journal, 1995-1996 (N00014- 95-1-1336), co-principial investigator of the Office of Naval Research Project,
The QED Workshop - Computer Oriented Formalization of Mathematics, 1995, under auspices of the Polish Prime Minister(OGT 42/95, N00014-95-M-0072), principial investigator in the Joint Project of the Office of Naval Research (USA) and the Polish State Scientific Research Committee.