1 / 9

LIAMF

LIAMF. Flávio Soares Corrêa da Silva (University of Sao Paulo) 2006. LIAMF. LIAMF: Lógica, Inteligência Artificial and Métodos Formais (Logics, Artificial Intelligence and Formal Methods) Unofficial start: 1992 Official start: 2000. LIAMF timeline. 1992. 1993. 1994. 1995. 1996. 1997.

nelson
Download Presentation

LIAMF

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