1. LIAMF Flávio Soares Corrêa da Silva (University of Sao Paulo) 2006

2. LIAMF LIAMF: Lógica, Inteligência Artificial and Métodos Formais (Logics, Artificial Intelligence and Formal Methods) –Unofficial start: 1992 –Official start: 2000

3. LIAMF timeline 199219931994199519961997199819992000200120022003200420052006 Flávio Soares Corrêa da Silva Marcelo Finger Ana Cristina Vieira de Melo Leliane Nunes de Barros Renata Wassermann

4. LIAMF research Uncertain reasoning Knowledge sharing / distributed problem solving Ontologies Semantic web Semantic web services Software verification Formal software design Formal issues in distributed and mobile systems Planning Intelligent tutoring systems Belief revision Approximate reasoning Machine learning and computational linguistics Cognitive robotics Digital entertainment / interactive systems Ambient intelligence / pervasive intelligent systems Philosophy of information and communication / philosophy of technology (applied to LIAMF)

5. LIAMF institutional Conference program committees Journal editorial committees International standards committees (e.g. IGDA AIISC) Brazilian scientific societies – executive boards (e.g. Brazilian Association of Symbolic Logic)

6. LIAMF teaching Several graduate and post-graduate disciplines Several MSc and PhD projects Consultancy work for other universities Consultancy / auditing work for government Software tools for teaching Textbooks and scientific monographs

7. LIAMF technology transfer Some projects geared towards technological research and technology transfer –Aerospace industry –Oil extraction industry –Gaming industry

8. LIAMF email LIAMF: liamf@ime.usp.br liamf@ime.usp.br Flávio: fcs@ime.usp.br fcs@ime.usp.br Marcelo: mfinger@ime.usp.br mfinger@ime.usp.br Ana Cristina: acvm@ime.usp.br acvm@ime.usp.br Leliane: leliane@ime.usp.br leliane@ime.usp.br Renata: renata@ime.usp.br renata@ime.usp.br

9. Thank you!