Lista de noticias
El Centro de Innovación en Ingeniería (CII), con el apoyo financiero de la Agencia Nacional de Investigación e Innovación (ANII) y la gestión operativa de la Fundación Julio Ricaldoni, llaman a una segunda Convocatoria destinada al financiamiento de proyectos finales académicos de innovación tecnológica vinculados a la solución de un problema de algún sector productivo. Podrán presentarse proyectos hasta el miércoles 3 de setiembre de 2014.
El CII es una iniciativa de las Facultades de Ingeniería de la Universidad de la República, la Universidad Católica del Uruguay, la Universidad ORT Uruguay y la Universidad de Montevideo. El objetivo del CII es fortalecer la formación de recursos humanos calificados en las áreas de ingeniería, haciendo especial énfasis en la relación con el sector productivo y en el desarrollo de competencias de creatividad e innovación.
El financiamiento se otorgará con el objetivo de apoyar el desarrollo de los proyectos que cuenten con la validación previa de una industria, sector u empresa que manifieste la existencia de un beneficio derivado de la ejecución del proyecto propuesto.
Esta instancia es abierta a empresas capaces de presentar proyectos tecnológicos a ser desarrollados en el ámbito académico, y a estudiantes y docentes vinculados a las facultades de ingeniería de las universidades integrantes del proyecto.
Para profundizar sobre esta oportunidad, deberán contactarse con:
● Julieta López (cii@fing.edu.uy), UDELAR
● Florencia Clemente ( florencia .clemente@ucu.edu.uy), UCU
● Enrique Topolansky (cie@ort.edu.uy), ORT
● Analía Conde (cii@um.edu.uy),UM
● Alejandra Piermarini (alejandra.piermarini@cii.uy), CII
Bases y formulario adjuntos.
Del 4 y el 8 de Agosto se desarrollará en la Facultad de Ingeniería de la Univerisdad de la República la "7ª Semana del Instituto de Agrimensura". Este año, el leitmotiv del evento será “Instituto de Agrimensura, nuestro punto de encuentro”.
Desde el año 2007 se desarrolla anualmente la actividad de difusión denominada “Semana del Instituto de Agrimensura”. Allí se exponen a través de posters, charlas, disertaciones o paneles, los diferentes actividades del Instituto. Trabajos, proyectos, resultados de investigación, convenios existentes entre el IA y empresas o emprendimientos públicos o privados, etc., que resulten de interés general para la profesión.
PROGRAMA
15:00hs: Conferencia a cargo del Ing. Agrim. Eduardo Infantozzi
“La Ley de Ordenamiento Territorial y su influencia en el fraccionamiento de la tierra”
17:00hs Coffee Break
18:00hs: Palabras del Sr. Director del Instituto de Agrimensura, Ing. Agrim. Ricardo Martínez
18:10hs: Presentaciones orales
• “Dirección Nacional de Catastro: Evolución de la Cartografía Catastral” Expositor: Ing. Agrim. Danilo Blanco • “Nodo Periférico del MTOP” Expositor: Ing. Agrim. Hebenor Bermúdez • “Colector Arteaga: dimensionando un Montevideo desconocido” Expositor: Ing. Agrim. Rafael Tornini • “El rol del Ingeniero Agrimensor en la Administración de Propiedades Mineras" Expositor: Ing. Agrim. Daniel Segovia
19:30hs Coffee Break
20:00hs: Presentaciones orales • “Determinaciones altimétricas en el Río de la Plata” Expositor: Ing. Agrim. Jorge Faure • “Análisis sobre la Declaración de Navegabilidad (estudio de un caso públicamente discutido)” Expositor: Ing. Agrim. Eduardo Infantozzi • “Utilización de estaciones virtuales de referencia en Uruguay” Expositor: Ing. Agrim. Ricardo Yelicich • “El Ordenamiento Territorial como oportunidad para repensar el paradigma de la agrimensura en el Uruguay” Expositor: Ing. Agrim. Jorge Franco
21:20hs: Brindis
Más información en: www.fing.edu.uy/paginas/semana-del-ia-2014
Del 19 al 21 de Noviembre de 2014 se desarrollarán las XXXVI Jornadas Sudamericanas de Ingeniería Estructural en el Edificio Polifuncional José Luis Massera, anexo a la Facultad de Ingeniería de la Universidad de la República. Este evento reúne a ingenieros, arquitectos e investigadores que se desempeñan en el proyecto y construcción de obras civiles, siendo en esta ocasión el tema central las “Estructuras para el Desarrollo, la Integración Regional, y el Bienestar Social”.
La presente edición será continuación de una tradición de más de 60 años iniciada en 1950, organizadas por la asociación Sudamericana de Ingeniería Estructural y por un comité organizador local.
Estas jornadas se han caracterizado por promover una creciente integración entre los países de América del Sur y ser un foro para el intercambio de conocimientos científicos y tecnológicos en las áreas de Ingeniería Estructural, Tecnología de los Materiales y Patología de las Construcciones.
La antigüedad y la permanencia en el tiempo de este evento muestran el entusiasmo y creciente interés que han motivado en casi todos los países del continente.
Contará con la participación efectiva de ingenieros, profesionales, investigadores y representantes de universidades y empresas de toda Sudamérica, comprometidos directa o indirectamente con actividades asociadas con los temas de la conferencia.
El evento será una gran oportunidad para intercambiar ideas y conocimientos y para la actualización sobre las más recientes realizaciones, tendencias e innovaciones registradas en la Ingeniería Estructural.
Mayor información en: http://www.fing.edu.uy/eventos/jsie2014
Fecha: Viernes 25 de julio de 2014
Hora: 10:30
Lugar: Sala de Posgrados, Instituto de Computación, Facultad de Ingeniería
Título de la tesis: "Reasoning about Functional Programs by Combining Interactive and Automatic Proofs"
Director Académico: Dr. Alberto Pardo (Instituto de Computación, Facultad de Ingeniería, UdelaR / PEDECIBA Informática)
Directores de Tesis: Dra. Ana Bove y Dr. Peter Dybjer (Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden)
Tribunal:
- Dr. Daniel Fridlender (Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Argentina) - Revisor -
- Dr. Alexandre Miquel (Instituto de Matemática y Estadística, Facultad de Ingeniería, UdelaR) - Revisor -
- Dr. Mauro Jaskelioff (Facultad de Ciencias Exactas, Ingeniería y Agrimensura, Universidad Nacional de Rosario, Argentina)
- Dra. Nora Szasz (Facultad de Ingeniería, Universidad ORT Uruguay / PEDECIBA Informática)
- Dr. Gustavo Betarte (Instituto de Computación, Facultad de Ingeniería, UdelaR / PEDECIBA Informática)
Abstract:
We propose a new approach to computer-assisted verification of lazy functional programs where functions can be defined by general recursion. We work in first-order theories of functional programs which are obtained by translating Dybjer’s programming logic (Dybjer, P. [1985]. Program Verification in a Logical Theory of Constructions. In: Functional Programming Languages and Computer Architecture. Ed. by Jouannaud, J.-P. Vol. 201. Lecture Notes in Computer Science. Springer, pp. 334–349) into a first-order theory, and by extending this programming logic with new (co-)inductive predicates. Rather than building a special purpose system, we formalise our theories in Agda, a proof assistant for dependent type theory which can be used as a generic theorem prover. Agda provides support for interactive reasoning by representing first-order theories using the propositions-as-types principle. Further support is provided by off-the-shelf automatic theorem provers for first-order-logic called by a Haskell program that translates our Agda representations of first-order formulae into the TPTP language understood by the provers. We show some examples where we combine interactive and automatic reasoning, covering both proofs by induction and co-induction. The examples include functions defined by structural recursion, simple general recursion, nested recursion, higher-order recursion, guarded and unguarded co-recursion.