Sunday 14 Jan
	Optional excursion

Monday 15 Jan

 9h	M. Wooldridge
	 A Logic for BDI Planning Agents
 9h30	A. Rao
	 Operational Semantics of BDI agents
10h15	Discussion
	 the BDI model
10h30	coffee break

11h	Invited speaker: Nuel Belnap
	 The Problem of Agency in Branching Space-Time
11h30	Discussion

12h	Lunch

14h	C. Krogh
	 The right way to analyse agents
14h30	R. Conte, C. Castelfranchi
	 From conventions to prescriptions
15h	J-F Raskin, Y-H Tan, and L. van der Torre
	 Modeling deontic states in Petri nets
15h20	G-J C. Lokhorst
	 Modelling business transactions: deontic Petri Nets
15h40	Discussion
	 Modelling deontic agents and their behaviour
16h	tea break

16h30	Wolfgang Balzer and Raimo Tuomela
	 The structure and build-up of plan-based joint intentions
17h15	B. van Linder, W. van der Hoek and J-J Ch. Meyer
	 Formalising motivational attitudes
18h	end

Tuesday 16 Jan

 9h	Henry Prakken, Giovanni Sartor
	 Argument-based  extended  logic  programming with defeasible priorities
 9h45	M. Ryan, O. Rodriguez, P-Y. Schobbens	
	 Counterfactuals and updates as inverse modalities
10h	P-Y. Schobbens
	 A comparative logic for preferences
10h30	Discussion

10h45	coffee break

11h15	Krister Segerberg
	 Hypertheories in Dynamic Doxastic Logic.
12h	Discussion

12h30	Lunch

14h	Can Tuerker, Stefan Conrad, Gunter Saake
	 Dynamically Changing behaviour
14h30 	I. Nunes, J. Fiadeiro
	 Generalising transition systems for durative actions
15h	Y. Tahara, F. Kumeno, A. Ohsuga, S. Honiden
	 Formal Semantics of Agent Evolution in the language Flage
15h30	Stefan Conrad, Gunter Saake
	 Specifying Evolving Temporal Behaviour
16h	tea break

16h30	Eric Dubois and Suchun Wu
	 An agent-oriented framework for security requirements
17h	Mark Ryan
	 Feature oriented specifications
17h30	end

Wed 17 Jan

 9h	Paul Dongha and Cristiano Castelfranchi
	 Rational Commitment in Resource Bounded Agents.
 9h30	Frances Brazier, Jan Treur and Pascal van Eck	
	 Modelling Cooperative Behaviour for Resource Access
10h	A. Cesta, M. Miceli and P. Rizzo 
	 Comparing interaction attitudes in a simulated multi-agent environment
10h30	coffee break
11h	F. Dignum, B. van Linder
	 Modelling rational agents in a dynamic environment
11h30	Gerd Wagner
	 A Logical and Operational Model of Scalable Knowledge-Based Agents
12h	Closing
12h15	Lunch
14h	Optional excursion
	SG meetings (SG1 14-16h)