Análisis molecular del virus sincitial respiratorio bovino cepa RC-98 aislado en Argentina. Molecular analisis of bovine respiratory syncytial virus RC-98 strain isolated in Argentina.

En la provincia de Córdoba, estudios serológicos demostraron una alta tasa de infección para el Virus Sincitial Respiratorio Bovino (VSRB). Paralelamente nuestro grupo de investigación aisló por primera vez en Argentina el VSRB (cepa RC-98) dando un paso importante en el reconocimiento de esta enfermedad. En los últimos años se ha incrementado la importancia de este agente debido a la intensificación de los sistemas ganaderos, impulsados y desplazados por la agriculturización. La detección viral en muestras clínicas aún es pobre por inadecuadas técnicas de laboratorio. Por estas razones es necesario optimizar otro método diagnóstico utilizado mundialmente, no desarrollado en nuestro país hasta el presente. Con el advenimiento de la biología molecular se introducen nuevas técnicas como la RT-PCR para el diagnóstico rápido del VSRB, siendo más sensible y específica que el ensayo de ELISA, Inmunofluorescencia, Inmunoperoxidasa y aislamiento viral, además permite detectar la eliminación viral por un período más prolongado en muestras clínicas. La glicoproteína G (Gp G) del VSRB es la proteína menos conservada entre los aislamientos de VSRB y es la que presenta la mayor variabilidad, tanto antigénica como genética. Por secuenciamiento de la Gp G se propusieron seis subgrupos genéticos. La importancia de esta glicoproteína esta representada en el rol que desempeña en la respuesta inmune. La generación de anticuerpos frente a esta es capaz de neutralizar la infección viral. La hipótesis de trabajo se basa en que pueden existir diferencias genómicas importantes de la cepa autóctona, respecto a cepas bovinas de referencia internacional. Se plantean como objetivos conocer las características moleculares (genómicas) de la Gp G de la cepa RC-98 para el futuro desarrollo de inmunógenos y estandarizar una técnica diagnóstica que complemente y enriquezca el diagnóstico de este virus. Se utilizará la cepa RC-98 la cuál se propagará en células MDBK. Para desarrollar la técnica de RT-PCR se extraerá el ARN viral con un kit comercial, a partir del mismo se obtendrá el ADNc y para la PCR se utilizarán 2 juegos de primers que amplifiquen un fragmento del gen de la Gp G. Una vez estandarizada la técnica se trabajará con muestras clínicas, hisopados nasales, lavados broncoalveolares y muestras pulmonares de animales necroipsiados. Al finalizar la investigación se espera conocer las características genómicas de la cepa RC-98. Se contará con una nueva herramienta diagnóstica para la detección rápida y sensible del VSRB. La misma será transferida a laboratorios de diagnostico. Adicionalmente se contará con el secuenciamiento de la Gp G, lo cuál permitirá clasificar la cepa en estudio dentro de los subgrupos genéticos. Este proyecto pretende sentar bases para investigaciones futuras ya que la técnica de PCR posibilita una nueva aproximación al estudio de la patogénesis de la infección viral y permite estudiar la epidemiología molecular de los aislamientos de campo.

Efecto de la forestación con pináceas sobre la biodiversidad y el funcionamiento de sistemas fluviales serranos en pastizales de altura. Pine afforestation effects on ecosystem functioning and biodiversity in mountain pastureland fluvial systems.

Las acciones antrópicas han alterado los ecosistemas a escala global mediante cambios en la estructura y función de los sistemas terrestres y acuáticos. En este sentido, la deforestación de bosques ripariales impacta fuertemente sobre los sistemas lóticos como así también el proceso inverso, la conversión de pasturas naturales a bosques debido a forestaciones extensivas. Las nacientes de los arroyos de la provincia de Córdoba se ubican en pastizales dominados por gramíneas, muchos de los cuales han sido reemplazados por plantaciones de coníferas, con potenciales efectos sobre la estructura y el funcionamiento de los cursos de agua. En consecuencia, la evaluación de los efectos de esta actividad forestal sobre los arroyos es esencial para la implementación de adecuadas estrategias de manejo y conservación del recurso acuático. El objetivo de este proyecto es evaluar los efectos de la forestación con pináceas sobre la estructura y el funcionamiento de sistemas fluviales en pastizales de altura de las sierras de Córdoba. Se pretende analizar la dinámica de la biota acuática en arroyos de pastizales y en arroyos forestados. Se cuantificarán productores primarios y materia orgánica particulada y se medirán procesos ecológicos como la producción primaria y descomposición de materia orgánica gruesa. Se espera que la forestación con pináceas altere el ciclo de los nutrientes, disminuya el caudal y cambie el balance de temperatura al incrementar la sombra y el ingreso de materia orgánica particulada gruesa. En consecuencia, y debido a los cambios abióticos contrastantes generados por la implantación de pinos, podrían detectarse alteraciones drásticas en el ecosistema. Se seleccionarán seis arroyos de la subcuenca del arroyo Santa Rosa (Subcuenca Ctalamochita). Tres arroyos discurren en pastizales naturales y tres en áreas forestadas con pináceas. Se tomarán muestras de invertebrados y materia orgánica en el bentos en aguas altas y aguas bajas y se registrarán parámetros físico-químicos. Se colectarán muestras de perifiton para análisis de especies, biomasa y clorofila. Se realizarán experimentos de campo para medir la tasa de degradación de la materia orgánica y la producción primaria. La detección del grado de alteración de los sistemas naturales es el punto de partida para la implementación de apropiadas estragias de manejo del recurso. Entre los indicadores que permitirán verificar el efecto de las forestaciones estan los cambios en la biodiversidad, en la tasa de degradación de materia orgánica y en la producción primaria, como así también en la dinámica de los nutrientes y en los ciclos de caudales. Esta propuesta pretende generar lazos de interrelación entre distintos sectores para la implementación efectiva de planes de conservación y restauración y propiciar las relaciones necesarias para el logro de objetivos que beneficien a la sociedad como un todo.

Factores críticos endógenos del desarrollo local sustentable. Sistemas y procesos de participación y control democrático en pequeñas comunidades, empresas, y organizaciones de la sociedad civil.

La democracia –y en especial la participación y su control- se han consolidado en el campo teórico -económico y social-, como la única forma de avanzar en el desarrollo sustentable y sostenible de las comunidades. Su ejercicio efectivo y cotidiano, depende de la existencia y operación de sistemas de información –para la toma de decisiones y difusión- en las entidades públicas, privadas y de la sociedad civil, que sostengan los principios democráticos de libertad, igualdad, derechos políticos, económicos y sociales, que a lo largo de la historia se han incorporado a su definición. La identificación realizada en los últimos 4 años, de los factores críticos externos del desarrollo local como la concentración y las externalidades, permiten construir sistemas de información estratégica para avanzar en la elaboración de planes y proyectos de desarrollo. Por su parte, los factores endógenos de las comunidades y organizaciones plantean el desafío de desarrollar formas de organización y gestión, que permitan superar el voluntarismo, los conflictos personales o sectoriales y avanzar sobre bases objetivas en los procesos de negociación, obtención de consensos y conducción en busca del bien común, sobre bases democráticas. El proyecto mediante un método comparativo, identifica los comportamientos, las prácticas institucionales y los mecanismos utilizados en comunidades, empresas y OSC en relación con ese “bien común”, de modo de diseñar instrumentos de planeación, toma de decisiones, ejecución y control –sistemas de autodiagnóstico, Balance social, Paneles de Comando, Balanced Scorecad, etc.- cuya adopción en las organizaciones mencionadas haría realidad su gestión responsable, desarrollo sostenible y democrático.

Enlaces. La instrumentación de políticas públicas de equidad de género desde los espacios de educación superior en América Latina.

Durante los últimos tres años, hemos desarrollado, en el marco del presente proyecto de investigación, una profundización en las condiciones y las estrategias armadas en torno al Espacio Europeo de Educación Superior, y sus posibles correlatos en los diferentes ensayos aplicados en América Latina, para potenciar desde el espacio educativo superior una mayor integración de sistemas y un aumento de la calidad del servicio universitario, junto a una profundización de las políticas de investigación científica y de gestión del conocimiento. Y todo ello para ahondar el compromiso social y la calidad de los regímenes democráticos de la región, con mayores grados de relevancia en el respeto y la promoción de los derechos humanos y de las políticas de igualdad y de justicia. En esta segunda etapa del proyecto, generaremos una aproximación específica a una de las estrategias más relevantes en las políticas públicas tendientes a mayores grados de democratización e igualitarismo: las iniciativas que propenden hacia la equidad de género, un horizonte objetivo para el cual los planes y programas educativos tienen una importancia crucial, tanto en el aseguramiento del éxito como en la perdurabilidad de esos avances en torno al rescate y a la igualdad del rol social de la mujer. En este sentido, nuestra región, y el Espacio Latinoamericano de Educación Superior en su conjunto, pueden aprovechar muy eficazmente la apropiación y la adecuación de algunas de las políticas igualitaristas, de equidad y de discriminación positiva ya experimentadas en el entorno del espacio europeo, que sigue siendo el referente al que se aspira. Junto a las estrategias operativas, ese Espacio Latinoamericano debería atender a la importancia relevante que tienen los reclamos de identidad de las minorías, especialmente los que impulsan la igualación efectiva de derechos para ambos sexos, propugnando un rescate histórico del papel social de las mujeres. Esta nueva agenda podría potenciarse mediante la cooperación interuniversitaria Europa-Iberoamérica, así como del desarrollo de estudios académicos sobre las características particulares de articulación de los temas que comprende (como la equidad de género), teniendo como marco referencial el sistema educativo superior.

Desarrollo de Sistemas Innovadores de Transporte y Liberación Destinados a la Optimización de la Actividad Terapéutica de Fármacos

Existen numerosos fármacos con atributos terapéuticos relevantes que presentan propiedades físicoquímicas o biológicas desfavorables, las que comprometen su eficacia o seguridad y en consecuencia requieren nuevas estrategias de formulación para superar tales deficiencias. Debido a lo expuesto, el objetivo general de este proyecto es diseñar, desarrollar y evaluar nuevos sistemas de transporte y liberación de fármacos que presentan baja biodisponibilidad cuando son administrados por vía oral, 4 debido a su escasa solubilidad y/o permeación a través del epitelio gastrointestinal. Como objetivos específicos se proponen: - Obtención de nuevos sistemas portadores que incidan sobre la efectividad del proceso de absorción de fármacos modelos, facilitando su disolución y/o permeación en el tracto gastrointesinal. - Evaluación de la eficacia de los sistemas obtenidos, en el transporte y pasaje de los fármacos a través de las mucosas del tracto gastrointestinal, mediante metodologías in situ e in vitro, que contribuyan a la determinación de los parámetros biofarmacéuticos de relevancia. La metodología de trabajo propuesta contempla la formación de complejos ternarios utilizando ciclodextrinas (ß-ciclodextrina, hidroxipropil-ß-ciclodextrina y metil- ß-ciclodextrina) y etanolaminas, aminoácidos o meglumina; la incorporación en microemulsiones de los complejos con ciclodextrina obtenidos; así como la obtención de pellets por extrusión-esferonización. Para los estudios biofarmacéuticos, de los principios activos en los sistemas de transporte y liberación desarrollados, se diseñarán estudios de permeación, in situ, a través del método de perfusión de paso simple en ratas e in vitro, utilizando membranas artificiales y cultivos de células Caco-2. Se desarrollarán y validarán procedimientos analíticos adecuado para las determinaciones de los fármacos en todos los estudios implementados.

PRODUCCIÓN DE BIOMASA FORESTAL, FORRAJERA Y CAPACIDAD SUSTENDORA ANIMAL EN SISTEMAS SILVOPASTORILES DE LA LLANURA ONDULADA Y SIERRA DE COMECHINGONES EN EL CENTRO DE ARGENTINA.

Identificación y caracterización del problema: En Córdoba la llanura ondulada y la sierra de comechingones los problemas ambientales y productivos han comenzado manifestarse. En la llanura ondulada, 700.000 has de tierras se encuentran sujetas a severos procesos de erosión hídrica, generando perdida de suelos y disminución de la producción en los sistemas agrícolo-ganaderos. En la Sierra de Comechingones (300.000 ha), las plantaciones de pinos sobre pastizales naturales presentan escaso o nulo manejo silvicultural con lo que se obtiene madera de baja calidad y baja capacidad sustentadora animal cuando el pastoreo se practica en estas plantaciones. Objetivos generales: Validar funciones de crecimiento para la especie forestal Pinus elliottii y especies forrajeras en sistemas silvopastoriles con diferentes tratamientos siviculturales ((densidad de plantación, podas y raleos) destinados a obtener alta calidad de madera y capacidad sustentadora animal en la llanura ondulada y sierra de comechingones del centro de Argentina. Materiales y métodos: Para el desarrollo del trabajo se utilizaran dos módulos, uno situado en la llanura ondulada y otro en la sierra de Comechingones. El módulo silvopastoril de la llanura ondulada se encuentra en el campo de docencia y experimentación Pozo del Carril, ubicado a los 32° 58’ LS y 64° 40’ LO, a 550 m.s.n.m, Las situaciones que se evaluaran en este modulo serán: Pastoreo en callejones de 21 m, Pastoreo en callejones de 12m y un testigo sin árboles. Se aplicaran tratamientos de poda y raleo con la intensidad que corresponda a cada caso. El modulo silvopastoril en el ambiente sierra de comechingones se encuentra en el campo de experimentación y docencia “Las Guindas” ubicado a los 32° 35´ 9.64” S y 64° 43´ 66” O, a 1063 msnm. Las situaciones que se evaluaran en este modulo serán: Pastoreo en plantaciones (3x3 m), Pastoreo en plantaciones (3x4 m) y un testigo de pastizal serrano sin árboles. Se aplicaran tratamientos de poda y raleo con la intensidad que corresponda a cada caso. Para el cumplimiento de los objetivos propuestos un conjunto de determinaciones se realizaran en cada uno de los módulos propuestos: a)Determinación de volumen anual (m3/ha) de la especie leñosa Pinus elliottii . b) Parametrización y validación de una función de crecimiento de la biomasa forestal (m3/ha).. C) Estimación de la dinámica de crecimiento de copa de Pinus elliottii d) Determinación del grado de sombreamiento de Pinus elliottii para cada año del crecimiento e) Determinación de la producción de biomasa forrajera para diferentes posiciones del sistema silvopastoril g) Parametrización y validación de una función de producción de biomasa forrajera según grado de sombreamiento. h)Estimación de la capacidad sustentadora animal para los sistemas silvopastoriles bajo estudio. Resultados esperados: Sobre la base información secundaria y de los datos que se obtengan durante los dos años del estudio permitiran modelar la dinamica de la produccion de madera de calidad, cantidad y calidad de forraje y la capacidad sustentadora animal en silvopastoriles adaptados a la región de llanura ondulada y sierras de Córdoba, los que podrán ser utilizados para la definición de la tecnología de implantación y manejo silvícola de sistemas silvopastoriles para las condiciones ambientales semejantes a las del ensayo. Importancia del proyecto: Los resultados del proyecto permitirán enriquecer el conocimiento de los profesionales dedicados al asesoramiento tecnico y productores que buscan alternativas técnicas amigables con el ambiente como asi tambien el enriquecimiento de las bases teoricas que reciben alumnosde de grado y posgrado en asignaturas que abordan esta temática.

Respuesta de los sistemas planta-fitófago-parasitoide a condiciones microambientales en hábitats naturales y urbanos

Uno de los mayores desafíos de la ecología será predecir las posibles consecuencias del cambio climático sobre los organismos biológicos y proponer medidas que las suavicen. Es de esperar que los cambios climáticos provoquen la extinción de especies sensibles, a través de la disminución de su éxito reproductivo, la reducción de la cantidad y accesibilidad a hábitats adecuados, y también indirectamente por la eliminación de los recursos esenciales para su supervivencia. En un contexto de cambio climático global, el objetivo general de este proyecto es comprender los efectos de las condiciones microambientales sobre sistemas planta-herbívoro-parasitoide, en ambientes naturales y urbanos. Para ello estudiaremos las relaciones entre plantas, minadores de hojas y sus parasitoides considerando las diversas condiciones microambientales en donde el sistema se desarrolla. En ambientes nativos se prevé el estudio de dichos sistemas en tres ubicaciones del bosque (interior, bordes con orientación norte y bordes con orientación sur), analizando la identidad y abundancia de las especies, y los niveles de herbivoría y parasitismo. También se realizarán experimentos de laboratorio para analizar los niveles de herbivoría que sufran hojas obtenidas en cada una de las ubicaciones, a fin de conocer si poseen diferencias que puedan ser detectadas por los insectos, y se analizarán también posibles diferencias en la dureza de las hojas y su contenido de nitrógeno y carbono. En ambientes urbanos se estudiará la ocurrencia y grado de herbivoría de un minador de hojas asociado al “jacarandá”, árbol común en veredas de la ciudad de Córdoba, asi como la incidencia de sus parasitoides. Se relacionarán las variables biológicas con variables ambientales a nivel de sitio, tales como temperatura, tráfico vehicular, distancia al centro geográfico e “índice verde”, tomado a partir de imágenes satelitales. Los datos obtenidos a partir de los muestreos de campo en ambientes nativos serán analizados mediante modelos lineales generalizados que contemplen la dependencia de los microhábitats por localidad. Las variables obtenidas en experimentos en laboratorio serán analizadas mediante ANOVA con medidas repetidas o Test de Kruskall-Wallis. Los datos provenientes de ambientes urbanos serán analizados mediante regresiones logísticas para determinar la probabilidad de ocurrencia del minador, asi como los niveles de herbivoría y parasitismo en los diversos árboles estudiados. Se incluirán en el modelo todas las variables de urbanización anteriormente mencionadas así como la densidad de árboles en el sitio.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

PARTICIPACIÓN DEL RECONOCIMIENTO INMUNE INNATO EN LA RESPUESTA DE CARDIOMIOCITOS DURANTE LA INFECCIÓN EXPERIMENTAL CON TRYPANOSOMA CRUZI. Characterization of the cardiac innate immune response during Trypanosoma cruzi experimental infection.

La enfermedad de Chagas, causada por Trypanosoma cruzi, constituye la principal miocarditis infecciosa a nivel mundial. Crecientes evidencias revelan que la respuesta inmune innata tendría un rol determinante en la fisiopatología de las enfermedades cardiovasculares. La inmunidad innata es la primera línea de defensa, no específica, preprogramada para combatir agentes infecciosos. Este sistema censa la presencia de antígenos extraños a través de los receptores tipo toll (TLR) produciendo citoquinas y activando mecanismos microbicidas. Sin embargo, los TLRs también se hayan distribuidos en las células parenquimales no inmunes, jugando un importante rol tanto en la defensa como en la homeostasis de cada tejido. Durante la etapa aguda de la infección, el T. cruzi invade y se replica dentro de una amplia variedad de células y tejidos. Pero posteriormente, los parásitos son efectivamente eliminados de la mayoría de los tejidos persistiendo durante toda la vida en las células del músculo cardíaco y esquelético de los pacientes infectados. Debido a que el mantenimiento de la célula cardíaca infectada es crítica para la patogénesis de la enfermedad, los mecanismos que participan en la sobrevida de los cardiomiocitos están siendo foco de nuestro estudio. Hemos demostrado, que la infección ejerce efectos antiapoptóticos sobre células cardíacas aisladas. Nuestra hipótesis es que la inmunidad innata cardíaca estaría involucrada en el mantenimiento de la sobrevida de los miocitos así como en la defensa contra el parásito. Objetivo general: determinar la participación de la respuesta inmune innata cardíaca en el desarrollo de la enfermedad de Chagas experimental murina. Objetivos específicos: 1) Analizar el compromiso de TLRs en la respuesta anti-apoptótica y de autofagia de cardiomiocitos aislados de ratones salvajes y de ratones deficientes en TLR4, TLR2 y en MyD88, molécula adaptadora de la señalización por TLRs, sometidos a la infección con el parásito. 2) Determinar la importancia de la actividad cisteín proteasa parasitaria en el grado de infectividad y la sobrevida de cultivos primarios de ratones salvajes infectados con parásitos transgénicos que poseen disminuída o nula actividad cisteín proteasa. 3) Establecer la cinética de expresión de TLR2/TLR6, TLR4 y TLR9, factores antiapoptóticos (Bcl-2, Bcl-xL, etc.), daño cardíaco y la carga parasitaria en el tejido cardíaco de ratones infectados salvajes y/o deficientes antes mencionados. Materiales y Métodos: Los animales serán infectados i.p. con 5x103 parásitos y se determinará la cinética de expresión de los mediadores mencionados por western blot e inmunofluorescencia, la carga parasitaria será determinada por qRT-PCR. Como controles se procesarán animales inyectados con solución salina. En cultivos primarios de cardiomiocitos de ratones neonatos salvajes y deficientes infectados se estudiará la carga parasitaria, la activación de los mecanismos microbicidas (producción de óxido nítrico, metabolitos reactivos del oxígeno y del nitrógeno, ciclooxigenasa, etc.), producción de citoquinas y expresión de moléculas anti-apoptóticas (Bcl-2, Bcl-xL, Bax, etc.). Se explorará la tasa de apoptosis en cultivos deprivados de suero. La autofagia se analizará por microscopia electrónica. Cultivos controles serán mantenidos en medio o tratados con ligandos de los diferentes TLRs. Resultados preliminares sugieren que tanto TLR2 como Bcl-2 se incrementan en tejido cardíaco infectado. Esto nos lleva a profundizar en los mecanismos observados en cultivos y estudiarlos en un modelo in vivo, analizando la posible importancia que tiene la inmunidad innata cardíaca en el control del establecimiento de la infección. La comprensión de los mecanismos que mantienen la sobrevida de los cardiomiocitos y su respuesta a la infección es importante ya que el conocimiento de las bases moleculares es fundamental para el desarrollo de nuevos agentes quimioterapéuticos. Chagas disease is endemic in Central and South America and causes the most common myocarditis worldwide. We have previously reported that the cardiotrophic parasite Trypanosoma cruzi, its etiological agent, protects cardiomyocytes against apoptosis induced by growth factor deprivation activating the PI3K/Akt and MEK1/ERK signaling pathways. Recent studies have shown that local innate immunity plays a key role in initiating and coordinating homeostatic as well as defense responses in the heart. One of the mechanisms by which the innate immune system senses the presence of foreign antigens is through TLRs. The stimulation of these receptors leads to the activation and nuclear translocation of NF-kB transcription factor and the production of cytokines. Proinflammatory cytokines, in turn, appear to play a central role in the orchestration and timing of the intrinsic cardiac stress response providing, under different situations, instantaneous anti-apoptotic cytoprotective signals, which allow tissue repair and/or remodeling. The aim of the present project is to study the cardiomyocyte innate immune responses to T. cruzi infection and its role in target cell protection from apoptosis. Specific objectives: 1) Study the mechanism triggered by TLR in the anti-apoptotic response and parasite load of infected cardiomyocyte primary cultures from wild type and mice deficient in TLR2, TLR4 or MyD88. 2) Determine the effect of parasite cisteín protease activity on primary cultures from wild type mice. 3) Determine the TLR signaling-involvement in parasite load and survival indicators in deficient mice. Preliminary results showed us that cardiac-TLR2 may be involved in the anti-apoptotic effect elicited by the parasite and prompted us to establish the mechanisms triggered by the innate immunity that mediate parasite persistence within the host cell.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Mejoramiento del comportamiento térmico de sistemas de calentamiento de agua solares termosifónicos hechos con materiales no convencionales y con tanques de almacenamiento verticales y horizontales Performance improvement of solar thermosyphonic systems for water heating made of non conventional materials and using horizontal and vertical storage tanks

El objeto de estudio de este proyecto son los sistemas de calentamiento de agua mediante energía solar que funcionan termosifónicamente. En particular se tratará con dos diseños particulares generados por fabricantes de la Provincia de Córdoba y que han solicitado el asesoramiento del Grupo de Energía Solar (GES) para el mejoramiento de la performance térmica de dichos equipos. Se trata de dos sistemas que tienen materiales no tradicionales y se diferencian además por tener una distinta disposición del tanque de almacenamiento: uno es en forma vertical y el otro en forma horizontal. Basados en los resultados de un ensayo bajo norma internacional, donde se detectaron algunas puntos factibles de mejora, se propone en este proyecto el análisis en detalle de los equipos, para lo cual se les debe desarmar completos, para realizar un estudio analítico y experimental de los mismos con el objeto de hacer un planteo teórico-analítico del comportamiento de los mismos, con la implementación de propuestas de mejora y chequeo de los resultados. Se propone entonces como objetivo lograr un mejoramiento de la performance térmica de los citados equipos a partir de un estudio experimental y analítico. Asumiendo esta posibilidad de mejora, se plantea la hipótesis de que es posible representar el funcionamiento de estos equipos mediante modelos físico-matemáticos desarrollados a partir de ecuaciones y correlaciones conocidas y procesos a interpretar mediante resoluciones numéricas y softwares específicos de simulación. De esta manera, se plantea el despieze completo de los equipos para estudiar en detalle su estructura y conexiones internas y a partir de la geometría, dimensiones y propiedades termofísicas de materiales constructivos y fluidos de trabajo, realizar modelos físico-matemáticos que permitan realizar variaciones de propiedades y geometría y así buscar las mejores combinaciones que produzcan equipos más eficientes térmicamente. Los modelos físico-matemáticos serán codificados en lenguajes de alto nivel para poder luego de una validación de los modelos, correr simulaciones en un software de reconocimiento internacional que permite sumar dichos modelos mediante un protocolo de comunicación, haciendo que las poderosas prestaciones del software se puedan aplicar a nuestros modelos. Se complementará el estudio con un análisis exergético para identificar los puntos críticos en que se producen las pérdidas de oportunidad de aprovechar la energía disponible, para así analizar cómo solucionar los problemas en dichos puntos. Los materiales a utilizar serán los propios equipos provistos por los fabricantes, que serán modificados convenientemente para operarlos como prototipos Se espera obtener un conocimiento acabado de los procesos y principios de funcionamiento de los equipos, que permita plantear las mejoras, las cuales se implementarán en los prototipos, realizándose una medición mediante norma igual a la inicial para ver en que magnitud se logran las mejoras esperadas. Se pretende además que las mejoras a implementar, en la etapa de transferencia a las empresas involucradas, redunden no sólo en un beneficio técnico, sino que también los sea desde el punto de vista económico. Para ello se trabajará también sobre los procesos y métodos de fabricación para que los equipos mejorados no sean mas caros que los originales y de ser posible sean aún más económicos, todo esto apuntando a la difusión de la energía solar térmica y poner al alcance de todos estos equipos tan convenientes para la propagación de las energías limpias. El proyecto redundará también en un importante beneficio para el conocimiento de la comunidad científica en general, con el aporte de nuevos resultados en diseños novedosos y con nuevos materiales. Además, la institución se beneficiará con la formación que obtendrán los integrantes del proyecto, muchos de ellos en etapa de realización de sus estudios de posgrado y en una etapa importante de su vida como investigadores. The main goal of this project is the improvement of two thermosyphonic solar water heating systems, made of non conventional materials and with different arrangement of their storage tanks: one is vertical and the other one horizontal. The thermosyphonic systems are provided by manufacturers of the Córdoba Province, who came to the Solar Energy Group (GES) of the National University of Río Cuarto looking for help for the design of their products. In an agreement with these manufacturers, it was proposed this project in order to work analytically and experimentally in order to obtain physical-mathematical models of these two systems, which allow for changes to look by means of simulations the best changes to implement on the equipments for the improvement of their thermal performance. Then, the materials to be used are the proper systems provided by the manufacturers, which will be disarmed to be studied in detail. After the analytical study the proposals of improvement will be implemented in a high level language of programming to perform simulations in the environment of a well-known software for energy simulations (TRNSYS). After the simulations, the best modifications will be physically implemented in the prototypes to perform finally the same normalized test of the beginning and check the magnitude of the implemented improvements. The importance of this project is based on the offer of better systems the companies would make, which would benefit the deployment of the thermal solar energy. Another relevant point is to make the new equipments at the same cost of the previous ones or cheaper, in order to achieve a good deployment of the solar water heating systems; then, the manufacture processes and methods must be studied to obtain not only good technical solutions, but also economical equipments. In addition, this project will contribute to the increasing of the knowledge in the area of thermosyphonic solar systems and the training of postgraduate students.

Aproximación al diseño de sistemas de bio-reactores para la delignificación de materiales lignocelulósicos y para la decontaminación de suelos y efluentes. Approximation to the design of bio-reactors systems for the delignificación of lignocellulosic materials and for the decontamination of soil and effluents

Los materiales lignocelulósicos residuales de las actividades agroindustriales pueden ser aprovechados como fuente de lignina, hemicelulosa y celulosa. El tratamiento químico del material lignocelulósico se debe enfrentar al hecho de que dicho material es bastante recalcitrante a tal ataque, fundamentalmente debido a la presencia del polímero lignina. Esto se puede lograr también utilizando hongos de la podredumbre blanca de la madera. Estos producen enzimas lignolíticas extracelulares fundamentalmente Lacasa, que oxida la lignina a CO2. Tambien oxida un amplio rango de sustratos ( fenoles, polifenoles, anilinas, aril-diaminas, fenoles metoxi-sustituídos, y otros), lo cual es una buena razón de su atracción para aplicaciones biotecnológicas. La enzima tiene potencial aplicación en procesos tales como en la delignificación de materiales lignocelulósicos y en el bioblanqueado de pulpas para papel, en el tratamiento de aguas residuales de plantas industriales, en la modificación de fibras y decoloración en industrias textiles y de colorantes, en el mejoramiento de alimentos para animales, en la detoxificación de polutantes y en bioremediación de suelos contaminados. También se la ha utilizado en Q.Orgánica para la oxidación de grupos funcionales, en la formación de enlaces carbono- nitrógeno y en la síntesis de productos naturales complejos. HIPOTESIS: Los hongos de podredumbre blanca, y en condiciones óptimas de cultivo producen distintos tipos de enzimas oxidasas, siendo las lacasas las más adecuadas para explorarlas como catalizadores en los siguientes procesos:  Delignificación de residuos de la industria forestal con el fin de aprovechar tales desechos en la alimentación animal.  Decontaminación/remediación de suelos y/o efluentes industriales. Se realizarán los estudios para el diseño de bio-reactores que permitan responder a las dos cuestiones planteadas en la hipótesis. Para el proceso de delignificación de material lignocelulósico se proponen dos estrategias: 1- tratar el material con el micelio del hongo adecuando la provisión de nutrientes para un desarrollo sostenido y favorecer la liberación de la enzima. 2- Utilizar la enzima lacasa parcialmente purificada acoplada a un sistema mediador para oxidar los compuestos polifenólicos. Para el proceso de decontaminación/remediación de suelos y/o efluentes industriales se trabajará también en dos frentes: 3) por un lado, se ha descripto que existe una correlación positiva entre la actividad de algunas enzimas presentes en el suelo y la fertilidad. En este sentido se conoce que un sistema enzimático, tentativamente identificado como una lacasa de origen microbiano es responsable de la transformación de compuestos orgánicos en el suelo. La enzima protege al suelo de la acumulación de compuestos orgánicos peligrosos catalizando reacciones que involucran degradación, polimerización e incorporación a complejos del ácido húmico. Se utilizarán suelos incorporados con distintos polutantes(por ej. policlorofenoles ó cloroanilinas.) 4) Se trabajará con efluentes industriales contaminantes (alpechínes y/o el efluente líquido del proceso de desamargado de las aceitunas). The lignocellulosic raw materials of the agroindustrial activities can be taken advantage as source of lignin, hemicellulose and cellulose. The chemical treatment of this material is not easy because the above mentioned material is recalcitrant enough to such an assault, due to the presence of the lignin. This can be achieved also using the white-rot fungi of the wood. It produces extracellular ligninolitic enzymes, fundamentally Laccase, which oxidizes the lignin to CO2. The enzyme has application in such processes as in the delignification of lignocellulosic materials and in the biobleaching of fibers for paper industry, in the treatment of waste water of industrial plants, in the discoloration in textile industries, in the improvement of food for ruminants, in the detoxification of polutants and in bioremediation of contaminated soils. HYPOTHESIS: The white-rot fungi produce different types of enzymes, being the laccases the most adapted to explore them as catalysts in the following processes:  Delignification of residues of the forest industry in order to take advantage of such waste in the animal feed.  Decontamination of soils and / or waste waters. The studies will be conducted for the design of bio reactors that allow to answer to both questions raised in the hypothesis. For the delignification process of lignocellulosic material they propose two strategies: 1- to treat the material with the fungi 2-to use the partially purified enzyme to oxidize the polyphenolic compounds. For the soil and/or waste water decontamination process, we have: 3- Is know that the enzyme protects to the soil of the accumulation of organic dangerous compounds catalyzing reactions that involve degradation, polymerization and incorporation to complexes of the humic acid. There will be use soils incorporated into different pollutants. 4- We will work with waste waters (alpechins or the green olive debittering effluents.

Resonancia Magnética Nuclear aplicada al estudio de nuevos sistemas farmacéuticos y biológicos, complejos poliméricos y conjuntos de espines modelo. Nuclear Magnetic Resonance applied to the study of new pharmaceutical and biological systems, polymeric complexes and model spin clusters.

El presente proyecto plantea utilizar integralmente la técnica de Resonancia Magnética Nuclear en sólidos como un medio experimental que permite entender fenómenos de la física fundamental, como así también realizar aplicaciones de interés en el campo de la química, los desarrollos farmacéuticos y la biología. Novedosas técnicas experimentales serán empleadas, en conjunción con otras más tradicionales, en la caracterización de nuevas estructuras poliméricas acomplejadas a metales, membranas biológicas y compuestos de interés farmacéutico en vías de desarrollo, los cuales presentan el fenómeno de polimorfismo . Esto se llevará a cabo complementando los resultados de RMN en sólidos con técnicas tanto espectroscópicas como analíticas (Infrarrojo, Difracción de Rayos X, Calorimetría, RMN en solución) y trabajo interdisciplinario. Paralelamente al desarrollo de estos temas, profundizaremos mediante investigación básica, en la compresión de la dinámica cuántica y el surgimiento de la irreversibilidad en sistemas de espines nucleares. Observaremos en particular la generación, evolución y control de las coherencias cuánticas múltiples en sistemas cuánticos abiertos, lo cual nos da información sobre tamaño de clusters de espines. Esto permitirá la correcta implementación de secuencias de pulsos sofisticadas, como así también desarrollar nuevos métodos de medición aplicados a la caracterización estructural y a la dinámica molecular de sólidos complejos. Debemos resaltar que este proyecto está conectado con aspectos tanto básicos como aplicados de la RMN en sólidos como técnica experimental, la cual se desarrolla en el país únicamente en FaMAF-UNC. Se nutre además de trabajo multidisciplinario promoviendo la colaboración con investigadores y becarios de distintas áreas (física, química, farmacia, biología) provenientes de distintos puntos del país. Finalmente podemos afirmar que este plan impulsa la aplicación de la física básica proyectada a diferentes áreas del conocimiento, en el ámbito de la provincia de Córdoba. The aim of the present proyect is to use Nuclear Magnetic Resonance (NMR) as a complete techique that allows the understanding of fundamental physics phenomena and, at the same time, it leads to important applications in the fields of chemistry, pharmaceutical developments and biology. New experiments will be used together with traditional ones, in the characterization of new metal-polymer complexes, biological membranes and pharmaceutical compounds, some of them presenting polymorfism. NMR experiments will be complemented with diverse spectroscopic and analytical techniques: Infrared, X ray Diffraction, Thermal Analysis, solution NMR, as well as multidisciplinary investigation. Additionally, the present proyect plans to study in depth several aspects of quantum dynamics phenomena and decoherence in nuclear spin systems. The present proyect is connected with basic and applied aspects of the solid state NMR technique, developed in our country, only at FaMAF-UNC. It is is composed by multidisciplinary work and it promotes the collaboration with researchers and students coming from different fields (physics, chemistry, pharmaceutical developments, biology) and different points of our country.

Electroquímica de sustancias de interés en los sistemas agroalimentario y de sanidad animal. Desarrollo de biosensores electroquímicos. Aplicaciones analíticas.Electrochemistry of substances of interest in agroalimentary and animal health systems. Development of electrochemical biosensors. Analytical applications.

Se estudiarán los mecanismos de reacción electroquímica de las micotoxinas (metabolitos tóxicos generados por hongos) citrinina (CIT), patulina (PAT) y moniliformina (MON), de los antioxidantes naturales alfa, beta, gama y delta tocoferoles, de los flavonoides fisetina (FIS), morina (MOR), luteolina (LUT), rutina (RUT), buteina (BUT), naringenina (NAR) y miricetina (MIR) y de las hormonas esteroides estradiol (EDIOL), estrona (EONA) y estriol (ETRIOL). Por otra parte, se implementarán técnicas electroanalíticas para la detección y cuantificación de estos sustratos en muestras de matrices naturales que los contengan. Se realizará el diseño y caracterización de biosensores enzimáticos a partir de peroxidasas y/o fosfatasa alcalina para la determinación de la micotoxina CIT y de los flavonoides y, por otro, de inmunosensores para las micotoxinas ocratoxina A (OTA) y PAT y hormonas. Para el anclaje de enzimas y/o anticuerpos, se estudiarán las propiedades de electrodos modificados por monocapas autoensambladas, nanotubos de carbono y partículas magnéticas. Se usarán las técnicas de voltamperometría cíclica, de onda cuadrada y de redisolución con acumulación adsortiva, espectroscopías de impedancia electroquímica, electrólisis a potencial controlado, uv-vis e IR, microbalanza de cristal de cuarzo y microscopías de alta resolución (SEM, TEM, AFM). La importancia de este proyecto apunta a la obtención de nuevos datos electroquímicos de los sustratos indicados y conocimientos relacionados con la aplicación de electrodos modificados en la preparación de biosensores y en el desarrollo de técnicas alternativas para la determinación de los analitos mencionados precedentemente. Electrochemical reaction mechanisms of mycotoxins (toxic metabolites generated by fungi) citrinin (CIT), Patulin (PAT) and moniliformin (MON), natural antioxidants alpha, beta, gamma and delta tocopherols, flavonoids fisetin (FIS), morin (MOR), luteolin (LUT), rutin (RUT), butein (BUT), naringenin (NAR), miricetin (MIR) and steroid hormones estradiol (EDIOL), estrone (EONA) and estriole (ETRIOL) will be explored. On the other hand, electroanalytical techniques for the detection and quantification of these substrates in samples of natural matrices will be implemented. The design and characterization of enzymatic biosensors from peroxidases and/or from alkaline phosphatase for the determination of CIT and flavonoids, and also of inmunosensors for ochratoxin A (OTA) and PAT and hormones will be performed. For the anchor of enzymes and/or antibody, properties of electrodes modified by self assembled monolayers, carbon nanotubes and magnetic particles will be explored. Cyclic, square wave and adsorptive stripping voltammetries, electrochemical impedance spectroscopy, controlled potential electrolysis, uv-vis and IR, quartz crystal microbalance and high-resolution microcopies (SEM, TEM, AFM) will be used. The importance of this project is aimed at obtaining new electrochemical data for the indicated substrates and knowledge on the application of modified electrodes in preparation of biosensors and in the development of alternative techniques for the determination of the above-mentioned analytes.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.