Micro-empresa y capacidad empresarial en Córdoba: situación actual y perspectivas. Microenterprise and entrepreneurship in Córdoba: present situation and perpectives.

Las transformaciones del mercado laboral, tanto de los países desarrollados como en vías de desarrollo, han sido importantes en las últimas décadas. Una de sus manifestaciones es la creciente expansión del trabajo organizado en torno a los micro-emprendimientos. Las investigaciones existentes a nivel internacional indican que la capacidad empresarial que debe poseer el emprendedor es un factor que resulta crucial para el desarrollo y sostenimiento de estas formas de producción. Por tal razón, el estudio de este aspecto y de su relación con los micro-emprendimientos es un tema que está concitando creciente atención y sobre el que existe un cuerpo teórico de literatura específica que ha comenzado a transferirse a los países en vías de desarrollo, donde la discusión es aún incipiente. Los estudios han observado que los micro-emprendimientos están normalmente muy ligados a la familia, esto hace que su desenvolvimiento y evolución resulten afectados por las características particulares de cada hogar. Se trata de un complejo conjunto de situaciones sociales que se generan a partir de estas nuevas formas de organización del trabajo, donde resulta dificultoso distinguir entre el micro-emprendimiento y la figura del emprendedor, lo cual ha llevado a que muchas veces las políticas públicas, sensibles a la necesidad de apoyar a los grupos poblacionales vulnerables, adquirieran un sesgo pro-pobre, en detrimento de su objetivo principal de incentivar el desarrollo sustentable de pequeñas unidades productivas. El equipo de investigación autor del presente proyecto concluyó recientemente, en el marco de un proyecto PICTOR II, un primer estudio sobre la temática de los micro-emprendimientos en Córdoba, analizando los factores que ayudan a comprender mejor las razones por las que algunos emprendedores alcanzan un mayor éxito que otros, a partir del cual surgieron nuevos interrogantes sobre el rol de la política pública en esta materia, a los que se intentará dar respuesta en esta oportunidad. Más concretamente, en esta investigación se abordarán, ahora con profundidad, diversas cuestiones importantes que analizan el vínculo entre la figura del emprendedor con el micro-emprendimiento que posee y con el efecto general de las políticas públicas en el sector. Uno de los temas es determinar hasta qué punto el comentado sesgo "pro-pobre" estuvo presente en el caso de las políticas públicas aplicadas en Córdoba y qué consecuencias tuvo sobre los micro-emprendimientos y su sustentabilidad. Este aspecto está directamente ligado a la necesidad de discernir acerca de si el fundamento teórico de las políticas públicas diferencia adecuadamente entre el micro-emprendedor y la micro-empresa. Otra importante cuestión a abordar es la de indagar sobre la relación entre capacidad empresarial, capital humano y nivel socio-económico del emprendedor. Resultará de sumo interés identificar los factores que estimulan e inhiben las manifestaciones de capacidad empresarial individual, y establecer su relación con las posibilidades de sustentabilidad del micro-emprendimiento, lo cual debería ser tomado en cuenta por las políticas públicas. El caso de los individuos que se convirtieron en micro-emprendedores como una estrategia para superar la situación de desempleo en que se encontraban, es un tema que será examinado en especial y a la luz de la performance observada del emprendimiento. Serán fuentes primarias de información la Encuesta llevada a cabo en el proyecto PICTOR II arriba mencionado y una re-encuesta a los micro-emprendedores que fueron oportunamente entrevistados. A ello se agregará un estudio de casos de emprendimientos muy exitosos. Los datos de fuentes secundarias surgirán del INDEC, de organismos oficiales y de instituciones no gubernamentales. Los principales métodos y herramientas de análisis a utilizar son los que proporcionan la Estadística, la Econometría y la Micro-economía.

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.