Thursday, February 18th, 2010 at 14h30
Faculdade de Ciências da Universidade do Porto
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169 - 007 Porto
Speakers: Veronica Orvalho (IT/FCUP-DCC)
Vitor Santos (Microsoft)
The registration is free, we have limited availability (max 80 students).
The registration is on a first come, first served basis.
Please register at the following site:
if you have any questions you can contact me directly:
1- Welcome & Overture - Veronica (5m)
2- Artificial Life and Games -Veronica (45m)
Games theory. Artificial Life and Games: Using Artificial Life in
computer games and Artificial Life Games overview.
3 - Bringing ALife to Computer Games- Vitor (60m)
Brief introduction to "Artificial Life". Sketch of an artificial
ecosystem: strategies, population, predator-prey relationships, the
construction of "intelligent beings", the "brain" -> use of
deterministic finite automata (DFAs) with internal state and use of
artificial neural networks (ANNs). Conservation and evolution of the
population. Relation phenotype/genotype -> DFAs and ANNs encoding.
Genetic algorithms to support the development of "human". Adaptability
and diversity. Construction of an artificial ecosystem: Architecture
4 - Discussion and close - Veronica & Vitor (15m)
Jean-Yves BÃ©ziau (UFC/CNPq/FUNCAP, U Fortaleza, Brazil).
February 12, 2010, Friday, 16h15m.
Abstract: In this talk I will present systems of pure modal logics, i.e. with modalities as only connectives. I will focus on alethic modalities: necessity and possibility. The basic framework is structural conesquence relation in the sense of Los and Susko. I will study the main options and present bivalent and multi-valued semantics for these systems as well as sequent-calculi.