Outros

• Membro da Assembleia de Representantes da FCT/UNL, como representante dos docentes e investigadores doutorados extra-quadro.

2005/2006

Ensino

• Linguagens de Programação 1 (LEI) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (200 alunos)
• Tópicos Avançados de Modelos e Linguagens de Programação (MEI) - DI/FCT/UNL - Regência partilhada. Aulas teóricas do primeiro módulo. (6 alunos)
• Linguagens de Programação 1 - Academia da Força Aérea - Regência. Aulas teóricas e parte das aulas práticas.

• Linguagens e Técnicas de Programação Avançadas (LEI + MEI) - DI/FCT/UNL - Regência. Aulas teóricas e aulas práticas. (43 alunos)
• Linguagens Formais e Autómatos (LEI) - DI/FCT/UNL - Parte das aulas práticas. (70/172 alunos)

Concursos de Programação

• Responsável Técnico pela prova do TIUP'2006, Etapa 5 - Torneio Inter-Universitário de Programação 2006.
• Coordenador da Comissão Técnica do Concurso SWERC'2006 - South Western Europe Regional ACM Programming Contest 2006. November, 17-19, 2006. Lisbon, Portugal.

Orientações de estágio de fim de curso

• "Aplicação para configuração de sistema de coordenação de satélites", na "Critical Software SA", por Henrique Jorge Antunes de Oliveira.
• "Modellus Java", na "Medialog Europa", por João António Lopes da Costa Amaro Caxaria.

Publicações

• Artur Miguel Dias. Moving from Mailing Lists to Web-based Discussion Forums. ACM ITiCSE 2005, 10th Annual Conference on Innovation and Technology in Computer Science Education, Monte de Caparica, Portugal, June 2005.
• Michel Wermelinger, Artur Miguel Dias. A Prolog Toolkit for Formal Languages and Automata. ACM ITiCSE 2005, 10th Annual Conference on Innovation and Technology in Computer Science Education, Monte de Caparica, Portugal, June 2005.
• Sérgio Lopes, Artur Miguel Dias. Ligação entre CxProlog e wxWidgets. Relatório Técnico. CITI-DI/FCT. UNL.Abril de 2005.

2006/2007

Ensino

• Linguagens de Programação 1 (LEI) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (191 alunos)
• Tópicos Avançados de Modelos e Linguagens de Programação (MEI) - DI/FCT/UNL - Regência partilhada. Aulas teóricas do primeiro módulo. (1 aluno)

Comités de Programa

• PPPJ'2007

Concursos de Programação

• Responsável Técnico pela prova do TIUP'2007, Etapa 5 - Torneio Inter-Universitário de Programação 2007.
• Coordenador da Comissão Técnica do Concurso SWERC'2007 - South Western Europe Regional ACM Programming Contest 2007. November, 16-18, 2007. Lisbon, Portugal.

Orientações de estágio de fim de curso

• "Soluções de Negócio Microsoft CRM e cVidya", na "PT Sistemas de Informação, SA", por João Manuel Rodrigues Pires.

Publicações

• Henrique Oliveira, Artur Miguel Dias. Interfaces Gráficas em CxProlog. Relatório Técnico. CITI-DI/FCT.UNL. Maio de 2006.
• Artur Miguel Dias. Manual do CxProlog. Dezembro de 2006.

2007/2008

Ensino

• Linguagens e Ambientes de Programação (LAP) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (1?? alunos)

Concursos de Programação

• Membro do Juri, IEEE, Fev 2008.

Eventos

• Program Committee Member @ 5th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java, Sep 2007

Orientações Mestrado

• Início em 28/Fev/2007: Pedro Teodoro - Inferência de tipos em Ruby.

Outros

• Sabática, Fev/2007 - Fev/2008

2008/2009

Ensino

• Programação Multi-Paradigma (MEI) - DI/FCT/UNL - Regência partilhada. Aulas teóricas e práticas. (25 aluno)
• Introdução à Programação 1 (FCT) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (1?? alunos)
• Linguagens e Ambientes de Programação (LAP) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (1?? alunos)
• Projecto Integrador (PI) - DI/FCT/UNL - Algumas aulas teóricas e parte das aulas práticas. (1?? alunos)

Eventos

• Program Committee Member @ 7th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java. Ago/2009

Comités de Programa

• PPPJ'2009

Orientações Mestrado

• Concluído em Dez/2008: Pedro Teodoro - Inferência de tipos em Ruby. (nota Muito Bom?)
• Início em 15/Set/2008: Igor Carvalho - Plugin de CxProlog para o Code::Blocks IDE.

Orientações de estágio de fim de curso

• "Estágio - Área de T.I.", na "Target Sistemas, Lda", por Bruno Miguel Argêncio Nogueira.
• "Estágio - Área de T.I.", na "Target Sistemas, Lda", por Diana Buchinho Eugênio.

2009/2010

Ensino

• Programação Multi-Paradigma (MEI) - DI/FCT/UNL - Regência partilhada. Aulas teóricas e práticas. (25 aluno)
• Introdução à Programação 1 (FCT) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (1?? alunos)
• Linguagens e Ambientes de Programação (LAP) - DI/FCT/UNL - Regência. Aulas teóricas e parte das aulas práticas. (1?? alunos)
• Projecto Integrador (PI) - DI/FCT/UNL - Algumas aulas teóricas e parte das aulas práticas. (1?? alunos)

Comités de Programa

• PPPJ'2010

Orientações Mestrado

• Concluído em 24/Nov/2009: Igor Carvalho - Plugin de CxProlog para o Code::Blocks IDE (nota 15)
• Início em 15/Set/2009: André Castro - Gestão de memória em CxProlog
• Início em 15/Set/2009: Duarte Martins - JavaCO - Uma variante de Java com um sistema de tipos baseado em covariância

Orientações de estágio de fim de curso

• "Desenvolvimento de aplicação para iPhone e iPod Touch", na "Mesna Consultores de Gestão e Novas Tecnologias, Lda", por Miguel Ângelo da Cunha Campião.
• "Mislabeling - RFID Identification", na "2 Soft, Lda", por Rui Jorge Garcia Morais.

2010/2011

Orientações Mestrado

• Concluído em Out/2010: André Castro - Gestão de memória em CxProlog
• Concluído em Out/2010: Duarte Martins - JavaCO - Uma variante de Java com um sistema de tipos baseado em covariância

Eventos

• Program Committee Member @ 8th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java. Set/2010

Orientações de estágio de fim de curso

• "Criação de aplicações para plataformas móveis", na "Javali - Administração e Desenvolvimento de Sistemas Informáticos, Lda", por António Gomes Cardoso.
• "Desenvolvimento de aplicações em java", na "Sinfic SA", por Ruben Emanuel Guerra Moura.

2011/2012

Juri

• "Or-Parallel Prolog Execution on Multicores based on Stack Splitting", Rui Edgar Silva Vieira, Ricardo Rocha

Eventos

• Program Committee Member @ 9th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java. Ago/2011

Orientações de estágio de fim de curso

• "Extensões(Add-ons) browsers Firefox e Chrome, para inserir conteudos digitais em coleções e integração com redes sociais.", na "Plural", por Joel Paulo Gil Ferreira.
• "Sistema de Gestão de Rollouts (TS)", na "Hewlett Packard Portugal", por Hugo Miguel da Costa Tavares.
• "Sistema de Gestão de Rollouts (TS)", na "Hewlett Packard Portugal", por Luís Filipe Gaspar Lopes.

2012/2013

Orientações de estágio de fim de curso

• "Desenvolvimento de Apps Para Smartphones & Tablets", na "Innovagency, S.A.", por Cláudio António Pina Querido dos Reis Borges.
• "Mobile Marketing Applications", na "Worldit, sistemas de informação", por Diogo Miguel Guerra Mateus.

2013/2014

Protótipos

• "Zib v0.8 - Language and Compiler for the Parallel Computing Environment Elina", Set/2013

Orientações de estágio de fim de curso

• "Plataforma para automação de testes funcionais de software.", na "Link Consulting, Tecnologias de Informação, S.A.", por Adilson António Rodrigues Cabral.
• "IDE Eclipse para CxProlog", na "SQIMI", por André Filipe Pereira Ramos.

Concursos de Programação

• Responsável Técnico pela 2ª etapa do TIUP'2014 / 2ª Etapa - Torneio Inter-Universitário de Programação.

2014/2015

Protótipos

• "ScalaSOMD v1.2 - framework supporting the SOMD execution model", Jun/2014

Orientações Mestrado

• Início em Out/2015: João Rato - Interfaces externas do CxProlog para Python e OCaml.

Orientações de estágio de fim de curso

• "Reservas ad-hoc K4T em iPhone", na "ViaTecla - Soluções Informáticas e Comunicações S.A.", por João Filipe Modesto Fornelos.
• "Registo Mobile de contractos de Hotelaria", na "ViaTecla - Soluções Informáticas e Comunicações S.A.", por Rui Filipe Castanheira Sanches.

2015/2016

Protótipos

• "ScalaSOMD v2.2 - framework supporting the SOMD execution model", Mai/2015
• "CxProlog version 0.98.0", Set/2015

Orientações Mestrado

• Concluído em Nov/2015: João Rato - Interfaces externas do CxProlog para Python e OCaml. (nota 16)
• Início em Out/2015: André Ramos - IDE baseado em Eclipse para o CxProlog.

Orientações de estágio de fim de curso

• "Integração de soluções de Service Bus com Business Process Management", na "TimeStamp. SI", por Daniela Sofia da Silva Henriques.
• "Tiago José da Costa Madeira", na "TimeStamp. SI", por Tiago José da Costa Madeira.
• Membro da equipa de avaliação de propostas de estágio