Arrival at Recife | Visit's day | Departure from Recife |
---|---|---|
06 nov 2008 16:00h | 07 Nov 2008 | 08 Nov 2008 17:15h |
Date | Time | Theme | Leader | Location |
---|---|---|---|---|
06 Nov 2008 | 16:00 | -- | PauloBorba | Airport to Hotel |
06 Nov 2008 | 19:00 | Dinner | PauloBorba | Some Restaurant |
07 Nov 2008 | 08:00-08:40 | -- | PauloBorba | Hotel to CIn |
07 Nov 2008 | 09:00-10:00 | ??? | RodrigoBonifacio | CIn Anfitheater |
07 Nov 2008 | 10:00-11:00 | ??? | AlbertoNeto | CIn Anfitheater |
07 Nov 2008 | 11:00-11:10 | BREAK | -- | -- |
07 Nov 2008 | 11:10-11:25 | ??? | MarcioRibeiro | CIn Anfitheater |
07 Nov 2008 | 11:25-11:40 | ??? | LeopoldoTeixeira | CIn Anfitheater |
07 Nov 2008 | 11:40-11:55 | ??? | FernandaDamorim | CIn Anfitheater |
07 Nov 2008 | 11:55-12:10 | ??? | CarlosEduardoPontual | CIn Anfitheater |
07 Nov 2008 | 12:10-14:30 | Lunch | Talude Restaurant | |
07 Nov 2008 | 14:30-15:30 | Automated Extraction of Error Handling Code to Aspects | FernandoCastor | CIn Anfitheater |
07 Nov 2008 | 15:30-16:00 | BREAK | -- | -- |
07 Nov 2008 | 16:00-17:00 | ??? | Mehmet Aksit | CIn Anfitheater |
07 Nov 2008 | 17:00 | -- | PauloBorba | CIn to Hotel |
08 Nov 2008 | 16:00 | -- | PauloBorba | Hotel to Airport |
Time | Theme | Leader | Location |
---|---|---|---|
08:00-08:40 | PauloBorba | Hotel to CIn | |
09:00-10:00 | A Refinement Theory for Alloy | RohitGheyi | Room D222 |
10:00-11:00 | Formal model-driven program refactoring | TiagoMassoni | Room D222 |
11:15-12:00 | Representing Variability Management as Crosscutting Mechanisms | RodrigoBonifacio | Room D222 |
12:00-13:20 | Lunch | Talude Restaurant | |
13:40-14:20 | Visit to the Brennand Institute | PauloBorba | |
14:30-15:30 | Modular Verification of Feature-Rich Software | Shriram Krishnamurthi | CIn Auditorium |
15:45-16:30 | LSD: A Language for Specifying Design Rules in Aspect-Oriented Systems | AlbertoNeto | CIn Auditorium |
17:00 | TiagoMassoni | CIn to Airport |