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.

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.

Time___JOWO_workshop____ISD3

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.

SHAPES_4_0_—_THE_SHAPE_OF_THINGS

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.

FOUST

PC, K-CAP 2017

K-CAP 2017: Ninth International Conference on Knowledge Capture, December 4th-6th, 2017, Austin, Texas, United States.

Organising_Committee_–_K-CAP_2017

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.


Ai_iA_2017_Conference_of_Artificial_Intelligence

Co-Organiser, CAOS 2017

2nd CAOS ‘Cognition And OntologieS’, 18-21th April 2017, University of Bath, co-located with AISB.
CAOS___Cognition_And_OntologieS

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.

FOUST

PC, KESW 2017

International Conference on Knowledge Engineering and Semantic Web (KESW 2017), 8–10 November in Szczecin, Poland.

KESW_2017_Conference

PC, DL 2017

30th International Workshop on Description Logics, July 18-21, 2017, Montpellier, France.
dl_kr_org_logos_dl_eps

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

9th International Conference on Artificial General Intelligence -
AGI-2014, New York City, USA, 16-19 August, 2016.

AGI-2013

Co-Organiser, NSWO 2016

International Workshop `New Standards for the Working Ontologist: Common Logic and DOL' (NSWO-16), held at JOWO-16, Annecy, France, as part of FOIS 2016.

Co-Organiser, CAOS 2016

First International Workshop on Cognition And OntologieS (CAOS-16), held at JOWO-16, Annecy, France, as part of FOIS 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

29th International Workshop on Description Logics, 22 - 25 April 2016, Cape Town, South Africa.
dl_kr_org_logos_dl_eps

PC, ESWC 2016

13th Extended Semantic Web Conference ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016

13th_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).

Image_Schema_Workshop_2015

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.

SHAPES_-_The_Shape_of_Things

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.

FOFAI___FOfAI

Editorial Board, AOJ

Joined the Editorial Board of the Journal of Applied Ontology.
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).AIDE_2015_-_1st_Workshop_on_Artificial_Intelligence_and_Design

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.C3GI-2015

PC, DL 2015

28th International Workshop on Description Logics, 7 - 10 June 2015, Athens, Greece.
dl_kr_org_logos_dl_eps

PC, ESWC 2015

The 12th ESWC 2015 conference will be held in Portoroz (Slovenia) between 31st of May and 4th of June.
12th_ESWC_2015

PC, CiE 2015

11th Computability in Europe conference, CiE 2015 will have the theme 'Evolving Computability'. Bucharest, Romania, 29 June - 3 July 2015.
CiE_2015__Evolving_Computability

Invited Speaker, C3GI 2014

Computational Creativity, Concept Invention, and General Intelligence, Workshop at ECAI 2014, 19th of August, 2014, Prague, Czech Republic.C3GI

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.

FOIS-2014

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

Design Semantics 2014

Member of the advisory committee for the 1st meeting of the IAOA Design Semantics SIG, Bari, Italy.
www_designsemantics_org

PC, C3GI 2014

Computational Creativity, Concept Invention, and General Intelligence, Workshop at ECAI 2014, 19th of August, 2014, Prague, Czech Republic.
C3GI-2014

PC, ECAI 2014

21st European Conference on Artificial Intelligence, Prag, Czech Republic, 18-22 August 2014.

ECAI_2014

PC, AGI 2014

7th International Conference on Artificial General Intelligence -
AGI-2014, Quebec City, Canada, 1-4 August, 2014.

AGI-2013

PC, AIMSA 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

PC, ODLS 2013

Workshop on Ontologies and Data in Life Sciences, ODLS-13, Koblenz, Germany, September, 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.
shapes-13-logo

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.

AGI-2013

PC, MAGiC 2013

Formalizing Mechanisms for Artificial General Intelligence and Cognition (Formal MAGiC), held at IJCAI 2013. Bejing, China.

Pasted Graphic

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.

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

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

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.

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

Special Issue of Applied Ontology on Modular Ontologies.
Find the website here.

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.

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.

PC, STAIRS 2010

Fifth European Starting AI Researcher Symposium, held at ECAI, Lisbon, August 2010.

PC, KR 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

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

PC, NLPCS 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.

Co-Organiser, WoMO 2006

1st International Workshop on Modular Ontologies, held in Athens, Georgia, USA, November 5, 2006.
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).