LIA INFINIS Workshop is scheduled to take place at the Departamento de Computación, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. The 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 perspective on normal numbers |
| 10:30:00 | Carlos Lombardi | UNQ, UBA | Proof-terms for infinitary rewriting |
| 11:00:00 | Flavia Bonomo | UBA | Minimum weight clique cover in claw-free perfect graphs |
| 11:30:00 | Coffee | ||
| 12:00:00 | Thibaut Balabonski | INRIA | Weak Optimality, and the Meaning of Sharing |
| 12:30:00 | Esteban Pavese | UBA | Quantitative analysis of partial verification efforts |
| 13:00:00 | Edgardo Zoppi | UBA | Quantitative analysis of .NET programs to infer heap memory consumption |
| 13:30:00 | Delia Kesner, Sergio Yovine | Closing remarks |
LIA INFINIS Workshop is scheduled to take place at the Departamento de Computación, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. The 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 perspective on normal numbers |
| 10:30:00 | Carlos Lombardi | UNQ, UBA | Proof-terms for infinitary rewriting |
| 11:00:00 | Flavia Bonomo | UBA | Minimum weight clique cover in claw-free perfect graphs |
| 11:30:00 | Coffee | ||
| 12:00:00 | Thibaut Balabonski | INRIA | Weak Optimality, and the Meaning of Sharing |
| 12:30:00 | Esteban Pavese | UBA | Quantitative analysis of partial verification efforts |
| 13:00:00 | Edgardo Zoppi | UBA | Quantitative analysis of .NET programs to infer heap memory consumption |
| 13:30:00 | Delia Kesner, Sergio Yovine | Closing remarks |
LIA INFINIS Workshop is scheduled to take place at the Departamento de Computación, FCEyN, UBA on 14 November 2013. The room is aula 5 and it will start at 9:45. The 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 perspective on normal numbers |
| 10:30:00 | Carlos Lombardi | UNQ, UBA | Proof-terms for infinitary rewriting |
| 11:00:00 | Flavia Bonomo | UBA | Minimum weight clique cover in claw-free perfect graphs |
| 11:30:00 | Coffee | ||
| 12:00:00 | Thibaut Balabonski | INRIA | Weak Optimality, and the Meaning of Sharing |
| 12:30:00 | Esteban Pavese | UBA | Quantitative analysis of partial verification efforts |
| 13:00:00 | Edgardo Zoppi | UBA | Quantitative analysis of .NET programs to infer heap memory consumption |
| 13:30:00 | Delia Kesner, Sergio Yovine | Closing remarks |