Lista de noticias
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.
Durante el mes de julio el programa Unibici de la Universidad de la República organizará diferentes actividades relativas al fomento del uso de la bicicleta y la movilidad activa. Muestra de posters, Bicicleteada contra la baja de la edad de imputabilidad penal y jornadas de bicimecánica, son algunas de las activdades que plantea el colectivo.
Desde su aprobación por parte del Consejo Directivo de Gestión Administrativa y Presupuestal (CDGAP) el 29 de abril de 2013, el Programa Unibici ha logrado promover la mejora de la infraestructura y servicios en distintas sedes, ha hecho más visible la realidad de los ciclistas universitarios y motivado cambios de actitud entre ellos a favor de la salud, la seguridad y el ambiente, y -en cooperación con la Unidad Ejecutiva del Plan de Movilidad Urbana de la Intendencia de Montevideo- inauguró un primer tramo de un circuito ciclista que une los principales conglomerados de facultades de la ciudad capital que se continuará en los próximos dos años a partir de la votación del Presupuesto Participativo.
Muestra de Posters Académicos - 21 al 31 de julio
Desde el 21 al 31 de julio se realizará una Muestra de Posters Académicos en el hall de la Escuela universitaria Centro de Diseño sita en la calle Jackson entre Guaná y Chaná con entrada libre. Dicha muestra incluye los estudios y proyectos realizados o que se están elaborando desde diferentes servicios de la Universidad de la República relativos al uso de la bicicleta para transformar los espacios públicos hacia una
convivencia saludable entre diversos medios de transporte. Se exponen trabajos de investigación, otros desarrolados como parte de cursos de grado, proyectos de extensión y de gestión universitarias.
Bicicleteada contra la baja de la edad de imputabilidad penal - 27 de julio
El domingo 27 de julio se realizará una bicicleteada contra la baja de la edad de imputabilidad penal. El punto de encuentro será en el Obelisco montevideano a las 11 horas. De ahí se recorrerá hasta la Pista de Patinaje en la Rambla y Jackson en donde estarán bikepolo y clowns en bici; luego se partirá a las 12 horas rumbo al callejón de la Universidad, ubicado en Emilio Frugoni y 18 de Julio.
La actividad es organizada por Unibici y la Comisión Nacional No a la Baja; y cuenta con el apoyo de varios colectivos que también promueven el uso de la bicicleta: Masa Crítica, Liberá tu bici, Bikepolo y Clowns en bici. La iniciativa se apoya en una resolución del Consejo Directivo Central (CDC) de la Udelar.
Jornada de reflexión académica. “La movilidad urbana en cuestión -Miradas en clave interdisciplinaria: Los casos de Barcelona y Montevideo” - 24 de julio
Se desarrollará el próximo jueves 24 de julio a las 19:00 horas en la Sala de Conferencias de la Facultad de Ciencias Sociales, Constituyente 1502.
La fundamentación de la actividad expresa que “La movilidad urbana se ha constituido en una actividad imprescindible para la consecución de la vida urbana en nuestras metrópolis, y a su vez, ha experimentado un vertiginoso incremento durante las últimas décadas. Su omnipresencia, implica cierto carácter obligatorio, dado que la movilidad constituye una intermediación necesaria entre diversas actividades urbanas, materializadas en losdiferentes usos del suelo. La movilidad y los transportes han adquirido entonces una mayor relevancia, ya que se requieren conectar cada vez más lugares, que se encuentran paulatinamente más dispersos en nuestras metrópolis, y fundamentalmente, hacerlo de forma eficaz y eficiente.
Jornadas de Bicimecánica – 26 de julio
Las jornadas de bicimecánica surgen en el marco del ELEA (Encuentro Latinoamericano de Estudiantes de Arquitectura) MVD 2013 donde se logró que el Ministerio del Interior donara a la Facultad de Arquitectura 70 bicicletas incautadas y almacenadas en galpones de seccionales policiales, con el fin de restaurarlas mínimamente y poder utilizarlas en los distintos talleres relacionados con dichos vehículos y los intersticios de su entorno. Luego del ELEA MVD 2013 surgió “Pedales al Viento” que es una comisión del Centro de Estudiantes de Arquitectura. Actualmente desarrollan talleres de restauración y reactivación de una flota de 50 biicletas que estarán a partir del próximo semestre a disposición de préstamo para estudiantes y funcionarios de facultad.
El próximo sábado 26 de julio, de 10:00 a 17:00 horas, se desarrollará una nueva jornada.
La actividad cuenta con el apoyo institucional de la Facultad de Arquitectura y del programa Unibici de la Udelar.
Programa Unibici
www.unibici.edu.uy
facebook: unibiciur
Youtube: http://www.youtube.com/channel/UCm8z99me8GagQkRNStx7xaA
email: contacto@unibici.edu.uy, unibici.ur@gmail.com
Más información adjunta
El Instituto de Ingeniería Química de la Facultad de Ingeniería invita a la charla abierta del Prof. Aldo Saavedra, director de la carrera de ing. Civil Química de la Universidad de Santiago de Chile (UNACH). La charla se realizará el jueves 24 a las 14.30 horas en el Salón 001 y expondrá sobre los siguientes temas:
- Desalinización de agua de mar a gran escala mediante membranas: Respuesta a las necesidades de agua para el norte de Chile.
- Procesos de separación con membranas: Fundamentos y aplicaciones de interés industrial.
- Contactores de membrana: Separación de COV´s desde soluciones acuosas mediante destilación al vacío con membranas.
Información complementaria:
La visita del Prof. Aldo Saavedra Fenoglio al Dpto. de Operaciones Unitarias del IIQ se realiza en el marco del Programa de Movilidad Académica Escala Docente de la Asociación de Universidades Grupo Montevideo
El profesor Saavedra pertenece al Departamento de Ingeniería Química de la Facultad de Ingeniería de la Universidad de Santiago de Chile y su área de trabajo docente, de investigación y profesional está enfocada al estudio y desarrollo de tecnologías de separación con membranas. En Uruguay ha asesorado a la Comisión de Recursos Hídricos del Parlamento de la República.
La USACH dispone de un Laboratorio de Procesos de Separación con Membranas (LabProSem), dotado de equipos a escala laboratorio y piloto, donde se realizan actividades experimentales, desarrollo teórico y apoyo a proyectos industriales, en desalinización de aguas saladas y salobres (OI, NF), tratamiento, reciclado y recuperación de residuos líquidos industriales y aguas de procesos mediante membranas, fraccionamiento de soluciones (UF) y otros procesos de mayor complejidad (contactores de membrana, destilación con membranas, acoplamiento de membranas con extracción supercrítica, etc.).