Luis da Cunha Lamb

2005 - 2006

Pós-Doutorado. , Group Of Logic Language And Computation King's College London, KCL, Inglaterra. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Humanas, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Machine Learning.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

GANAPINI, M. ; HORESH, L. ; LAMB, Luís C. ; LOREGGIA, A. ; ROSSI, F. ; SRIVASTAVA, B. ; VENABLE, B. . Thinking Fast and Slow and Other Cognitive Theories in AI, a AAAI 2022 fall symposium. 2022. (Congresso).

LAMB, Luís C. ; SILVA FILHO, L. C. P. ; CASSEL NETO, B. ; HORN, C. H. V. ; MOURA, A. A. B. . 1.a Oficina de Ciência, Tecnologia e Inovação UFRGS/FIERGS/CMS. 2018. (Outro).

Besold, T. ; Garcez, Artur S. d'Avila ; GUHA, R. V. ; LAMB, Luís C. . Dagstuhl Seminar 17192 - Human-Like Neural-Symbolic Computing. 2017. (Congresso).

Besold, T. ; LAMB, Luís C. ; Serafini, L. ; Tabor, W. . Eleventh International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16). 2016. (Congresso).

LAMB, Luís C. ; Besold, T. ; Icard, T. ; Miikkulainen, R. . 10th International Workshop on Neural-Symbolic Learning and Reasoning - NeSy'15 at IJCAI-15. 2015. (Congresso).

LAMB, Luís C. ; d'Avila Garcez, A.S. ; Hitzler, P. ; Gori, Marco . Dagstuhl Seminar 14381: Neural-Symbolic Learning and Reasoning. 2014. (Congresso).

LAMB, Luís C. ; Alchieri, E. ; Barreto, P. S. . Organizador Geral do XL SECOMU: Seminário de Computação na Universidade 2014, junto ao CSBC 2014. 2014. (Congresso).

DAVILA-GARCEZ, A. S. ; Hitzler, P. ; LAMB, Luís C. . 9th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'13 at IJCAI-13). 2013. (Congresso).

d'Avila Garcez, A.S. ; Hitzler, P. ; LAMB, Luís C. . 8th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'12 at AAAI-12). 2012. (Congresso).

LAMB, Luís C. ; HAHN, E. ; DOTTORI, C. E. ; LESSA, G. ; PICKLADNICKI, R. . Seminário Gestão, Risco e Compliance (GRC) 2012 - SUCESU-RS. 2012. (Outro).

d'Avila Garcez, A.S. ; Pascal Hitzler ; LAMB, Luís C. . Organizador do 7th International Workshop on Neural-Symbolic Learning and Reasoning NeSy'11 at IJCAI-11 (Com A.S. d'Avila Garcez and P. Hitzler). 2011. (Congresso).

BURIOL, Luciana Salete ; LAMB, Luís C. ; TREVISAN, Vilmar ; Hoppen, C. ; Borenstein, D. ; Filomena, T. ; Müller, F. ; JACQUES, V. . XVI ELAVIO - Escola Latino-Americana de Verão de Pesquisa Operacional (ELAVIO 2012). 2011. (Congresso).

Botterweck, G. ; Fernandes, João M ; LAMB, L. C. . MOMPES-2010: 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software at ASE-2010. 2010. (Congresso).

LAMB, L. C. ; Garcez, Artur S. d'Avila ; Pascal Hitzler . 6th International AAAI Workshop on Neural Symbolic Learning and Reasoning (NeSy'10). 2010. (Congresso).

LAMB, L. C. ; Gouvea Jr, Maury M. . SEMISH-2010 XXXVII Seminario Integrado de Software e Hardware no Congresso da SBC. 2010. (Congresso).

Lamb, Luis C. ; de Souza, Clarisse Sieckenius . Coordenador (com Clarisse S. Souza) do SEMISH 2009 - 36th Seminar on Hardware and Software - Seminário Integrado de Software e Hardware no Congresso Anual da Sociedade Brasileira de Computação CSBC-09. 2009. (Congresso).

LAMB, Luís C. ; BURIOL, Luciana Salete ; TREVISAN, Vilmar ; Ritt, Marcus P. . Organizador (junto com L.S. Buriol, V. Trevisan, M. Ritt) do 5th Latin American Algorithms, Graphs and Optimization Symposium LAGOS 2009. 2009. (Congresso).

LAMB, Luís C. ; Fernandes, João M ; Machado, Ricardo J. ; WAGNER, F. R. . Organizador geral (junto com J.M. Fernandes; R. Machado; F.R. Wagner) do 6th International Workshop on Model Based Methodologies for Pervasive and Embedded Software (MOMPES 2009) at the International Conference on Software Engineering (ICSE 2009). 2009. (Congresso).

AAAI Conference on Artificial Intelligence. Sponsorship Co-chair - AAAI 2023. 2023. (Congresso).

CIKM Workshop on Knowledge Injection in Neural Networks.Panel on Knowledge Injection in Neural Networks. 2021. (Simpósio).

Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2021).Neurosymbolic AI: An Overview. 2021. (Simpósio).

Sparks! Serendipity Forum at CERN - sobre I.A. e o futuro.Debate sobre "Constructing AI". 2021. (Simpósio).

33rd AAAI Conference on Artificial Intelligence - AAAI-19. Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP. 2019. (Congresso).

Dagstuhl Seminar 19361 - Logic and Learning. 2019. (Seminário).

Microsoft Research Faculty Summit 2019 - The Future of Work. 2019. (Seminário).

27th International Joint Conference on Artificial Intelligence/JCAI-2018. Tutorial: Neural-symbolic Learning and Reasoning with Constraints (A. Garcez, M. Gori, L. Lamb, L. Serafini, M. Spranger). 2018. (Congresso).

CRA - Computing Research Association conference at Snowbird. 2018. (Simpósio).

IEEE International Joint Conference on Neural Networks/World Congress on Computational Intelligence. Tutorial: Neurosymbolic Learning and Reasoning with Constraints (A. Garcez, M. Gori, L. Lamb, L. Serafini, M. Spranger). 2018. (Congresso).

II Foro Abierto de Ciencias Latinoamerica y Caribe - CILAC. Implementando el plan de acción de la CRES en CTI. 2018. (Congresso).

Seminário de Computação na Universidade/SECOMU 2018 -.A Internet e a (pós-)Verdade: Desafios e Oportunidades para a Pesquisa em Computação. 2018. (Seminário).

Dagstuhl Seminar 17192 - Human-Like Neural-Symbolic Computing.From Turing to Deep Learning: explaining AI through neurons and symbols. 2017. (Seminário).

XXXIII Encontro Nacional de Pró-Reitores de Pesquisa e Pós-Graduaçào. 2017. (Encontro).

XXXVI Congresso da Sociedade Brasileira de Computação - Seminário Integrado de Hardware e Software - SEMISH. 50 anos de Alan M. Turing Award (1966-2016). 2017. (Congresso).

11th International Workshop on Neural-Symbolic Learning and Reasoning - NeSy'16. 2016. (Seminário).

Computing Research Association - CRA Conference at Snowbird. 2016. (Congresso).

XXXV Jornadas de Atualização em Informática - JAI 2016. Teoria da Computação: Uma Introdução à Complexidade e à Lógica Computacional. 2016. (Congresso).

24th International Joint Conference on Artificial Intelligence (IJCAI-15). Organizador do workshop NeSy'15 (Neural-Symbolic Learning and Reasoning) junto ao IJCAI-15. 2015. (Congresso).

29th AAAI Conference on Artificial Intelligence AAAI-15. Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. 2015. (Congresso).

AAAI Spring Symposium on Knowledge Representation and Reasoning.Neural-Symbolic Learning and Reasoning: Contributions and Challenges. 2015. (Simpósio).

ELA-ES: 2.a Escola Latino-Americana de Engenharia de Software.Painel: Engenheiro de Software: Indústria ou Academia. 2015. (Seminário).

XXXIV Jornada de Atualização em Informática - Congresso da Sociedade Brasileira de Computação. Curso: Teoria da Computação: uma introdução à complexidade e à lógica computacional. 2015. (Congresso).

Congresso da Sociedade Brasileira de Computação CSBC 2014.Moderador do Painel: A Construção de Universidades de Excelência no Brasil. 2014. (Seminário).

CRA Conference at Snowbird: Computing Research Association 2014. 2014. (Seminário).

MIcrosoft Latin America Faculty Summit 2014. 2014. (Simpósio).

BITS 2013: A CeBIT Event South America. Mediador do tema: Gestão de Documentos e Segurança Digital, por Patricia Peck Pinheiro - PPP Advogados. 2013. (Congresso).

CSBC 2013: Congresso da Sociedade Brasileira de Computação. Painel: reunião da comunidade com o Comitê Assessor do CNPq e Comissão de Área CAPES. 2013. (Congresso).

IJCAI 2013: 23rd International Joint Conference on Artificial Intelligence. 2013. (Congresso).

Microsoft Research Faculty Summit 2013. 2013. (Seminário).

Twenty-Sixth AAAI Conference on Artificial Intelligence. Organizador do 8th International Workshop on Neural-Symbolic Learning and Reasoning at AAAI-12. 2012. (Congresso).

XXXII Congresso da Sociedade Brasileira de Computação. O centenário de Alan Turing: passado e futuro da computação - painelista convidado. 2012. (Congresso).

International Conference on Software Engineering (ICSE 2011). Learning to adapt requirements specifications of evolving systems: (NIER track). 2011. (Congresso).

International Joint Conference on Artificial Intelligence (IJCAI-11). A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. 2011. (Congresso).

Third IEEE International Conference on Social Computing (SocialCom 2011).Collaboration Emergence in Social Networks with Informational Natural Selection. 2011. (Simpósio).

42 Simpósio Brasileiro de Pesquisa Operacional (SBPO2010). 2010. (Simpósio).

31st International Conference on Software Engineering (ICSE 2009). 2009. (Congresso).

5th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy-09) at IJCAI-09: Coordenador da Sessão de Discussões.Discussion Session on Neural-Symbolic Learning and Reasoning. 2009. (Oficina).

6th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2009): Co-organizador geral do evento.Model-based Methodologies for Pervasive and Embedded Software (Organizador geral do workshop). 2009. (Simpósio).

International Symposium on Combinatorial Search (SoCS-2009).Search and Optimization in Small-World and Scale-Free Networks. Autores: R.M. Araujo and L.C. Lamb. 2009. (Simpósio).

SBMF2009: Brazilian Symposium on Formal Methods 2009. 2009. (Simpósio).

SEMISH 2009 - XXXVI Seminário Integrado de Software e Hardware (Organizador Geral; PC Chair: Clarisse S. de Souza). 2009. (Seminário).

Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09). 2009. (Congresso).

VII Encontro Nacional de Inteligência Artificial - ENIA 2009 (Painelista convidado: Computação Cognitiva).Painelista: Um olhar crítico sobre a Inteligência Artificial: Desafios e Conquistas - Computação Cognitiva. 2009. (Encontro).

20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-08). On the Effects of Network Structure in Population-based Optimization. 2008. (Congresso).

23rd AAAI Conference on Artificial Intelligence (AAAI-08). Memetic Networks: analyzing the effects of network properties in multi-agent performance. 2008. (Congresso).

Dagstuhl Seminar 08041: Recurrent Neural Networks: Models, Capacities and Applications.Recurrent Neural Networks: Models, Capacities and Applications. 2008. (Seminário).

DATE'08 - Design, Automation and Test in Europe. Using UML as Front-end for Heterogeneous Software Code Generation Strategies. 2008. (Congresso).

DIPES 2008 - IFIP Working Conference on Distributed and Parallel Embedded Systems. On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. 2008. (Congresso).

MOMPES 2008 - Fifth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software at ETAPS 2008 (11th European Joint Conference on Theory and Practice of Software).Software Quality Metrics and Their Impact on Embedded Software. 2008. (Simpósio).

XXIII Encontro Nacional das Empresas de Software e Serviços de Informática (ENESI 2008). 2008. (Encontro).

20th IEEE International Joint Conference on Neural Nertworks (IJCNN 2007). Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. 2007. (Congresso).

20th International Joint Conference on Artificial Intelligence (IJCAI-07). An information-theoretic analysis of memory bounds in a distributed resource allocation mechanism. 2007. (Congresso).

Twenty-Second Conference on Artificial Intelligence (AAAI-07). A Connectionist Cognitive Model for Temporal Synchronisation and Learning. 2007. (Congresso).

20th International Joint Conference on Artificial Intelligence IJCAI 2005. 2005. (Congresso).

7th Augustus De Morgan Workshop - Games and Social Software. 2005. (Simpósio).

Gatsby Unit Workshop. 2005. (Oficina).

NeSy'05 Workshop on Neural-Symbolic Learning and Reasoning.NeSy'05 International Workshop on Neural-Symbolic Learning and Reasoning, held at IJCAI 2005. 2005. (Oficina).

Desafios da microeletrônica: o papel do CEITEC. 2004. (Seminário).

II Workshop de parques tecnológicos. 2004. (Oficina).

IQ-Formos Workshop.IQ-Formos Workshop. 2001. (Oficina).

Augustus De Morgan Workshop. 2000. (Simpósio).

Computational Logic - CL 2000 - First International Conference. 2000. (Congresso).

2nd Augustus de Morgan Workshop. 1999. (Congresso).

Commonsense´98 - The 4th Symposium on Logical Formalizations of Commonsense Reasoning. 1998. (Simpósio).

Comprox´96 - 2nd Workshop on Computation and Approximation. 1996. (Simpósio).

Theory and Formal Methods 1996. 1996. (Simpósio).

Comprox´95. 1995. (Simpósio).

XIV Congresso da Sociedade Brasileira de Computação. 1995. (Congresso).

II Jornada EPUSP/IEEE em Sistema de Computação de Alto Desempenho. 1992. (Outra).

VIII Escola de Computação. 1992. (Outra).

VII Simpósio Brasileiro de Banco de Dados. 1992. (Congresso).

XII Congresso da Sociedade Brasileira de Computação. 1992. (Congresso).

III Salão de Iniciação Científica da UFRGS.III Salão de Iniciação Científica. 1991. (Outra).

II Semana de Informática da UCS.II Semana de Informática da Universidade de Caxias do Sul. 1991. (Outra).

II Simpósio Brasileiro de Informática na Educação.II Simpósio Brasileiro de Informática na Educação. 1991. (Simpósio).

XI Congresso da Soc. Brasileira de Computação. 1991. (Congresso).

XIV CNMAC. XIV Congresso Nacional de Matemática Aplicada e Computacional. 1991. (Congresso).

XIV Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional.XIV Reunião Regional da SBMAC. 1991. (Outra).

I Jornada EPUSP/IEEE de Sistemas de Computação de Alto Desempenho. 1990. (Outra).

I Semana de Informática da UCS.I Semana de Informática da Universidade de Caxias do Sul. 1990. (Outra).

II SIBGRAPI - Simpósio Brasileiro de Computação Gráfica e e Processamento de Imagens. 1989. (Simpósio).

IV Congresso da Sociedade Brasileira de Microeletrônica. 1989. (Congresso).

VII Simpósio Brasileiro de Redes de Computadores. 1989. (Simpósio).

LAMB, Luís C.; Meneguzzi, F.R.; BARROS, R. C.. AUTOMATED DATABASE INDEXING USING MODEL-FREE REINFORCEMENT LEARNING. 2020. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Winck, A.T.; Galante, R.M.;LAMB, Luís C.. Desenvolvimento e Avaliação de Algoritmos de Classificação e Decisão na Regulação de Pacientes Encaminhados para a Atenção Especializada Ambulatorial. 2020. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Meneguzzi, F.R.; BARROS, R. C.. Semi-Supervised Learning Methods for Unsupervised Domain Adaptation in Medical Imaging Segmentation. 2019. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; ALMEIDA, Virgilio A.F.; MEIRA JR., W.; Melo, P.O.S.V. de; Almeida, Jussara M.. Misinformation, Radicalization and Hate Through the Lens of Users. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LAMB, Luís C.; ALMEIDA, Virgilio A.F.; Ziviani, Nívio; MEIRA JR., W.. IDENTIFYING STEREOTYPES IN THE ONLINE PERCEPTION OF PHYSICAL ATTRACTIVENESS. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LAMB, Luís C.; FAY, C. M.; LEMOS, L. A.. A Indústria Eletrônica do Rio Grande do Sul: mapeamento da rota tecnológica, interação universidade-empresa, inovação e desenvolvimento tecnológico (1960-1990). 2015. Dissertação (Mestrado em História) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; MEIRA JR., W.; ALMEIDA, Virgilio A.F.. Back and Forth Between Pinterest and Twitter: Analysis of User Behavior. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LAMB, Luís C.; SILVA JR., E. P. E.; VALLIATI, J. F.. HIGMN: An IGMN-Based Hierarchical Architecture and its Application for Robotic Tasks. 2013. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Meneguzzi, F.R.;LAMB, Luís C.; Ritt, Marcus P.; MOREIRA, A. F.. An Asynchronous Algorithm to Improve Scheduling Quality in the Multiagent Simple Temporal Problem. 2013. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, L. C.; OLIVEIRA, José Palazzo Moreira de;SILVA, Roberto da; Wives, L.K.; Martinez, A. Souto. Sobre Estatística de Dados Bibliométricos em Grupos de Pesquisadores: Universalidade e Avaliação. 2012. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, L. C.; VAINSTEIN, MENDELI; FERNANDES, H. A.. Análise Computacional da Disseminação de Epidemias Considerando a Diluição e a Mobilidade dos Agentes. 2012. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Roisenberg, M.; BARONE, D. A. C.; ENGEL, Paulo Martins. Online Incremental One-Shot Learning of Temporal Sequences. 2011. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; GRANVILLE, Lisandro Z; Duarte Júnior, Elias P.. Elemento Autonômico para Processos de Monitoração Adaptativa de Redes (membro da banca de Mestrado). 2008. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Álvaro Freitas; Frozza, R.. Simulação de uso do Solo Urbano utilizando uma Abordagem Baseada em Sistemas Multiagentes Reativos. 2007. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Roisenberg, M.; Silva Jr. Édson Prestes;LAMB, Luís C.; ENGEL, Paulo Martins. Uma rede neural auto-organizável construtiva para aprendizado perpétuo de padrões espaço-temporais. 2007. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; TREVISAN, Vilmar; BARRETO, Paulo Sérgio Lucciardi Messeder. Um algoritmo de criptografia de chave pública semanticamente seguro baseado em curvas elípticas.. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Anamaria Martins;RIBEIRO, Leila. Semantics for an algebraic specification language. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; COSTA, Vitor Santos; ZAVERUCHA, Gerson. Tornando a Programação em Lógica Indutiva (ILP) escalável a bases de dados arbitrariamente grandes. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

LAMB, Luís C.; VIEIRA, Renata; SANTOS, Clésio Saraiva dos. Um Modelo de Conhecimento Baseado em Eventos para Aquisição e Representação de Seqüências Temporais. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MARTINI, Alfio Ricardo; COSTA, Antônio Carlos da Rocha. Categoria de Grafos Parciais com Homomorfismos Parciais. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; ZORZO, A. F.; OLIVEIRA, F. M.. Modelagem de Comportamentos Falhos através de Especificação Formal e suaInserção e Análise em Modelos de Sistemas Distribuídos Envolvendo Mobilidade. 2003. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.NUNES, Daltro JoséRIBEIRO, Leila; MELO, A. C. V.. Uma Tradução de Gramáticas de Hipergrafos Baseados em Objetos para Cálculo pi. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.FREITAS, C. M. D. S.; NEDEL, Luciana Porcher; MENEZES, Paulo Fernando Blauth. Investigação e Aplicação de algumas construções categoriais em animações computacionais baseadas em autômatos finitos(SEMINÁRIO DE ANDAMENTO). 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; NEDEL, Luciana Porcher; MENEZES, Paulo Fernando Blauth. ASTRHA - Um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos (SEMINÁRIO DE ANDAMENTO). 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; DIVERIO, T. A.. Análise de Complexidade em Jogos Diferenciais (SEMINÁRIO DE ANDAMENTO). 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; LISBOA, M. L.;NUNES, Daltro José. Uma proposta de técnica para redução de espaço de estados em verificadores de modelos (SEMINÁRIO DE ANDAMENTO). 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; ZORZO, A. F.; DOTTI, F. L.. Verificação Formal de Sistemas Distribuídos Baseados em Objetos (SEMINÁRIO DE ANDAMENTO). 2003. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; CLAUDIO, D. M.; BINS FILHO, J. C.. Implementação e Teste de Algoritmo Neuro-Simbólico (SEMINÁRIO DE ANDAMENTO). 2003. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; TOSCANI, L. V.; OLIVEIRA, J. B. S.; CLAUDIO, D. M.. Construção do Espaço Intervalar e Resolução de Equações. 2002. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; HAEUSLER, E. H.;FREITAS, C. M. D. S.; MENEZES, Paulo Fernando Blauth; NEDEL, Luciana Porcher. Animação Bidimensional para World Wide Web Baseada em Autômatos Finitos. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

DUARTE, L. M.;LAMB, Luís C.; ZORZO, A. F.; SILVA, F. M. A.; DOTTI, F. L.. Desenvolvimento de sistemas distribuídos com código móvel a partir de especificação formal. 2001. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; FERREIRA JUNIOR, P. R.; GONCALVES, G. A.. Dengue Incidence Rate Estimation Using Aerial and Street-level Urban Imagery with Deep Learning Models. 2019. Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

LAMB, Luís C.; Wassermann, R.; HUBNER, J. F.. Choices that make you change your mind: a Dynamic Epistemic Logic approach to the semantics of BDI agent programming languages. 2016. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Almeida, Jussara M.; Benevenuto de Souza, F.; GONCALVES, M. A.; Pinheiro de Cristo, M.A.; ALMEIDA, Virgilio A.F.; MEIRA JR., W.. User-Generated Micro-Reviews: Characterization and Popularity Prediction. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LAMB, Luís C.; Roisenberg, M.; Werner, L.. ARMA-CIGMN - An Incremental Gaussian Mixture Network for time series analysis and forecasting. 2015. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

ZAVERUCHA, Gerson; FINGER, M.; VELOSO, S. R.; BENEVIDES, M. R.;LAMB, Luís C.; PAES, A.. Uma Análise dos Operadores de Revisão de Teorias do Forte MBC. 2014. Tese (Doutorado em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

LAMB, Luís C.; FINGER, M.; GUIZZARDI, G.; ABEL, M.. Similarity, Structure and Spaces: Representation of Part-Whole Relations in Conceptual Spaces. 2014. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Roisenberg, M.; Wolf, D.;LAMB, Luís C.; ENGEL, Paulo Martins. A Connectionist Approach for Incremental Function Approximation and On-line Tasks. 2011. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Loureiro, Antonio A.F.; ALMEIDA, Virgilio A.F.; Gonçalves, Marcos A.; Almeida, Jussara M.; Kamienski, Carlos A.. On The Behavior of Rational Agents in Complex Networks (Sobre o Comportamento de Agentes Racionais em Redes Complexas). 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LAMB, Luís C.; HAEUSLER, E. H.; MENEZES, Paulo Fernando Blauth. Uma Fundamentação Teórica para a Complexidade Estrutural de Problemas de Otimização. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; VILLAVICENCIO, A.;ABEL, Mara. Aprendizado de Máquina: Aprendizado por Reforço. 2013. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

CARVALHO, A. C. P. L. F.; GONCALVES, M. A.;Lamb, Luis C.; MEIRA JR., W.. MULTIPOLARIZED SOCIAL NETWORKS: BRIDGING GRAPH MINING, OPINION MINING AND SOCIAL SCIENCES. 2012. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação - UFMG) - Universidade Federal de Minas Gerais.

LAMB, Luís C.; ZAVERUCHA, Gerson; BENEVIDES, M. R. F.. Uma análise dos operadores de refinamento de sistemas de revisão de teorias baseados no FORTE. 2011. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

LAMB, Luís C.; BAZZAN, Ana Lucia C;SILVA, Roberto da; ENGEL, Paulo Martins. Exame de Qualificação em Aprendizagem de Máquina. 2008. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.ABEL, Mara; MOREIRA, Álvaro Freitas. Exame de qualificação sobre o tema Ontologias (área de conhecimento e raciocínio). 2008. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.RIBEIRO, LeilaNUNES, Daltro José. Exame de qualificação sobre o tema "Formalização de Workflows". 2008. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Álvaro Freitas;NUNES, Daltro JoséRIBEIRO, Leila. Semântica de Ações (Semântica de sistemas de computação). 2007. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; ENGEL, Paulo Martins; ALVARES, Luis Otavio. Exame de qualificação aluna de doutorado Fabiana Lorenzi: Revisão de crenças em sistemas multiagente.. 2006. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; DIVERIO, T. A.; TOSCANI, L. V.. Análise e Complexidade de Algoritmos Clássicos de Biologia Computacional. 2003. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, L. C.; Ritt, Marcus P.; WEBER, Raul Fernando. Complexidade do Cálculo de Bases de Gröbner para Criptanálise/Complexity of Gröbner Basis Computation for Cryptanalysis. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Braga Rosa, Newton; Maçada, Antônio C.G.. Análise de Adoção de TI em MPE's: estudos de caso no varejo. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Silva Jr. Édson Prestes;LAMB, Luís C.; ENGEL, Paulo Martins. Pinto.A neocortex inspired hierarchical spatio-temporal pattern recognition system. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Johann, M.O.; Ribas, R.P.. Síntese Lógica de Portas EXOR (participação como membro da comissão examinadora). 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Johann, M.O.; Ribas, R.P.. Identificação de funções equivalentes através de permutação de entradas. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Johann, M.O.; Ribas, R.P.. Análise de viabilidade de leiaute para os estilos lógicos NCSP e LBBDD. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; LISBOA, Carlos Arthur Lang; REIS, André Inácio. Estudo Comparativo Sobre Algoritmos de Mapeamento Tecnológico. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; NEDEL, Luciana Porcher; MENEZES, Paulo Fernando Blauth. CyberSeed: Animação Interativa baseada em Autômatos Finitos com Saída e fita de Entrada Matricial. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Álvaro Freitas; VICARI, R. M.. Desenvolvimento de Software Assistido por Computador: debates e propostas. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; DIVERIO, T. A.; MENEZES, Paulo Fernando Blauth. Gramática de Grafos para Modelagem de Crescimento de Tumor Glioblastoma Multiforme. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; BAZZAN, Ana Lúcia Cetertich; DIVERIO, T. A.; SILVEIRA, R. A.. Lógicas Modais: Fundamentos e Aplicações (Projeto de Diplomação, BSc em Ciência da Computação - UFRGS). 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; FERNANDES, P. H. L.; ZORZO, A. F.. Marangon; Daniel Bocian; Mariana Luderit Kolberg.SAND: Stochastic Automata Networks Developer. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.; MENEZES, Paulo Fernando Blauth; NEDEL, Luciana Porcher. Aga Player: Animação 2d Baseado em Autômatos para a Web. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; BARONE, D. A. C.; BORGES, R. C. M.. FSM Creator: Desenvolvedor Rápido de Aplicações Baseadas em Máquinas de Estados Finitos. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; ZORZO, A. F.; FERNANDES, P. H. L.. MQNA - Analisador de Redes de Fila de Espera Markovianas. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.NUNES, Daltro JoséRIBEIRO, Leila. Verificação da Correção da Implementação de uma Grmática de Grafos Baseada em Objetos em Java (seminário de andamento). 2002. Outra participação, Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; ZORZO, A. F.; DOTTI, F. L.. Modelagem e Tratamento de Falhas para Sistemas Distribuídos envolvendo Mobilidade. 2002. Outra participação, Pontifícia Universidade Católica do Rio Grande do Sul.

LAMB, Luís C.OLIVEIRA, José Palazzo M de; BORGES, M. R. S.; LEMOS, M. J. M. S.. Membro de Banca Examinadora - Concurso para Professor Titular-Livre - Centro de Informática UFPE. 2016. Universidade Federal de Pernambuco.

CARVALHO, A. C. P. L. F.; FINGER, M.; COZMAN, F. G.; BARBOSA, V. C.;LAMB, Luís C.. Banca Examinadora - Promoção para Professor Titular - Gerson Zaverucha (COPPE-UFRJ). 2014. Universidade Federal do Rio de Janeiro.

LAMB, Luís C.; Bhaya, Amit; Cesar Jr., Roberto Marcondes; Doria Neto, A. D.; Traina Jr., Caetano. Concurso para Professor Titular no Departamento de Ciências de Computação, Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação. 2013. Universidade de São Paulo.

LAMB, Luís C.; VELOSO, A. A.; ROCHA, A. R.. Presidente da Comissão Examinadora - Concurso para Professor Adjunto na área de Inteligência Artificial - Instituto de Informática/UFRGS. 2018. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; Ziviani, Nívio; Laender, A.H.F.; Hirata Jr., R.; Miyazawa, Flávio K.. Membro de Banca: Concurso para Professor Ajunto A - UFMG - Departamento de Ciência da Computação. 2016. Universidade Federal de Minas Gerais.

LAMB, Luís C.; HAEUSLER, E. H.; ARAÚJO, A. F. R.. Membro de Banca: Concurso para Professor Adjunto A: Universidade Federal do Ceará. 2016. Universidade Federal do Ceará.

LAMB, Luís C.; BARBOSA, V. C.; FINGER, M.. Presidente da Banca: Concurso público: Professor Adjunto A, Área de Inteligência Artificial. 2015. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.. Consultor internacional para emitir "Expert judgement" para Avaliação de TENURE (estabilidade) e promoção para Professor Associado de candidato no Departamento de Ciência da Computação, George Mason University, Virginia,EUA.. 2011. George Mason University.

LAMB, Luís C.; Wakabayashi, Yoshiko; Miyazawa, Flávio K.. Presidente de Banca do Concurso Público para Professor Adjunto: Departamento de Informática Teórica, UFRGS. 2010. Universidade Federal do Rio Grande do Sul.

Ribeiro, Celso C.;LAMB, Luís C.; Fonseca, Nelson; Drummond, L.; Markenzon, Lilian. Membro de Banca - Concurso Para Professor Adjunto (Universidade Federal Fluminense): Banca Para Seleção de Candidatos à Carreira do Magistério Superior na área de Ciência da Computação. 2010. Universidade Federal Fluminense.

LAMB, Luís C.; SZWARCFITER, Jayme L.; SONG, Siang W.. Presidente de Comissão (Banca Examinadora): concurso público para professor adjunto, área de Fundamentos da Computação, Dept. de Informática Teórica, UFRGS. 2009. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Álvaro Freitas; BAZZAN, Ana Lúcia Cetertich. Concurso público para professor substituto do departamento de informática teórica, UFRGS.. 2004. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Álvaro Freitas; BAZZAN, Ana Lúcia Cetertich. Concurso público para professor substituto de lógica para computação e linguagens formais, departamento de informática teórica, UFRGS.. 2003. Universidade Federal do Rio Grande do Sul.

CAMPOS, M. F. M.;LAMB, Luís C.. Comissão de Avaliação da Proposta de Pós-Graduação em Ciências da Computação nível Mestrado - UFSJ. 2015. Universidade Federal de São João Del-Rei.

Boisson de Marca, J. R.;LAMB, Luís C.; Cunha, P. R. F.; Ribeiro, Celso C.; Garcia, F.. Comitê de Busca LNCC - Diretor do Laboratório Nacional de Computação Científica MCTI/CNPq. 2020. Laboratório Nacional de Computação Científica.

LAMB, Luís C.; ARAUJO, RICARDO M.; FERREIRA JUNIOR, P. R.; GONCALVES, G. A.. Banca de Proposta de Tese - Virginia Ortiz Anderson - UFPel. 2018. Universidade Federal de Pelotas.

LAMB, Luís C.; TRAVASSOS, G. H.; MONTEIRO, E. H. S.. Comissão Externa de Avaliação Institucional do Instituto de Computação da UNICAMP (Universidade Estadual de Campinas). 2014. Universidade Estadual de Campinas.

LAMB, Luís C.; COMBA, Joao Luiz Dihl; KASTENSMIDT, Fernanda Gusmão de Lima;CARRO, L.; HEUSER, Carlos Alberto; Orengo, V.M.; GASPARY, L. P.; GEYER, Claudio Fernando Resin; NEDEL, Luciana Porcher. Comissão de seleção do Doutorado em Computação PPGC/UFRGS ingresso em 2008/1. 2007. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.. Comitê de Programa XIX Concurso de Teses e Dissertações da SBC.. 2006. Sociedade Brasileira de Computação.

LAMB, Luís C.; CESAR NETTO, Joao; KASTENSMIDT, Fernanda Gusmão de Lima; WEBER, Raul Fernando; COMBA, Joao Luiz Dihl; MOREIRA, Álvaro Freitas;BURIOL, Luciana Salete; OLIVEIRA, José Palazzo Moreira de;NUNES, Daltro José; ENGEL, Paulo Martins; GEYER, Claudio Fernando Resin; NEDEL, Luciana Porcher. Comissão de seleção ao doutorado em Computação na UFRGS. 2006. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.. Comissão de acompanhamento de estágio probatório da Profa. Luciana Buriol. 2006. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.. Comissão de seleção de doutorado 2005/1 PPGC UFRGS. 2005. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; ENGEL, Paulo Martins; HEUSER, Carlos Alberto; BAMPI, Sérgio; OLIVEIRA, Manuel Menezes de; GRANVILLE, Lisandro Z; SCHARCANSKI, Jacob. Presidente da comissão de seleção ao Doutorado em Computação da UFRGS, 2004/2 (Julho). 2004. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; MOREIRA, Álvaro Freitas;RIBEIRO, Leila. Comissão Julgadora da Seção de Fundamentos da Computação e Bioinformática, XVI Salão de Iniciação Científica. 2004. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; BAZZAN, Ana Lúcia Cetertich; OLIVEIRA, José Palazzo Moreira de; ENGEL, Paulo Martins; OLIVEIRA NETO, Manuel Menezes de; CESAR NETTO, João; BAMPI, Sergio; GEYER, Claudio. Comissões de Seleção do Doutorado em Computação (PPGC) da UFRGS em 2003/1(Janeiro) e 2003/2 (Julho). 2003. Universidade Federal do Rio Grande do Sul.

LAMB, Luís C.; FERREIRA, Luis França;SILVA, Roberto da. Comissão Julgadora da Seção de Bioinformática/Informática Médica do XV Salão de Iniciação Científica da UFRGS. 2003. Universidade Federal do Rio Grande do Sul.

Neurosymbolic AI applications in language models (provisório); Início: 2021; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul; (Orientador);

Machine Learning Applications/Agritech/Image interpretation; Início: 2020; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul; (Orientador);

Aprendizagem Temporal Neuro-simbólica em Redes de Tensores Lógicos; 2024; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Lambda Calculus Meets Machine Learning; 2023; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Solving the decision version of the Graph Coloring Problem: a neural-symbolic approach using graph neural networks; 2020; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Learning Centrality Measures with Graph Neural Networks; 2019; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

On the Analysis of Centrality Measures for Complex and Social Networks; 2015; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

The Impact of Social Context in Social Problem-Solving; 2013; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Aplicações de Métricas de Software na Predição de Características Físicas de Software Embarcados; 2011; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Investigações sobre Raciocínio e Aprendizagem Temporal em Sistemas Conexionistas; 2007; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Estudo sobre Extração de Políticas de Firewall e uma Proposta de Metodologia; 2007; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Luís da Cunha Lamb;

Identificação de nomes ativos em cálculo pi baseado em tipos; 2005; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Coorientador: Luís da Cunha Lamb;

Definição Inicial de um Sistema de Provas Rotulado para Lógicas do Conhecimento; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Aprendizado de máquina em sistemas complexos multiagentes: estudo de caso em um ambiente sob racionalidade limitada; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Graph Representation Learning for Images; 2025; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Learning to Solve NP-Complete Problems; 2019; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Methods for the Approximation of Network Centrality Measures; 2018; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

The Role of Heterogeneity in Social Problem-Solving; 2017; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Efficient Modularity Density Heuristics in Graph Clustering and Their Applications; 2017; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Luís da Cunha Lamb;

The Cost of Search and Evaluation in Online Problem-solving Social Networks with Financial and Non-financial Incentives; 2016; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

MOIRAE: A Computational Strategy to Predict 3-D Structures of Polypeptides; 2012; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

A Neural-Symbolic System for Temporal Reasoning with Application to Model Verification and Learning; 2011; Tese (Doutorado em Computação) - City University London, City University London; Orientador: Luís da Cunha Lamb;

Memetic Networks: Problem-Solving with Social Network Models; 2009; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Luís da Cunha Lamb;

2021; Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Luís da Cunha Lamb;

Solving the Kidney-Exchange Problem via Graph Neural Networks with No Supervision; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

On the Evolution of AI and Machine Learning: Analyses of Impact, Leadership and Influence over the Last Decades; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Neural Networks Models for Analyzing Magic: the Gathering Cards; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Computational Models for the Study of Sexual Selection Dynamics; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Synthesis of Boolean functions through Binary Decision Diagrams - Co-orientado por Moshe Y; Vardi; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Gramática de Formas como Modelo Computacional Teórico; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Modelos Computacionais para Números Reais; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Graph neural networks; artificial intelligence; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Social computing; logic; networks; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, PIBIC - Bolsas institucionais da universidade; Orientador: Luís da Cunha Lamb;

Social Computing/Artificial Intelligence/Problem-Solving; 2017; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Fundamentos de Computação Social e Computação Humana; 2015; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

Computação social e humana; teoria da computação; inteligência artificial; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Teoria da computação; teoria dos jogos; resolução social de problemas; ; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Investigações sobre a equivalência entre problemas SAT e o problema da predição da estrutura tridimensional de polipeptídeos; 2011; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Investigações sobre a equivalência entre problemas SAT e o problema da predição da estrutura 3D de proteínas; 2011; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luís da Cunha Lamb;

Métodos Formais para Sistemas Digitais; 2005; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: Luís da Cunha Lamb;

Métodos Formais para Sistemas Digitais; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Luís da Cunha Lamb;

PET - Programa Especial de Treinamento - bolsista 1/6; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

PET - Programa Especial de Treinamento - bolsita 2/6; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

PET - Programa Especial de Treinamento - bolsita 3/6; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

PET - Programa Especial de Treinamento - bolsista 4/6; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

PET - Programa Especial de Treinamento - bolsita 5/6; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Análise Lógica de Circuitos Digitais através de Interpretação Abstrata; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: Luís da Cunha Lamb;

PET - Programa Especial de Treinamento; 2002; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luís da Cunha Lamb;

Hopper, Andy ; KING, B. B. O. C. J. ; Choudhary, R. ; Cressie, N. ; FRIDAY, A. ; MEYER, A. ; LAMB, Luís C. ; QUERE, C. L. ; KWIATKOWSKA, M. ; LAWRENCE, N. ; MOHAMED, S. ; NASSAR, R. ; RICE, A. ; SCOTT, E. M. ; SHUCKBURGH, E. ; TOKUDA, H. ; OLIVER, N. ; SHADBOLT, Sir N. ; WILLIAMS, E. . Royal Society Contributor to climate change: science and solutions briefing series - Briefing 2 | Computing for net zero: how digital technology can create a ?control loop for the protection of the planet?. 2021.

LAMB, Luís C. . Coordenador do Comitê Científico de Apoio ao Enfrentamento da Pandemia de COVID19 do Estado do Rio Grande do Sul. 2020.

LAMB, Luís C. . Moderator of Machine Learning in arXiv.org - moderador de 'machine learning' no arXiv.org. 2019.

LAMB, Luís C. . Membro do Conselho Consultivo do PAAP/CAPES: Programa de Apoio à Aquisição de Periódicos. 2017.

LAMB, Luís C. . Emissão de Pareceres Sobre Artigos Científicos: International Joint Conference on Neural Networks (IJCNN 2014). 2014.

LAMB, Luís C. . Emissão de Pareceres para CAPES: Estágio Sênior no Exterior e Edital PROBAL (Brasil/Alemanha). 2014.

LAMB, Luís C. . Program Committee Member, 10th Internacional Conference on Automous Agents and Multiagent Systems AAMAS 2011. 2011.

LAMB, Luís C. . Membro do Comitê de Programa, ENIA2011: Encontro Nacional de Inteligência Artificial. 2011.

LAMB, Luís C. . Avaliação de Projetos dos Editais 01/2011-ARD (Auxílio Recém-Doutor), 02/2011-PqG (Pesquisador Gaúcho) e 03/2011 - PRONEM, na área de Matemática, Estatística e Computação (FAPERGS). 2011.

LAMB, Luís C. . Membro do Comitê Avaliador: Editais FAPERJ ?Apoio às Instituições de Ensino e Pesquisa Sediadas no Estado do Rio de Janeiro ? 2011 (edital 09)?; ?Apoio às Universidades Estaduais do Rio de Janeiro ? Uerj, Uenf e Uezo. 2011.

LAMB, Luís C. . Membro do Comitê de Avaliação do Edital Cientistas do Nosso Estado da FAPERJ. 2011.

LAMB, Luís C. . Membro do Comitê de Avaliação do Edital Jovem Cientista do Nosso Estado da FAPERJ. 2011.

DUCH, W. ; LAMB, Luís C. ; Mandziuk, J. . Member: IEEE Computational Intelligence Society TASK FORCE on Towards Human-like Intelligence. 2011.

Lamb, Luis . Membro do Comitê de Programa (Program Committee Member) AAMAS 2010 (9th International Conference on Autonomous Agents and Multiagent Systems). 2010.

LAMB, L. C. . Membro do Comitê de Programa (Program Committee Member) - IJCNN-2010 - IEEE International Joint Conference on Neural Networks. 2010.

Fernandes, João M ; Botterweck, G. ; LAMB, L. C. . Organizador do 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010) at 25th IEEE/ACM International Conference on Automated Software Engineering (ASE-2010). 2010.

LAMB, L. C. ; Gouvea Jr, Maury M. . Coordenador geral do SEMISH-2010: Seminário Integrado de Software e Hardware junto ao Congresso da SBC. 2010.

LAMB, L. C. . Membro do Comitê de Programa: SBIA-2010: Brazilian Symposium on Artificial Intelligence. 2010.

LAMB, L. C. . Membro do Comitê de Programa da 2nd International Conference on Advanced Intelligence (ICAI2010). 2010.

LAMB, Luís C. . Membro do Comitê de Programa: SBRN-2010 (Simpósio Brasileiro de Redes Neurais). 2010.

LAMB, Luís C. ; Easterbrook, Steve . Membro do Comitê Organizador: Second International Workshop on Software Research and Climate Change (WSRCC-2010) at ICSE-2010. 2010.

Lamb, Luis C. . Membro do Comitê Avaliador: Editais "Cientista do Nosso Estado" e "Jovem Cientista do Nosso Estado"- FAPERJ. 2010.

LAMB, L. C. ; Garcez, Artur S. d'Avila ; Pascal Hitzler . Organizador do 6th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'10) at AAAI-10. 2010.

LAMB, Luís C. . Membro do Comitê de Programa IJCNN 2009: International Joint Conference on Neural Networks. 2009.

LAMB, Luís C. . Membro do Comitê de Programa NeSy'09 5th International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI (International Joint Conference on Artificial Intelligence). 2009.

LAMB, Luís C. . Membro do Comitê de Programa: LSFA 2009 - Fourth Workshop on Logical and Semantic Frameworks, with Applications. 2009.

LAMB, Luís C. . Membro do Comitê de Programa do CTIC 2009 - Concurso de Trabalhos de Iniciação Científica no Congresso da Sociedade Brasileira de Computação. 2009.

LAMB, Luís C. . Emissão de Pareceres: Bolsas de Produtividade em Pesquisa CNPq. 2009.

LAMB, Luís C. . Membro do Comitê Avaliador: Jovem Cientista do Nosso Estado e Cientista do Nosso Estado (FAPERJ). 2009.

LAMB, Luís C. . Emissão de pareceres CNPq - Edital 06/2008 - jovens pesquisadores. 2008.

LAMB, Luís C. . Membro do Comitê de Programa SBMF 2008 (Programme Committee Member - Brazilian Symposium on Formal Methods). 2008.

LAMB, Luís C. . Consultor Externo do Processo de Avaliação de Projetos de Pesquisa da UFRN (Universidade Federal do Rio Grande do Norte). 2008.

LAMB, Luís C. . Membro do Comitê de Programa (Programme Committee Member - WIVA 2008 Workshop on Information Visualization and Analysis in Social Networks). 2008.

LAMB, Luís C. ; ARRUDA, E. H. P. . Consultor de Informática do Plano de Governo do Estado do Rio Grande do Sul. 1994.

LAMB, Luís C. ; DIVERIO, T. ; CLAUDIO, D. M. . LEPMAC - Laboratório de Ensino e Pesquisa em Matemática Computacional - Módulo Estatístico. 1991.

LAMB, L. C. . Membro do Comitê de Programa: AAAI 2021 - AAAI Conference on Artificial Intelligence. 2021.

LAMB, Luís C. . Membro do Comitê de Programa da Conferência AAAI2022 - 36th AAAI Conference on Artificial Intelligence. 2021.

LAMB, L. C. . Senior Program Committee Member - IJCAI-PRICAI2020, the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence. 2020.

LAMB, Luís C. . Senior Program Committee Member IJCAI2021 (Membro Sênior do Comitê Científico) International Joint Conference on Artificial Intelligence. 2020.

LAMB, Luís C. . Program Committee Member - Membro do Comitê de Programa - IJCAI2019 - International Joint Conference on Artificial Intelligence. 2019.

LAMB, Luís C. . Membro do Comitê de Programa Científico - Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19. 2019.

LAMB, Luís C. . Membro do Comitê de Programa Científico: IEEE International Conference on Tools with Artificial Intelligence (ICTAI) 2019. 2019.

LAMB, Luís C. . Membro do Comitê de Programa - Program Committee Member: Globecom2019 SAC SN (2019 IEEE Global Communications Conference: Selected Areas in Communications: Social Networks). 2019.

LAMB, Luís C. . Senior Program Committee Member - IJCAI-ECAI-2018 - 27th International Joint Conference on Artificial Intelligence/23rd European Conference on AI. 2018.

LAMB, Luís C. . Membro do Comitê Científico de Programa: 2018 IEEE Global Communications Conference: Selected Areas in Communications: Social Networks. 2018.

LAMB, Luís C. . Membro do Comitê de Programa/Program Committee Member - ICTAI 2018 - IEEE International Conference on Tools with Artificial Intelligence. 2018.

LAMB, Luís C. . Membro do Comitê de Programa/Program Committee Member -13th International Workshop on Neural-Symbolic Learning and Reasoning. 2018.

LAMB, Luís C. . Program Committee Member - Membro do Comitê Científico de Programa: IJCAI-2017 - 26th International Joint Conference on Artificial Intelligence. 2017.

LAMB, Luís C. . Membro do Comitê Científico de Programa - 30.o Concurso de Teses e Dissertações da SBC (CTD 2017). 2017.

LAMB, Luís C. . Program Committee Member - Membro do Comitê de Programa: NeSy'17 Twelfth International Workshop on Neural-Symbolic Learning and Reasoning. 2017.

LAMB, Luís C. . Membro do Comitê de Programa/Program Committee Member - 30th AAAI Conference on Artificial Intelligence AAAI-16. 2016.

LAMB, Luís C. . Membro do Comitê de Programa - Program Committee Member - IEEE GLOBECOM 2016, SAC Social Networking Track. 2016.

LAMB, Luís C. . Membro do Comitê de Programa: XXIX Concurso de Teses e Dissertações da SBC (CTD 2016). 2016.

LAMB, Luís C. . Membro do Comitê de Programa - Program Committee Member - ICTAC 2016 - International Colloquium on Theoretical Aspects of Computing. 2016.

LAMB, Luís C. . Membro do Comitê de Avaliação - Editais FAPERJ - Grupos Emergentes de Pesquisa no Estado do Rio de Janeiro, Cientista do Nosso Estado e Jovem Cientista do Nosso Estado - editais 04, 09 e 10/2016. 2016.

LAMB, Luís C. . Membro do Comitê de Programa - AAAI-17 - Program Committee Member - 31st AAAI Conference on Artificial Intelligence - AAAI-17. 2016.

LAMB, Luís C. . Membro do Comitê de Programa - Technical Program Committee for Best MSc Dissertation/PhD Thesis Contest in Artificial Intelligence (CTDIAC 2016). 2016.

LAMB, Luís C. . Membro da Comissão de Julgamento do Prêmio CAPES de Tese - Edição 2016. 2016.

LAMB, Luís C. . Program Committee Member (Membro do Comitê de Programa): IJCAI-15 International Joint Conference on Artificial Intelligence 2015. 2015.

LAMB, Luís C. . Membro do Comitê de Avaliação Edital PRONEX (Apoio a Núcleos de Excelência) FAPERJ/CNPq. 2015.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): Concurso de Teses e Dissertações - CTD - Sociedade Brasileira de Computação 2015. 2015.

LAMB, Luís C. . Revisor de Artigos Científicos: IEEE/INNS International Joint Conference on Neural Networks IJCNN 2015. 2015.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): Knowledge Discovery and Business Intelligence (KDBI) track - EPIA2015 (17th Portuguese Conference on Artificial Intelligence). 2015.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): BraSNAM 2015 (IV Brazilian Workshop on Social Newtorks Analysis and Mining). 2015.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): Second Latin-American School on Software Engineering ELA-ES 2015. 2015.

LAMB, Luís C. . Membro do Comitê de Avaliação, Editais FAPERJ 14 e 16/2015. 2015.

LAMB, Luís C. . Membro do Comitê de Programa: IEEE Symposium Series on Computational Intelligence: IEEE Symposium on Computational Intelligence for Human-like Intelligence - IEEE SSCI 2015. 2015.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): 6th International Conference on Agents and Artificial Intelligence (ICAART 2014). 2014.

LAMB, Luís C. . Program Committee Member (Membro do Comitê de Programa): 6th ASE international Conference on Social Computing - SocialCom 2014. 2014.

LAMB, Luís C. . Membro do Comitê de Programa: LSFA 2014 - 9th Workshop on Logical and Semantic Frameworks, with Applications. 2014.

LAMB, Luís C. . Technical Program Committee: BraSNAM 2014: III Brazilian Workshop on Social Network Analysis and Mining. 2014.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): Sixteenth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2014). 2014.

LAMB, Luís C. . Comitê Avaliador FAPERJ: Edital de Apoio à Aquisição de Equipamentos de Grande Porte para Instituições de Ensino Superior e Pesquisa Sediadas no Rio de Janeiro. 2013.

LAMB, Luís C. . Program Committee Member - Membro do Comitê de Programa: IJCAI-2013 (International Joint Conference on Artificial Intelligence). 2013.

LAMB, Luís C. . Program Committee Member (Membro do Comitê de Programa): SocialCom 2013: ASE/IEEE International Conference on Social Computing. 2013.

LAMB, Luís C. . Revisor de artigos: IJCNN 2013: International Joint Conference on Neural Networks. 2013.

LAMB, Luís C. . Membro do Comitê de Programa CTIC 2013: Concurso de Trabalhos de Iniciação Científica da Sociedade Brasileira de Computação. 2013.

LAMB, Luís C. . Membro do Comitê de Programa CSBC-BraSNAM 2013: II Brazilian Workshop on Social Network Analysis and Mining. 2013.

LAMB, Luís C. . Membro do Comitê de Programa BRACIS 2013: Brazilian Conference on Intelligent Systems. 2013.

Lamb, Luis C. . Membro do Comitê de Programa da Track KDBI ? Knowledge Discovery and Business Intelligence - EPIA: Encontro Português de Inteligência Artificial 2013. 2013.

Lamb, L.C. . Program Committee Member - 9th International Workshop on Developments in Computational Models DCM 2013. 2013.

LAMB, Luís C. . Membro do Comitê de Programa - II Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2012). 2012.

LAMB, Luís C. . Senior Program Committee Member: The ASE/IEEE International Conference on Social Computing (SocialCom 2012). 2012.

LAMB, Luís C. . Membro do Comitê de Programa: SBRN 2012 Simpósio Brasileiro de Redes Neurais. 2012.

LAMB, Luís C. . Program Committee Member: SBIA 2012 (21st Brazilian Symposium on Artificial Intelligence). 2012.

LAMB, Luís C. . Membro do Comitê de Programa: CTIC 2012 - XXXI Concurso de Trabalhos de Iniciação Científica. 2012.

Lamb, L.C. . Membro do Comitê de Programa do MOMPES 2012 : 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software. 2012.

LAMB, Luís C. . Membro do Comitê de Programa: First ASE International Conference on Social Informatics. 2012.

LAMB, Luís C. . Membro do Comitê de Programa: LSFA 2012 (7th Workshop on Logical and Semantic Frameworks, with Applications). 2012.

LAMB, Luís C. . Membro do Comitê de Programa: ICAART 2012 (4th International Conference on Agents and Artificial Intelligence). 2012.

LAMB, Luís C. . Emissão de Pareceres: ICONIP 2012 (19th International Conference on Neural Information Processing). 2012.

LAMB, Luís C. . Program Committee Member (Membro do Comitê de Programa) 3rd International Conference on Agents and Artificial Intelligence ICAART 2011. 2011.

LAMB, Luís C. . Membro do Comitê de Programa - SEMISH-2011 (Seminário Integrado de Hardware e Software) no Congresso da Sociedade Brasileira de Computação. 2011.

LAMB, Luís C. . Membro do Comitê de Programa - WoSiDA 2011 Workshop on Autonomic Distributed Systems junto ao Simpósio Brasileiro de Redes de Computadores. 2011.

LAMB, Luís C. . Emissão de pareceres para a CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior). 2011.

LAMB, Luís C. . Emissão de pareceres para o CNPq (Pedido de Apoio a Participação em Evento no Exterior e Pós-Doutorado no Exterior). 2011.

LAMB, Luís C. . Membro do Comitê Externo de Avaliação (Edital FAPERJ-CNPq PRONEM: Apoio a Núcleos Emergentes de Pesquisa no Estado do Rio de Janeiro ? 2010). 2011.

LAMB, Luís C. . Membro do Comitê de Programa LSFA2011 (6th Workshop on Logical and Semantic Frameworks, with Applications). 2011.

LAMB, Luís C. . Programme Committee Member: FASE2012 (15th International Conference on Fundamental Approaches to Software Engineering). 2011.

LAMB, Luís C. . Emissão de pareceres para o CNPq (Edital Universal e Bolsas de Produtividade em Pesquisa). 2011.

LAMB, Luís C. . Membro do Comitê de Programa (Program Committee Member): 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 2011.

LAMB, Luís C. . Avaliação de projetos submetidos a editais FAPERGS (APE: auxílio para participação em eventos).. 2011.

LAMB, Luís C. . Membro do Comitê Avaliador Externo do Edital PRONEX FAPERJ (Programa de Apoio a Núcleos de Excelência PRONEX/2009). 2010.

LAMB, Luís C. . Parecer Científico (CNPq): Avaliação de Bolsa de Pós-Doutorado Júnior. 2010.

LAMB, Luís C. . Membro do Comitê de Programa: LSFA 2010 - Workshop on Logical and Semantic Frameworks, with Applications. 2010.

LAMB, Luís C. . Emissão de pareceres para CNPq - MCT/CNPq Nº 70/2009 ? Programa de Expansão da Pós-Graduação em Áreas Estratégicas - PGAEST. 2010.

LAMB, Luís C. . Emissão de Pareceres para o CNPq - Bolsas de Produtividade em Pesquisa e Edital Universal. 2010.

LAMB, Luís C. . Emissão de Pareceres para a CAPES: Projetos de Cooperação Internacional. 2010.

LAMB, Luís C. . Membro do Comitê de Programa: SBMF 2009 - Brazilian Symposium on Formal Methods. 2009.

LAMB, Luís C. . Membro do Comitê de Programa: ENIA 2009: Encontro Nacional de Inteligência Artificial. 2009.

LAMB, Luís C. . Emissão de pareceres: Auxílio Viagem (AVG) e Pós-Doutorado no Exterior CNPq. 2009.

LAMB, Luís C. . Membro do Comitê Avaliador FAPERJ: Edital de Infra-Estrutura de Entidades Estaduais e Sediadas no Rio de Janeiro. 2009.

LAMB, Luís C. . Emissão de pareceres: Edital Universal do CNPq 2009. 2009.

LAMB, Luís C. . Membro do Comitê de Programa SBIA 2008 (Programme Committee Member - Brazilian Symposium on Artificial Intelligence). 2008.

LAMB, Luís C. . Membro do Comitê de Programa NeSy-08 (Programme Committee Member - 4th International Workshop on Neural-Symbolic Learning and Reasoning NeSy-08 at ECAI-08). 2008.

LAMB, Luís C. . Emissão de parecer para XXVIII Congresso da SBC - SEMISH: Seminário Integrado de Software e Hardware. 2008.

LAMB, Luís C. . Emissão de pareceres para FAPERJ. 2008.

LAMB, Luís C. . Membro do Comitê de Programa CTDIA-2008 - Concurso de Teses e Dissertações em Inteligência Artifiical do SBIS 2008 (Simpósio Brasileiro de Inteligência Artificial). 2008.

LAMB, Luís C. . Emissão de Pareceres para Bolsa de Produtividade em Pesquisa do CNPq 2008. 2008.

LAMB, Luís C. . Membro do Comitê de Programa - VI Encontro Nacional de Inteligência Artificial (ENIA 2007). 2007.

LAMB, Luís C. . Membro do Comitê de Programa (Programme Committee member) - 10th Brazilian Symposium on Formal Methods (SBMF 2007). 2007.

LAMB, Luís C. . Membro do Comitê de Programa (Programme Committee member) - 3rd International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'07) at IJCAI-07. 2007.

LAMB, Luís C. . Emissão de pareceres: Bolsas de Produtividade CNPq 2007. 2007.

LAMB, Luís C. . Emissão de pareceres: Edital Universal CNPq 2007. 2007.

LAMB, Luís C. . Emissão de pareceres: Auxílio a Eventos/CNPq. 2007.

LAMB, Luís C. . Revisão de artigo submetido ao 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007). 2007.

LAMB, Luís C. . Parecer sobre auxílios viagem CNPq. 2006.

LAMB, Luís C. . Membro do comitê de programa ECAI 2006 Workshop on Neural-Symbolic Learning and Reasoning (NeSY2006). 2006.

LAMB, Luís C. . Emissão de parecer - CNPq - Edital Universal 2006. 2006.

LAMB, Luís C. . Membro do comitê de programa, Concurso de Teses e Dissertações da Sociedade Brasileira de Computação (CTD2006). 2006.

LAMB, Luís C. . Membro do Comitê de Programa: NeSy'05 Neural-Symbolic Learning and Reasoning at IJCAI 2005. 2005.

LAMB, Luís C. . Emissão de pareceres pós-doutorado no exterior, CNPq. 2005.

LAMB, Luís C. . Emissão de pareceres, Edital Universal, CNPq 2005. 2005.

LAMB, Luís C. . Emissão de pareceres, Auxílios Viagem CNPq. 2005.

LAMB, Luís C. . Emissão de pareceres Bolsas de Produtividade CNPq. 2004.

LAMB, Luís C. . Emissão de pareceres Edital CT-INFO CNPq. 2004.

LAMB, Luís C. . Comissão Julgadora del XI Concurso CLEI-UNESCO de de Tesis de Maestría. 2004.

LAMB, Luís C. . Emissão de parecer sobre projeto de pesquisa para UERGS (Universidade Estadual do Rio Grande do Sul). 2003.

LAMB, Luís C. . Emissão de pareceres para diversos tipos de auxílios do CNPq. 2003.

LAMB, Luís C. . Emissão de Pareceres para CAPES. 2003.

LAMB, Luís C. . Emissão de pareceres Edital Universal CNPq 2003. 2003.

LAMB, Luís C. . Emissão de Pareceres Bolsa Produtividade CNPQ 2003. 2003.

LAMB, Luís C. . Emissão de pareceres de projetos de pesquisa para Universidade Luterana do Brasil. 2003.

LAMB, L. C. ; GARCEZ, ARTUR D?AVILA ; MARCUS, G. . Experts believe a neuro-symbolic approach to be the next big thing in AI. Does it live up to the claims?. 2022. (Programa de rádio ou TV/Outra).

LAMB, Luís C. . Inova RS: Programa quer incluir o Rio Grande do Sul no mapa global de inovação - Por Redação Rádio Pampa. 2021. (Programa de rádio ou TV/Entrevista).

Lamb, Luis C. . Fuga de cérebros: os doutores que preferiram deixar o Brasil para continuar pesquisas em outro país. 2020. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . 'Dados são decisivos para salvar vidas', diz secretário de Inovação, Ciência e Tecnologia do RS. 2020. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Foco na Ciência permite ao Estado antecipar cenários e mitigar riscos - Jornal do Comércio. 2020. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Inteligência Artificial já faz parte da rotina das empresas - Valor econômico. 2019. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . Pesquisadores defendem política nacional de Inteligência Artificial. 2019. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . Mentes Transformadoras - Luís Lamb - secretário da Inovação, Ciência e Tecnologia do RS - Jornal do Comércio. 2019. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . O Globo: 'MIT Cria Primeira Inteligência Artificial Psicopata do Mundo'- Comentário. 2018. (Programa de rádio ou TV/Comentário).

AUDY, J. L. N. ; BALESTRIN, A. ; LAMB, Luís C. . Correio do Povo - Universidades fazem pacto pelo desenvolvimento de Porto Alegre - Comentário em Notícia. 2018. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . Entrevista para a Agência Brasil: Jovens pais brasileiros deixariam robôs cuidar da saúde dos filhos, diz pesquisa. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . RBS TV - JA Ideias: pró-reitor da UFRGS fala da união de universidades em busca de empreendedorismo. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Entrevista RBS TV - JA Ideias: pró-reitor da UFRGS fala sobre evento que discutiu futuro de Porto Alegre. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Entrevista - Jornal do Comércio - País Estão Otimistas com Uso da Inteligência Artificial na Saúde. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Entrevista - Rádio Jovem Pan/São Paulo - Geração IA 2018 IEEE - IA na saúde. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Época negócios - revista - Jovens pais brasileiros deixariam robôs cuidar da saúde dos filhos. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Entrevista ao Vocativo.com: Título - 'Quem está do outro lado da tela?'. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Comentário no Jornal Estado de São Paulo: Computação quântica: a Física abre espaço para nova era das máquinas. 2018. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . Comentário na Revista Consumidor Moderno: Inteligência em Construção. 2018. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. ; NICHEL, G. ; ALMEIDA, D. L. ; GONCALVES, R. P. ; SEVERO, K. . Canal Rural - Seminário Agrotech-Expointer: papel do ecosssistema das startups no agronegócio. 2018. (Programa de rádio ou TV/Mesa redonda).

LAMB, Luís C. . IA: Cada Vez Mais Presente - Entrevista no Jornal Correio do Povo, 14 de outubro de 2018. 2018. (Programa de rádio ou TV/Entrevista).

LAMB, Luís C. . Bots, urna eletrônica e fake news dominam pré-eleição - comentário em matéria no Jornal do Comércio, 24/09/2018. 2018. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . O Estado de São Paulo - Inteligência Artificial Já Faz Trabalho Criativo - 11 Nov. 2018. 2018. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. . Zero Hora - 'O Futuro do Trabalho Já Chegou' - comentário publicado em matéria. 2018. (Programa de rádio ou TV/Comentário).

Villela, D. ; ELLWANGER, M. ; GOMES, A. R. ; LAMB, Luís C. . Rádio web Piratini/PROCERGS: Tecnologia a serviço do cidadão e as mudanças em comportamento e gestão pública geradas por essa nova realidade. 2017. (Programa de rádio ou TV/Mesa redonda).

LAMB, Luís C. . O desafio de criar startups que façam a diferença - Jornal do Comércio - Entrevista com Comentário. 2015. (Programa de rádio ou TV/Comentário).

LAMB, Luís C. ; IDIART, M. A. ; BARONE, D. A. C. ; WALTER, M. . Fronteiras da Ciência Rádio da Universidade: Alan Turing - Rádio da UFRGS - Julho de 2012. 2012. (Programa de rádio ou TV/Mesa redonda).

LAMB, Luís C. ; da Silva, Roberto ; IDIART, M. A. . Fronteiras da Ciência: Ciência no Futebol: Rádio da UFRGS. 2012.

MARCUS, G. ; LAMB, L. C. ; Scarfe, T. . Prof. GARY MARCUS + Prof. LUIS LAMB - Neurosymbolic models - Machine Learning Street Talk. 2021; Tema: Artificial Intelligence; Machine Learning; Neurosymbolic AI. (Rede social).

LAMB, L. C. ; MARCUS, G. ; LI, F. ; KAHNEMAN, Daniel ; ROSSI, F. ; Bouchard, L. . What Can AI Really Do in 2020? AI Rewind + Highlights ft. Gary Marcus, Fei-Fei Li, Luis Lamb.... 2020; Tema: Artificial Intelligence; Machine Learning; Neurosymbolic AI. (Rede social).

LAMB, L. C. ; KAHNEMAN, Daniel ; PEARL, J. ; MARCUS, G. ; ROSSI, F. ; SUTTON, R. ; BOUCHER, V. ; LI, F. ; CALO, R. ; KIDD, C. ; MITCHELL, M. ; KOCH, C. ; STANLEY, K. ; NESS, R. O. ; CHOI, Y. ; TSAO, D. ; MARBLESTONE, A. ; TVERSKY, B. . Luis Lamb?s Remark at AI Debate 2. 2020; Tema: Artificial Intelligence; Machine Learning; Neurosymbolic AI. (Rede social).

FIGUEIREDO, C. M. H. ; LAMB, Luís C. . JAI-2016-Teoria da Computação: Uma Introdução à Complexidade e à Lógica Computacional - SEGUNDA EDIÇÃO. 2016. (Curso de curta duração ministrado/Outra).

FIGUEIREDO, C. M. H. ; LAMB, Luís C. . JAI-2015: Teoria da Computação: Uma Introdução à Complexidade e à Lógica Computacional. 2015. (Curso de curta duração ministrado/Outra).

LAMB, Luís C. . Revisão de artigos - IJCNN 2007 - 20th International Joint Conference on Neural Networks. 2007. (Revisão Científica).

LAMB, Luís C. . Revisão de artigo submetido ao FASE2006 (Fundamental Approaches to Software Engineering). 2006. (Revisão Científica).

LAMB, Luís C. . Revisão de artigo submetido à International FLAIRS Conference 2006. 2006. (Revisão Científica).

LAMB, Luís C. . Revisão de artigo submetido ao journal Information Sciences (Elsevier). 2006. (Revisão Científica).

LAMB, Luís C. . Revisão de artigos, Journal of Applied Logic (Elsevier). 2005. (Revisão Científica).

LAMB, Luís C. . Revisor de Artigos para SBIA 2004 (Simpósio Brasileiro de Inteligência Artificial). 2004. (Revisão Científica).

LAMB, Luís C. . Revisão de artigos submetidos ao JELIA 2004 (9th European Conference on Logics in Artificial Intelligence). 2004. (Revisão Científica).

LAMB, Luís C. . Revisão de artigos para SBMF (WMF) 2004 Simpósio Brasileiro de Métodos Formais. 2004. (Revisão Científica).

LAMB, Luís C. . Revisão de artigos submetidos ao SBRN 2004 (Simpósio Brasileiro de Redes Neurais). 2004. (Revisão Científica).

LAMB, Luís C. ; OLIVEIRA, José Palazzo Moreira de . Revista de Informática Teórica e Aplicada. 2003. (Editoração/Periódico).

LAMB, Luís C. . Revisão de artigo: 16th International FLAIRS Conference. 2003. (Revisão Científica).

LAMB, Luís C. . Revisão de Artigos - Simpósio Brasileiro de Engenharia de Software SBES'2003. 2003. (Revisão Científica).

LAMB, Luís C. . Revisão de Artigos submetidos ao WMF2003 (Workshop on Formal Methods). 2003. (Revisão Científica).

LAMB, Luís C. . Revisão de artigo submetido ao Journal of Applied Logic (Elsevier). 2003. (Revisão Científica).

LAMB, Luís C. . Revisão de artigo para o Journal of the Brazilian Computer Society (JSBC). 2003. (Revisão Científica).

LAMB, Luís C. . Book reviewer do periódico 'The Computer Journal'. 2003. (Revisão Científica).

LAMB, Luís C. . Revisão de artigos submetidos ao WMF'2002 - Workshop de Métodos Formais. 2002. (Revisão Científica).

LAMB, Luís C. . Revisão de artigo submetido à Revista de Informática Teórica e Aplicada (RITA). 2002. (Revisão Científica).

LAMB, Luís C. . Avaliação de Resumo de Dissertação Submetida ao Concurso de Teses e Dissertações (SBC). 2001. (Revisão Científica).

LAMB, Luís C. . Revisão de artigos submetidos ao CLEI´2001. 2001. (Revisão Científica).

LAMB, Luís C. . Revisão de Artigo Submetido ao Journal of Logic and Computation. 1999. (Revisão Científica).

LAMB, Luís C. ; Lima, G. ; VICARI, R. M. ; BAUMGARTEN, M. . Debatedor do Filme "Matrix" na Semana Nacional de Ciência e Tecnologia. 2008 (Debatedor do Filme "Matrix" na Semana Nacional de Ciência e Tecnologia).

LAMB, Luís C. . Participação no programa Multimídia - TV COM - Porto Alegre. 2001.

LAMB, Luís C. ; ROSA, D. S. . Discussão sobre o mercado de trabalho e profissões em computação. 2001.

LAMB, Luís C. ; OLIVEIRA, José Palazzo M . Co-editor-chefe da Revista de Informática Teórica e Aplicada (RITA). 2004 (Edição de periódico científico) .

2024

Invited Speaker: "Neurosymbolic AI: Evolution and Current state of affairs" at NucLear Workshop AAAI 2024, NucLeaR AAAI Workshop:Neuro-Symbolic Learning and Reasoning in the Era of Large Language Models.

2023

Invited Speaker, IBM Neuro-symbolic AI Workshop 2023, IBM Research NY, USA.

2023

Aula Inaugural, Faculdade de Medicina da UFRGS - ChatGPT e I.A. na Saúde, Faculdade de Medicina, UFRGS.

2023

Aula Magna UFRGS 2023: "Inteligência artificial e a humanidade no século XXI", UFRGS Aula Magna de 2023.

2023

Invited Speaker: Neurosymbolic AI: Current state of affairs - 2023 KDD Workshop on Knowledge-infused Learning, KDD'23 Workshop on Knowledge-infused Learning 2023.

2022

Invited speaker: IBM Neuro-Symbolic AI Workshop 2022: A Short on the History and Evolution of Neurosymbolic AI, IBM Research.

2022

Invited Speaker: Learning and Reasoning in Neurosymbolic AI - Dagstuhl Seminar 22291: Machine Learning and Logical Reasoning: The New Frontier, Schloss Dagstuhl ? Leibniz-Zentrum für Informatik GmbH, Germany.

2022

Palestrante na Reunião Magna Academia Brasileira de Ciências:, Academia Brasileira de Ciências. Reunião Magna 2022, Sessão Temática - Informação e Tecnologia.

2022

Invited Speaker: "Learning and Reasoning in Neurosymbolic AI" - Argentine Symposium on Artificial Intelligence (2022):, Argentine Symposium on Artificial Intelligence 2022 (JAIIO).

2022

Plenary Speaker: On the Evolution and Contributions of Neurosymbolic AI - IJCLR 2022, IJCLR 2022: International Joint Conference on Learning and Reasoning 28-30 Sept. 2022.

2021

Medalha Cidade de Porto Alegre, Prefeitura Municipal de Porto Alegre.

2021

Painelista Convidado: AAAI Conference on AI - Neuro-Symbolic AI Panel com M. Botvinick(DeepMind),L.P. Kaelbling(MIT), M.Kwiatkowska(Oxford),G.v.d.Broeck(UCLA), K.Kersting (Dortmund), L.C. Lamb (UFRGS), AAAI - Association for the Advancement of Artificial Intelligence.

2021

Contributor to "climate change: science and solutions briefing series"- Contributor to "Computing for net zero: how digital technology can create a ?control loop for the protection of the planet?, The Royal Society.

2021

Invited Speaker: Ontology Summit 2021 - "Neurosymbolic AI: A bird's eye view", Ontology Summit 2021 Neuro-Symbolic Learning Ontologies.

2021

Keynote speaker: Neurosymbolic AI: An Overview. MLSMKG@PKDD/ECML 2021, Machine Learning with Symbolic Methods and Knowledge Graphs Workshop - ECML/PKDD 2021.

2020

Medalha do Exército Brasileiro, Exército Brasileiro.

2020

Painelista: AI DEBATE 2: MOVING AI FORWARD, com D. Kahneman, J. Pearl, L. Lamb,G.Marcus,Y.Choi,F-F.Li, R.Ness,K.Stanley,R.Sutton,C.Koch,A.Marblestone,D.Tsao,R.Calo,B.Tversky, F.Rossi,C.Kidd,M.Mitchell, MONTREAL AI (Chair: Vincent Boucher).

2020

Painelista Convidado NeurIPS KR2ML: How a historical perspective on artificial and human intelligence can influence AI going ahead. Y. Bengio, D. Kahneman, H. Kautz, L.C. Lamb, G. Marcus, F. Rossi., NeurIPS Workshop - KR2ML Knowledge Representation & Reasoning Meets Machine Learning.

2019

Pesquisador Convidado: Dagstuhl Seminar 19361: Logic and Learning, Schloss Dagstuhl: Leibniz-Zentrum für Informatik GmbH (Leibniz Centre for Informatics).

2019

Troféu HCPA Destaque de Pesquisa - 39.a Semana Científica do Hospital de Clínicas de Porto Alegre, Hospital de Clínicas de Porto Alegre (HCPA).

2019

Trabalho Convidado para Apresentação no "Measurement in AI Policy: Opportunities and Challenges" roundtable e utilizado como referência no "AI Index 2019: Artificial Intelligence Index Report 2019", Human-Centered Artificial Institute (HAI), Stanford University.

2018

Pesquisador Destaque em Ciência da Computação - FAPERGS - Prêmio Pesquisador Gaúcho, FAPERGS: Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul.

2018

Distinguished Senior Program Committee Member - IJCAI-ECAI-2018: 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, 27th IJCAI and 23rd ECAI.

2017

Pesquisador Convidado e co-organizador: Dagstuhl Seminar 17192 - Human-Like Neural-Symbolic Computing, Schloss Dagstuhl - Leibniz Center for Informatics (German: Leibniz-Zentrum für Informatik GmbH).

2014

Pesquisador Convidado e co-organizador: Dagstuhl Seminar 14381 - Neural-Symbolic Learning and Reasoning, Schloss Dagstuhl - Leibniz Center for Informatics (German: Leibniz-Zentrum für Informatik GmbH).

2013

Medalha Comemorativa dos 45 Anos da SUCESU-RS (Associação dos Usuários de Informática e Telecomunicações do Rio Grande do Sul), SUCESU-RS (Associação dos Usuários de Informática e Telecomunicações do Rio Grande do Sul).

2012

Destaque Acadêmico - Prêmio ASSESPRO-RS 2012 - Associação das Empresas de Tecnologia da Informação, Software e Internet, ASSESPRO-RS (Associação das Empresas de Tecnologia da Informação, Software e Internet - Regional RS).

2012

Best Poster (M. Dorn, D.V. Noble, L.C Lamb): Structural Bioinformatics, Molecular and Supramolecular Dynamics Track, X-Meeting 2012 - 8th Intl. Conf. Braz. Assoc. for Bioinformatics and Comp. Biology, Brazilian Association for Bioinformatics and Computational Biology (AB3C).

2012

Grande Colar Dom Pedro II, Ordem dos Cavaleiros da Inconfidência Mineira.

2011

Prêmio Destaque em Ciência e Tecnologia de Porto Alegre 2010-2011 - COMCET, Categoria Personalidade da Área Acadêmica, Conselho Municipal de Ciência e Tecnologia de Porto Alegre.

2011

Grande Colar do Mérito - Tecnologia da Informação e Comunicação, Ordem dos Cavaleiros da Inconfidência Mineira.

2011

Homenagem de Reconhecimento pela Distinção na Realização de Seu Trabalho em Busca da Excelência Acadêmica, Universidade Federal do Rio Grande do Sul.

2011

Orientador de Bolsista de Iniciação Científica (Rafael Kindlein de Andrades): Destaque na Sessão Inteligência Artificial e Fundamentos da Computação: XXIII Salão de Iniciação Científica da UFRGS, XXIII Salão de Iniciação Científica da UFRGS.

2011

IJCAI-11 Travel Grant Program Award, International Joint Conference on Artificial Intelligence.

2010

Orientador de Doutorando (Marcio Dorn) selecionado para o Programa Top USA Santander Universidades/UFRGS: visitas a Massachusetts Institute of Technology, Brown University, Northeastern University, (Banco Santander).

2010

Medalha Cinquentenário das Forças de Paz do Brasil, Associação Brasileira das Forças Internacionais de Paz da ONU.

2009

Orientador de Tese de Doutorado Aprovada Com Louvor: Aluno Ricardo Matsumura de Araújo, Universidade Federal do Rio Grande do Sul, Programa de Pós-graduação em Computação (PPGC-UFRGS).

2009

Ordem do Mérito Marechal Cândido Mariano da Silva Rondon, Federação das Academias de Letras e Artes de São Paulo (FALASP).

2008

Pesquisador Convidado, Dagstuhl Seminar 08041: Recurrent Neural Networks: Models, Capacities and Applications, Schloss Dagstuhl - Leibniz Center for Informatics (German: Leibniz-Zentrum für Informatik GmbH).

2007

Research Fellow, The Abductive Systems Group, Department of Philosophy, University of British Columbia, Canada, The Abductive Systems Group, Department of Philosophy, University of British Columbia.

2006

Orientador de mestrado: R.M. Araújo, menção honrosa, Concurso de Teses e Dissertações em Inteligência Artificial, Simpósio Brasileiro de Inteligência Artificial, SBIA/IBERAMIA, Sociedade Brasileira de Computação, CTDIA'2006 (Concurso de Teses e Dissertações em IA).

2006

IJCAI 2007 Travel Grant Program Award, International Joint Conference on Artificial Intelligence.

2005

IJCAI 2005 Travel Grant Program Award, International Joint Conference on Artificial Intelligence.

2005

NIPS 2005 Travel Award - International (Declined), Neural Information Processing Systems Foundation, San Diego, CA.

2002

Aprovado em Primeiro Lugar - Concurso Público para Professor Adjunto, Depto. de Informática Teórica, UFRGS, Universidade Federal do Rio Grande do Sul.

2002

Honorary Visiting Fellow, Department of Computing, City University, London.

1993

Menção Honrosa - Prêmio Beatriz Neves - Algoritmos Paralelos de Ordenação: Aplicações, Complexidade e Metodologias de Desenvolvimento, SBMAC (Sociedade Brasileira de Matemática Aplicada e Computacional).