1. 1 University of Namur, Belgium Computer Science Faculty Namur in Gasics Pierre-Yves Schobbens University of Namur

2. 2 University of Namur, Belgium Computer Science Faculty The Computer Science Faculty of Namur Univ. Namur is merging with Louvain The Computer Science Faculty 16 Profs. 80 researchers Various fields : Databases Decision support systems HCI Software process maturity models Multimedia Organizational theory …

3. 3 University of Namur, Belgium Computer Science Faculty The PRECISE research center Precise is REsearch Center in Information Systems Engineering Research Interests methods and models database engineering requirements engineering CASE tools Interoperability and re-engineering quality and metrics Team 6 Full time Prof. Vincent ENGLEBERT Naji HABRA Jean-Luc HAINAUT Patrick HEYMANS Michael PETIT Pierre-Yves SCHOBBENS 25 Researchers

4. 4 University of Namur, Belgium Computer Science Faculty SLC: Semantics, Logics, Computation Research fields Semantics of computer languages denotational, operational Logics for computer science modal, temporal, Computational models games, timed games, etc. Team 5 Profs. Naji HABRA Patrick HEYMANS Jean-Marie JACQUET Pierre-Yves SCHOBBENS Wim VANHOOF 7 Researchers Yves BONTEMPS Axel LEGAY

5. 5 University of Namur, Belgium Computer Science Faculty Interests in GASICS ATL ATL with strategies, knowledge, time Timed games Games from sequence diagrams (LSC) Games for modelling interfaces Compositional verification Compositional verification of probabilistic algos Compositional features verification Games algebra (composing games)

6. 6 University of Namur, Belgium Computer Science Faculty Contact : pys@acm.org http://www.info.fundp.ac.be/~pys Thank you ! Question time! University of Namur http://www.fundp.ac.be Computer Science Faculty http://www.info.fundp.ac.be PRECISE group http://www.software-engineering.be/ University of Namur http://www.fundp.ac.be Computer Science Faculty http://www.info.fundp.ac.be PRECISE group http://www.software-engineering.be/