ILIKS Inaugural Meeting

September 26-27

Polo Tecnologico

Via Solteri, 38

Trento

PROGRAMME

Monday 26th

10:30 Welcome with coffee

11:00 - 12:15 Inauguration addresses

• Davide Bassi, Rector, University of Trento
• Michele Nulli, Head of the Office for University and Scientific Research, Provincia Autonoma di Trento
• Luis FariÒas del Cerro, Director-Ajunct of the Department "Sciences et Technologies de l'Information et de la Communication" (STIC) of the French CNRS, Appointed to the International and European Affairs; Head of IRIT
• Nicola Guarino, Head of ISTC-CNR's Laboratory for Applied Ontology
• Fausto Giunchiglia, Head of DIT-UNITN
• Franco Fraccaroli, Head of DISCOF-UNITN
• Luca Erzegovesi, Head of DISA-UNITN

12:15 - 12:30 Presentation of ILIKS's Research Program

Laure Vieu, IRIT-CNRS and ISTC-CNR, ILIKS coordinator

Lunch

14:00 - 16:00 The Mental Bases of Interaction

• 14:00 Alessandro Oltramari, LOA - ISTC & DISCOF - UNITN
  "Towards ACKIRA: Affective and Cognitive Knowledge-base for Interaction Resources in Agent technologies"
• 14:40 Emiliano Lorini, LABSS - ISTC
  "Atoms of Action: for a formal theory of Intention and Attempt"
• 15:20 Andreas Herzig, LILaC - IRIT
  "A logical framework for grounding-based dialogue analysis"

Coffee break

16:30 - 18:30 Organizations

• 16:30 Roberta Ferrario, LOA - ISTC
  "A path to an ontology of organizations"
• 17:10 Matteo Bonifacio, DISA - UNITN
  "Semantic conflict in organizations"
• 17:50 Fabio Massacci, DIT - UNITN
  "A modelling framework for security"

20:00 Social Dinner

Restaurant "Il Libertino", Piazza Piedicastello 4, Trento

Tuesday 27th

9:00 - 10:20 Action in Multi-Agent Systems

• 9:00 JÈrÙme Lang, RPDMP - IRIT
  "Action progression and revision in multiagent belief structures"
• 9:40 Stefano Borgo, LOA - ISTC
  "Modal operators with adaptable semantics for multi-agent systems"

Coffee break

11:00 - 12:20 Communication Content

• 11:00 Nathalie Aussenac, CSC - IRIT
  "From texts to ontologies and back to texts"
• 11:40 Paolo Bouquet, DIT - UNITN
  "Semantic coordination"

Lunch

14:00 - 16:00 Plans, Planning & Verification

• 14:00 Carola Catenacci, LOA - ISTC
  "DDPO: an ontology for plans and tasks"
• 14:40 Martin Strecker, Acadie - IRIT
  "Architecture description languages - Expressions and semantics"
• 15:20 Paolo Traverso, ITC-IRST
  "Planning for the Automated Composition of Web Services: Results and New Challenges"

Coffee break

16:30 - 18:00 ILIKS Organization matters

• Extending ILIKS to ITC-IRST
• ILIKS Directing Committee
• Organizing the research activities