Identification
Personal identification
- Full name
- Ricardo Jorge Gomes Lopes da Rocha
Citation names
- Rocha, Ricardo
Author identifiers
- Ciência ID
- 6314-5FD6-F882
- ORCID iD
- 0000-0003-4502-8835
- Google Scholar ID
- 1tmBNwQAAAAJ
- Researcher Id
- B-2862-2012
- Scopus Author Id
- 7102962159
Email addresses
- ricroc@dcc.fc.up.pt (Professional)
- rlrocha@fc.up.pt (Professional)
Telephones
- Telephone
-
- 220402926 (Professional)
Addresses
- Faculdade de Ciências da Universidade do Porto. Rua do Campo Alegre, 1021/1055, 4169-007, Porto, Porto, Portugal (Professional)
Websites
- www.dcc.fc.up.pt/~ricroc (Professional)
Knowledge fields
- Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
Portuguese (Mother tongue) | |||||
English | Intermediate (B1) | Advanced (C1) | Intermediate (B1) | Intermediate (B1) | Advanced (C1) |
Education
Degree | Classification | |
---|---|---|
2001
Concluded
|
Ciências de Computadores (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"On Applying Or-parallelism and Tabling to Logic Programs" (THESIS/DISSERTATION)
|
|
1996
Concluded
|
Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Um Sistema Baseado na Cópia de Ambientes para a Execução de Prolog em Paralelo" (THESIS/DISSERTATION)
|
Muito Bom |
1994
Concluded
|
Matématica Aplicada (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
|
16 Valores |
Affiliation
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2018/06/01 - Current | Associate Professor (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
2002/02/01 - 2018/05/31 | Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
1998/02/01 - 2002/01/31 | Assistant (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
Others
Category Host institution |
Employer | |
---|---|---|
2022/07 - Current | Codiretor de curso da Licenciatura em Engenharia Informática e Computação (L.EIC) | Universidade do Porto Faculdade de Ciências, Portugal |
2021/10 - Current | Coordenador de Centro | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal |
2007/07/01 - Current | Investigador Sénior | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal |
2007/07 - Current | Membro da Comissão Executiva | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal |
2002/01 - Current | Membro da Comissão Científica do Departamento de Ciência de Computadores | Universidade do Porto Faculdade de Ciências, Portugal |
2020/07 - 2022/11 | Presidente da Comissão Científica do Programa Doutoral MAPi | Universidade do Porto Faculdade de Ciências, Portugal |
2021/09 - 2022 | Membro da Comissão Científica do Programa Doutoral MAPi | Universidade do Porto Faculdade de Ciências, Portugal |
2018/06/01 - 2021/09 | Coordenador Adjunto de Centro | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal |
2020/09 - 2021/08 | Diretor de curso do Programa Doutoral MAPi | Universidade do Porto Faculdade de Ciências, Portugal |
2015/09 - 2020/07 | Membro da Comissão Científica do Mestrado em Ciência de Computadores | Universidade do Porto Faculdade de Ciências, Portugal |
2018/07 - 2019/05 | Membro da Comissão Científica | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal |
2013/09 - 2015/08 | Diretor de curso do Mestrado em Ciência de Computadores | Universidade do Porto Faculdade de Ciências, Portugal |
2011/03 - 2015/08 | Membro da Comissão Científica do Programa Doutoral em Ciência de Computadores | Universidade do Porto, Portugal |
2010/05 - 2013/08 | Membro da Comissão Científica do Mestrado em Ciência de Computadores | Universidade do Porto Faculdade de Ciências, Portugal |
2007/05 - 2010/03 | Membro da Comissão Científica do Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos | Universidade do Porto Faculdade de Ciências, Portugal |
2006/09 - 2008/08 | Membro da Comissão de Coordenação do Mestrado em Informática | Universidade do Porto Faculdade de Ciências, Portugal |
2006/01 - 2008/01 | Membro da Comissão Executiva do Departamento de Ciência de Computadores | Universidade do Porto Faculdade de Ciências, Portugal |
1995 - 2007/06/30 | Investigador | Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
Projects
Contract
Designation | Funders | |
---|---|---|
2016 - Current | ELVEN - Expressive Logics for VErifying the Net
POCI-01-0145-FEDER-016844
Researcher
|
|
2016 - Current | NanoSTIMA - Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Researcher
|
|
2013 - Current | SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice
NORTE-07-124-FEDER-000059
Researcher
|
|
2012 - Current | DAAD - Leveraging Object-Oriented Logic Programming for Software Quality Enforcement
DAAD-2012
Researcher
|
|
2011 - Current | LEAP - Logic Environments with Advanced Parallelism
Principal investigator
|
Concluded
|
2010 - Current | Horus - Horn Representations of Uncertain Systems
PTDC/EIA-EIA/100897/2008
Researcher
|
|
2008 - Current | STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
Principal investigator
|
Concluded
|
2008 - Current | JEDI - Joint Environment for Deduction and Induction and its Application over Spatial Data
PTDC/EIA/70840/2006
Researcher
|
|
2005/05/20 - Current | myddas - MySQL/Yap Deductive Database System
Researcher
|
Fundação para a Ciência e a Tecnologia |
2002 - Current | APRIL - Applications using Parallelism in Induction and Logic
POSI/SRI/40749/2001
Researcher
|
|
1997 - Current | DOLPHIN - High Performance Computing Environments for Parallel Computation
PRAXIS/2/2.1/TIT/1577/95
Researcher
|
|
1997 - Current | MELODIA - Advanced Design and Implementation of Logic Programming Execution Models
JNICT/PBIC/C/TIT/2495/95
Researcher
|
|
1995 - Current | PROLOPPE - Parallel Logic Programming with Extensions
PRAXIS/3/3.1/TIT/24/94
Researcher
|
Outputs
Publications
Book |
|
Book chapter |
|
Conference paper |
|
Edited book |
|
Journal article |
|
Other
Other output |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
2016 | On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores | 32nd International Conference on Logic Programming (ICLP 2016)
(New York City, New York, USA, October 2016)
|
2013 | Or-Parallel Prolog Execution on Clusters of Multicores | 2nd Symposium on Languages, Applications and Technologies (SLATE 2013)
(Porto, Portugal, June 2013)
|
2012 | On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores | 12th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012)
(Budapest, Hungary, September 2012)
|
2012 | Or-Parallel Prolog Execution on Multicores Based on Stack Splitting | 7th International Workshop on Declarative Aspects and Applications of Multicore Programming (DAMP 2012)
(Philadelphia, Pennsylvania, USA, January 2012)
|
2011 | Tabling and Or-Parallelism in Yap Prolog: Past, Present and Future | 21st Workshop on Logic-based methods in Programming Environments (WLPE 2011)
(Lexington, Kentucky, USA, July 2011)
|
2011 | A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs | 15th Portuguese Conference on Artificial Intelligence (EPIA 2011)
(Lisboa, Portugal, October 2011)
|
2011 | A Simple Table Space Design for Retroactive Call Subsumption | 15th Portuguese Conference on Artificial Intelligence (EPIA 2011)
(Lisboa, Portugal, October 2011)
|
2011 | Global Trie for Subterms | 11th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011)
(Lexington, Kentucky, USA, July 2011)
|
2010 | Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs | 4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010)
(Braga, Portugal, September 2010)
|
2009 | A Term-Based Global Trie for Tabled Logic Programs | 25th International Conference on Logic Programming (ICLP 2009)
(Pasadena, California, USA, July 2009)
|
2009 | One Table Fits All | 11th International Symposium on Practical Aspects of Declarative Languages (PADL 2009)
(Savannah, Georgia, USA, January 2009)
|
2008 | Tabling Logic Programs in a Common Global Trie | 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008)
(Udine, Italy, December 2008)
|
2008 | Efficient Evaluation of Deterministic Tabled Calls | 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008)
(Udine, Italy, December 2008)
|
2008 | Global Storing Mechanisms for Tabled Evaluation | 24th International Conference on Logic Programming (ICLP 2008)
(Udine, Italy, December 2008)
|
2007 | Implementation of Suspension-Based Tabling in Prolog using External Primitives | 13th Portuguese Conference on Artificial Intelligence (EPIA 2007)
(Guimarães, Portugal, December 2007)
|
2007 | Tabling Logic Programs in a Database | 21st Workshop on (Constraint) Logic Programming (WLP 2007)
(Würzburg, Germany, October 2007)
|
2007 | On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog | 23rd International Conference on Logic Programming (ICLP 2007)
(Porto, Portugal, September 2007)
|
2007 | On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation | 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007)
(Nice, France, January 2007)
|
2006 | Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System | 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006)
(Seattle, Washington, USA, August 2006)
|
2006 | DBTAB: a Relational Storage Model for the YapTab Tabling System | 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006)
(Seattle, Washington, USA, August 2006)
|
2006 | Handling Incomplete and Complete Tables in Tabled Logic Programs | 22nd International Conference on Logic Programming (ICLP 2006)
(Seattle, Washington, USA, August 2006)
|
2006 | An External Module for Implementing Linear Tabling in Prolog | 22nd International Conference on Logic Programming (ICLP 2006)
(Seattle, Washington, USA, August 2006)
|
2005 | Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs | 21st International Conference on Logic Programming (ICLP 2005)
(Sitges, Spain, October 2005)
|
2005 | Coupling OPTYap with a Database System | IADIS International Conference Applied Computing (IADIS-AC 2005)
(Algarve, Portugal, February 2005)
|
2004 | Speculative Computations in Or-Parallel Tabled Logic Programs | 20th International Conference on Logic Programming (ICLP 2004)
(Saint-Malo, France, September 2004)
|
2004 | Concurrent Table Accesses in Parallel Tabled Logic Programs | 10th International Euro-Par Conference (EURO-PAR 2004)
(Pisa, Italy, August/September 2004)
|
2003 | A Tabling Engine Designed to Support Mixed-Strategy Evaluation | 3rd Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2003)
(Mumbai, India, December 2003)
|
2003 | YapDss: an Or-Parallel Prolog System for Scalable Beowulf Clusters | 11th Portuguese Conference on Artificial Intelligence (EPIA 2003)
(Beja, Portugal, December 2003)
|
2001 | On a Tabling Engine That Can Exploit Or-Parallelism | 17th International Conference on Logic Programming (ICLP 2001)
(Paphos, Chiprus, November/December 2001)
|
2000 | A Tabling Engine for the Yap Prolog System | APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP 2000)
(La Habana, Cuba, December 2000)
|
2000 | YapTab: A Tabling Engine Designed to Support Parallelism | 2nd Conference on Tabulation in Parsing and Deduction (TAPD 2000)
(Vigo, Spain, September 2000)
|
1999 | YapOr: an Or-Parallel Prolog System Based on Environment Copying | 9th Portuguese Conference on Artificial Intelligence (EPIA 1999)
(Évora, Portugal, September 1999)
|
1999 | Or-Parallelism within Tabling | 1st International Workshop on Practical Aspects of Declarative Languages (PADL 1999)
(San Antonio, Texas, USA, January 1999)
|
1997 | On Applying Or-Parallelism to Tabled Evaluations | 1st International Workshop on Tabling in Logic Programming (TLP 1997)
(Leuven, Belgium, June 1997)
|
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2021 - 2022 | Memory Reclamation for an Elastic Lock-free Hash Trie Map
Co-supervisor
|
Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2019 - 2020 | Lock-Free Memory Reclamation for Concurrent Hash Tries
Supervisor
|
Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2017 - 2018 | Memory Reclamation Methods for Lock-Free Hash Tries
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2017 - 2018 | Practical Lock-Free Dynamic Memory Allocation | Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 - 2018 | Towards Efficient and Scalable Probabilistic Inductive Logic Programming | Computer Science (MAPi Program) (PhD)
Universidade do Porto, Portugal
|
2012 - 2016 | Logic Programming Environments with Advanced Parallelism | Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011 - 2015 | Linear Logic and Coordination for Parallel Programming | Informática (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011 - 2015 | Multithreaded Tabling for Logic Programming | Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 - 2014 | High-Level Constructors for Solution Searching in Or-Parallel Prolog Systems | Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2013 | A MapReduce Construct for Yap Prolog | Engenharia Electrotécnica e de Computadores (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2010 - 2011 | Or-Parallel Prolog Execution on Multicores Based on Stack Splitting | Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Efficient Storing Mechanisms for Tabled Logic Programs | Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Tabulação com Operadores de Modo em Programas Lógicos | Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | On Applying Linear Tabling to Logic Programs | Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Controle de Fluxo em Prolog por Utilização de Primitivas de Suspensão | Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Call Subsumption Mechanisms for Tabled Logic Programs | Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2006 - 2007 | Relational Storage Mechanisms for Tabled Logic Programs | Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 - 2007 | An External Module for Implementing Linear Tabling in Prolog | Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 - 2007 | Relação entre a energia de ligação do DNA mitocondrial e mutabilidade | Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2005 | Coupling Logic Programming with Relational Databases | Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2005 | Interface Yap/MySQL ao nível da WAM | Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 - 2004 | Gestor de Tarefas para Clusters Beowulf | Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 - 2004 | Tablet PC-Notes | Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 - 2004 | Computação de Repetições em ADN Mitocondrial | Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002 - 2003 | A Distributed Prolog System based on Sack Splitting | Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002 - 2003 | Representação Gráfica de Objectos 3D | Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2021 - 2021 | General chair. 37th International Conference on Logic Programming (ICLP 2021). Online event, September 2021. (2021 - 2021)
Conference (President of the Organising Committee)
|
|
2020 - 2020 | Program co-chair. 13th International Symposium on High-level Parallel Programming and Applications (HLPP 2020). Porto, Portugal,
July 2020. (2020 - 2020)
Conference (Member of the Scientific Committee)
|
|
2020 - 2020 | Local organizer. 13th International Symposium on High-level Parallel Programming and Applications (HLPP 2020). Porto, Portugal,
July 2020. (2020 - 2020)
Conference (Co-organisor)
|
|
2017 - 2017 | Program co-chair. 33rd International Conference on Logic Programming (ICLP 2017). Melbourne, Australia, August/September 2017. (2017 - 2017)
Conference (Member of the Scientific Committee)
|
|
2015 - 2015 | Program co-chair. 7th INForum - Simpósio de Informática (INForum 2015). Covilhã, Portugal, September 2015. (2015 - 2015)
Conference (Member of the Scientific Committee)
|
|
2014 - 2014 | Local organizer. 20th International Euro-Par Conference (Euro-Par 2014). Porto, Portugal, August 2014. (2014 - 2014)
Conference (Member of the Organising Committee)
|
|
2014 - 2014 | Topic chair. 20th International Euro-Par Conference (Euro-Par 2014). Porto, Portugal, August 2014. (2014 - 2014)
Conference (Member of the Scientific Committee)
|
|
2013 - 2013 | Program co-chair. 2nd Symposium on Languages, Applications and Technologies (SLATE 2013). Porto, Portugal, June 2013. (2013 - 2013)
Conference (Member of the Scientific Committee)
|
|
2013 - 2013 | Program co-chair. 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013).
Istanbul, Turkey, August 2013. (2013 - 2013)
Conference (Member of the Scientific Committee)
|
|
2013 - 2013 | Conference chair. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP
2013). Kiel, Germany, September 2013. (2013 - 2013)
Conference (Member of the Scientific Committee)
|
|
2011 - 2011 | Program co-chair. 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011). Austin, Texas, USA,
January 2011. (2011 - 2011)
Conference (Member of the Scientific Committee)
|
|
2009 - 2009 | Co-organizer. Spring School in Advanced Computing TACC @ UP. Porto, Portugal, May 2009. (2009 - 2009)
Other (Member of the Organising Committee)
|
|
2009 - 2009 | Publicity chair. 25th International Conference on Logic Programming (ICLP 2009). Pasadena, California, USA, July 2009. (2009 - 2009)
Conference (Member of the Organising Committee)
|
|
2007 - 2007 | Local chair. 23rd International Conference on Logic Programming (ICLP 2007). Porto, Portugal, September 2007. (2007 - 2007)
Conference (Member of the Organising Committee)
|
|
2005 - 2005 | Program co-chair. 5th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2005). Sitges, Spain,
October 2005. (2005 - 2005)
Conference (Member of the Scientific Committee)
|
Association member
Society Organization name | Role | |
---|---|---|
2014/08 - Current | International Euro-Par Conference | Advisory board member |
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2019/09 - 2021/09 | INForum - President
President / Vice-president
|
INForum - Simpósio de Informática, Portugal |
2014/07 - 2020/07 | Association for Logic Programming - Executive committee member | Association for Logic Programming, United Kingdom |
2016/10 - 2019/09 | International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking - Steering committee member | |
2014/09 - 2019/09 | INForum - Executive committee member | INForum - Simpósio de Informática, Portugal |
2010/05 - 2016/03 | Area co-editor for the ALP Newsletter | Association for Logic Programming, United Kingdom |
Conference scientific committee
Conference name | Conference host | |
---|---|---|
2023 - 2023 | 12th Symposium on Languages, Applications and Technologies (SLATE 2023) | Vila do Conde, Portugal |
2023 - 2023 | 39th International Conference on Logic Programming (ICLP 2023) | London, UK |
2022 - 2022 | 16th International Symposium on Functional and Logic Programming (FLOPS 2022) | Kyoto, Japan |
2022 - 2022 | 11th Symposium on Languages, Applications and Technologies (SLATE 2022) | Covilhã, Portugal |
2022 - 2022 | 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022) | Tbilisi, Georgia |
2021 - 2021 | 10th Symposium on Languages, Applications and Technologies (SLATE 2021) | |
2021 - 2021 | 12th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2021) | |
2020 - 2020 | 11th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2020) | Nice, France |
2020 - 2020 | 15th International Symposium on Functional and Logic Programming (FLOPS 2020) | Akita, Japan |
2020 - 2020 | 36th International Conference on Logic Programming (ICLP 2020) | |
2020 - 2020 | 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2020) | |
2020 - 2020 | 9th Symposium on Languages, Applications and Technologies (SLATE 2020) | |
2019 - 2019 | 35th International Conference on Logic Programming (ICLP 2019) | Las Cruces, New Mexico, USA, September 2019 |
2019 - 2019 | 22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2019) | Cottbus, Germany, September 2019 |
2019 - 2019 | 8th Symposium on Languages, Applications and Technologies (SLATE 2019) | Coimbra, Portugal, June 2019 |
2019 - 2019 | 10th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2019) | Venice, Italy, May 2019 |
2019 - 2019 | 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019) | Cascais, Portugal, January 2019 |
2018 - 2018 | 13th International Meeting on High Performance Computing for Computational Science (VECPAR 2018) | São Pedro, São Paulo, Brazil, September 2018 |
2018 - 2018 | 10th INForum - Simpósio de Informática (INForum 2018) | Coimbra, Portugal, September 2018 |
2018 - 2018 | 34th International Conference on Logic Programming (ICLP 2018) | Oxford, UK, July 2018 |
2018 - 2018 | 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2018) | Oxford, UK, July 2018 |
2018 - 2018 | 7th Symposium on Languages, Applications and Technologies (SLATE 2018) | Guimarães, Portugal, June 2018 |
2018 - 2018 | 9th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2018) | Barcelona, Spain, February 2018 |
2018 - 2018 | 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) | Los Angeles, California, USA, January 2018 |
2017 - 2017 | 33rd International Conference on Logic Programming (ICLP 2017) | Melbourne, Australia, August/September 2017 |
2017 - 2017 | 6th Symposium on Languages, Applications and Technologies (SLATE 2017) | Vila do Conde, Portugal, June 2017 |
2017 - 2017 | 8th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2017) | Athens, Greece, February 2017 |
2017 - 2017 | 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) | Paris, France, January 2017 |
2016 - 2016 | 32nd International Conference on Logic Programming (ICLP 2016) | New York City, New York, USA, October 2016 |
2016 - 2016 | Workshop on Big Data & Deep Learning in High Performance Computing (BDL 2016) | Porto, Portugal, June 2016 |
2016 - 2016 | 12th International Meeting on High Performance Computing for Computational Science (VECPAR 2016) | Porto, Portugal, June 2016 |
2016 - 2016 | 5th Symposium on Languages, Applications and Technologies (SLATE 2016) | Maribor, Slovenia, June 2016 |
2016 - 2016 | 7th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2016) | Rome, Italy, March 2016 |
2016 - 2016 | 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) | St. Petersburg, Florida, USA, January 2016 |
2015 - 2015 | 2nd Workshop on Software Engineering for Parallel Systems (SEPS 2015) | Pittsburgh, Pennsylvania, USA, October 2015 |
2015 - 2015 | 7th INForum - Simpósio de Informática (INForum 2015) | Covilhã, Portugal, September 2015 |
2015 - 2015 | 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) | Portland, Oregon, USA, June 2015 |
2015 - 2015 | 4th Symposium on Languages, Applications and Technologies (SLATE 2015) | Madrid, Spain, June 2015 |
2014 - 2014 | 20th International Euro-Par Conference (Euro-Par 2014) | Porto, Portugal, August 2014 |
2014 - 2014 | 3rd Symposium on Languages, Applications and Technologies (SLATE 2014) | Bragança, Portugal, June 2014 |
2013 - 2013 | 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) | Kiel, Germany, September 2013 |
2013 - 2013 | 29th International Conference on Logic Programming (ICLP 2013) | Istanbul, Turkey, August 2013 |
2013 - 2013 | 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013) | Istanbul, Turkey, August 2013 |
2013 - 2013 | 2nd Symposium on Languages, Applications and Technologies (SLATE 2013) | Porto, Portugal, June 2013 |
2012 - 2012 | 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012) | Budapest, Hungary, September 2012 |
2012 - 2012 | 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) | Philadelphia, Pennsylvania, USA, January 2012 |
2011 - 2011 | 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011) | Austin, Texas, USA, January 2011 |
2010 - 2010 | 5th International Workshop on Declarative Aspects of Multicore Programming (DAMP 2010) | Madrid, Spain, January 2010 |
2009 - 2009 | 25th International Conference on Logic Programming (ICLP 2009) | Pasadena, California, USA, July 2009 |
2008 - 2008 | 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008) | Udine, Italy, December 2008 |
2007 - 2007 | 7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2007) | Porto, Portugal, September 2007 |
2005 - 2005 | 5th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2005) | Sitges, Spain, October 2005 |
2003 - 2003 | 11th Portuguese Conference on Artificial Intelligence (EPIA 2003) | Beja, Portugal, December 2003 |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
2019 - 2019 | Journal of Theory and Practice of Logic Programming | Cambridge University Press |
2017 - 2017 | Journal of Theory and Practice of Logic Programming | Cambridge University Press |
2016 - 2016 | Revista de Informática Teórica e Aplicada | |
2015 - 2015 | Journal of Logical and Algebraic Methods in Programming | Elsevier |
2013 - 2013 | Information Sciences | Elsevier |
2009 - 2013 | Journal of Theory and Practice of Logic Programming | Cambridge University Press |
2008 - 2008 | Journal of Computer Science and Information Systems | |
2007 - 2007 | Journal of Theory and Practice of Logic Programming | Cambridge University Press |
2005 - 2005 | Journal of Theory and Practice of Logic Programming | Cambridge University Press |
Distinctions
Other distinction
2014 | ICLP 2014 Best Paper Award |
1996 | PhD Grant |
1994 | Prize Eng. António de Almeida
Fundação Engenheiro António de Almeida, Portugal
|
1994 | MSc Grant |