{"id":552,"date":"2013-10-30T14:44:42","date_gmt":"2013-10-30T17:44:42","guid":{"rendered":"http:\/\/infinis.dc.uba.ar\/?p=552"},"modified":"2013-10-30T14:44:42","modified_gmt":"2013-10-30T17:44:42","slug":"lia-infinis-workshop-uba-14nov2013","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=552","title":{"rendered":"LIA INFINIS Workshop — UBA — 14\/Nov\/2013"},"content":{"rendered":"

LIA INFINIS Workshop is scheduled to take place at the Departamento de Computaci\u00f3n, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. \u00a0The program is included below. You are welcome to attend<\/p>\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\nSpeaker<\/td>\nAffiliation<\/td>\nTitle<\/td>\n<\/tr>\n
9:45:00<\/td>\nDelia Kesner, Sergio Yovine<\/td>\n<\/td>\nWelcome<\/td>\n<\/tr>\n
10:00:00<\/td>\nPablo Heiber<\/td>\nUBA<\/td>\nA computational perspective on normal numbers<\/td>\n<\/tr>\n
10:30:00<\/td>\nCarlos Lombardi<\/td>\nUNQ, UBA<\/td>\nProof-terms for infinitary rewriting<\/td>\n<\/tr>\n
11:00:00<\/td>\nFlavia Bonomo<\/td>\nUBA<\/td>\nMinimum weight clique cover in claw-free perfect graphs<\/td>\n<\/tr>\n
11:30:00<\/td>\nCoffee<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
12:00:00<\/td>\nThibaut Balabonski<\/td>\nINRIA<\/td>\nWeak Optimality, and the Meaning of Sharing<\/td>\n<\/tr>\n
12:30:00<\/td>\nEsteban Pavese<\/td>\nUBA<\/td>\nQuantitative analysis of partial verification efforts<\/td>\n<\/tr>\n
13:00:00<\/td>\nEdgardo Zoppi<\/td>\nUBA<\/td>\nQuantitative analysis of .NET programs to infer heap memory consumption<\/td>\n<\/tr>\n
13:30:00<\/td>\nDelia Kesner, Sergio Yovine<\/td>\n<\/td>\nClosing remarks<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

LIA INFINIS Workshop is scheduled to take place at the Departamento de Computaci\u00f3n, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45.\u00a0The program is included below. You are welcome to attend!<\/p>\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\nSpeaker<\/td>\nAffiliation<\/td>\nTitle<\/td>\n<\/tr>\n
9:45:00<\/td>\nDelia Kesner, Sergio Yovine<\/td>\n<\/td>\nWelcome<\/td>\n<\/tr>\n
10:00:00<\/td>\nPablo Heiber<\/td>\nUBA<\/td>\nA computational perspective on normal numbers<\/td>\n<\/tr>\n
10:30:00<\/td>\nCarlos Lombardi<\/td>\nUNQ, UBA<\/td>\nProof-terms for infinitary rewriting<\/td>\n<\/tr>\n
11:00:00<\/td>\nFlavia Bonomo<\/td>\nUBA<\/td>\nMinimum weight clique cover in claw-free perfect graphs<\/td>\n<\/tr>\n
11:30:00<\/td>\nCoffee<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
12:00:00<\/td>\nThibaut Balabonski<\/td>\nINRIA<\/td>\nWeak Optimality, and the Meaning of Sharing<\/td>\n<\/tr>\n
12:30:00<\/td>\nEsteban Pavese<\/td>\nUBA<\/td>\nQuantitative analysis of partial verification efforts<\/td>\n<\/tr>\n
13:00:00<\/td>\nEdgardo Zoppi<\/td>\nUBA<\/td>\nQuantitative analysis of .NET programs to infer heap memory consumption<\/td>\n<\/tr>\n
13:30:00<\/td>\nDelia Kesner, Sergio Yovine<\/td>\n<\/td>\nClosing remarks<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

LIA INFINIS Workshop is scheduled to take place at the Departamento de Computaci\u00f3n, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45.\u00a0The program is included below. You are welcome to attend!<\/p>\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\nSpeaker<\/td>\nAffiliation<\/td>\nTitle<\/td>\n<\/tr>\n
9:45:00<\/td>\nDelia Kesner, Sergio Yovine<\/td>\n<\/td>\nWelcome<\/td>\n<\/tr>\n
10:00:00<\/td>\nPablo Heiber<\/td>\nUBA<\/td>\nA computational perspective on normal numbers<\/td>\n<\/tr>\n
10:30:00<\/td>\nCarlos Lombardi<\/td>\nUNQ, UBA<\/td>\nProof-terms for infinitary rewriting<\/td>\n<\/tr>\n
11:00:00<\/td>\nFlavia Bonomo<\/td>\nUBA<\/td>\nMinimum weight clique cover in claw-free perfect graphs<\/td>\n<\/tr>\n
11:30:00<\/td>\nCoffee<\/td>\n<\/td>\n<\/td>\n<\/tr>\n
12:00:00<\/td>\nThibaut Balabonski<\/td>\nINRIA<\/td>\nWeak Optimality, and the Meaning of Sharing<\/td>\n<\/tr>\n
12:30:00<\/td>\nEsteban Pavese<\/td>\nUBA<\/td>\nQuantitative analysis of partial verification efforts<\/td>\n<\/tr>\n
13:00:00<\/td>\nEdgardo Zoppi<\/td>\nUBA<\/td>\nQuantitative analysis of .NET programs to infer heap memory consumption<\/td>\n<\/tr>\n
13:30:00<\/td>\nDelia Kesner, Sergio Yovine<\/td>\n<\/td>\nClosing remarks<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

LIA INFINIS Workshop is scheduled to take place at the Departamento de Computaci\u00f3n, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. \u00a0The program is included below. You are welcome to attend Speaker Affiliation Title 9:45:00 Delia Kesner, Sergio Yovine Welcome 10:00:00 Pablo Heiber UBA A computational … Continue reading LIA INFINIS Workshop — UBA — 14\/Nov\/2013<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5,2],"tags":[],"class_list":["post-552","post","type-post","status-publish","format-standard","hentry","category-events","category-news"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/552","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=552"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/552\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=552"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=552"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=552"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}