1 / 9

Evolution of LIAMF: Advancements in Logic and Artificial Intelligence at USP

Established unofficially in 1992 and officially in 2000, the LIAMF (Laboratório de Inteligência Artificial e Métodos Formais) at the University of São Paulo, led by Flávio Soares Corrêa da Silva and colleagues, focuses on research and education in logic, artificial intelligence, and formal methods. LIAMF engages in consultancy for universities and government, oversees various MSc and PhD projects, and contributes to technology transfer in sectors such as aerospace, oil, and gaming. The lab is also involved in publishing and organizing academic events.

nelson
Télécharger la présentation

Evolution of LIAMF: Advancements in Logic and Artificial Intelligence at USP

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 Flávio Soares Corrêa da Silva Marcelo Finger Ana Cristina Vieira de Melo Leliane Nunes de Barros Renata Wassermann

  4. LIAMF research

  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 • Flávio: fcs@ime.usp.br • Marcelo: mfinger@ime.usp.br • Ana Cristina: acvm@ime.usp.br • Leliane: leliane@ime.usp.br • Renata: renata@ime.usp.br

  9. Thank you!

More Related