PC Co-Chair, DL 2023
Program Committee Co-Chair of DL 2023, together with Ana Ozaki (Bergen).
The 36th International Workshop on Description Logics, will be held in Rhodes, Greece, September 2-4, and collocated with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and the 21st International Workshop on Non-Monotonic Reasoning (NMR 2023).
The 36th International Workshop on Description Logics, will be held in Rhodes, Greece, September 2-4, and collocated with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and the 21st International Workshop on Non-Monotonic Reasoning (NMR 2023).
PC memberships 2023 (selection)
- KR 2023 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2–8, 2023.
- FOIS 2023 The 13the International Conference on Formal Ontology in Information Systems, July 17-20, 2023 (Sherbrooke, Québec, Canada) and September 18-20, 2023 (online).
- ICCC 2023 Senior PC member. 14th International Conference on Computational Creativity, June 19–June 23, 2023, University of Waterloo in Ontario, Canada.
- FOIS 2023 The 13the International Conference on Formal Ontology in Information Systems, July 17-20, 2023 (Sherbrooke, Québec, Canada) and September 18-20, 2023 (online).
- ICCC 2023 Senior PC member. 14th International Conference on Computational Creativity, June 19–June 23, 2023, University of Waterloo in Ontario, Canada.
General Chair, EKAW 2022
EKAW 2022, the 23rd International Conference on Knowledge Engineering and Knowledge Management, is organised at the Free University of Bozen-Bolzano, Italy -- September 26-29, 2022.
Co-Chair, FOUST 2022
Co-Chair, CAOS 2022
General Chair, ICCC 2022
ICCC 2022, the 13th International Conference on Computational Creativity takes place June 27 – July 1, 2022, at the Free University of Bozen-Bolzano, Italy.
Co-Chair, ISD 2022
The 6h Image Schema Day, ISD6, was held at Mariedal, Jönköping University, Sweden, March 24-25, 2022.
See http://imageschema.net
See http://imageschema.net
PC memberships 2022
2022 PC member of: 19th KR, 31st IJCAI-ECAI, 1st Modular Knowledge Workshop (MK), 13th ICCC (Senior PC)
PC memberships 2021
2021 PC member of: 12th ICCC (Senior PC), 34th DL, 18th KR
Chair, Summer of Knowledge 2020 & 2021
The Bolzano Summer of Knowledge was held twice, first during September of 2020, and again in September 2021, bringing together a number of leading knowledge-focused academic events.
Events of BOSK 2020: 22nd EKAW, 11th ICBO, 7th JOWO, 27th TIME, 25th ICCS, CARLA, 14th SUM, 2nd OVERLAY, EROSS, 10th EEWC.
Events of BOSK 2021: 1st ESAO, FOIS 20 + 21, 12th ICBO, 8th JOWO, 26th ICCS, 23rd IEEE CBI, CARLA
Events of BOSK 2020: 22nd EKAW, 11th ICBO, 7th JOWO, 27th TIME, 25th ICCS, CARLA, 14th SUM, 2nd OVERLAY, EROSS, 10th EEWC.
Events of BOSK 2021: 1st ESAO, FOIS 20 + 21, 12th ICBO, 8th JOWO, 26th ICCS, 23rd IEEE CBI, CARLA
PC memberships 2020
2020 PC member of: 11th FOIS, IJCAI-PRICAI 2020, Auto-RobOntics Workshop, 11th ICCC, 33rd DL, 13th AGI, 24th ECAI
PC, AIC 2019
7th International Workshop on “AI and Cognition” (AIC 2019) will be held in
Manchester, UK, on September 10–11, 2019.
Manchester, UK, on September 10–11, 2019.
PC, WOMoCoE 2019
4rd International Workshop on Ontology Modularity, Contextuality, and Evolution, WOMoCoE 2019.
PC, DL 2019
32nd International Workshop on Description Logics, 18–21 June 2019 Oslo, Norway.
PC, AAAI 2019
33rd AAAI Conference on Artificial Intelligence, held January 27–February 1 in Honolulu, Hawaii, USA.
PC, ICCC 2019
Tenth International Conference on Computational Creativity, Charlotte, NC, USA, June 17–June 21, 2019.
Co-Organiser@JOWO 2019
Co-organiser of the following workshops at JOWO 2019: CAOS, SHAPES, BOG, FOUST
PC, KRNL 2018
Workshop on Knowledge Representation in Natural Language, co-located with KR 2018, Oct 28, 2018, Tempe, Arizona, USA.
PC, DL 2018
31st International Workshop on Description Logics, co-located with KR 2018, 26– 29 October 2018, Tempe, Arizona.
PC, IJCAI-ECAI 2018
27th International Joint Conference on Artificial Intelligence and the
23rd European Conference on Artificial Intelligence, Stockholm, Sweden, July 13–19, 2018.
23rd European Conference on Artificial Intelligence, Stockholm, Sweden, July 13–19, 2018.
PC, ICCC 2018
Ninth International Conference on Computational Creativity, June 25–June 29 in Salamanca, Spain.
PC, WOMoCoE 2018
3rd International Workshop on Ontology Modularity, Contextuality, and Evolution, co-located with KR 2018, Oct 29, 2018, Tempe, Arizona, USA.
General Chair, FOIS 2018
The 10th International Conference on Formal Ontology in Information Systems, FOIS 2018 will be held in Cape Town, South Africa, in September, 2018.
PC, ECS@FOIS 2018
Early Career Symposium at FOIS 2018, Cape Town, South Africa, September 2018.
Local & General Chair, JOWO 2017
The 3rd Joint Ontology Workshops (JOWO 2017) will take place at the Free University of Bozen-Bolzano, Italy, between September 21-23.
Co-Organiser, ISD3
ISD3: The 3rd Image Schema Day will be co-located with the 3rd Joint Ontology Workshops (JOWO 2017) taking place at the Free University of Bozen-Bolzano, Italy, between September 21-23.
Co-Organiser, SHAPES 4.0
SHAPES 4.0: The Shape of Things. Workshop co-located with the 3rd Joint Ontology Workshops (JOWO 2017) taking place at the Free University of Bozen-Bolzano, Italy, between September 21-23.
Co-Organiser, FOUST II
FOUST II: 2nd Workshop on Foundational Ontology. Co-located with the 3rd Joint Ontology Workshops (JOWO 2017) taking place at the Free University of Bozen-Bolzano, Italy, between September 21-23.
PC, K-CAP 2017
K-CAP 2017: Ninth International Conference on Knowledge Capture, December 4th-6th, 2017, Austin, Texas, United States.
Co-Organiser, cex 2017
cex 2017: Comprehensibility and Explanation in AI and ML. Workshop co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, 14-17 November.
Co-Organiser, CAOS 2017
Co-Organiser, FOUST 2017
The first FOUST ‘The Foundational Stance’ workshop was held on February 27 and 28, 2017, at the KRDB Research Centre of the Free University of Bozen-Bolzano, Italy.
PC, KESW 2017
International Conference on Knowledge Engineering and Semantic Web (KESW 2017), 8–10 November in Szczecin, Poland.
PC, DL 2017
PC, VORTE 2017
9th International Workshop on Vocabularies, Ontologies and Rules for the Enterprise, VORTE 2017, will be co-located with the 21th IEEE International EDOC Conference – The Enterprise Computing Conference, Quebéc-City, Canada, 10th-13th October, 2017
PC, ICCC 2017
ICCC-17. The Eighth International Conference on Computational Creativity, June 19–June 23, 2017, Atlanta, Georgia, USA.
Convenor, Creativity Science, 2016
From Computational Creativity to Creativity Science. An International Conference at the ZiF Centre for Interdisciplinary Research, 19-22 September 2016, Bielefeld, Germany.
General Chair, ISAO 2016
3rd Interdisciplinary School on Applied Ontology, Bozen-Bolzano, June 27—July 1, 2016.
Lecturer, ESSLLI 2016
Course “The Distributed Ontology, Modeling and Specification Language DOL” (with Till Mossakowski, Magdeburg), held in the first week of ESSLLI 2016, Bozen-Bolzano, Italy.
Local Chair, C3GI 2016
5th Computational Creativity, Concept Invention, and General Intelligence (C3GI 2016), collocated with ESSLLI 2016, August 20--22, 2016, Bozen-Bolzano, Italy
PC, AGI 2016
Co-Organiser, NSWO 2016
Co-Organiser, CAOS 2016
Workshop Chair & PC, FOIS 2016
The 9th International Conference on Formal Ontology in Information Systems, FOIS 2016 will be held in Annecy, France, between July 6-9, 2016.
PC, KR 2016
15th International Conference on Principles of Knowledge Representation and Reasoning to be held in Cape Town, South Africa on April 25-29, 2016.
PC, LRCM 2016
Second Workshop on Logics and Reasoning for Conceptual Models (LRCM 2016), April 21, 2016, Cape Town.
PC, DL 2016
PC, ESWC 2016
Co-organiser, Image Schemas 2015
Workshop on image schemas, October 2, Bolzano, Italy. Invited talks by John Bateman (Bremen), Nicola Guarino (Trento), and Tony Veale (Dublin).
PC, AIC 2015
3rd International Workshop on Artificial Intelligence and Cognition (AIC-2015).
Co-organiser, SHAPES 3.0
SHAPES 3.0 - The Shape of Things, to be held in conjunction with the Ninth International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015, Larnaca, Cyprus, 2-6 November 2015.
The workshop website is here.
The workshop website is here.
PC co-chair, FOFAI 2015
The 1st workshop on Formal Ontologies for Artificial Intelligence, FOfAI 2015, will take place at IJCAI 2015 in Buenos Aires. FOfAI is a participant in the Joint Ontology Workshops - JOWO 2015.
Editorial Board, AOJ
PC, AIDE 2015
1st Workshop on Artificial Intelligence & Design (AIDE-2015), to be held on September 22nd, 2015, in Ferrara, Italy, and co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015).
PC, IWOOD 2015
3rd International Workshop on Definitions in Ontologies (IWOOD 2015), held in conjunction with the 6th International Conference on Biomedical Ontologies (ICBO 2015), Lisbon, Portugal, July 27-30, 2015.
PC, C3GI 2015
The 4th edition of Computational Creativity, Concept Invention, and General Intelligence (C3GI-2015) will be collocated with the 5th World Congress and School on Universal Logic (UNILOG) at Istanbul, Turkey, on June 25/26, 2015.
PC, DL 2015
PC, ESWC 2015
The 12th ESWC 2015 conference will be held in Portoroz (Slovenia) between 31st of May and 4th of June.
PC, CiE 2015
11th Computability in Europe conference, CiE 2015 will have the theme 'Evolving Computability'. Bucharest, Romania, 29 June - 3 July 2015.
Invited Speaker, C3GI 2014
Computational Creativity, Concept Invention, and General Intelligence, Workshop at ECAI 2014, 19th of August, 2014, Prague, Czech Republic.
PC chair, FOIS 2014
The 8th International Conference on Formal Ontology in Information Systems, FOIS 2014, will be held in Rio de Janeiro, between September 22-26.
PC, AIC 2014
2nd International Workshop on Artificial Intelligence and Cognition (AIC-2014), Torino, Italy, November 26th-27th, 2014.
PC, ODLS 2014
Workshop on Ontologies and Data in Life Sciences, ODLS-14, October 7–8, 2014, Freiburg i. Br., Germany.
Co-Organiser, SQUARE IV
4th World Congress on the Square of Opposition, Vatican, May 5-9, 2014.
Design Semantics 2014
PC, C3GI 2014
Computational Creativity, Concept Invention, and General Intelligence, Workshop at ECAI 2014, 19th of August, 2014, Prague, Czech Republic.
PC, ECAI 2014
PC, AGI 2014
PC, AIMSA 2014
16th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Varna, Bulgaria, September, 2014.
PC, LRCM 2013
First Workshop on Logics and Reasoning for Conceptual Models, LRCM-13, December 14, 2013, Stellenbosch, South Africa.
PC, ARCOE-LogIC 2013
The 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge, September, 2013, Corunna, Spain, co-located with LPNMR 2013.
PC, ODLS 2013
co-Organiser, SHAPES 2.0
SHAPES 2.0 - The Shape of Things, to be held in conjunction with the 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, March 29 - April 7 2013.
The workshop website is here.
The workshop website is here.
PC, IJCAI 2013
23nd International Joint Conference on Artificial Intelligence, IJCAI-13, Bejing, China, August 3–9, 2013.
PC, AGI-2013
6th International Conference on Artificial General Intelligence -
AGI-2013, Beijing, China, July 31 - August 3, 2013.
PC, MAGiC 2013
Formalizing Mechanisms for Artificial General Intelligence and Cognition (Formal MAGiC), held at IJCAI 2013. Bejing, China.
WoMO Steering Committee
Member of the Steering Committee of the Workshops on Modular Ontologies WoMO, now organised by the IAOA.
Find the new WoMO website here.
Find the new WoMO website here.
Tutorial at Uni-Log
Invited Tutorial on 'Connecting Logics' at the 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, March 29-April 7, 2013.
PC, C3GI 2013
Computational Creativity, Concept Invention, and General Intelligence, Workshop at IJCAI 2013, 3-4 August, 2013, Beijing, China.
PC, AAAI 2013
Student abstract and poster program, Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), July 14–18, 2013 in Bellevue, Washington, USA.
PC, OBML 2012
Workshop on Ontologies in Biomedicine and Life Sciences (OBML 2012), September 27–28, Dresden, Germany.
PC, KI 2012
35th Annual German Conference on Artificial Intelligence (Poster and Demo track), to be held in Saarbrücken, Germany, 24-27 September 2012.
Invited Speaker, SQUARE III
3rd World Congress on the Square of Opposition, Beirut, Lebanon - June 26-29, 2012
co-Project Leader, OntoIOP
OntoIOp (Ontology Integration and Interoperability) standardisation activity concerning the distributed ontology language DOL in ISO/TC 37/SC 3.
PC, ECAI 2012
20th European Conference on Artificial Intelligence, Montpellier, France, 27-31 August 2012.
PC, ARCOE 2012
The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge, August 27-28, 2012, Montpellier, France, co-located with ECAI 2012.
PC, STAIRS 2012
6th Starting Artificial Intelligence Research Symposium, to be held in Montpellier, France, 27-28 August 2012, collocated with ECAI 2012.
PC, AIMSA 2012
15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Varna, Bulgaria, September 13-15, 2012.
Lecturer, ISLA 2012
4th Indian School on Logic and its Applications, Workshop on Qualitative Spatial and Temporal Reasoning, January 9–20, 2012, Manipal University, India.
PC, ESWC 2012
The 9th Extended Semantic Web Conference (ESWC-12), May 27-31, 2012, Heraklion, Greece
co-Organiser, SHAPES 1.0
SHAPES 1.0 - The Shape of Things, to be held in conjunction with the 7th International and Interdisciplinary Conference on Modeling and Using Context (Context 2011), Karlsruhe, Germany, 26-30 September 2011.
The workshop website is here.
The workshop website is here.
PC, ISWC 2011
The 10th International Semantic Web Conference (ISWC-11), October 23-27, 2011, Bonn, Germany
PC, OCAS 2011
Workshop and Grand Challenge: Ontologies come of Age in the Semantic Web (OCAS 2011), collocated with the The 10th International Semantic Web Conference (ISWC-11), October 23-27, 2011, Bonn, Germany
Invited Speaker, Ontology Symposium
Symposium Ontology between Philosophy and Computer Science, affiliated to the 14th Congress of Logic, Methodology and Philosophy of Science (CLMPS-2011), Nancy, France, July 19–26, 2011.
Guest Editor of AO, 2011
co-Organiser, WoMO 2011
The 5th International Workshop on Modular Ontologies (WoMO-2011) will be held in conjunction with the 23rd annual Summer School in Logic, Language, and Information (ESSLLI 2011) to be held in Ljubljana, Slovenia, 1-12 August 2011.
The workshop website is here.
The workshop website is here.
PC, IJCAI 2011
22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia (Spain), July 16-22, 2011.
PC, NLPCS 2011
The 8th International Workshop on Natural Language Processing and Cognitive Science, Special Issue: Human-Machine Interaction in Translation, 20-21 August, 2011, Copenhagen, Denmark
PC, CTUW 2011
Special Session on Cognitive-based Text Understanding and Web Wisdom (CTUW'11), to be held at the 10th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC 2011), University of Calgary, Canada, August 18-20, 2011.
PC, IICAI 2011
5th Indian International Conference on Artificial Intelligence, Tumkur (near Bangalore), India, December 14-16, 2011.
Lecturer, ESSLLI 2010
The program of ESSLLI 2010 (Copenhagen, Denmark) can be found here. The course website for the course on 'Proof Complexity of Non-Classical Logic' (together with Olaf Beyersdorff) is here.
IAOA (Founding Member)
The International Association for Ontology and its Applications (IAOA) was formally established in Trento, on April 29th 2009.
co-Organiser, WoMO 2010
4st International Workshop on Modular Ontologies, held in Toronto, Canada, May 11, 2010.
Co-located with the 6th International Conference on Formal Ontology in Information Systems, FOIS 2010.
Co-located with the 6th International Conference on Formal Ontology in Information Systems, FOIS 2010.
PC, STAIRS 2010
PC, KR 2010
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. Toronto, Canada, May 9-13, 2010.
PC, ECAI 2010
19th European Conference on Artificial Intelligence, Lisbon, Portugal, 16-20 August 2010.
PC, AAAI 2010
Twenty-Fourth AAAI Conference on Artificial Intelligence, held at the Westin Peachtree Plaza in Atlanta, Georgia, USA, July 11–15, 2010.
PC, NLPCS 2010
The 7th International Workshop on Natural Language Processing and Cognitive Science, Funchal, Madeira, Portugal, May 8-9, 2010.
Lecturer, ESSLLI 2009
21st European Summer School in Logic, Language and Information, Bordeaux, July 20-31, 2009. The course website is here.
PC, OWLED 2009
6th OWL: Experiences and Directions, co-located with ISWC 2009 and held at Washington DC, October 2009.
PC, IICAI 2009
4th Indian International Conference on Artificial Intelligence, Tumkur (near Bangalore), India, December 16-18 2009.
PC, DL 2009
22nd International Workshop on Description Logics, Oxford, United Kingdom, July 27-30, 2009.
PC, IJCAI 2009
21st International Joint Conference on Artificial Intelligence, Pasadena, California, July 11-17.
PC, NLPCS 2009
The 6th International Workshop on Natural Language Processing and Cognitive Science, Milan, Italy, May 6-7, 2009.
PC, AIMSA 2008
13th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Varna, Bulgaria, September 4-6, 2008. Proceedings can be found here.
PC, WORM 2008
International Workshop on Ontologies: Reasoning and Modularity, June 1, 2008, Tenerife, Spain (co-located with ESWC-08). The proceedings can be found here.
PC, WoMO 2007
2nd International Workshop on Modular Ontologies, Whistler, British Columbia, Canada, October 28, 2007. The proceedings can be found here.
PC, OnE 2007
Workshop on Ontology Evolution, held at Poznan, Poland, April 25, 2007.
The proccedings can be found here.
The proccedings can be found here.
Co-Organiser, WoMO 2006
1st International Workshop on Modular Ontologies, held in Athens, Georgia, USA, November 5, 2006.
The proceedings can be found here.
The proceedings can be found here.
Reviewing
Journal of Symbolic Logic (JSL),
Review of Symbolic Logic (JSL),
Journal of Artificial Intelligence Research (JAIR),
Journal of Automated Reasoning (JAR),
Journal of Logic and Computation
Applied Ontology
Studia Logica,
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL),
Journal of Applied Non-Classical Logics (JANCL),
Bulletin of The Section of Logic (BSL),
Conference on Computer Science Logic (CSL),
IEEE Symposium on Logic in Computer Science (LICS),
Int. Joint Conference on Artificial Intelligence (IJCAI),
Conference on Algebra and Coalgebra in Computer Science (CALCO),
Conf. on Principles of Knowledge Representation and Reasoning (KR),
European Conference on Artificial Intelligence (ECAI),
Conf. on Logic for Programming Art. Intelligence and Reasoning (LPAR),
Conf. on Analytic Tableaux and Related Methods (TABLEAUX),
Conf. on Automated Deduction (CADE),
Conf. on Algebraic Methodology and Software Technology (AMAST),
Conf. on Ontologies, DataBases, and Appl. of Semantics (ODBASE)
Int. Symposium on Frontiers of Combining Systems (FROCOS),
Conf. on Model-Based Reasoning in Science and Technology (MBR)
Conf. on Art. Intelligence: Methodology, Systems, Applications (AIMSA),
Advances in Modal Logic (AiML),
Methods for Modalities (M4M),
Int. Workshop on Description Logics (DL),
Int. Workshop on Modular Ontologies (WoMO),
Workshop on Ontology Evolution (OnE).
Review of Symbolic Logic (JSL),
Journal of Artificial Intelligence Research (JAIR),
Journal of Automated Reasoning (JAR),
Journal of Logic and Computation
Applied Ontology
Studia Logica,
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL),
Journal of Applied Non-Classical Logics (JANCL),
Bulletin of The Section of Logic (BSL),
Conference on Computer Science Logic (CSL),
IEEE Symposium on Logic in Computer Science (LICS),
Int. Joint Conference on Artificial Intelligence (IJCAI),
Conference on Algebra and Coalgebra in Computer Science (CALCO),
Conf. on Principles of Knowledge Representation and Reasoning (KR),
European Conference on Artificial Intelligence (ECAI),
Conf. on Logic for Programming Art. Intelligence and Reasoning (LPAR),
Conf. on Analytic Tableaux and Related Methods (TABLEAUX),
Conf. on Automated Deduction (CADE),
Conf. on Algebraic Methodology and Software Technology (AMAST),
Conf. on Ontologies, DataBases, and Appl. of Semantics (ODBASE)
Int. Symposium on Frontiers of Combining Systems (FROCOS),
Conf. on Model-Based Reasoning in Science and Technology (MBR)
Conf. on Art. Intelligence: Methodology, Systems, Applications (AIMSA),
Advances in Modal Logic (AiML),
Methods for Modalities (M4M),
Int. Workshop on Description Logics (DL),
Int. Workshop on Modular Ontologies (WoMO),
Workshop on Ontology Evolution (OnE).