Thursday 24th of September

09:00 - 10:30 Invited talk Sylvain Collange

10:30 - 11:00 BREAK

11:00 - 12:30 Session 1

Automatic Inference of Loop Complexity through Polynomial Interpolation
Francisco Santos, Junio Cezar, Mariza Bigonha, Frederico Campos and Fernando Pereira    

Deadlocks as Runtime Exceptions
Rafael Lobo and Fernando Castor

The Dinamica Virtual Machine for Geosciences
Bruno Ferreira and Fernando Pereira        
 
12:30 - 14:30 LUNCH

14:30 - 16:00 Session 2

An intrinsic denotational semantics for a lazy functional language
Leonardo Rodríguez

Type Inference for GADTs and Anti-unification
Adelaine Gelain, Cristiano Damiani Vasconcellos, Carlos Camarão and Rodrigo Ribeiro 

Go Model and Object Oriented Programming
Haiyang Liu and Zongyan Qiu


Friday 25th of September

11:00 - 12:30 Session 3

Composable Memory Transactions for Java using a Monadic Intermediate Language
Rafael De Leão Bandeira, Andre Rauber Du Bois and Mauricio Pilla

Preserving Lexical Scoping When Dynamically Embedding Languages
Félix Ribeiro, Hisham Muhammad, André Maidl and Roberto Ierusalimschy

Model-Driven Engineering based on Attribute Grammars
Daniel Calegari and Marcos Viera    
 
12:30 - 14:30 LUNCH

14:30 - 16:00 Invited talk Doaitse Swierstra

16:00 - 16:30 BREAK

16:30 - 18:00 Session 4

Color Flipping
Felipe L. Silva, Marcelo F. Luna and Wesley Attrot    

Etino: Colocação Automática de Computação em Hardware Heterogêneo
Douglas Couto, Kezia Andrade, Gleison Mendonça and Fernando Pereira

Restritificação
Victor Campos, Pericles Alves and Fernando Pereira