Agenda for the Work-in-Progress Sessions
Day 6
09.00: Opening
09.30: Interoperability in Pedagogical e-Learning Services, Ricardo Queirós
10.00: Computer Assisted Diagnosis for Gastroenterology, Farhan Riaz
10.30: coffee-break
11.00: Electronic Health Record for Mobile Citizens, Tiago Pedrosa (MAPi)
11.30: Strategies for Discovering Network Motifs in Complex Networks, Pedro Ribeiro
12.00: Robot Policy Learning by Demonstration, Manuela Veloso, (CMU)
13:00: Lunch
14:00: An artificial immune system framework for temporal anomaly detection, Mário Antunes
14.30: Time Series Data Mining, Nuno Castro (MAPi)
15.30: Learning from Ubiquitous Data Streams, Pedro Rodrigues
16.00: Data Warehouses in the Path from Databases to Archive, Arif Ur Rahman (MAPi)
16.30: coffee-break
17.00: Focused Semi-Automatic Content Retrieval for Persistent Information Needs, Nuno Filipe Escudeiro
17.30: An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence, José Luís Silva
18.00: Adjourn
Day 7
09.30: Certifying Compiler for C with Fat pointers, Miguel Santos Silva (MAPi)
10:00 Formalization and mechanization of Kleene algebras inCoq, David Pereira (MAPi)
10.30: coffee-break
11.00: Visualizing and Slicing Annotated Programs, Daniela Cruz (MAPi)
11.30: Adaptive Object-Modelling: Patterns, Tools and Applications, Hugo Sereno Ferreira (MAPi)
12.00: Process Architecture for Multimodel Environments, André Ferreira (MAPi)
12:30: Inception of Software Validation and Verification Practices within CMMI Level 2, Paula Monteiro (MAPi)
13.00: Lunch
14.30: Thread Safety by Typing for Object Oriented Concurrent Programming, Luís Caires, (FCT/UNL)
15.30: An Ontology-based Approach to Model-Driven Software Product Lines, Nuno Ferreira (MAPi)
16:00: Kolmogorov Complexity and Entropy Measures, Andreia Teixeira (MAPi)
17.00: Presentation of MAP-i 2009/10
17.30: Porto de honra
Day 8
09.30: Robust Distributed Data Aggregation, Paulo Jesus (MAPi)
10.00: Self-managing service platform, Nuno Carvalho (MAPi)
10.30: coffee-break
11.00: Gossip-based Service Coordination for Scalability and Resilience, Filipe José Campos (MAPi)
11.30: Clouder: A Flexible Large Scale Decentralized Object Store, Ricardo Vilaça
12.00: Computational Neuro-Engineering, José Carlos Príncipe (UFL/US)
13.00: Lunch
14:30: Runtime Patching, Eduardo Marques
15:00: Geocast routing for Vehicular Ad-Hoc Networks, Rui Meireles (MAPi)
16:00: A Cooperation Infrastructure for Heterogeneous Vehicles and Sensors, José Carlos Pinto (MAPi)
16.30: coffee-break
17:00: Command and control base console for heterogeneous vehicles, Rui Gonçalves (MAPi)
17:30: Construction of a Local Domain Ontology from News Stories, Brett Drury (MAPi)
18.00: Adjourn