Pedro manuel Rangel santos Henriques

staff member --Professor Associado (de nomeação definitiva)-- of

Departamento de Informática - Telef: +351-253604470 Fax: +351-253604471

Universidade do Minho

Campus de Gualtar - 4710-057 BRAGA, Portugal

Endereço Electrónico: "prh" em "di uminho pt"

research member of

gEPL -- Grupo de Especificação e Processamento de Linguagens

the Language Processing subgroup at CCTC -- Centro de Ciências e Tecnologias de Computação

Research subjects

• Language Specification and Processing (methods & tools):
  • Grammar development and Parsing algorithms
  • Attribute Grammars and Attribute Evaluation
  • Attributed Tree Transformation
  • Code Generation and Optimization
  • Language Processor Generators (compiler compilers)
  • Visual Language parsing and translation
  • Program Visualizers and Animators
• Programming Languages and Paradigms (imperative, declarative, OO)
• Program Comprehension (models, approaches, and tools)
• Document Specification and Processing (markup languages)
• Knowledge Representation and Discovery (data-mining and text-mining)

Educational Activities (course units)

• Introdução à Informática (Arqueologia, 1ºano-1ºsem.): [2010/11] [2009/10] [2008/09] [2007/08] [2006/07] [2005/06] [2004/05] [2003/04]
• Paradigmas da Programação (MiECom, 2ºano-Anual): [2010/11] [2009/10]
• Paradigmas da Programação I (Mi(L)ECom, 2ºano-1ºsem.): [2008/09] [2007/08] [2006/07] [2005/06] [2004/05]
• Métodos de Programação III (LESI+LMCC, 3ºano-1ºsem.): [2005/06] [2003/04]
  • Sumários das Aulas TP1 e TP2 da LESI (05/06)
  • Sistema de Submissão de TP's (05/06)
  • Pauta do Exame Especial (recurso) de LESI (07/08)

• ---

• Processamento de Linguagens e Compiladores (LCC, 2ºano-2ºsem.): [2010/11] [2009/10] [2008/09]
• Processamento de Linguagens (LEI, 3ºano-2ºsem.): [2010/11] [2009/10] [2007/08]
• Processamento de Linguagens I (LESI+LMCC, 3ºano-2ºsem.): [2006/07] [2005/06] [2004/05] [2003/04]
• Programação Imperativa (LEI+LCC, 1ºano-2ºsem.): [2010/11 ((LCC)] [2009/10(LCC)] [2006/07(LCC)] [2006/07(LEI)] [2004/05(LMCC)]
  • Sumários das Aulas TP+P de LCC (09/10)
  • Sumários das Aulas P de LMCC (04/05)
• Laboratórios de Informática II (LEI, 1ªano-2ªsem.): [2006/07]
• Paradigmas da Programação II (LESI, 1ºano-2ºsem.): [2005/06] [2003/04] [2002/03]
  • Sumários das Aulas TP de LESI (05/06)
  • Sumários das Aulas TP de LMCC (03/04)
• Métodos de Programação II (LECom, 1ºano-2ºsem.): [2005/06]
  • Sumários das Aulas T (05/06)
• Tecnologias da Comunicação em Humanidades (LEO, 1ºano-2ºsem.): [2005/06]
• Laboratórios de Comunicações III (MiECom, 2ªano-1ªsem.): [2007/08] [2006/07]
• Laboratórios Integrados II (LECom, 1ªano-2ªsem.): [2003/04]
• Laboratórios Integrados IV (LECom, 2ªano-2ªsem.): [2003/04]
• Laboratórios Integrados V (LECom, 3ªano-1ªsem.): [2004/05]
• Laboratórios Integrados VI (LECom, 3ªano-2ªsem.): [2004/05]

• ---

• [Lab. de Informática 4] Projectos de fim de curso, propostos pelo gEPL (LEI, 3ºano-2ºsem.): [2007/08 (Template de Relatório)]
• [Opção 3] Projectos de fim de curso, propostos pelo gEPL (LESI+LMCC, 5ºano-1ºsem.): [2007/08] [2005/06] [2004/05] [2003/04]
• Projectos de ESTÁGIO e PÓS-GRADUAÇÃO: [2005/06]

• ---

• Processamento de Linguagens (Mestrado & Curso-Especialização em Informática, 2ºsem.): [2006/07] [2005/06] [2004/05]
• Análise e Modelação de Sistemas de Armazenamento e Transporte de Dados (Mestrado & Curso-Especialização em Sistemas de Dados e Processamento Analítico, 1ºsem.): [2006/07] [2004/05] [2003/04]

• ---

• Fundamentos de Programação (CET em Desenvolvimento de Software e Administração de Sistemas, 1ºtrim.): [2006/07]

• ---

• Mestrados em Informática(2º Ciclo em Informática, segundo a declaração de Bolonha): [2009/10] [2008/09] [2007/08]
  • UCE30-EL, Engenharia de Linguagens: [apresentação da UCE em EL] [2011/12] [2010/11] [2009/10] [2008/09] [2007/08]
  • UCE15-Seminário: [2008/09] [2007/08]
  • Temas para TESE propostos pelo gEPL: [2009/10] [2008/09]
  • Algoritmos e Paradigmas de Computação (Mestrado em Ensino de Informática, 1ºsem.): [2011/12]

Ph. D. Supervision

• José Carlos Leite Ramalho, Documents Structural Processing and their Semantics, 2000 (finished).
• Maria de Fátima Coutinho Rodrigues (co-supervisor), An Heterogeneous Architecture for Knowledge Extraction from Databases, 2000 (finished).
• José João Dias de Almeida, Multiple-source Dynamic Dictionaries, 1997 (finished).
• Jorge Gustavo Rocha, Geographical Information: Meta-Information, Representation and Visualizatiom, 1997 (finished).
• Maria João Varanda Pereira, Systematization of Program Visualization and Algorithm Animation, 1998 (finished).
• Paulo Jorge Matos, An Architectural Model for the Development of Compilers: application to "Dolphin" Framework, 2000 (finished).
• Giovani Rubert Liberlotto (co-supervisor), Topic Maps, from Syntax to Semantics, 2001 (finished).
• Gustavo Vasconcelos Arnold (co-supervisor), Automatization of the Code Generation for different Industrial Robots, 2001 (finished).
• Paulo Jorge Oliveira (co-supervisor), Data Quality Problems in Databases: Detection and Correction, 2003 (undergoing).
• Mario Marcelo Béron (co-supervisor), a Alpha-LERNet student from Universidade Nacional de San Luis, Argentina, Program Inspection to interconnect the Behavioral and Operational Views for Program Comprehension, 2006-2009.
• Daniela Carneiro da Cruz (co-supervisor), Verification, Slicing and Visualization of Programs with Contracts, 2007-2011.

Projects

• Language.Processing@di.um.pt: Language Processors & Compilers projects and tools
• GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC approach
• GamaPolarSlicer: a module of Gama Project for the safety reuse of Annotated Programs
• GamaBoogie: a module of Gama Project for Slicing, and a Visualizing Boogie Programs
• XTDL Laboratory Site: XTDL - XML Tool Definition Language & XTS - XTDL Tool Set
• VisualLISA -- Attribute Grammars made easier: A Visual Environment to edit AG Specifications for LISA Compiler-compilers
• Alma2: A tool for Program Comprehension of Domain-Specific Languages
• Alma: A Generic System for Program Visualization /Animation
• WebAppViewer (WAV): A comprehensive toolset for understanding Web-Applications
• METAMORPHOSIS -- a Topic Maps Builder (Oveia), Validator (Tche), and Navigator (Ulisses):
  A XML generic platform for TM specification (syntax+semantics), construction (enabling data extraction from heterogenous information resources), validation (according to a constraint spec), storage (XTM-format or Database), and navigation (conceptual browsing).
• Quixote: Desenvolvimento de modelos do domínio do problema para inter-relacionar as vistas operacional e comportamental em sistemas de software (bilateral Cooperation Project (Argentina-Portugal))
• AsCop: Assessing Comprehension of Domain Specific Programs (bilateral Cooperation Project (Slovenia-Portugal))
• CROSS Project: An Infrastructure for Certification and Re-engineering of Open Source Software
• Matisse Project: MathIS - Reinvigorating Mathematics for the Information Society
• PCVIA Project: Program Comprehension by Visual Inspection and Animation
• DSLPC: Program Comprehension for Domain Specific Languages (bilateral Cooperation Project (Slovenia-Portugal))
• Voda Project: Grammar-based Systems
• OntXQuery: An Information Retrieval System, interactive and iteractive/incremental, based on XQuery++ to search XML documents over the Semantic-Web using ontologies
• SIEP: An web-based Information System to support the Prosopographic study of portuguese medieval priests, in the context of the "Fasti Ecclesiae Portugaliae" FCT project.
• SEED: An heterogeneous Information System (based on a generic framework, FDase) to support the study of Demographic Evolution
• SIME: The Information System for the Emigration virtual Museum
• PICO: An web site to teach mental-disabled children
• ALFA LerNET: Langage Engineering and Rigourous software development Network of Higher Education and Research Intitutions under the auspices of the European Commission ALFA (Latin America Academic Training) programme.
• Núcleo Português do Museu da Pessoa: A Virtual Museum to collect, process and expose individual "Life Stories", the first nucleus of the Museu da Pessoa, São Paulo, Brasil
• MetaMedia: Meta data for archives: audio-visual and textual description schemes (PRAXIS project)
• SIABRA: A SIG for the archaeology of "Bracara Augusta" (PRAXIS project)
• GeIRA: A site to disseminate Cultural and Scientific information about the North of Portugal (InterReg II project)
• DAVID: Algebraic Document Processing (FCT project)
• SARA: Visual Languages, specification, processing and applications (FCT project)
• LEPAForM : Languages and Environments for the pragmatic application of Formal Methods (ICCTI project)
• SIGaQREN

Publications

(look on my CV
or search at CCTC - Member profiles - PRH - myPublications)

Talks:

• "Maratonas de Programação e outros Desafios Lúdicos (baseados em computador): o seu papel na educação" (palestra nas "XIII Jornadas de Informática da UBI" organizadas pelo NINF, Núcleo de Informática da UBI, Covilhã, Março de 2004)
• Palestra no Encontro sobre o Património Arquitectónico na Universidade do Minho (organizado pelo Casa de Sarmento, UM / Campus de Azurém, Novembro de 2003)
• Palestra no 1º Simpósio Internacional "Memória, Rede e Mudança Social (organizado pelo Museu da Pessoa, São Paulo, Brasil, Agosto de 2003)

Program / Organizing Committees

• Member of the Scientific Committee and organizer of CNPLf (05,..,07) -- Concurso/encontro Nacional de Programação Lógica e Funcional
• Member of the Scientific Committee and organizer of CeNPL (98,..,04) -- Concurso/encontro Nacional de Programação Lógica
• Member of the Scientific Committee and organizer of MIUP-TIUP (00,..)-- National Imperative Programming Contests.

• ---

• Program co-chair and organizer of RAISE'2012
• General chair and organizer of ICPC'2010 -- 18th IEEE International Conference on Program Comprehension
• Program chair and organizer of CoRTA'2010 -- 4th. Int. Workshop on Compiler and Related Technologies and Applications, Braga, Sept. 2010.
• Member of the Scientific Committee and organizer of CoRTA'2009 -- 3rd Int. Workshop on Compiler and Related Technologies and Applications, Lisboa, Sept. 2009.
• Program co-chair and organizer of CoRTA'2008 -- 2nd Int. Workshop on Compiler and Related Technologies and Applications, Bragança, July 2008.
• Program co-chair and organizer of CoRTA'2007 -- 1st Int. Workshop on Compiler and Related Technologies and Applications, Covilhã, July 2007.
• Program co-chair and organizer of CTNET'2006 -- 2nd Int. Workshop on Compiler related Technologies for the .NET plataform, Covilhã, April 2006.
• Program co-chair and organizer of SIA2D'2004 -- 1st Int. Workshop on Sistemas de Informação para a Análise de Dados Demográficos, Granada/Spain, April 2004; (co-located with ADEH'2004, VII Congresso Ibérico de Demografia Histórica).
• Program co-chair and organizer of WAGA'2000 -- 3rd. Int. Workshop on Attribute Grammars and their Applications, Ponte do Lima, Junho 2000. (co-located with MPC'2000).
• Program co-chair and organizer of SIA'1999 -- 1st Workshop on Archaeologic Information Systems: GIS applied to Archeology, Vila Real, Set. 1999; (co-located with CAP'1999 -- 3º Congresso de Arqueologia Peninsular).
• Program chair and organizer of WDavid'1996 -- Workshop David: Algebraic Document Processing, Braga, September 1996.
• Program chair and organizer of WoLP'1993 -- Workshop on Language Processing: OO-approaches and Parallelism, Braga, October 1993.

• ---

• Member of the Scientific Committee of SLATe'2012, MDaSD'2012, BCI'2012
• Member of the Scientific Committee of SAC'2010/2011/2012, PL + DE Technical Tracks -- ACM-SIGAPP Symposium on Applied Computing
• Member of the Scientific Committee of ICPC'2011
• Member of the Scientific Committee of BIONETICS'2010, "AI and software engineering" Technical Tracks -- The 5th Int. Conference on Bio-Inspired Models of Network, Information and Computing Systems
• Member of the Scientific Committee of SAC'2008, PL + DE Technical Tracks -- ACM-SIGAPP Symposium on Applied Computing
• Member of the Scientific Committee of XATA -- National Conference on XML and Associated Technologies and Tools, since 2003.
• Member of the Scientific Committee of CAPSI -- Annual Conference of the Portuguese Association for Information Systems, since 2000.
• Member of the Scientific Committee of Interacção -- Bi-Annual National Conference on Man-Machine Interaction, since 2006.

• ---

• Co-Organizer of ECAI'2010 -- 19th European Conference on Artificial Intelligence
• Co-Organizer of ETAPS'2007 -- European Joint Conferences on Theory and Pratice of Software
• Co-Organizer of GTTSE'2005 -- Summer School on Generative and Transformational Techniques in Software Engineering
• Co-Organizer of MPC'2000 -- Int. Conference on Mathematical for Program Construction
• Co-Organizer of SSAFP'1998 -- 3rd. Summer School on Advanced Functional Programming

Important / Interesting Links

Programming Contests

• dpUM: grupo de Desafios Lógicos de Programação da Universidade do Minho
• CeNPL - Concurso/encontro Nacional de Programação Lógica: [arquivo de enunciados] [sítio central] [2007] [2006] [2005] [2004]
• MIUP - Maratona Inter-Universitária de Programação: [2009] [2008] [2007] [2006] [2005] [2004]
• TIUP - Torneio nacional Inter-Universitária de Programação: [sítio central]
• SWERC - South-West European ACM-programming Contest: [2006]

Conferences and Other Scientific Events

Some interesting sites:
Upcoming Software Engineering Conference Map
Conference Calendar
WikiCFP, A Wiki for Calls For Papers

• ---

• SAC'2012 (26-30Mar): 27th Symposium On Applied Computing
  • SAC-PL (25-29Mar): Technical Track on "Programming Languages"
  • SAC-DE (25-29Mar): Technical Track on "Document Engineering"
• ETAPS'2012 (24Mar-01Apr): The European Joint Conferences on Theory and Practice of Software
  • LDTA'2012 (satellite event of ETAPS/31Mar-01Apr): 12th Workshop on Language Descriptions, Tools and Applications
• ICST'2012 (17-21Apr): 5th International Conference on Software Testing, Verification and Validation
• ICSE'2012 (2-9Jun): 34th International Conference on Software Engineering
  • RAISE'2012 (5Jun): Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
• MSR'2012 (co-located with ICSE, 2-3Jun): 9th International Working Conference on Mining Software Repositories
• ICPC'2012 (11-13Jun): 20th IEEE International Conference on Program Comprehension
• SLATe'2012 (21-22Jun): International Symposium on Languages, Applications and Technology
• ASE'2012 (03-07Sep): 27th IEEE/ACM International Conference on Automated Software Engineering
• FedCSIS'2012 (09-12Sep): Federated Conference on Computer Science and Information Systems
  • MDASD'2012: 2nd Workshop on Model Driven Approaches in System Development
• BCI'2012 (16-20Sep): 5th Balkan Conference in Informatics

• ---

• SDDI'2004: Simpósio Doutoral do Departamento de Informática
• XATA'2005: XML: Aplicações e Tecnologias Associadas
• JOIN'2005: Jornadas de Informática do DI
• GTTSE'2005: Summer School on Generative and Transformational Techniques in Software Engineering
• CHALLENGES'2005 IV Conferência Internacional de Tecnologias de Informação e Comunicação na Educação
• Data Gadgtes'2005:Bringing up Emerging Solutions for DataWarehousing Systems (held in conjunction with JISBD'2005)
• TMRA'2005: International Workshop on Topic Map Research and Applications
• CAPSI'2005: 6ª Conferência da Associação Portuguesa de Sistemas de Informação
• SIIE'2005: VII Simpósio Internacional de Informática Educativa
• EPIA'2005: 12th Portuguese Conference on Artificial Intelligence
• XATA'2006: XML: Aplicações e Tecnologias Associadas
• SDDI'2006: III. Simpósio Doutoral do Departamento de Informática
• CTNET'2006: Compiler related Technologies for the .NET plataform
• LDTA'2006: Sixth Workshop on Language Descriptions, Tools and Applications (a satellite event of ETAPS'2006)
• JOIN'2006: 4ª Jornadas de Informática do DI
• SAC'2006: The 21st Annual ACM Symposium on Applied Computing -- Programming Languages (PL) Technical Track
• ICKEDS'2006: International Conference on Knowledge Engineering and Decision Support
• CISTI'2006: 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação
• ITICSE'2006: The Eleventh Annual Conference on Innovation and Technology in Computer Science Education
• ICPC'2006: 14th International Conference on Program Comprehension (see also IWPC: International Conferences on Program Comprehension)
• SCAM'2006: Sixth IEEE International Workshop on Source Code Analysis and Manipulation
• Interacção 2006: 2ª Conferência Nacional em Interacção Pessoa-Máquina
• SIIE'2006: VIII Simpósio Internacional de Informática Educativa
• CAPSI'2006: 7ª Conferência da Associação Portuguesa de Sistemas de Informação
• XATA'2007: XML: Aplicações e Tecnologias Associadas
• ETAPS'2007: European Joint Conferences on Theory and Pratice of Software
• LDTA'2007: Seventh Workshop on Language Descriptions, Tools and Applications (a satellite event of ETAPS'2007)
• SBLP'2007: 11th Brazilian Symposium on Programming Languages
• ADEH'2007: VIII Congresso da Asociación de Demografía Histórica (ADEH)
• CISTI'2007: 2ª Conferência Ibérica de Sistemas e Tecnologias de Informação
• VISSOFT'2007: 4.th IEEE Int. Workshop on Visualizing Software for Understanding and Analysis (co-located with ICPC'2007: 15th Int. Conference on Program Comprehension)
• CoRTA'2007: Compilers, Related Technologies and Applications
• SCAM'2007: 7.th IEEE Int. Working Conference on Source Code Analysis and Manipulation (co-located with ICSM'2007: 23rd Int. Conference on Software Maintenance)
• WAPL'2007: 1st Workshop on Advances in Programming Languages
• XATA'2008: XML, Aplicações e Tecnologias Associadas
• SAC'2008: The 23rd Annual ACM Symposium on Applied Computing
  • SAC-PL, Technical Track on Programming Languages
  • SAC-DE, Technical Track on Document Engineering
• LDTA'2008: 8th Workshop on Language Descriptions, Tools and Applications (a satellite event of ETAPS'2008)
• ICSE'2008: 30th International Conference on Software Engineering
• ICPC'2008: the sixteenth IEEE International Conference on Program Comprehension
• CISTI'2008: 3ª Conferencia Ibérica de Sistemas y Tecnologías de la Información
• CoRTA'2008: Compilers, Related Technologies and Applications
• WikiSym 2008: 4th International Symposium on Wikis
• SIGDOC 2008: 26th ACM International Conference on Design of Communication
• CLEI'2008: XXXIV Conferencia Latinoamericana de Informática
• CSE'2008: International Scientific Conference on Computer Science and Engineering
• Models'2008: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems
• CACIC'2008: XIV CONGRESSO ARGENTINO DE CIÊNCIAS DA COMPUTAÇÃO
• Iberamia'2008: International Conference of AI Ibero-american Community
• WCRE'2008: 15th Working Conference on Reverse Engineering
• Interacção'2008: 3ª Conferência Nacional em Interacção Pessoa-Máquina
• CAPSI'2008: 8ª Conferência da Associação Portuguesa de Sistemas de Informação
• ICAART'2009 (19-24Jan): Int. Conf. on Agents and Artificial Intelligence
• ETAPS'2009 (22-29 Mar): European Joint Conferences on Theory and Pratice of Software
  • LDTA'2009 (satellite event of ETAPS): 9th Workshop on Language Descriptions, Tools and Applications
  • OpenCert'2009 (satellite event of ETAPS): 3rd Int. Workshop on Foundations and Techniques for Open Source Software Certification
• CSMR'2009 (24-27Mar): 13th European Conference on Software Maintenance and Reengineering
• WWW'2009 (20-24Abr): 18th International World Wide Web Conference
• ICEIS'2009 (6-10Mai): 11th International Conference on Enterprise Information Systems
• ICSE'2009 (16-24Mai): 31st International Conference on Software Engineering
  • ICPC'2009 (co-located with ICSE): 17th IEEE International Conference on Program Comprehension (main site)
  • Doctoral Consortium (co-located with ICSE):
• PLDI'2009 (15-20Jun): Programming Language Design and Implementation
• CISTI'2009 (17-20Jun): 4ª Conferência Ibérica de Sistemas e Tecnologias de Informação
• HCI'2009 (19-24Jul): 13th International Conference on Human-Computer Interaction
• Interact'2009 (24-28Ago): Interact 2009, Research and Practice
• INForum'2009 (10-11Set): Simpósio de Informática
  • CoRTA'2009 (10-11Set): Compilers, Related Technologies and Applications
  • XATA'2009 (10-11Set): XML, Aplicações e Tecnologias Associadas
• ICSM'2009 (20-26Set): 25th IEEE International Conference on Software Maintenance
  • SCAM'2009 (co-located with ICSM): 9th IEEE International Working Conference on Source Code Analysis and Manipulation
  • VISSOFT'2009 (co-located with ICSM): 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis
• VL/HCC'2009 (20-24Set): IEEE Symposium on Visual Languages and Human-Centric Computing
• EPIA'2009 (12-15Out): 14.th Portuguese Conference on Artificial Intelligence
• WAPL'2009 (12-14Out): 2nd Workshop on Advances in Programming Languages (WAPL'09)
• CAPSI'2009 (28-30Out): 9ª Conferência da Associação Portuguesa de Sistemas de Informação
• ICAART'2010 (22-24Jan): 2nd International Conference on Agents and Artificial Intelligence
• ETAPS'2010 (20-28Mar): The European Joint Conferences on Theory and Practice of Software
  • LDTA'2010 (satellite event of ETAPS/27-28Mar): 10th Workshop on Language Descriptions, Tools and Applications
• SAC'2010 (22-26Mar): 25th Symposium On Applied Computing
• XATA'2010 (19-20Mai): XML, Aplicações e Tecnologias Associadas
• SERA'2010 (24-26Mai): 8th ACIS Conf. on Software Engineering Research -- Management and Applications
• PASTE'2010 (5-6Jun): 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (Co-located with PLDI´2010)
• CISTI'2010 (16-19Jun): 5ª Conferência Ibérica de Sistemas e Tecnologias de Informação
  • IAwDQ'2010 (16-18Jun): 1st Ibero-American Workshop on Data Quality
• ICPC'2010 (30Jun-02Jul): 18th IEEE International Conference on Program Comprehension (main site)
• ECAI'2010 (16-20Ago): 19th European Conference on Artificial Intelligence
• ECSA'2010 (23-26Ago): 4th European Conference on Software Architecture
• INForum'2010 (09-10Set): 2ª Simpósio Nacional de Informática
  • CoRTA'2010 (09-10Set): Compilers, Related Technologies and Applications
• ICSM'2010 (12-18Set): 26th IEEE International Conference on Software Maintenance
  • SCAM'2010 (12-13Set): 10th IEEE International Working Conference on Source Code Analysis and Manipulation
• SEFM'2010 (13-18Set): 8th IEEE International Conference on Software Engineering and Formal Methods
  • FLACOS'2010 (17-18Set): 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software
• CSE'2010 (20-22Set): International Scientific Conference on Computer Science and Engineering
• ADBIS'2010 (20-24Set): 14th East-European Conference on Advances in Databases and Information Systems
  • MDASD'2010 (20-24Set): Model Driven Approaches in System Development
• ASE'2010 (20-24Set): 25th IEEE/ACM International Conference on Automated Software Engineering
• VL/HCC'2010 (21-25Set): IEEE Symposium on Visual Languages and Human-Centric Computing 2010
• ATVA'2010 (21-24Set): 8th Int. Symposium on Automated Technology for Verification and Analysis
• CBSOFT'2010 / SBLP 2010 (27Set-01Oct):The Brazilian Conference on Software: Theory and Practice (XIV Brazilian Symposium on Programming Languages (SBLP))
• SLE'2010 (10-13Out): 3d International Conference on Software Language Engineering
• GPCE'2010 (10-13Out): 9th International Conference on Generative Programming and Component Engineering
• Interacção'2010 (14 e 15 de Out): 4ª Conferência Nacional Interacção 2010
• ISoLA'2010 (18-20Out): 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
• CAPSI'2010 (20-22Out): 10ª Conferência da Associação Portuguesa de Sistemas de Informação
• SoftVis'2010 (25-26Out): IEEE Symposium on Software Visualization
• BIONETICS'2010 (1-3Dez): The 5th Int. Conference on Bio-Inspired Models of Network, Information and Computing Systems
• SAC'2011 (21-25Mar): 26th Symposium On Applied Computing
  • SAC-PL: Technical Track on "Programming Languages"
• ETAPS'2011 (26Mar-03Apr): The European Joint Conferences on Theory and Practice of Software
  • LDTA'2011 (satellite event of ETAPS/26-27Mar): 11th Workshop on Language Descriptions, Tools and Applications
  • GT-VMT'2011 (satellite event of ETAPS/2-3Abr): Int. Workshop on Graph Transformation and Visual Modeling Techniques
• MW'2011 (6-9Apr) Museums and the Web, the international Conference for Culture and Heritage on-line
• ICSE'2011 (21-28May): 33rd International Conference on Software Engineering
  • WeTSOM'2011 (24May): 2nd International Workshop on Emerging Trends in Software Metrics
• CISTI'2011 (15-18Jun): 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação
  • IAwDQ'2011 (16-18Jun): 2nd Ibero-American Workshop on Data Quality
• CSSE'2011 (15-16Jun): The 2011 CSI International Symposium on Computer Science and Software Engineering
• ICPC'2011 (22-24Jun): 19th IEEE International Conference on Program Comprehension (main site)
• SLE'2011 (03-06Jul): 4th International Conference on Software Language Engineering
• GGTTSE'2011 (04-09Jul): 4th Summer School on Generative and Transformational Techniques in Software Engineering
• CBSOFT'2011 / SBLP 2011 (26-30Set): The Brazilian Conference on Software: Theory and Practice (XIV Brazilian Symposium on Programming Languages (SBLP))
• ESEC/FSE'2011 (5-9Set): 8th European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering
  • PASTE'2011 (5-6Sep): 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
• fedCSIS'2011 (19-21Sep): Federated on Computer Science and Information System Conference
  • WAPL'2011 (19Sep): 3rd Workshop on Advances in Programming Languages
• SCLIT'2011 (19-25Sep): Symposium on Computer Languages, Implementation and Tools
• ICSM'2011 (25Sep-01Oct): 27th IEEE International Conference on Software Maintenance
  • SCAM'2011 (25-26Sep): 11th IEEE International Working Conference on Source Code Analysis and Manipulation
• EPIA'2011 (10-13Out): 15.th Portuguese Conference on Artificial Intelligence
• CLA'2011 (Oct): Computational Linguistics – Applications Workshop
• IDA'2011 (29-31Oct): Symposium on Intelligent Data Analysis -- Analyzing and Understanding Complex Systems
• SeGaH'2011 (09-11Nov): 1st International Conference on Serious Games for Health

Institutional Links

• MI/MEI/MBioI/MRSC Mestrados de Informática e afins
• PhD@DI Doutoramentos em Informática no DI.
• MAP-I UM/UA/UP Doctoral Programme in Computer Science.
• APPIA Associação Portuguesa para a Inteligência Artificial
• MCTES Ministério da Ciência, Tecnologia e Ensino Superior
• FCT Fundação para a Ciência e Tecnologia
• FCTSIG Fundação para a Ciência e Tecnologia - Serviço de Informação (INV)
• GRICES Gab. de Relações Internacionais da Ciência e do Ensino Superior
• MCT Ministerio de Educacion y Ciencia

Other related Links

• Computer Languages History
• dia1
• dia2
• dia3
• primos1
• primos2
• natal
• neve

Page in permanent update. Last modified: 2012.01.14