{"id":877,"date":"2010-11-27T07:59:09","date_gmt":"2010-11-27T07:59:09","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=877"},"modified":"2013-03-08T05:50:07","modified_gmt":"2013-03-08T05:50:07","slug":"jornadas-de-logica-computacion-e-inteligencia-artificial","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/jornadas-de-logica-computacion-e-inteligencia-artificial\/","title":{"rendered":"Jornadas de L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial"},"content":{"rendered":"<p>La pr\u00f3xima semana se celebrar\u00e1n en Sevilla las <a href=\"http:\/\/master.cs.us.es\/wordpress\/index.php\/iii-jornadas-de-logica-computacion-e-inteligencia-artificial\/\">III Jornadas de L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial<\/a>.<\/p>\n<p>\nEl programa de las Jornadas es el siguiente:<\/p>\n<ul>\n<li> Martes 30 de noviembre (Sal\u00f3n de Grados de la ETSII):\n<ul>\n<li>17:00-17:30 <a href=\"http:\/\/www.cs.us.es\/~joaquin\">Joaqu\u00edn Borrego D\u00edaz<\/a> (coordinador del M\u00e1ster): <em>Presentaci\u00f3n de las Jornadas<\/em><\/li>\n<li>18:00-19:00 <a href=\"http:\/\/home.mathematik.uni-freiburg.de\/flum\/Flum.html\">Jorg Flum<\/a>: <em>L\u00f3gicas para PTime y sistemas de demostraci\u00f3n<\/em><\/li>\n<li>19:00-20:00 <a href=\"http:\/\/www.cs.us.es\/~marper\/\">Mario de J. P\u00e9rez Jim\u00e9nez<\/a>: <em>De la conjetura de Friedman a la modelizaci\u00f3n del mejill\u00f3n cebra<\/em><\/li>\n<\/ul>\n<li>Mi\u00e9rcoles 1 de diciembre (Sal\u00f3n de Grados de la ETSII):\n<ul>\n<li>17:00-18:00 <a href=\"http:\/\/www.ub.edu\/modeltheory\/casanovas\/e.html\">Enrique Casanovas Ruiz-Fornells<\/a>: <em>Pregeometr\u00edas e Independencia<\/em><\/li>\n<li>18:30-19:15 <a href=\"http:\/\/www.cs.us.es\/~acordon\">Andr\u00e9s Cord\u00f3n Franco<\/a>: <em>L\u00f3gicas modales. Aplicaciones al estudio de protocolos de comunicaci\u00f3n incondicionalmente seguros<\/em><\/li>\n<li>19:15-20:00 <a href=\"http:\/\/www.cs.us.es\/~jalonso\/\">Jos\u00e9 Antonio Alonso Jim\u00e9nez<\/a>: <em>L\u00f3gica Computacional en Sevilla (30 a\u00f1os en una hora)<\/em><\/li>\n<\/ul>\n<li>Jueves 2 de diciembre (Sal\u00f3n de Grados de la Facultad de Biolog\u00eda):\n<ul>\n<li>17:00-17:45 <a href=\"http:\/\/personal.us.es\/aparedes\/\">Antonio Paredes Moreno<\/a>: <em>En torno a la interoperabilidad sem\u00e1ntica en la empresa<\/em><\/li>\n<li>18.15-19:00 <a href=\"http:\/\/www.cs.us.es\/~ignaciophm\/\">Ignacio P\u00e9rez-Hurtado de Mendoza<\/a>: <em>Trayectoria de una Tesis Doctoral: Herramientas de simulaci\u00f3n para Membrane Computing<\/em><\/li>\n<li>19:00-19:45 <a href=\"http:\/\/www.cs.us.es\/~felix\/\">Francisco F. Lara Mart\u00edn<\/a>: <em>Modelos de la Aritm\u00e9tica y complejidad computacional impl\u00edcita<\/em><\/li>\n<\/ul>\n<\/ul>\n<p>Se puede obtener m\u00e1s informaci\u00f3n en la p\u00e1gina de las <a href=\"http:\/\/master.cs.us.es\/wordpress\/index.php\/iii-jornadas-de-logica-computacion-e-inteligencia-artificial\/\">III Jornadas de L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>La pr\u00f3xima semana se celebrar\u00e1n en Sevilla las III Jornadas de L\u00f3gica, Computaci\u00f3n e Inteligencia Artificial. El programa de las Jornadas es el siguiente: Martes 30 de noviembre (Sal\u00f3n de Grados de la ETSII): 17:00-17:30 Joaqu\u00edn Borrego D\u00edaz (coordinador del M\u00e1ster): Presentaci\u00f3n de las Jornadas 18:00-19:00 Jorg Flum: L\u00f3gicas para PTime y sistemas de demostraci\u00f3n&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[164],"tags":[149],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/877"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=877"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/877\/revisions"}],"predecessor-version":[{"id":2976,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/877\/revisions\/2976"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=877"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=877"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=877"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}