:: :: intereses :: ::
 
Participación en Proyectos de I+D financiados en Convocatorias públicas.
(nacionales e internacionales)

Título del proyecto: Acción Complementaria
Ref: FFI2010-09728-E
Entidad financiadora: MICINN
Duración, 2011
Investigador responsable: María Manzano Arjona
Número de investigadores participantes: 8

Título del proyecto: Nociones de completud
Ref: FFI2009-09345
Entidad financiadora: MICINN
Duración: desde 2009 hasta 2012
Investigador responsable: María Manzano Arjona
Número de investigadores participantes: 8

Acción Especial: Congreso
Título: Lógica y Filosofía de la Ciencia en España
Entidad financiadora: Junta Castilla y León

Acción Especial: Congreso
Título: Second International Congress on Tools for Teaching Logic
Entidad financiadora: Junta Castilla y León

Acción Complementaria: HUM2005-25423-E/FISO
Investigador principal: María Manzano Arjona
Título: Second International Congress on Tools for Teaching Logic

Título del proyecto: Las Lógicas de la Red
Ref: HUM2006-12848
Entidad financiadora: MEC
Duración, desde: 10-12-2006 hasta: 09-12-2009
Investigador responsable: María Manzano Arjona
Número de investigadores participantes: 10

Título del proyecto coordinado: C@lculus
Título del subproyecto 1: Que C@lcule MAUDE
Ref: BFF2003-08998-C03-01
Entidad financiadora: MCyT
Entidades participantes: Universidad Autónoma de Madrid, UOC de Cataluña y Universidad de Salamanca.
Duración: desde: 10-12-2003 hasta: 09-12-2006
Investigador responsable del subproyecto 1 y coordinadora del total: María Manzano Arjona
Número de investigadores participantes: 9

Título del proyecto: Summa Logicae en el Siglo XXI
Ref: BFF2000-1273-C04-01
Entidad financiadora: MCyT
Entidades participantes: Universidades de Sevilla, Complutense de Madrid, Autónoma de Madrid y Salamanca
Duración: desde: 20-12-2000 hasta: 20-12-2003
Investigador responsable del subproyecto 1 y coordinadora del total: María Manzano Arjona
Número de investigadores participantes: 10

Título del proyecto: Modalidad y Parcialidad en Inteligencia Artificial.
Ref: PB96-1301-c05-1
Entidad financiadora: MEC
Entidades participantes: Universidades de Sevilla, Complutense de Madrid, Autónoma de Madrid, Valladolid y Salamanca
Duración: desde: 10-10-1997 hasta: 10-10-2000
Investigador responsable: María Manzano Arjona
Número de investigadores participantes: 10

Título del proyecto: Tools for Teaching Logic. Aracne.
N. del contrato: ALR/B7011/94-6.0285.2
Entidad financiadora: CEE
Entidades participantes:  Universidades de Buenos Aires (Argentina), Federal de Pernambuco (Brasil), de la República de Uruguay (Uruguay), Autónoma de México (México), de Udine (Italia), de Amsterdam (Holanda), de Salamanca (España), y el Imperial College. UK
Duración: desde: 13-1-1998 hasta: 8-2000
Investigador responsable: María Manzano Arjona
Número de investigadores participantes: 52

Título del proyecto: Lógica, lenguaje e informática.
Ref: SA14/99
Entidad financiadora: Junta de Castilla y León.
Entidades participantes:  Universidad de Salamanca
Duración: desde: 1999 hasta: 2000
Investigador responsable: María Manzano Arjona
Número de investigadores participantes: 4

Título del proyecto: Lógica heterogénea y parcial: Marco unificador de lógicas para computación y programación lógica.
Ref: PS93-0212
Entidad financiadora: MEC
Entidades participantes: Universidad de Barcelona
Duración: desde:1993 hasta: 1997
Investigador responsable del proyecto: María Manzano Arjona
Número de investigadores participantes: 3

Título del proyecto: La Lógica multivariada y su aplicación en la Informática.
Ref: PB 900502
Entidad financiadora: MEC
Entidades participantes: Universidad de Barcelona
Duración: desde:1991 hasta: 1994
Investigador responsable del subproyecto 1 y coordinadora del total: María Manzano Arjona
Número de investigadores participantes: 2

Título del proyecto: Acción integrada Hispano-Británica  (Una gran parte del esfuerzo realizado se plasmó en el libro: Many-sorted Logic and its applications in Computer Science, cuya referencia aparece en el apartado de publicaciones.)
Ref: núm. 226
Entidad financiadora: MEC y British Council
Entidades participantes: Universidad de Barcelona y Universidad de Leeds. UK
Duración: desde:1989 hasta: 1990
Investigador responsable por parte española: María Manzano Arjona
Investigador responsable por parte británica: John Tucker
Número de investigadores participantes: 8

Título del proyecto: Acción integrada Hispano-Británica. (Una gran parte del esfuerzo realizado se plasmó en el libro: Many-sorted Logic and its applications in Computer Science, cuya referencia aparece en el apartado de publicaciones.)
Ref: núm 228
Entidad financiadora: MEC y British Council
Entidades participantes: Universidad de Barcelona y Universidad de Swansea. UK
Duración: desde:1990 hasta: 1991
Investigador responsable por parte española: María Manzano Arjona
Investigador responsable por parte británica: John Tucker
Número de investigadores participantes: 8

Título del proyecto:. Teseu. Teoría y desarrollo de sistemas expertos distribuidos. Aplicaciones a la medicina
Entidad financiadora: CYCIT
Entidades participantes: Centro de Estudios avanzados de Blanes, del CSIC y Universidad de Barcelona
Duración: desde: 1989 hasta: 1992
Investigador responsable: Jaume Agustí Cullel.
Número de investigadores participantes: 6